operations_research::sat::TrailCopy Member List

This is the complete list of members for operations_research::sat::TrailCopy, including all inherited members.

AppendClauseIdsFixing(absl::Span< const Literal > literals, std::vector< ClauseId > *clause_ids, LiteralIndex decision, absl::flat_hash_map< std::pair< Literal, Literal >, ClauseId > tmp_binary_clause_ids)	operations_research::sat::TrailCopy	inline
CopyTrail()	operations_research::sat::TrailCopy	inline
TrailCopy(const Trail &trail, const BinaryImplicationGraph &implication_graph, const ClauseManager &clause_manager)	operations_research::sat::TrailCopy	inline