PropagationGraph

Detailed Description

Definition at line 1093 of file simplification.cc.

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

Constructor & Destructor Documentation

PropagationGraph()

PropagationGraph ( double  deterministic_time_limit, SatSolver *  solver  )

inline

Definition at line 1095 of file simplification.cc.

Member Function Documentation

operator[]()

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

inline

Definition at line 1103 of file simplification.cc.

---

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

• simplification.cc