Searched refs:min_var_degree1 (Results 1 – 2 of 2) sorted by path
644 unsigned min_var_degree1 = 0; in lex_compare2() local650 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()