Searched refs:minus_lb_v (Results 1 – 6 of 6) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_defs.hh | 2109 const N& minus_lb_v);
|
H A D | BD_Shape_defs.hh | 2308 const N& minus_lb_v);
|
H A D | Octagonal_Shape_templates.hh | 4305 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 D | BD_Shape_templates.hh | 3479 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 D | ppl.hh.dist | 65038 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 D | ChangeLog_2001-2008 | 44410 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
|