[PPL-devel] [GIT] ppl/ppl(master): Long lines avoided.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Jun  8 17:06:33 2014 +0200

Long lines avoided.
Fixes violations of rule LP1.41 detected by ECLAIR.

---

 src/Polyhedron_nonpublic.cc |    9 ++++++---
 1 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc
index b00f50c..0457714 100644
--- a/src/Polyhedron_nonpublic.cc
+++ b/src/Polyhedron_nonpublic.cc
@@ -2310,10 +2310,13 @@ PPL::Polyhedron::positive_time_elapse_assign_impl(const Polyhedron& y) {
         const Generator &gx = x_points_gs.sys.rows[j];
         PPL_ASSERT(gx.is_point());
         // ...insert the point obtained as the sum of g and gx.
-        Generator new_g = g; // make a copy
-        Coefficient new_divisor = g.expr.inhomogeneous_term() * gx.expr.inhomogeneous_term();
+        Generator new_g = g;
+        Coefficient new_divisor
+          = g.expr.inhomogeneous_term() * gx.expr.inhomogeneous_term();
 
-        new_g.expr.linear_combine(gx.expr, gx.expr.inhomogeneous_term(), g.expr.inhomogeneous_term());
+        new_g.expr.linear_combine(gx.expr,
+                                  gx.expr.inhomogeneous_term(),
+                                  g.expr.inhomogeneous_term());
         new_g.expr.set_inhomogeneous_term(new_divisor);
         if (new_g.is_not_necessarily_closed()) {
           new_g.set_epsilon_coefficient(g.epsilon_coefficient());