Searched refs:is_left_coeff_minus_one (Results 1 – 3 of 3) sorted by relevance
4831 bool is_left_coeff_minus_one = (left_w_coeff == -1); in left_one_var_refine() local4837 (is_left_coeff_minus_one && is_right_coeff_minus_one)) { in left_one_var_refine()4853 if (is_left_coeff_minus_one && is_right_coeff_one) { in left_one_var_refine()4866 else if (is_left_coeff_minus_one && is_right_coeff_one) { in left_one_var_refine()4921 if (is_left_coeff_minus_one && is_right_coeff_minus_one) { in left_one_var_refine()
682 bool is_left_coeff_minus_one = (left_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()705 if (is_left_coeff_minus_one && is_right_coeff_one) { in refine_with_linear_form_inequality()754 if (is_left_coeff_minus_one && is_right_coeff_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()
71736 bool is_left_coeff_minus_one = (left_w_coeff == -1);71741 || (is_left_coeff_minus_one && is_right_coeff_minus_one)) {71759 if (is_left_coeff_minus_one && is_right_coeff_one) {71808 if (is_left_coeff_minus_one && is_right_coeff_one) {71825 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {85378 bool is_left_coeff_minus_one = (left_w_coeff == -1);85384 (is_left_coeff_minus_one && is_right_coeff_minus_one)) {85400 if (is_left_coeff_minus_one && is_right_coeff_one) {85413 else if (is_left_coeff_minus_one && is_right_coeff_one) {85468 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {