Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1375 Expr monomialVar, a; in projectInequalities() local
1376 separateMonomial(isolatedMonomial, a, monomialVar); in projectInequalities()
1388 if(isMult(monomialVar) || isPow(monomialVar)) in projectInequalities()
1400 ExprMap<CDList<Ineq> *>::iterator it1 = db1.find(monomialVar); in projectInequalities()
1404 db1[monomialVar] = list; in projectInequalities()
1411 ExprMap<CDList<Ineq> *>::iterator it = db2.find(monomialVar); in projectInequalities()
H A Dtheory_arith_old.cpp1741 Expr monomialVar, a; in projectInequalities() local
1742 separateMonomial(isolatedMonomial, a, monomialVar); in projectInequalities()
1753 if(isMult(monomialVar) || isPow(monomialVar)) in projectInequalities()
1764 ExprMap<CDList<Ineq> *>::iterator it1 = db1.find(monomialVar); in projectInequalities()
1768 db1[monomialVar] = list; in projectInequalities()
1774 ExprMap<CDList<Ineq> *>::iterator it = db2.find(monomialVar); in projectInequalities()