Module: ppl/ppl Branch: bounded_arithmetic Commit: 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453d5f2f3a322...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 14:22:00 2009 +0200
Renamed some pleonastic identifiers. Fixed some comments.
---
interfaces/C/ppl_c_implementation_common.cc | 6 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 18 ++-- .../Fake_Class_for_Doxygen.java | 31 +++--- ...l_interface_generator_java_classes_java_code.m4 | 8 +- src/Any_Pointset.defs.hh | 42 ++++---- src/BD_Shape.defs.hh | 38 ++++---- src/BD_Shape.templates.hh | 86 +++++++++--------- src/Box.defs.hh | 38 ++++---- src/Box.templates.hh | 82 ++++++++-------- src/Grid.defs.hh | 60 ++++++------ src/Grid_Generator_System.cc | 18 ++-- src/Grid_Generator_System.defs.hh | 4 +- src/Grid_chdims.cc | 47 +++++----- src/Grid_public.cc | 12 +- src/Octagonal_Shape.defs.hh | 38 ++++---- src/Octagonal_Shape.templates.hh | 98 ++++++++++---------- src/Partially_Reduced_Product.defs.hh | 38 ++++---- src/Partially_Reduced_Product.inlines.hh | 21 ++-- src/Pointset_Ask_Tell.defs.hh | 14 ++-- src/Pointset_Ask_Tell.templates.hh | 12 +- src/Pointset_Powerset.defs.hh | 51 +++++----- src/Pointset_Powerset.templates.hh | 27 +++--- src/Polyhedron.defs.hh | 60 ++++++------ src/Polyhedron_chdims.cc | 58 ++++++------ src/Polyhedron_public.cc | 18 ++-- 25 files changed, 460 insertions(+), 465 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=453d5f2f3...