CVC3  2.4.1
CVC3::Literal Member List

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

added()CVC3::Literalinline
added() const CVC3::Literalinline
count()CVC3::Literalinline
count() const CVC3::Literalinline
countPrev()CVC3::Literalinline
countPrev() const CVC3::Literalinline
d_negativeCVC3::Literalprivate
d_varCVC3::Literalprivate
deriveTheorem() const CVC3::Literalinline
getExpr() const CVC3::Literalinline
getScope() const CVC3::Literalinline
getTheorem() const CVC3::Literalinline
getValue() const CVC3::Literalinline
getVar()CVC3::Literalinline
getVar() const CVC3::Literalinline
isNegative() const CVC3::Literalinline
isNull() const CVC3::Literalinline
isPositive() const CVC3::Literalinline
Literal(const Variable &v, bool positive=true)CVC3::Literalinline
Literal()CVC3::Literalinline
Literal(VariableManager *vm, const Expr &e)CVC3::Literalinline
operator<<(std::ostream &os, const Literal &l)CVC3::Literalfriend
operator==(const Literal &l1, const Literal &l2)CVC3::Literalfriend
score()CVC3::Literalinline
score() const CVC3::Literalinline
setValue(const Theorem &thm)CVC3::Literalinline
setValue(const Theorem &thm, int scope)CVC3::Literalinline
toString() const CVC3::Literal
wp() const CVC3::Literalinline