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	[inline, virtual]