Searched refs:rsv_coefficient (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_templates.hh | 4962 const FP_Interval_Type& rsv_coefficient = in general_refine() local 4976 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine() 4977 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine() 4993 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine() 4994 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
|
H A D | Octagonal_Shape_templates.hh | 815 const FP_Interval_Type& rsv_coefficient = in refine_with_linear_form_inequality() local 829 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality() 830 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality() 846 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality() 847 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
|
H A D | ppl.hh.dist | 71869 const FP_Interval_Type& rsv_coefficient = 71883 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); 71884 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); 71900 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); 71901 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); 85509 const FP_Interval_Type& rsv_coefficient = 85523 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); 85524 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED); 85540 assign_r(low_coeff, rsv_coefficient.lower(), ROUND_NOT_NEEDED); 85541 assign_r(high_coeff, rsv_coefficient.upper(), ROUND_NOT_NEEDED);
|