operations_research::sat::TrailCopy Class Reference

Detailed Description

Definition at line 60 of file probing.cc.

Public Member Functions
	TrailCopy (const Trail &trail, const BinaryImplicationGraph &implication_graph, const ClauseManager &clause_manager)
void	CopyTrail ()
void	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)

Constructor & Destructor Documentation

TrailCopy()

operations_research::sat::TrailCopy::TrailCopy ( const Trail & trail, const BinaryImplicationGraph & implication_graph, const ClauseManager & clause_manager )

inline

Definition at line 62 of file probing.cc.

Member Function Documentation

AppendClauseIdsFixing()

void operations_research::sat::TrailCopy::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 )

inline

Definition at line 121 of file probing.cc.

CopyTrail()

void operations_research::sat::TrailCopy::CopyTrail ( )

inline

Definition at line 69 of file probing.cc.

---

The documentation for this class was generated from the following file:

• ortools/sat/probing.cc