Searched refs:projectInequalities (Results 1 – 5 of 5) sorted by relevance
246 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
196 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
273 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
1079 projectInequalities(thm1, varOnRHS); in processBuffer()1346 void TheoryArith3::projectInequalities(const Theorem& theInequality, in projectInequalities() function in TheoryArith3
1137 projectInequalities(thm1, varOnRHS); in processBuffer()1710 void TheoryArithOld::projectInequalities(const Theorem& theInequality, in projectInequalities() function in TheoryArithOld