Searched refs:minus_var_ub (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_defs.hh | 1985 const N& minus_var_ub,
|
H A D | Octagonal_Shape_templates.hh | 5855 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 D | ppl.hh.dist | 69258 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);
|