CVC3::Variable Member List

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

added(bool neg)CVC3::Variable [inline]
added(bool neg) constCVC3::Variable [inline]
count(bool neg)CVC3::Variable [inline]
count(bool neg) constCVC3::Variable [inline]
countPrev(bool neg)CVC3::Variable [inline]
countPrev(bool neg) constCVC3::Variable [inline]
d_valCVC3::Variable [private]
deriveTheorem() constCVC3::Variable
deriveThmRec(bool checkAssump) const CVC3::Variable [private]
getAntecedent() constCVC3::Variable
getAntecedentIdx() constCVC3::Variable
getAssumpThm() constCVC3::Variable
getExpr() constCVC3::Variable
getNegExpr() constCVC3::Variable
getScope() constCVC3::Variable
getTheorem() constCVC3::Variable
getValue() constCVC3::Variable
isNull() constCVC3::Variable [inline]
operator<<(std::ostream &os, const Variable &l)CVC3::Variable [friend]
operator=(const Variable &l)CVC3::Variable
operator==(const Variable &l1, const Variable &l2)CVC3::Variable [friend]
score(bool neg)CVC3::Variable [inline]
score(bool neg) constCVC3::Variable [inline]
setAssumpThm(const Theorem &a, int scope)CVC3::Variable
setValue(int val, const Clause &c, int idx)CVC3::Variable
setValue(const Theorem &thm)CVC3::Variable
setValue(const Theorem &thm, int scope)CVC3::Variable
toString() constCVC3::Variable
Variable()CVC3::Variable [inline]
Variable(VariableManager *vm, const Expr &e)CVC3::Variable
Variable(const Variable &l)CVC3::Variable
wp(bool neg) constCVC3::Variable [inline]
~Variable()CVC3::Variable


Generated on Wed Nov 18 16:17:23 2009 for CVC3 by  doxygen 1.5.2