Home
last modified time | relevance | path

Searched refs:min_var_degree1 (Results 1 – 2 of 2) sorted by path

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/
H A Dpolynomial.cpp644 unsigned min_var_degree1 = 0; in lex_compare2() local
650 min_var_degree1 = pw1.degree(); in lex_compare2()
674 SASSERT(min_var_degree1 != min_var_degree2); in lex_compare2()
675 return min_var_degree1 < min_var_degree2 ? -1 : 1; in lex_compare2()
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/
H A Dpolynomial.cpp644 unsigned min_var_degree1 = 0; in lex_compare2() local
650 min_var_degree1 = pw1.degree(); in lex_compare2()
674 SASSERT(min_var_degree1 != min_var_degree2); in lex_compare2()
675 return min_var_degree1 < min_var_degree2 ? -1 : 1; in lex_compare2()