Searched refs:minus_lf (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 5712 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 D | BD_Shape_templates.hh | 4572 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 D | ppl.hh.dist | 76766 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 …]
|