Searched refs:lsv_coefficient (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_templates.hh | 4958 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 D | Octagonal_Shape_templates.hh | 811 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 D | ppl.hh.dist | 71865 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);
|