Searched refs:var2monomial (Results 1 – 2 of 2) sorted by relevance
1658 ExprMap<Expr> var2monomial; in pickMonomial() local1666 var2monomial[var] = *i; in pickMonomial()1688 const Expr& var(largest_small_coeff[k]), monom(var2monomial[var]); in pickMonomial()1713 return var2monomial[largestVar]; in pickMonomial()
2033 ExprMap<Expr> var2monomial; in pickMonomial() local2041 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()