Module: ppl/ppl Branch: master Commit: 803510678ede6d9377fbfc930eaf2c3071e98740 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803510678ede6...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 9 22:13:14 2011 +0100
Project vocabulary fixes. Detected by ECLAIR service progvcbl.
---
devtools/good_items | 18 ++- devtools/good_words | 19 ++ src/CO_Tree.defs.hh | 8 +- src/Checked_Number.defs.hh | 12 +- src/Float.defs.hh | 9 +- src/Float.inlines.hh | 58 +++-- src/Float.templates.hh | 2 +- src/Init.defs.hh | 2 +- src/Interval.templates.hh | 4 +- src/Linear_Form.defs.hh | 2 +- src/Linear_Form.templates.hh | 2 +- src/MIP_Problem.cc | 5 +- src/MIP_Problem.defs.hh | 7 +- src/Octagonal_Shape.templates.hh | 166 ++++++------- src/Og_Status.inlines.hh | 10 +- src/PIP_Problem.cc | 4 +- src/PIP_Problem.defs.hh | 12 +- src/PIP_Tree.cc | 365 ++++++++++++++-------------- src/PIP_Tree.defs.hh | 24 +- src/Partially_Reduced_Product.templates.hh | 76 +++--- src/Pointset_Powerset.cc | 68 +++--- src/Pointset_Powerset.defs.hh | 26 +- src/Polyhedron_nonpublic.cc | 3 +- src/Polyhedron_public.cc | 2 +- src/checked.inlines.hh | 4 +- 25 files changed, 476 insertions(+), 432 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=803510678...