minisat::Solver::VarFilter Struct Reference

List of all members.

Public Member Functions
	VarFilter (const Solver &_s)
bool	operator() (Var v) const
Public Attributes
const Solver &	s

---

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

• sat-solver/SatSolver.h