Module: ppl/ppl Branch: master Commit: 46b4e6265003f17e00f9d1a6c6d4be8abba2d0c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46b4e6265003f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Nov 7 08:30:32 2011 +0100 Started fixing the vocabulary used throughout the library. Detected by ECLAIR service idntvcbl. --- Watchdog/src/Pending_List.templates.hh | 7 ++- Watchdog/src/Watchdog.cc | 8 +- demos/ppl_lcdd/ppl_lcdd.cc | 8 +- demos/ppl_pips/ppl_pips.cc | 12 ++-- src/BD_Shape.defs.hh | 46 +++++++------- src/BD_Shape.inlines.hh | 20 +++--- src/BD_Shape.templates.hh | 99 ++++++++++++++++---------------- 7 files changed, 102 insertions(+), 98 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=46b4e6265...