Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1658 ExprMap<Expr> var2monomial; in pickMonomial() local
1666 var2monomial[var] = *i; in pickMonomial()
1688 const Expr& var(largest_small_coeff[k]), monom(var2monomial[var]); in pickMonomial()
1713 return var2monomial[largestVar]; in pickMonomial()
H A Dtheory_arith_old.cpp2033 ExprMap<Expr> var2monomial; in pickMonomial() local
2041 var2monomial[var] = *i; in pickMonomial()
2063 const Expr& var(largest_small_coeff[k]), monom(var2monomial[var]); in pickMonomial()
2088 TRACE("arith buffer", "picked var : ", var2monomial[largestVar].toString(), ""); in pickMonomial()
2090 return var2monomial[largestVar]; in pickMonomial()