Searched refs:is_right_coeff_minus_one (Results 1 – 3 of 3) sorted by relevance
4833 bool is_right_coeff_minus_one = (right_w_coeff == -1); in left_one_var_refine() local4837 (is_left_coeff_minus_one && is_right_coeff_minus_one)) { in left_one_var_refine()4841 if (is_left_coeff_one && is_right_coeff_minus_one) { in left_one_var_refine()4889 if (is_left_coeff_one && is_right_coeff_minus_one) { in left_one_var_refine()4921 if (is_left_coeff_minus_one && is_right_coeff_minus_one) { in left_one_var_refine()
684 bool is_right_coeff_minus_one = (right_w_coeff == -1); in refine_with_linear_form_inequality() local687 || (is_left_coeff_minus_one && is_right_coeff_minus_one)) { in refine_with_linear_form_inequality()692 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()737 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()771 if (is_left_coeff_minus_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()
71738 bool is_right_coeff_minus_one = (right_w_coeff == -1);71741 || (is_left_coeff_minus_one && is_right_coeff_minus_one)) {71746 if (is_left_coeff_one && is_right_coeff_minus_one) {71791 if (is_left_coeff_one && is_right_coeff_minus_one) {71825 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {85380 bool is_right_coeff_minus_one = (right_w_coeff == -1);85384 (is_left_coeff_minus_one && is_right_coeff_minus_one)) {85388 if (is_left_coeff_one && is_right_coeff_minus_one) {85436 if (is_left_coeff_one && is_right_coeff_minus_one) {85468 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {