Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh4956 const FP_Interval_Type& lfv_coefficient = in general_refine() local
4967 assign_r(low_coeff, lfv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine()
4968 assign_r(high_coeff, lfv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
H A DOctagonal_Shape_templates.hh809 const FP_Interval_Type& lfv_coefficient = in refine_with_linear_form_inequality() local
820 assign_r(low_coeff, lfv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
821 assign_r(high_coeff, lfv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
H A Dppl.hh.dist71863 const FP_Interval_Type& lfv_coefficient =
71874 assign_r(low_coeff, lfv_coefficient.lower(), ROUND_NOT_NEEDED);
71875 assign_r(high_coeff, lfv_coefficient.upper(), ROUND_NOT_NEEDED);
85503 const FP_Interval_Type& lfv_coefficient =
85514 assign_r(low_coeff, lfv_coefficient.lower(), ROUND_NOT_NEEDED);
85515 assign_r(high_coeff, lfv_coefficient.upper(), ROUND_NOT_NEEDED);