Searched refs:isPowersEquality (Results 1 – 3 of 3) sorted by relevance
975 bool isPowersEquality(const Expr& nonlinearEq, Expr& power1, Expr& power2);
3202 if (isPowersEquality(nonlinearEq, power1, power2)) { in rewrite()5244 bool TheoryArithOld::isPowersEquality(const Expr& eq, Expr& power1, Expr& power2) { in isPowersEquality() function in TheoryArithOld
1269 bool ok = d_theoryArith->isPowersEquality(expr, power1, power2); in elimPower()