Searched refs:lv_coefficient (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_templates.hh | 5019 const FP_Interval_Type& lv_coefficient = in general_refine() local 5026 assign_r(low_coeff, lv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine() 5027 assign_r(high_coeff, lv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
|
H A D | Octagonal_Shape_templates.hh | 879 const FP_Interval_Type& lv_coefficient = in refine_with_linear_form_inequality() local 886 assign_r(low_coeff, lv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality() 887 assign_r(high_coeff, lv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
|
H A D | ppl.hh.dist | 71933 const FP_Interval_Type& lv_coefficient = 71940 assign_r(low_coeff, lv_coefficient.lower(), ROUND_NOT_NEEDED); 71941 assign_r(high_coeff, lv_coefficient.upper(), ROUND_NOT_NEEDED); 85566 const FP_Interval_Type& lv_coefficient = 85573 assign_r(low_coeff, lv_coefficient.lower(), ROUND_NOT_NEEDED); 85574 assign_r(high_coeff, lv_coefficient.upper(), ROUND_NOT_NEEDED);
|