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_negativeCVC3::Literal [private]
d_varCVC3::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]


Generated on Thu Oct 15 22:23:44 2009 for CVC3 by  doxygen 1.5.8