[PPL-devel] [GIT] ppl/ppl(master): Fixed lots of parameter names.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Mar 23 18:32:13 CET 2012
Module: ppl/ppl
Branch: master
Commit: c3aa23db348313bf68cb85dd8b6e9acf21622f4e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db348313bf68cb85dd8b6e9acf21622f4e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 23 18:31:34 2012 +0100
Fixed lots of parameter names.
Detected by ECLAIR service funparam.
---
src/BD_Shape.defs.hh | 17 ++--
src/BD_Shape.inlines.hh | 14 ++--
src/BD_Shape.templates.hh | 36 ++++----
src/Bit_Row.defs.hh | 2 +-
src/Box.defs.hh | 14 ++--
src/Box.templates.hh | 32 ++++----
src/CO_Tree.defs.hh | 10 +-
src/CO_Tree.inlines.hh | 42 +++++-----
src/Checked_Number.defs.hh | 4 +-
src/Checked_Number.inlines.hh | 33 ++++---
src/Concrete_Expression.inlines.hh | 5 +-
src/Congruence.defs.hh | 2 +-
src/Congruence.inlines.hh | 4 +-
src/Congruence_System.cc | 4 +-
src/Congruence_System.defs.hh | 16 ++--
src/Congruence_System.inlines.hh | 4 +-
src/Constraint_System.defs.hh | 9 +-
src/Determinate.defs.hh | 4 +-
src/Generator.cc | 4 +-
src/Grid.defs.hh | 10 +-
src/Linear_Row.inlines.hh | 8 +-
src/MIP_Problem.defs.hh | 10 ++-
src/MIP_Problem.inlines.hh | 4 +-
src/OR_Matrix.defs.hh | 6 +-
src/OR_Matrix.inlines.hh | 6 +-
src/Octagonal_Shape.defs.hh | 21 +++--
src/Octagonal_Shape.templates.hh | 128 +++++++++++++++-------------
src/PIP_Problem.inlines.hh | 6 +-
src/PIP_Tree.inlines.hh | 8 +-
src/Partially_Reduced_Product.defs.hh | 10 +-
src/Partially_Reduced_Product.inlines.hh | 15 ++--
src/Partially_Reduced_Product.templates.hh | 12 ++--
src/Pointset_Powerset.templates.hh | 8 +-
src/Polyhedron.defs.hh | 22 +++--
src/Polyhedron.templates.hh | 3 +-
src/Polyhedron_nonpublic.cc | 23 +++--
src/Ptr_Iterator.inlines.hh | 4 +-
src/termination.templates.hh | 20 ++--
38 files changed, 306 insertions(+), 274 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c3aa23db348313bf68cb85dd8b6e9acf21622f4e
More information about the PPL-devel
mailing list