Searched refs:left_w_coeff (Results 1 – 3 of 3) sorted by relevance
4667 const FP_Interval_Type& left_w_coeff = in refine_with_linear_form_inequality() local4686 if (left_w_coeff == 1 || left_w_coeff == -1) { in refine_with_linear_form_inequality()4796 const FP_Interval_Type& left_w_coeff = in left_one_var_refine() local4799 if (left_w_coeff == 1) { in left_one_var_refine()4809 if (left_w_coeff == -1) { in left_one_var_refine()4824 const FP_Interval_Type& left_w_coeff = in left_one_var_refine() local4830 bool is_left_coeff_one = (left_w_coeff == 1); in left_one_var_refine()4831 bool is_left_coeff_minus_one = (left_w_coeff == -1); in left_one_var_refine()
641 const FP_Interval_Type& left_w_coeff = in refine_with_linear_form_inequality() local643 if (left_w_coeff == 1) { in refine_with_linear_form_inequality()657 if (left_w_coeff == -1) { in refine_with_linear_form_inequality()677 const FP_Interval_Type& left_w_coeff = in refine_with_linear_form_inequality() local681 bool is_left_coeff_one = (left_w_coeff == 1); in refine_with_linear_form_inequality()682 bool is_left_coeff_minus_one = (left_w_coeff == -1); in refine_with_linear_form_inequality()
71695 const FP_Interval_Type& left_w_coeff =71697 if (left_w_coeff == 1) {71711 if (left_w_coeff == -1) {71731 const FP_Interval_Type& left_w_coeff =71735 bool is_left_coeff_one = (left_w_coeff == 1);85214 const FP_Interval_Type& left_w_coeff =85233 if (left_w_coeff == 1 || left_w_coeff == -1) {85343 const FP_Interval_Type& left_w_coeff =85346 if (left_w_coeff == 1) {85356 if (left_w_coeff == -1) {[all …]