CVC3::UFProofRules Member List

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