Module: ppl/ppl Branch: compliance Commit: 057444894a1b5e509f8017c7a99ef7b2df1b74c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=057444894a1b5...
Author: Roberto Bagnara roberto.bagnara@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());