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

7 Nov 2011


      Module: ppl/ppl
Branch: master
Commit: 98475d291117f687b61cdaef3971f76bde4fe3bd
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov  7 10:21:57 2011 +0100
Project vocabulary fixes.
Detected by ECLAIR service idntvcbl.
---
src/BD_Shape.defs.hh      |    2 +-
 src/BD_Shape.inlines.hh   |   33 ++++++--
 src/BD_Shape.templates.hh |   43 +++++-----
 src/Bit_Matrix.defs.hh    |    1 -
 src/Box.defs.hh           |    6 +-
 src/Box.templates.hh      |  196 ++++++++++++++++++++++----------------------
 6 files changed, 151 insertions(+), 130 deletions(-)
Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=98475d291...