| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | arith_theorem_producer_old.cpp | 96 CHECK_SOUND(isRational(c), in canonDivideConst()
99 CHECK_SOUND(isRational(d), in canonDivideConst()
119 CHECK_SOUND(isRational(d), in canonDivideMult()
441 if (mul.isRational()) { in canonCombineLikeTerms()
566 if (e1.isRational()) { in canonMultMtermMterm()
930 if (!right.isRational()) in moveSumConstantRight()
1083 && e[0].isRational() && e[1].isRational(), in canonPowConst()
1149 if(i->isRational()) in canonComboLikeTerms()
1205 if (x.isRational()) { in multEqZero()
1357 CHECK_SOUND(e.arity() == 2 && isRational(e[0]) && isRational(e[1]), in constPredicate()
[all …]
|
| H A D | arith_theorem_producer.cpp | 102 CHECK_SOUND(isRational(c), in canonDivideConst()
105 CHECK_SOUND(isRational(d), in canonDivideConst()
125 CHECK_SOUND(isRational(d), in canonDivideMult()
151 CHECK_SOUND(isRational(d), in canonDividePlus()
170 CHECK_SOUND(isRational(d), in canonDivideVar()
448 if (mul.isRational()) in canonCombineLikeTerms()
594 if (e1.isRational()) { in canonMultMtermMterm()
1046 && e[0].isRational() && e[1].isRational(), in canonPowConst()
1112 if(i->isRational()) in canonComboLikeTerms()
1302 CHECK_SOUND(e.arity() == 2 && isRational(e[0]) && isRational(e[1]), in constPredicate()
[all …]
|
| H A D | arith_theorem_producer3.cpp | 95 CHECK_SOUND(isRational(c), in canonDivideConst()
98 CHECK_SOUND(isRational(d), in canonDivideConst()
118 CHECK_SOUND(isRational(d), in canonDivideMult()
144 CHECK_SOUND(isRational(d), in canonDividePlus()
163 CHECK_SOUND(isRational(d), in canonDivideVar()
440 if (mul.isRational()) { in canonCombineLikeTerms()
565 if (e1.isRational()) { in canonMultMtermMterm()
880 if (!right.isRational()) in moveSumConstantRight()
1033 && e[0].isRational() && e[1].isRational(), in canonPowConst()
1099 if(i->isRational()) in canonComboLikeTerms()
[all …]
|
| H A D | theory_arith_old.cpp | 147 } else if(isRational(t)) { in updateSubsumptionDB()
351 if(e[1].isRational()) in canon()
1625 DebugAssert(!isRational(var2) && !isRational(isolatedMonomial), in lessThanVar()
1940 if (right.isRational()) in normalizeProjectIneqs()
2037 if(i->isRational()) in pickMonomial()
2651 if (lhs.isRational() && rhs.isRational()) { in checkSat()
3017 if(e[0].isRational()) in normalize()
3134 if ((thm.getRHS())[0].isRational() && (thm.getRHS())[1].isRational()) { in rewrite()
5396 if (t.isRational()) { in getUpperBound()
5468 if (t.isRational()) { in getLowerBound()
[all …]
|
| H A D | theory_arith.cpp | 163 else if (e.isRational()) { in isSyntacticRational()
215 DebugAssert(tmp[0].isRational(), "Unexpected term structure from canon"); in rewriteToDiff()
219 DebugAssert(tmp[0].isRational(), "Unexpected term structure from canon"); in rewriteToDiff()
245 DebugAssert(y[0].isRational(), "Unexpected term structure from canon"); in rewriteToDiff()
304 if (e.isRational()) { in leavesAreNumConst()
|
| H A D | theory_arith3.cpp | 141 } else if(isRational(t)) { in updateSubsumptionDB()
345 if(e[1].isRational()) in canon()
450 if (right.isRational()) { in doSolve()
664 if(isRational(c)) in processRealEq()
1169 if (right.isRational()) { in isolateVariable()
1264 DebugAssert(!isRational(var2) && !isRational(isolatedMonomial), in lessThanVar()
1565 if (right.isRational()) in normalizeProjectIneqs()
1662 if(i->isRational()) in pickMonomial()
2329 if(e[0].isRational()) { in normalize()
2342 if(e[0].isRational()) in normalize()
[all …]
|
| H A D | theory_arith_new.cpp | 349 if (right.isRational()) { in doSolve()
393 DebugAssert(right[0].isRational(), in pickIntEqMonomial()
439 if(isRational(c)) in processRealEq()
934 DebugAssert(!isRational(var2) && !isRational(isolatedMonomial), in lessThanVar()
1185 DebugAssert(!isPlus(ax) && !isRational(ax), in processFiniteInterval()
1187 DebugAssert(!isPlus(bx) && !isRational(bx), in processFiniteInterval()
1205 if(c.isRational() && c.getRational() >= 1) { in processFiniteInterval()
1337 DebugAssert(findExpr(c).isRational(), in findRationalBound()
1410 if(e.isRational()) continue; in assignVariables()
1655 if ((thm.getRHS())[1].isRational()) in rewrite()
[all …]
|
| /dports/math/cvc3/cvc3-2.4.1/src/search/ |
| H A D | LFSCPrinter.cpp | 271 if( ec.isRational() || ec.getKind()==DIVIDE ) in print_poly_norm()
301 if( expr[0].isRational() && expr[1].isRational() ) in print_poly_norm()
333 }else if(expr.isRational()){ in print_poly_norm()
382 }else if(expr.isRational()){ in print_terms_h()
390 if( expr[0].isRational() && expr[1].isRational() ){ in print_terms_h()
416 if( expr[0].isRational() ){ in print_terms_h()
420 }else if( expr[0].getKind()==DIVIDE && expr[0][0].isRational() && expr[0][1].isRational() ){ in print_terms_h()
|
| H A D | Util.cpp | 159 if( e.isRational() ){ in getRat()
162 }else if( e.getKind()==DIVIDE && e[0].isRational() && e[1].isRational() ){ in getRat()
|
| /dports/biology/py-python-libsbml/python-libsbml-5.19.0/libsbml_source/src/sbml/validator/constraints/ |
| H A D | ExponentUnitsCheck.cpp | 181 unsigned int isRational = 0; in checkUnitsFromRoot() local
183 if (child->isRational()) in checkUnitsFromRoot()
185 isRational = 1; in checkUnitsFromRoot()
209 if (isRational == 1) in checkUnitsFromRoot()
|
| H A D | PowerUnitsCheck.cpp | 205 unsigned int isRational = 0; in checkUnitsFromPower() local
212 if (child->isRational()) in checkUnitsFromPower()
214 isRational = 1; in checkUnitsFromPower()
341 if (isRational == 1) in checkUnitsFromPower()
|
| /dports/biology/libsbml/libsbml-5.19.0/src/sbml/validator/constraints/ |
| H A D | ExponentUnitsCheck.cpp | 181 unsigned int isRational = 0; in checkUnitsFromRoot() local
183 if (child->isRational()) in checkUnitsFromRoot()
185 isRational = 1; in checkUnitsFromRoot()
209 if (isRational == 1) in checkUnitsFromRoot()
|
| H A D | PowerUnitsCheck.cpp | 205 unsigned int isRational = 0; in checkUnitsFromPower() local
212 if (child->isRational()) in checkUnitsFromPower()
214 isRational = 1; in checkUnitsFromPower()
341 if (isRational == 1) in checkUnitsFromPower()
|
| /dports/math/cvc3/cvc3-2.4.1/src/translator/ |
| H A D | translator.cpp | 215 else if (d_convertArith && e2[1].isRational()) { in preprocessRec()
231 if (e2[0].isRational() && e2[1].isRational()) { in preprocessRec()
255 if ((*i2).isRational()) { in preprocessRec()
263 if ((*i).isRational()) { in preprocessRec()
310 if ((*i2).isRational()) { in preprocessRec()
318 if ((*i).isRational()) { in preprocessRec()
353 if (d_convertArith && e2[0].isRational()) { in preprocessRec()
457 if ((*i).isRational()) { in preprocessRec()
489 if (e2[i].isRational()) continue; in preprocessRec()
519 e2[1].isRational()) { in preprocessRec()
[all …]
|
| /dports/math/py-gmpy/gmpy-1.17/src/ |
| H A D | gmpy_basic.c | 131 if(isRational(a) && isRational(b)) {
323 if(isRational(a) && isRational(b)) {
502 if(isRational(a) && isRational(b)) {
725 if(isRational(a) && isRational(b)) {
891 if(isRational(a) && isRational(b)) {
1125 if(isRational(a) && isRational(b)) {
1353 if(isRational(a) && isRational(b)) {
1622 if(isRational(a) && isRational(b)) {
|
| /dports/lang/swi-pl/swipl-8.2.3/src/ |
| H A D | pl-data.h | 210 #define isRational(w) (tag(w) == TAG_INTEGER) macro
220 #define isInteger(w) isRational(w)
346 #define isNumber(w) (isRational(w) || isFloat(w))
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_arith.h | 177 inline bool isRational(const Expr& e) { return e.isRational(); } in isRational() function
179 { return e.isRational() && e.getRational().isInteger(); } in isIntegerConst()
|
| /dports/cad/opencascade/opencascade-7.6.0/src/GeomFill/ |
| H A D | GeomFill_Filling.hxx | 48 Standard_EXPORT Standard_Boolean isRational() const;
|
| H A D | GeomFill_Filling.cxx | 67 Standard_Boolean GeomFill_Filling::isRational()const in isRational() function in GeomFill_Filling
|
| /dports/cad/opencascade/opencascade-7.6.0/inc/ |
| H A D | GeomFill_Filling.hxx | 48 Standard_EXPORT Standard_Boolean isRational() const;
|
| /dports/graphics/opencollada/OpenCOLLADA-1.6.68/Externals/MayaDataModel/include/ |
| H A D | MayaDMTypes.h | 867 bool isRational; member
888 isRational=false; in nurbsCurve()
903 fprintf(file,"%i %i %i %i %i %i ", degree, spans, form, isRational, dimension, knotCount); in write()
911 if(isRational) numElements++; in write()
954 bool isRational; member
990 fprintf(file,"%i %i %i %i %i %i ", uDegree, vDegree, uForm, vForm, isRational, uKnotCount); in write()
1008 if(isRational) numElements++; in write()
|
| /dports/devel/py-cadquery-pywrap/pywrap-e8c7bc9/opencascade/ |
| H A D | GeomFill_Filling.hxx | 49 Standard_EXPORT Standard_Boolean isRational() const;
|
| /dports/graphics/libGLU/glu-9.0.2/src/libnurbs/internals/ |
| H A D | mapdesc.h | 101 inline int isRational( void );
192 Mapdesc::isRational( void ) in isRational() function
|
| /dports/math/cvc4/CVC4-1.7/src/util/ |
| H A D | sexpr.cpp | 189 bool SExpr::isRational() const { return d_sexprType == SEXPR_RATIONAL; } in isRational() function in CVC4::SExpr
227 } else if (sexpr.isRational()) { in toStreamRec()
315 PrettyCheckArgument(isRational(), this); in getRationalValue()
|
| /dports/math/cvc3/cvc3-2.4.1/src/parser/ |
| H A D | smtlib2.y | 434 id[1].isRational() ) {
578 DebugAssert( numerals[0].isRational() &&
672 op[1].isRational() &&
674 op[2].isRational() &&
685 op[1].isRational() &&
|