![]() |
OR-Tools
8.2
|
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 |
|
inline |
Definition at line 1085 of file simplification.cc.
Definition at line 1093 of file simplification.cc.