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

Author: Patricia Hill p.m.hill@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;