CVC3  2.4.1
CVC3::UFProofRules Member List

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

applyLambda(const Expr &e)=0CVC3::UFProofRulespure virtual
relToClosure(const Theorem &rel)=0CVC3::UFProofRulespure virtual
relTrans(const Theorem &t1, const Theorem &t2)=0CVC3::UFProofRulespure virtual
rewriteOpDef(const Expr &e)=0CVC3::UFProofRulespure virtual
~UFProofRules()CVC3::UFProofRulesinlinevirtual