Home
last modified time | relevance | path

Searched refs:rsv_coefficient (Results 1 – 3 of 3) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh4962 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 DOctagonal_Shape_templates.hh815 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 Dppl.hh.dist71869 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);