CVC3
2.4.1
|
This is the complete list of members for CVC3::UFProofRules, including all inherited members.
applyLambda(const Expr &e)=0 | CVC3::UFProofRules | pure virtual |
relToClosure(const Theorem &rel)=0 | CVC3::UFProofRules | pure virtual |
relTrans(const Theorem &t1, const Theorem &t2)=0 | CVC3::UFProofRules | pure virtual |
rewriteOpDef(const Expr &e)=0 | CVC3::UFProofRules | pure virtual |
~UFProofRules() | CVC3::UFProofRules | inlinevirtual |