right_minus_left (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

/dports/devel/ppl/ppl-1.2/src/
H A D	Octagonal_Shape_templates.hh	802 Linear_Form<FP_Interval_Type> right_minus_left(right); in refine_with_linear_form_inequality() local 803 right_minus_left -= left; in refine_with_linear_form_inequality() 860 linear_form_upper_bound(right_minus_left - first + second, in refine_with_linear_form_inequality() 864 linear_form_upper_bound(right_minus_left + first + second, in refine_with_linear_form_inequality() 867 linear_form_upper_bound(right_minus_left - first - second, in refine_with_linear_form_inequality() 870 linear_form_upper_bound(right_minus_left + first - second, in refine_with_linear_form_inequality() 907 linear_form_upper_bound(right_minus_left + var, upper_bound); in refine_with_linear_form_inequality() 910 linear_form_upper_bound(right_minus_left - var, upper_bound); in refine_with_linear_form_inequality()
H A D	BD_Shape_templates.hh	`4943 Linear_Form<FP_Interval_Type> right_minus_left(right); in general_refine() local 4944 right_minus_left -= left; in general_refine() 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()`
H A D	ppl.hh.dist	71856 Linear_Form<FP_Interval_Type> right_minus_left(right); 71857 right_minus_left -= left; 71914 linear_form_upper_bound(right_minus_left - first + second, 71918 linear_form_upper_bound(right_minus_left + first + second, 71921 linear_form_upper_bound(right_minus_left - first - second, 71924 linear_form_upper_bound(right_minus_left + first - second, 71961 linear_form_upper_bound(right_minus_left + var, upper_bound); 85490 Linear_Form<FP_Interval_Type> right_minus_left(right); 85491 right_minus_left -= left; 85554 linear_form_upper_bound(right_minus_left - first + second, [all …]