Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh5712 Linear_Form<FP_Interval_Type> minus_lf(lf); in affine_form_image() local
5713 minus_lf.negate(); in affine_form_image()
5734 linear_form_upper_bound(minus_lf + current, upper_bound); in affine_form_image()
5736 linear_form_upper_bound(minus_lf - current, upper_bound); in affine_form_image()
5749 linear_form_upper_bound(minus_lf + current, upper_bound); in affine_form_image()
5751 linear_form_upper_bound(minus_lf - current, upper_bound); in affine_form_image()
5760 linear_form_upper_bound(minus_lf, minus_lf_ub); in affine_form_image()
H A DBD_Shape_templates.hh4572 Linear_Form< Interval<T, Interval_Info> > minus_lf(lf); in two_variables_affine_form_image() local
4573 minus_lf.negate(); in two_variables_affine_form_image()
4583 linear_form_upper_bound(minus_lf + current, upper_bound); in two_variables_affine_form_image()
4591 linear_form_upper_bound(minus_lf + current, upper_bound); in two_variables_affine_form_image()
4598 linear_form_upper_bound(minus_lf, minus_lf_ub); in two_variables_affine_form_image()
H A Dppl.hh.dist76766 Linear_Form<FP_Interval_Type> minus_lf(lf);
76767 minus_lf.negate();
76788 linear_form_upper_bound(minus_lf + current, upper_bound);
76790 linear_form_upper_bound(minus_lf - current, upper_bound);
76803 linear_form_upper_bound(minus_lf + current, upper_bound);
76805 linear_form_upper_bound(minus_lf - current, upper_bound);
76814 linear_form_upper_bound(minus_lf, minus_lf_ub);
85119 Linear_Form< Interval<T, Interval_Info> > minus_lf(lf);
85120 minus_lf.negate();
85130 linear_form_upper_bound(minus_lf + current, upper_bound);
[all …]