Searched refs:right_w_coeff (Results 1 – 3 of 3) sorted by relevance
4669 const FP_Interval_Type& right_w_coeff = in refine_with_linear_form_inequality() local4679 else if (right_w_coeff == 1 || right_w_coeff == -1) { in refine_with_linear_form_inequality()4687 if (right_t == 0 || (right_w_coeff == 1 || right_w_coeff == -1)) { in refine_with_linear_form_inequality()4756 const FP_Interval_Type& right_w_coeff = in left_inhomogeneous_refine() local4758 if (right_w_coeff == 1) { in left_inhomogeneous_refine()4768 if (right_w_coeff == -1) { in left_inhomogeneous_refine()4827 const FP_Interval_Type& right_w_coeff = in left_one_var_refine() local4832 bool is_right_coeff_one = (right_w_coeff == 1); in left_one_var_refine()4833 bool is_right_coeff_minus_one = (right_w_coeff == -1); in left_one_var_refine()
606 const FP_Interval_Type& right_w_coeff = in refine_with_linear_form_inequality() local608 if (right_w_coeff == 1) { in refine_with_linear_form_inequality()622 if (right_w_coeff == -1) { in refine_with_linear_form_inequality()679 const FP_Interval_Type& right_w_coeff = in refine_with_linear_form_inequality() local683 bool is_right_coeff_one = (right_w_coeff == 1); in refine_with_linear_form_inequality()684 bool is_right_coeff_minus_one = (right_w_coeff == -1); in refine_with_linear_form_inequality()
71660 const FP_Interval_Type& right_w_coeff =71662 if (right_w_coeff == 1) {71676 if (right_w_coeff == -1) {71733 const FP_Interval_Type& right_w_coeff =85216 const FP_Interval_Type& right_w_coeff =85226 else if (right_w_coeff == 1 || right_w_coeff == -1) {85234 if (right_t == 0 || (right_w_coeff == 1 || right_w_coeff == -1)) {85303 const FP_Interval_Type& right_w_coeff =85305 if (right_w_coeff == 1) {85315 if (right_w_coeff == -1) {[all …]