Searched refs:curr_coefficient (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_templates.hh | 5084 curr_coefficient = lf.coefficient(Variable(curr_var)); in linear_form_upper_bound() local 5085 assign_r(curr_lb, curr_coefficient.lower(), ROUND_NOT_NEEDED); in linear_form_upper_bound() 5086 assign_r(curr_ub, curr_coefficient.upper(), ROUND_NOT_NEEDED); in linear_form_upper_bound()
|
H A D | Octagonal_Shape_templates.hh | 5800 const FP_Interval_Type& curr_coefficient = in linear_form_upper_bound() local 5802 assign_r(curr_lb, curr_coefficient.lower(), ROUND_NOT_NEEDED); in linear_form_upper_bound() 5803 assign_r(curr_ub, curr_coefficient.upper(), ROUND_NOT_NEEDED); in linear_form_upper_bound()
|
H A D | ppl.hh.dist | 76854 const FP_Interval_Type& curr_coefficient = 76856 assign_r(curr_lb, curr_coefficient.lower(), ROUND_NOT_NEEDED); 76857 assign_r(curr_ub, curr_coefficient.upper(), ROUND_NOT_NEEDED); 85631 curr_coefficient = lf.coefficient(Variable(curr_var)); 85632 assign_r(curr_lb, curr_coefficient.lower(), ROUND_NOT_NEEDED); 85633 assign_r(curr_ub, curr_coefficient.upper(), ROUND_NOT_NEEDED);
|