Home
last modified time | relevance | path

Searched refs:term1_c (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp5254 Rational term1_c; in isPowersEquality() local
5256 term1_c = 1; in isPowersEquality()
5261 term1_c = term1[0].getRational(); in isPowersEquality()
5263 if (term1_c == 1) power1 = term1[1]; in isPowersEquality()
5264 else if (term1_c == -1) power2 = term1[1]; in isPowersEquality()
5289 if (term1_c == term2_c) return false; in isPowersEquality()