[PPL-devel] [GIT] ppl/ppl(master): Project vocabulary fixes.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Nov  9 08:37:01 2011 +0100

Project vocabulary fixes.
Detected by ECLAIR service progvcbl.

---

 demos/ppl_pips/ppl_pips.cc            |   18 +-
 devtools/good_items                   |   65 ++++-
 devtools/good_words                   |   33 ++-
 src/Bit_Matrix.cc                     |    8 +-
 src/Box.defs.hh                       |   10 +-
 src/Box.templates.hh                  |   14 +-
 src/CO_Tree.cc                        |    8 +-
 src/CO_Tree.defs.hh                   |   38 +-
 src/CO_Tree.inlines.hh                |   20 +-
 src/Checked_Number.inlines.hh         |    4 +-
 src/Checked_Number.templates.hh       |    8 +-
 src/Congruence.defs.hh                |    2 +-
 src/Congruence_System.inlines.hh      |    4 +-
 src/Constraint_System.defs.hh         |    2 +-
 src/Constraint_System.inlines.hh      |    4 +-
 src/Float.defs.hh                     |    2 +-
 src/Float.templates.hh                |    2 +-
 src/Floating_Point_Expression.defs.hh |    4 +-
 src/GMP_Integer.types.hh              |    2 +-
 src/Generator.cc                      |   16 +-
 src/Generator_System.cc               |    2 +-
 src/Generator_System.defs.hh          |    2 +-
 src/Generator_System.inlines.hh       |    4 +-
 src/Grid.defs.hh                      |    4 +-
 src/Grid_Generator.cc                 |   16 +-
 src/Grid_public.cc                    |   10 +-
 src/Init.cc                           |    4 +-
 src/Init.defs.hh                      |    2 +-
 src/Interval.inlines.hh               |    3 +-
 src/Linear_Form.defs.hh               |   15 +-
 src/MIP_Problem.cc                    |  235 +++++++-------
 src/MIP_Problem.defs.hh               |   23 +-
 src/MIP_Problem.inlines.hh            |    4 +-
 src/Octagonal_Shape.defs.hh           |   22 +-
 src/Octagonal_Shape.inlines.hh        |   23 +-
 src/Octagonal_Shape.templates.hh      |  605 +++++++++++++++++----------------
 36 files changed, 655 insertions(+), 583 deletions(-)

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