minisat::Solver::VarOrderLt Struct Reference

List of all members.

Public Member Functions
bool	operator() (Var x, Var y) const
	VarOrderLt (const vec< double > &act)
Public Attributes
const vec< double > &	activity

---

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

• sat-solver/SatSolver.h