Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_defs.hh1985 const N& minus_var_ub,
H A DOctagonal_Shape_templates.hh5855 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub, in interval_coefficient_upper_bound() argument
5875 add_mul_assign_r(second_comparison_term, minus_var_ub, int_ub, ROUND_UP); in interval_coefficient_upper_bound()
5877 add_mul_assign_r(fourth_comparison_term, minus_var_ub, int_lb, ROUND_UP); in interval_coefficient_upper_bound()
H A Dppl.hh.dist69258 const N& minus_var_ub,
76909 interval_coefficient_upper_bound(const N& var_ub, const N& minus_var_ub,
76929 add_mul_assign_r(second_comparison_term, minus_var_ub, int_ub, ROUND_UP);
76931 add_mul_assign_r(fourth_comparison_term, minus_var_ub, int_lb, ROUND_UP);