[PPL-devel] [GIT] ppl/ppl(master): Const-qualify immutable objects.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Jan 2 19:19:54 CET 2013
Module: ppl/ppl
Branch: master
Commit: efd4b126fb23f8e039054f961bf844d0981fec06
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd4b126fb23f8e039054f961bf844d0981fec06
Author: Roberto Bagnara <bagnara at 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=efd4b126fb23f8e039054f961bf844d0981fec06
More information about the PPL-devel
mailing list