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

Author: Roberto Bagnara bagnara@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=c3aa23db3...