Searched refs:theInequality (Results 1 – 10 of 10) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_arith3.h | 246 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
|
| H A D | theory_arith_new.h | 196 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
|
| H A D | theory_arith_old.h | 273 void projectInequalities(const Theorem& theInequality,bool isolatedVarOnRHS);
|
| /dports/math/gfan/gfan0.6.2/src/ |
| H A D | gfanlib_zcone.cpp | 1155 ZVector theInequality; in extremeRays() local
1161 theInequality=inequalities[j]; in extremeRays()
1163 assert(!theInequality.isZero()); in extremeRays()
|
| H A D | polyhedralcone.cpp | 800 IntegerVector theInequality; in extremeRays() local
809 theInequality=*a; in extremeRays()
811 assert(!theInequality.isZero()); in extremeRays()
|
| /dports/math/singular/Singular-Release-4-2-1/gfanlib/ |
| H A D | gfanlib_zcone.cpp | 1168 ZVector theInequality; in extremeRays() local
1174 theInequality=inequalities[j]; in extremeRays()
1176 assert(!theInequality.isZero()); in extremeRays()
|
| /dports/math/gfanlib/gfan0.6.2/src/ |
| H A D | gfanlib_zcone.cpp | 1155 ZVector theInequality; in extremeRays() local
1161 theInequality=inequalities[j]; in extremeRays()
1163 assert(!theInequality.isZero()); in extremeRays()
|
| H A D | polyhedralcone.cpp | 800 IntegerVector theInequality; in extremeRays() local
809 theInequality=*a; in extremeRays()
811 assert(!theInequality.isZero()); in extremeRays()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | theory_arith3.cpp | 1346 void TheoryArith3::projectInequalities(const Theorem& theInequality, in projectInequalities() argument
1349 TRACE("arith ineq", "projectInequalities(", theInequality.getExpr(), in projectInequalities()
1352 DebugAssert(isLE(theInequality.getExpr()) || in projectInequalities()
1353 isLT(theInequality.getExpr()), in projectInequalities()
1356 theInequality.toString()); in projectInequalities()
1359 Theorem theIneqThm(theInequality); in projectInequalities()
1367 Theorem thm = d_rules->lessThanToLE(theInequality, isIntLHS, isIntRHS, in projectInequalities()
|
| H A D | theory_arith_old.cpp | 1710 void TheoryArithOld::projectInequalities(const Theorem& theInequality, in projectInequalities() argument
1714 TRACE("arith project", "projectInequalities(", theInequality.getExpr(), in projectInequalities()
1717 DebugAssert(isLE(theInequality.getExpr()) || in projectInequalities()
1718 isLT(theInequality.getExpr()), in projectInequalities()
1721 theInequality.toString()); in projectInequalities()
1725 Theorem theIneqThm(theInequality); in projectInequalities()
1733 Theorem thm = d_rules->lessThanToLE(theInequality, isIntLHS, isIntRHS, !isolatedVarOnRHS); in projectInequalities()
|