Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
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: