Home
last modified time | relevance | path

Searched refs:projectInequalities (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_arith3.h246 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
H A Dtheory_arith_new.h196 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
H A Dtheory_arith_old.h273 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1079 projectInequalities(thm1, varOnRHS); in processBuffer()
1346 void TheoryArith3::projectInequalities(const Theorem& theInequality, in projectInequalities() function in TheoryArith3
H A Dtheory_arith_old.cpp1137 projectInequalities(thm1, varOnRHS); in processBuffer()
1710 void TheoryArithOld::projectInequalities(const Theorem& theInequality, in projectInequalities() function in TheoryArithOld