Searched refs:isPowerEquality (Results 1 – 3 of 3) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_arith_old.h | 980 bool isPowerEquality(const Expr& nonlinearEq, Rational& constant, Expr& power1);
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | arith_theorem_producer_old.cpp | 1291 bool ok = d_theoryArith->isPowerEquality(expr, constant, power); in elimPowerConst()
1316 bool ok = d_theoryArith->isPowerEquality(expr, constant, power); in evenPowerEqNegConst()
1336 bool ok = d_theoryArith->isPowerEquality(expr, constant, power); in intEqIrrational()
|
| H A D | theory_arith_old.cpp | 3210 if (isPowerEquality(nonlinearEq, constant, power1)) { in rewrite()
5300 bool TheoryArithOld::isPowerEquality(const Expr& eq, Rational& constant, Expr& power1) { in isPowerEquality() function in TheoryArithOld
|