Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh4960 const FP_Interval_Type& rfv_coefficient = in general_refine() local
4984 assign_r(low_coeff, rfv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine()
4985 assign_r(high_coeff, rfv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
H A DOctagonal_Shape_templates.hh813 const FP_Interval_Type& rfv_coefficient = in refine_with_linear_form_inequality() local
837 assign_r(low_coeff, rfv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
838 assign_r(high_coeff, rfv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
H A Dppl.hh.dist71867 const FP_Interval_Type& rfv_coefficient =
71891 assign_r(low_coeff, rfv_coefficient.lower(), ROUND_NOT_NEEDED);
71892 assign_r(high_coeff, rfv_coefficient.upper(), ROUND_NOT_NEEDED);
85507 const FP_Interval_Type& rfv_coefficient =
85531 assign_r(low_coeff, rfv_coefficient.lower(), ROUND_NOT_NEEDED);
85532 assign_r(high_coeff, rfv_coefficient.upper(), ROUND_NOT_NEEDED);