CVCL::CoreProofRules Member List

This is the complete list of members for CVCL::CoreProofRules, including all inherited members.

andDistributivityRule(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
AndToIte(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
iffAndDistrib(const Expr &iff)=0	CVCL::CoreProofRules	[pure virtual]
iffOrDistrib(const Expr &iff)=0	CVCL::CoreProofRules	[pure virtual]
IffToIte(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
ifLiftUnaryRule(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
implIntro3(const Theorem3 &phi, const std::vector< Expr > &assump, const std::vector< Theorem > &tccs)=0	CVCL::CoreProofRules	[pure virtual]
ImpToIte(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
NotToIte(const Expr &not_e)=0	CVCL::CoreProofRules	[pure virtual]
orDistributivityRule(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
OrToIte(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
queryTCC(const Theorem &phi, const Theorem &D_phi)=0	CVCL::CoreProofRules	[pure virtual]
rewriteAndSubterms(const Expr &e, int idx)=0	CVCL::CoreProofRules	[pure virtual]
rewriteConstDef(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteImplies(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteBool(const Expr &c, const Expr &e1, const Expr &e2)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteCond(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteElse(const Expr &e, const Theorem &elseThm)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteFalse(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteSame(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteThen(const Expr &e, const Theorem &thenThm)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteToAnd(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteToIff(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteToImp(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteToNot(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteToOr(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteIteTrue(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteLetDecl(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteNotAnd(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteNotIff(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteNotIte(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteNotOr(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
rewriteOrSubterms(const Expr &e, int idx)=0	CVCL::CoreProofRules	[pure virtual]
typePred(const Expr &e)=0	CVCL::CoreProofRules	[pure virtual]
~CoreProofRules()	CVCL::CoreProofRules	[inline, virtual]

---