OR-Tools  8.2
PropagationGraph

Detailed Description

Definition at line 1083 of file simplification.cc.

Public Member Functions

 PropagationGraph (double deterministic_time_limit, SatSolver *solver)
 
const std::vector< int32 > & operator[] (int32 index) const
 

Constructor & Destructor Documentation

◆ PropagationGraph()

PropagationGraph ( double  deterministic_time_limit,
SatSolver solver 
)
inline

Definition at line 1085 of file simplification.cc.

Member Function Documentation

◆ operator[]()

const std::vector<int32>& operator[] ( int32  index) const
inline

Definition at line 1093 of file simplification.cc.


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