CVC3
SAT::Lit Member List

This is the complete list of members for SAT::Lit, including all inherited members.

d_indexSAT::Litprivate
getFalse()SAT::Litinlinestatic
getID() const SAT::Litinline
getTrue()SAT::Litinlinestatic
getVar() const SAT::Litinline
isFalse() const SAT::Litinline
isInverted() const SAT::Litinline
isNull() const SAT::Litinline
isPositive() const SAT::Litinline
isTrue() const SAT::Litinline
isVar() const SAT::Litinline
Lit()SAT::Litinline
Lit(Var v, bool positive=true)SAT::Litinlineexplicit
mkLit(int index)SAT::Litinlineprivatestatic
operator!(const Lit &lit)SAT::Litfriend
reset()SAT::Litinline