Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh4958 const FP_Interval_Type& lsv_coefficient = in general_refine() local
4970 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine()
4971 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
4987 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED); in general_refine()
4988 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED); in general_refine()
H A DOctagonal_Shape_templates.hh811 const FP_Interval_Type& lsv_coefficient = in refine_with_linear_form_inequality() local
823 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
824 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
840 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
841 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED); in refine_with_linear_form_inequality()
H A Dppl.hh.dist71865 const FP_Interval_Type& lsv_coefficient =
71877 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED);
71878 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED);
71894 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED);
71895 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED);
85505 const FP_Interval_Type& lsv_coefficient =
85517 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED);
85518 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED);
85534 assign_r(low_coeff, lsv_coefficient.lower(), ROUND_NOT_NEEDED);
85535 assign_r(high_coeff, lsv_coefficient.upper(), ROUND_NOT_NEEDED);