CVCL::ArithProofRules Member List

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

canonComboLikeTerms(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonDivide(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonDivideConst(const Expr &c, const Expr &d)=0CVCL::ArithProofRules [pure virtual]
canonDivideMult(const Expr &cx, const Expr &d)=0CVCL::ArithProofRules [pure virtual]
canonDividePlus(const Expr &e, const Expr &d)=0CVCL::ArithProofRules [pure virtual]
canonDivideVar(const Expr &e, const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonFlattenSum(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonInvert(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonMult(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonMultConstConst(const Expr &c1, const Expr &c2)=0CVCL::ArithProofRules [pure virtual]
canonMultConstSum(const Expr &c1, const Expr &sum)=0CVCL::ArithProofRules [pure virtual]
canonMultConstTerm(const Expr &c1, const Expr &c2, const Expr &t)=0CVCL::ArithProofRules [pure virtual]
canonMultMtermMterm(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonMultOne(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonMultTerm1Term2(const Expr &t1, const Expr &t2)=0CVCL::ArithProofRules [pure virtual]
canonMultTermConst(const Expr &c, const Expr &t)=0CVCL::ArithProofRules [pure virtual]
canonMultZero(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonPlus(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
canonPowConst(const Expr &pow)=0CVCL::ArithProofRules [pure virtual]
canonUMinusToDivide(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
constPredicate(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
darkGrayShadow2ab(const Theorem &betaLEbx, const Theorem &axLEalpha, const Theorem &isIntAlpha, const Theorem &isIntBeta, const Theorem &isIntx)=0CVCL::ArithProofRules [pure virtual]
darkGrayShadow2ba(const Theorem &betaLEbx, const Theorem &axLEalpha, const Theorem &isIntAlpha, const Theorem &isIntBeta, const Theorem &isIntx)=0CVCL::ArithProofRules [pure virtual]
diseqToIneq(const Theorem &diseq)=0CVCL::ArithProofRules [pure virtual]
eqElimIntRule(const Theorem &eqn, const Theorem &isIntx, const std::vector< Theorem > &isIntVars)=0CVCL::ArithProofRules [pure virtual]
equalLeaves1(const Theorem &thm)=0CVCL::ArithProofRules [pure virtual]
equalLeaves2(const Theorem &thm)=0CVCL::ArithProofRules [pure virtual]
equalLeaves3(const Theorem &thm)=0CVCL::ArithProofRules [pure virtual]
equalLeaves4(const Theorem &thm)=0CVCL::ArithProofRules [pure virtual]
expandDarkShadow(const Theorem &darkShadow)=0CVCL::ArithProofRules [pure virtual]
expandGrayShadow(const Theorem &g)=0CVCL::ArithProofRules [pure virtual]
expandGrayShadow0(const Theorem &g)=0CVCL::ArithProofRules [pure virtual]
expandGrayShadowConst(const Theorem &g)=0CVCL::ArithProofRules [pure virtual]
finiteInterval(const Theorem &aLEt, const Theorem &tLEac, const Theorem &isInta, const Theorem &isIntt)=0CVCL::ArithProofRules [pure virtual]
flipInequality(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
grayShadowConst(const Theorem &g)=0CVCL::ArithProofRules [pure virtual]
intVarEqnConst(const Expr &eqn, const Theorem &isIntx)=0CVCL::ArithProofRules [pure virtual]
isIntConst(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
lessThanToLE(const Theorem &less, const Theorem &isIntLHS, const Theorem &isIntRHS, bool changeRight)=0CVCL::ArithProofRules [pure virtual]
minusToPlus(const Expr &x, const Expr &y)=0CVCL::ArithProofRules [pure virtual]
multEqn(const Expr &x, const Expr &y, const Expr &z)=0CVCL::ArithProofRules [pure virtual]
multIneqn(const Expr &e, const Expr &z)=0CVCL::ArithProofRules [pure virtual]
negatedInequality(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
plusPredicate(const Expr &x, const Expr &y, const Expr &z, int kind)=0CVCL::ArithProofRules [pure virtual]
realShadow(const Theorem &alphaLTt, const Theorem &tLTbeta)=0CVCL::ArithProofRules [pure virtual]
realShadowEq(const Theorem &alphaLEt, const Theorem &tLEalpha)=0CVCL::ArithProofRules [pure virtual]
rightMinusLeft(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
splitGrayShadow(const Theorem &g)=0CVCL::ArithProofRules [pure virtual]
uMinusToMult(const Expr &e)=0CVCL::ArithProofRules [pure virtual]
~ArithProofRules()CVCL::ArithProofRules [inline, virtual]


Generated on Thu Apr 13 16:57:46 2006 for CVC Lite by  doxygen 1.4.4