[PPL-devel] [GIT] ppl/ppl(master): Const correctness improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Feb 13 08:24:47 2016 +0100

Const correctness improved.
Fixes violations of rule MP1.7-1-1 detected by ECLAIR.

---

 demos/ppl_lcdd/ppl_lcdd.cc          |   18 ++--
 demos/ppl_pips/ppl_pips.cc          |   30 ++++----
 src/BDS_Status_inlines.hh           |    2 +-
 src/Bit_Matrix.cc                   |    8 +-
 src/Bit_Row_inlines.hh              |   16 ++--
 src/Boundary_defs.hh                |  147 ++++++++++++++++++-----------------
 src/Box_Status_inlines.hh           |    2 +-
 src/CO_Tree.cc                      |   58 +++++++-------
 src/CO_Tree_inlines.hh              |   55 +++++++------
 src/CO_Tree_templates.hh            |    2 +-
 src/C_Polyhedron_inlines.hh         |    4 +-
 src/Checked_Number.cc               |    2 +-
 src/Checked_Number_inlines.hh       |    8 +-
 src/Concrete_Expression_inlines.hh  |    2 +-
 src/Congruence.cc                   |   18 ++--
 src/Congruence_System.cc            |   11 ++-
 src/Congruence_System_inlines.hh    |   17 +++--
 src/Congruence_inlines.hh           |   24 +++---
 src/Constraint.cc                   |   14 ++--
 src/Constraint_System.cc            |    2 +-
 src/Constraint_System_inlines.hh    |   40 +++++----
 src/Constraint_inlines.hh           |   26 ++++---
 src/Dense_Row.cc                    |   27 ++++---
 src/Dense_Row_inlines.hh            |   54 ++++++-------
 src/Doubly_Linked_Object_inlines.hh |    4 +-
 src/Generator.cc                    |   28 ++++----
 src/Generator_System.cc             |    2 +-
 src/Generator_System_inlines.hh     |   38 +++++----
 src/Generator_inlines.hh            |   46 ++++++-----
 src/Grid_Generator.cc               |   24 +++---
 src/Grid_Generator_System.cc        |    2 +-
 src/checked_mpq_inlines.hh          |   10 +-
 32 files changed, 381 insertions(+), 360 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d20a0a11262ad86a3439a1ddfe57448c753cb1e4