linear_form_upper_bound (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:linear_form_upper_bound (Results 1 – 6 of 6) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A D	Octagonal_Shape_templates.hh	860 linear_form_upper_bound(right_minus_left - first + second, in refine_with_linear_form_inequality() 5730 linear_form_upper_bound(lf + current, upper_bound); in affine_form_image() 5732 linear_form_upper_bound(lf - current, upper_bound); 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() 5745 linear_form_upper_bound(lf + current, upper_bound); in affine_form_image() 5747 linear_form_upper_bound(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() 5758 linear_form_upper_bound(lf, lf_ub); in affine_form_image() [all …]
H A D	BD_Shape_templates.hh	4581 linear_form_upper_bound(lf - current, upper_bound); in two_variables_affine_form_image() 4583 linear_form_upper_bound(minus_lf + current, upper_bound); in two_variables_affine_form_image() 4589 linear_form_upper_bound(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() 4596 linear_form_upper_bound(lf, lf_ub); in two_variables_affine_form_image() 4598 linear_form_upper_bound(minus_lf, minus_lf_ub); in two_variables_affine_form_image() 5007 linear_form_upper_bound(right_minus_left - first + second, in general_refine() 5010 linear_form_upper_bound(right_minus_left + first - second, in general_refine() 5042 linear_form_upper_bound(right_minus_left + var, upper_bound); in general_refine() 5044 linear_form_upper_bound(right_minus_left - var, upper_bound); in general_refine() [all …]
H A D	Octagonal_Shape_defs.hh	`1979 void linear_form_upper_bound(`
H A D	BD_Shape_defs.hh	`2284 void linear_form_upper_bound(const Linear_Form<Interval<T, Interval_Info> >&`
H A D	ppl.hh.dist	69252 void linear_form_upper_bound( 76784 linear_form_upper_bound(lf + current, upper_bound); 76786 linear_form_upper_bound(lf - current, upper_bound); 76799 linear_form_upper_bound(lf + current, upper_bound); 76801 linear_form_upper_bound(lf - current, upper_bound); 76812 linear_form_upper_bound(lf, lf_ub); 76814 linear_form_upper_bound(minus_lf, minus_lf_ub); 85128 linear_form_upper_bound(lf - current, upper_bound); 85136 linear_form_upper_bound(lf - current, upper_bound); 85143 linear_form_upper_bound(lf, lf_ub); [all …]
/dports/devel/ppl/ppl-1.2/
H A D	ChangeLog	`22949 BD_Shape::linear_form_upper_bound and 23230 linear_form_upper_bound: got rid of two unnecessary temporaries. 23235 counterproductive checks in linear_form_upper_bound, since we have 23253 linear_form_upper_bound methods. Temporarily(?) removed some checks 23254 in linear_form_upper_bound. 23322 Octagonal_Shape::linear_form_upper_bound() Added a test 23389 linear_form_upper_bound. 23405 Linear_Form. Fixed one bug in linear_form_upper_bound. Added a`