Searched refs:is_right_coeff_one (Results 1 – 3 of 3) sorted by relevance
4832 bool is_right_coeff_one = (right_w_coeff == 1); in left_one_var_refine() local4835 if ((is_left_coeff_one && is_right_coeff_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()4912 if (is_left_coeff_one && is_right_coeff_one) { in left_one_var_refine()
683 bool is_right_coeff_one = (right_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()705 if (is_left_coeff_minus_one && is_right_coeff_one) { in refine_with_linear_form_inequality()719 else if (is_left_coeff_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()
71737 bool is_right_coeff_one = (right_w_coeff == 1);71740 if ((is_left_coeff_one && is_right_coeff_one)71759 if (is_left_coeff_minus_one && is_right_coeff_one) {71773 else if (is_left_coeff_one && is_right_coeff_one) {71808 if (is_left_coeff_minus_one && is_right_coeff_one) {85379 bool is_right_coeff_one = (right_w_coeff == 1);85382 if ((is_left_coeff_one && is_right_coeff_one)85400 if (is_left_coeff_minus_one && is_right_coeff_one) {85413 else if (is_left_coeff_minus_one && is_right_coeff_one) {85459 if (is_left_coeff_one && is_right_coeff_one) {