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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 23 20:18:02 2012 +0100

Fixed lots of parameter names. Detected by ECLAIR service funparam.

---

src/Generator.defs.hh | 2 +- src/Generator_System.defs.hh | 9 +-- src/Grid.defs.hh | 30 +++++----- src/Grid_Certificate.cc | 35 ++++++----- src/Grid_nonpublic.cc | 6 +- src/Grid_simplify.cc | 106 ++++++++++++++++---------------- src/Grid_widenings.cc | 61 ++++++++++--------- src/MIP_Problem.cc | 104 ++++++++++++++++---------------- src/MIP_Problem.defs.hh | 18 +++--- src/OR_Matrix.inlines.hh | 12 ++-- src/Octagonal_Shape.templates.hh | 4 +- src/PIP_Problem.defs.hh | 2 +- src/PIP_Tree.cc | 59 +++++++++--------- src/PIP_Tree.defs.hh | 40 ++++++------ src/Partially_Reduced_Product.defs.hh | 8 +- src/Pointset_Powerset.defs.hh | 6 +- src/Polyhedron.defs.hh | 36 ++++++----- src/Polyhedron_nonpublic.cc | 66 ++++++++++---------- src/Scalar_Products.cc | 98 +++++++++++++++--------------- src/Scalar_Products.defs.hh | 37 +++++++++-- src/Variables_Set.defs.hh | 2 +- 21 files changed, 386 insertions(+), 355 deletions(-)

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