Module: ppl/ppl Branch: floating_point Commit: 3e9f4582ce7ab1d65f1d606feb49231c76bd951b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e9f4582ce7ab... Author: Fabio Biselli <fabio.biselli@studenti.unipr.it> Date: Sun Sep 20 13:20:56 2009 +0200 Removed a temporary using sub_assign_r instead of add_assign_r --- src/BD_Shape.templates.hh | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index a90470f..6d44f5e 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -4117,7 +4117,7 @@ BD_Shape<T>::affine_image(const Variable& var, PPL_ASSERT(OK()); } -// Case 1: var = [-mlb, ub]. +// Case 1: var = [-b, b]. template <typename T> template <typename Interval_Info> void @@ -4218,11 +4218,9 @@ void BD_Shape<T> // We have to add the constraint `v + w == b', over-approximating it // by computing lower and upper bounds for `w'. const N& lb_w = dbm[w_id][0]; - PPL_DIRTY_TEMP(N, minus_lb_w); - neg_assign_r(minus_lb_w, lb_w, ROUND_UP); if (!is_plus_infinity(lb_w)) { // Add the constraint `v <= ub - lb_w'. - add_assign_r(dbm[0][var_id], b_ub, minus_lb_w, ROUND_UP); + sub_assign_r(dbm[0][var_id], b_ub, lb_w, ROUND_UP); reset_shortest_path_closed(); } const N& ub_w = dbm[0][w_id];