d_commonRules | CVC3::ExprTransform | [private] |
d_core | CVC3::ExprTransform | [private] |
d_pushNegCache | CVC3::ExprTransform | [private] |
d_rules | CVC3::ExprTransform | [private] |
ExprTransform(TheoryCore *core) | CVC3::ExprTransform | |
preprocess(const Expr &e) | CVC3::ExprTransform | |
preprocess(const Theorem &thm) | CVC3::ExprTransform | |
pushNegation(const Expr &e) | CVC3::ExprTransform | |
pushNegation1(const Expr &e) | CVC3::ExprTransform | |
pushNegationRec(const Expr &e, bool neg) | CVC3::ExprTransform | |
pushNegationRec(const Theorem &e, bool neg) | CVC3::ExprTransform | |
smartSimplify(const Expr &e, ExprMap< bool > &cache) | CVC3::ExprTransform | |
~ExprTransform() | CVC3::ExprTransform | [inline] |