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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sat Jul 11 18:13:39 2009 +0200

Weightwatch are now generic threshold watchdog.

---

Watchdog/src/Makefile.am | 3 +- Watchdog/src/Pending_List.defs.hh | 2 +- Watchdog/src/Pending_List.inlines.hh | 30 +++++----- Watchdog/src/Pending_List.templates.hh | 26 ++++---- Watchdog/src/Pending_List.types.hh | 2 +- Watchdog/src/Watchdog.defs.hh | 3 +- Watchdog/src/Weightwatch.cc | 96 -------------------------------- Watchdog/src/Weightwatch.defs.hh | 53 ++++++++--------- Watchdog/src/Weightwatch.inlines.hh | 18 +++--- Watchdog/src/Weightwatch.templates.hh | 77 +++++++++++++++++++++++++ Watchdog/src/Weightwatch.types.hh | 3 +- 11 files changed, 148 insertions(+), 165 deletions(-)

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