Searched refs:is_left_coeff_one (Results 1 – 3 of 3) sorted by relevance
4830 bool is_left_coeff_one = (left_w_coeff == 1); in left_one_var_refine() local4835 if ((is_left_coeff_one && is_right_coeff_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()4912 if (is_left_coeff_one && is_right_coeff_one) { in left_one_var_refine()
681 bool is_left_coeff_one = (left_w_coeff == 1); in refine_with_linear_form_inequality() local686 if ((is_left_coeff_one && is_right_coeff_one) in refine_with_linear_form_inequality()692 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()719 else if (is_left_coeff_one && is_right_coeff_one) { in refine_with_linear_form_inequality()737 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()
71735 bool is_left_coeff_one = (left_w_coeff == 1);71740 if ((is_left_coeff_one && is_right_coeff_one)71746 if (is_left_coeff_one && is_right_coeff_minus_one) {71773 else if (is_left_coeff_one && is_right_coeff_one) {71791 if (is_left_coeff_one && is_right_coeff_minus_one) {85377 bool is_left_coeff_one = (left_w_coeff == 1);85382 if ((is_left_coeff_one && is_right_coeff_one)85388 if (is_left_coeff_one && is_right_coeff_minus_one) {85436 if (is_left_coeff_one && is_right_coeff_minus_one) {85459 if (is_left_coeff_one && is_right_coeff_one) {