CVC3

SAT::Lit Member List

This is the complete list of members for SAT::Lit, including all inherited members.
d_indexSAT::Lit [private]
getFalse()SAT::Lit [inline, static]
getID() const SAT::Lit [inline]
getTrue()SAT::Lit [inline, static]
getVar() const SAT::Lit [inline]
isFalse() const SAT::Lit [inline]
isInverted() const SAT::Lit [inline]
isNull() const SAT::Lit [inline]
isPositive() const SAT::Lit [inline]
isTrue() const SAT::Lit [inline]
isVar() const SAT::Lit [inline]
Lit()SAT::Lit [inline]
Lit(Var v, bool positive=true)SAT::Lit [inline, explicit]
mkLit(int index)SAT::Lit [inline, private, static]
operator!(const Lit &lit)SAT::Lit [friend]
reset()SAT::Lit [inline]