minisat::Lit Class Reference

List of all members.

Public Member Functions
	Lit (Var var, bool sign=false)
bool	operator== (Lit p) const
bool	operator!= (Lit p) const
bool	operator< (Lit p) const
Friends
int	toInt (Lit p)
Lit	toLit (int i)
Lit	operator~ (Lit p)
bool	sign (Lit p)
int	var (Lit p)
Lit	unsign (Lit p)
Lit	id (Lit p, bool sgn)

---

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

• sat-solver/SolverTypes.h