Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_defs.hh2109 const N& minus_lb_v);
H A DBD_Shape_defs.hh2308 const N& minus_lb_v);
H A DOctagonal_Shape_templates.hh4305 const N& minus_lb_v) { in deduce_minus_v_pm_u_bounds() argument
4308 PPL_ASSERT(!is_plus_infinity(minus_lb_v)); in deduce_minus_v_pm_u_bounds()
4345 sub_assign_r(m_u_minus_v, minus_lb_v, half, ROUND_UP); in deduce_minus_v_pm_u_bounds()
4369 add_assign_r(m_u_minus_v, minus_lb_v, up_approx, ROUND_UP); in deduce_minus_v_pm_u_bounds()
4386 sub_assign_r(m_minus_v_minus_u, minus_lb_v, half, ROUND_UP); in deduce_minus_v_pm_u_bounds()
4410 add_assign_r(m_minus_v_minus_u, minus_lb_v, up_approx, ROUND_UP); in deduce_minus_v_pm_u_bounds()
H A DBD_Shape_templates.hh3479 const N& minus_lb_v) { in deduce_u_minus_v_bounds() argument
3481 PPL_ASSERT(!is_plus_infinity(minus_lb_v)); in deduce_u_minus_v_bounds()
3515 sub_assign_r(dbm_v[u_dim], minus_lb_v, dbm[u_dim][0], ROUND_UP); in deduce_u_minus_v_bounds()
3536 add_assign_r(dbm_v[u_dim], up_approx, minus_lb_v, ROUND_UP); in deduce_u_minus_v_bounds()
H A Dppl.hh.dist65038 starting from \p minus_lb_v which is a lower bound for \p v.
65054 const N& minus_lb_v);
69382 const N& minus_lb_v);
75359 const N& minus_lb_v) {
75362 PPL_ASSERT(!is_plus_infinity(minus_lb_v));
75399 sub_assign_r(m_u_minus_v, minus_lb_v, half, ROUND_UP);
75409 // i.e., `ub_u - q * (ub_u + (-lb_u)) + minus_lb_v'.
75450 // i.e., `minus_lb_v - lb_u + q*(ub_u - lb_u)'.
84026 const N& minus_lb_v) {
84028 PPL_ASSERT(!is_plus_infinity(minus_lb_v));
[all …]
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200844410 and minus_lb_v'.
44413 be positive; - `ub_v' and `minus_lb_v' shouldn't be equal to
44434 assertion assert(!is_plus_infinity(minus_lb_v)); in
44436 `minus_lb_v' is a meaningful parameter.
44512 neg_sum parameters renamed as ub_v and minus_lb_v; - code