Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh5084 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 DOctagonal_Shape_templates.hh5800 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 Dppl.hh.dist76854 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);