CVC3::Literal Member List

This is the complete list of members for CVC3::Literal, including all inherited members.

added()	CVC3::Literal	[inline]
added() const	CVC3::Literal	[inline]
count()	CVC3::Literal	[inline]
count() const	CVC3::Literal	[inline]
countPrev()	CVC3::Literal	[inline]
countPrev() const	CVC3::Literal	[inline]
d_negative	CVC3::Literal	[private]
d_var	CVC3::Literal	[private]
deriveTheorem() const	CVC3::Literal	[inline]
getExpr() const	CVC3::Literal	[inline]
getScope() const	CVC3::Literal	[inline]
getTheorem() const	CVC3::Literal	[inline]
getValue() const	CVC3::Literal	[inline]
getVar()	CVC3::Literal	[inline]
getVar() const	CVC3::Literal	[inline]
isNegative() const	CVC3::Literal	[inline]
isNull() const	CVC3::Literal	[inline]
isPositive() const	CVC3::Literal	[inline]
Literal(const Variable &v, bool positive=true)	CVC3::Literal	[inline]
Literal()	CVC3::Literal	[inline]
Literal(VariableManager *vm, const Expr &e)	CVC3::Literal	[inline]
operator<<(std::ostream &os, const Literal &l)	CVC3::Literal	[friend]
operator==(const Literal &l1, const Literal &l2)	CVC3::Literal	[friend]
score()	CVC3::Literal	[inline]
score() const	CVC3::Literal	[inline]
setValue(const Theorem &thm)	CVC3::Literal	[inline]
setValue(const Theorem &thm, int scope)	CVC3::Literal	[inline]
toString() const	CVC3::Literal
wp() const	CVC3::Literal	[inline]