[PPL-devel] [GIT] ppl/ppl(products): Code for frequency() improved.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sun May 24 08:14:06 2009 +0100

Code for frequency() improved.

---

 src/BD_Shape.templates.hh        |    2 +-
 src/Octagonal_Shape.templates.hh |    8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh
index 5c5168e..ced24f6 100644
--- a/src/BD_Shape.templates.hh
+++ b/src/BD_Shape.templates.hh
@@ -845,7 +845,7 @@ BD_Shape<T>::frequency(const Linear_Expression& expr,
           // and the difference with `v' in the BD shape is constant.
           // So apply this equality to eliminate `v' in `le'.
           numer_denom(tmp, num, den);
-          le = le - coeff*v + coeff*vj;
+          le -= coeff*v - coeff*vj;
           le = den*le - num*coeff;
           val_den *= den;
           constant_v = true;
diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index b3faa2a..437257f 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -994,9 +994,9 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr,
           // So apply this equality to eliminate `v' in `le'.
           numer_denom(m_i_j, num, den);
           le -= coeff*v;
-          le = le + coeff*vj;
+          le += coeff*vj;
           le *= den;
-          le = le - num*coeff;
+          le -= num*coeff;
           val_den *= den;
           constant_v = true;
           break;
@@ -1013,9 +1013,9 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr,
           // So apply this equality to eliminate `v' in `le'.
           numer_denom(m_i_j1, num, den);
           le -= coeff*v;
-          le = le - coeff*vj;
+          le -= coeff*vj;
           le *= den;
-          le = le - num*coeff;
+          le -= num*coeff;
           val_den *= den;
           constant_v = true;
           break;