operations_research::sat::PropagationGraph Class Reference

Detailed Description

Definition at line 1118 of file simplification.cc.

Public Member Functions
	PropagationGraph (double deterministic_time_limit, SatSolver *solver)
	PropagationGraph (const PropagationGraph &)=delete
PropagationGraph &	operator= (const PropagationGraph &)=delete
const std::vector< int32_t > &	operator[] (int32_t index) const

Constructor & Destructor Documentation

PropagationGraph() [1/2]

operations_research::sat::PropagationGraph::PropagationGraph ( double deterministic_time_limit, SatSolver * solver )

inline

Definition at line 1120 of file simplification.cc.

PropagationGraph() [2/2]

operations_research::sat::PropagationGraph::PropagationGraph ( const PropagationGraph & )

delete

Member Function Documentation

operator=()

PropagationGraph & operations_research::sat::PropagationGraph::operator= ( const PropagationGraph & )

delete

operator[]()

const std::vector< int32_t > & operations_research::sat::PropagationGraph::operator[] ( int32_t index ) const

inline

Definition at line 1132 of file simplification.cc.

---

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

• ortools/sat/simplification.cc