[PPL-devel] [GIT] ppl/ppl(master): Weightwatch are now generic threshold watchdog.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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=d8e99fc18a85d66fad6977a5e4e84f88e42cbebd