minisat::lbool Class Reference

List of all members.

Public Member Functions
	lbool (bool x)
int	toInt (void) const
bool	operator== (lbool b) const
bool	operator!= (lbool b) const
lbool	operator^ (bool b) const
Friends
int	toInt (lbool l)
lbool	toLbool (int v)

---

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

• sat-solver/SolverTypes.h