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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 17 17:55:53 2009 +0200

Do not use std::swap(): use Linear_Expression::swap() instead.

---

src/Linear_Expression.cc | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index de971b2..9816671 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -286,10 +286,10 @@ PPL::operator+=(Linear_Expression& e1, const Linear_Expression& e2) { for (dimension_type i = e2_size; i-- > 0; ) e1[i] += e2[i]; else { - Linear_Expression e(e2); + Linear_Expression new_e(e2); for (dimension_type i = e1_size; i-- > 0; ) - e[i] += e1[i]; - std::swap(e1, e); + new_e[i] += e1[i]; + e1.swap(new_e); } return e1; } @@ -305,7 +305,7 @@ PPL::operator+=(Linear_Expression& e, const Variable v) { const dimension_type e_size = e.size(); if (e_size <= v_space_dim) { Linear_Expression new_e(e, v_space_dim+1); - std::swap(e, new_e); + e.swap(new_e); } ++e[v_space_dim]; return e; @@ -320,10 +320,10 @@ PPL::operator-=(Linear_Expression& e1, const Linear_Expression& e2) { for (dimension_type i = e2_size; i-- > 0; ) e1[i] -= e2[i]; else { - Linear_Expression e(e1, e2_size); + Linear_Expression new_e(e1, e2_size); for (dimension_type i = e2_size; i-- > 0; ) - e[i] -= e2[i]; - std::swap(e1, e); + new_e[i] -= e2[i]; + e1.swap(new_e); } return e1; } @@ -339,7 +339,7 @@ PPL::operator-=(Linear_Expression& e, const Variable v) { const dimension_type e_size = e.size(); if (e_size <= v_space_dim) { Linear_Expression new_e(e, v_space_dim+1); - std::swap(e, new_e); + e.swap(new_e); } --e[v_space_dim]; return e;