[PPL-devel] [GIT] ppl/ppl(floating_point): Small style improvement in the use of iterators.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 3eac74ffc2b92eb519964c0146fea6205b655b71
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3eac74ffc2b92eb519964c0146fea6205b655b71

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Aug  5 11:32:27 2010 +0200

Small style improvement in the use of iterators.

---

 src/Float.templates.hh |   14 ++++----------
 1 files changed, 4 insertions(+), 10 deletions(-)

diff --git a/src/Float.templates.hh b/src/Float.templates.hh
index 287fb4f..fe7219c 100644
--- a/src/Float.templates.hh
+++ b/src/Float.templates.hh
@@ -134,11 +134,8 @@ void discard_occurrences(std::map<dimension_type,
   typename FP_Linear_Form_Abstract_Store::iterator i = lf_store.begin();
   typename FP_Linear_Form_Abstract_Store::iterator ls_end = lf_store.end();
   while (i != ls_end) {
-    if((i->second).coefficient(var) != 0) {
-      typename FP_Linear_Form_Abstract_Store::iterator i_old = i;
-      ++i;
-      lf_store.erase(i_old);
-    }
+    if((i->second).coefficient(var) != 0)
+      lf_store.erase(i++);
     else
       ++i;
   }
@@ -162,11 +159,8 @@ void upper_bound_assign(std::map<dimension_type,
   while (i1 != i1_end) {
     typename FP_Linear_Form_Abstract_Store::const_iterator i2 =
                                             ls2.find(i1->first);
-    if ((i2 == i2_end) || (i1->second != i2->second)) {
-      typename FP_Linear_Form_Abstract_Store::iterator i1_old = i1;
-      ++i1;
-      ls1.erase(i1_old);
-    }
+    if ((i2 == i2_end) || (i1->second != i2->second))
+      ls1.erase(i1++);
     else
       ++i1;
   }