Searched refs:currentMaxCoefficient (Results 1 – 4 of 4) sorted by relevance
334 Rational currentMaxCoefficient(Expr var);
361 Rational currentMaxCoefficient(Expr var);
1571 Rational TheoryArith3::currentMaxCoefficient(Expr var) in currentMaxCoefficient() function in TheoryArith31616 Rational best_coefficient = currentMaxCoefficient(best_variable); in selectSmallestByCoefficient()1624 Rational current_coefficient = currentMaxCoefficient(current_variable); in selectSmallestByCoefficient()
1948 Rational TheoryArithOld::currentMaxCoefficient(Expr var) in currentMaxCoefficient() function in TheoryArithOld1991 Rational best_coefficient = currentMaxCoefficient(best_variable); in selectSmallestByCoefficient()1999 Rational current_coefficient = currentMaxCoefficient(current_variable); in selectSmallestByCoefficient()