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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 07:14:21 2012 +0200

Use add_mul_assign().

---

src/PIP_Tree.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 15ccca7..8e4f09b 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -48,13 +48,13 @@ pos_rem_assign(Coefficient& x,

class Add_Mul_Assign_Row_Helper1 { public: - Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference c1) - : c(c1) { + Add_Mul_Assign_Row_Helper1(Coefficient_traits::const_reference coeff) + : c(coeff) { }

void operator()(Coefficient& x, Coefficient_traits::const_reference y) const { - x += c * y; + add_mul_assign(x, c, y); }

private: @@ -64,8 +64,8 @@ private:

class Add_Mul_Assign_Row_Helper2 { public: - Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference c1) - : c(c1) { + Add_Mul_Assign_Row_Helper2(Coefficient_traits::const_reference coeff) + : c(coeff) { }

void