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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 2 19:19:01 2013 +0100

Const-qualify immutable objects. Detected by ECLAIR service cnstpnte.

---

src/Dense_Row.cc | 6 +- src/Determinate_inlines.hh | 2 +- src/Grid_Generator.cc | 2 +- src/Grid_public.cc | 4 +- src/Interval_inlines.hh | 4 +- src/Linear_Expression_Impl_templates.hh | 84 +++++++++++++++--------------- src/Linear_System_inlines.hh | 2 +- src/Linear_System_templates.hh | 13 +++-- src/MIP_Problem.cc | 31 ++++++------ src/MIP_Problem_inlines.hh | 5 +- src/OR_Matrix_inlines.hh | 2 +- src/PIP_Problem.cc | 21 ++++---- src/PIP_Tree.cc | 74 ++++++++++++++------------- src/Partial_Function_inlines.hh | 2 +- src/Pointset_Powerset.cc | 18 +++--- src/Pointset_Powerset_templates.hh | 4 +- src/Polyhedron_chdims.cc | 4 +- src/Polyhedron_conversion_templates.hh | 2 +- src/Polyhedron_inlines.hh | 10 ++-- src/Polyhedron_nonpublic.cc | 27 ++++++---- src/Polyhedron_public.cc | 34 ++++++------- src/Polyhedron_simplify_templates.hh | 2 +- src/Polyhedron_widenings.cc | 6 +- src/Result_inlines.hh | 10 ++-- src/Rounding_Dir_inlines.hh | 4 +- src/Temp_inlines.hh | 2 +- src/Variable.cc | 4 +- src/Variables_Set.cc | 2 +- src/Watchdog.cc | 4 +- src/c_streambuf.cc | 2 +- src/checked.cc | 18 +++--- src/checked_float_inlines.hh | 2 +- src/checked_int_inlines.hh | 6 +- src/checked_mpz_inlines.hh | 14 +++--- src/fpu-c99_inlines.hh | 4 +- src/globals_inlines.hh | 2 +- src/stdiobuf.cc | 8 ++-- src/termination.cc | 42 ++++++++-------- src/wrap_assign.hh | 2 +- 39 files changed, 244 insertions(+), 241 deletions(-)

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