[PPL-devel] [GIT] ppl/ppl(master): Fixed lots of parameter names.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Mar 23 20:18:50 CET 2012
Module: ppl/ppl
Branch: master
Commit: 6f410b958859913c61d06b7528d71f5eb89b26e3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b958859913c61d06b7528d71f5eb89b26e3
Author: Roberto Bagnara <bagnara at 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=6f410b958859913c61d06b7528d71f5eb89b26e3
More information about the PPL-devel
mailing list