| PPL
    1.1
    | 
A class for pending watchdog events with embedded links. More...
#include <ppl.hh>

| Public Member Functions | |
| Pending_Element (const Threshold &deadline, const Handler &handler, bool &expired_flag) | |
| Constructs an element with the given attributes. | |
| void | assign (const Threshold &deadline, const Handler &handler, bool &expired_flag) | 
| Modifies *thisso that it has the given attributes. | |
| const Threshold & | deadline () const | 
| Returns the deadline of the event. | |
| const Handler & | handler () const | 
| Returns the handler associated to the event. | |
| bool & | expired_flag () const | 
| Returns a reference to the "event-expired" flag. | |
| bool | OK () const | 
| Checks if all the invariants are satisfied. | |
|  Public Member Functions inherited from Parma_Polyhedra_Library::Implementation::Doubly_Linked_Object | |
| Doubly_Linked_Object () | |
| Default constructor. | |
| Doubly_Linked_Object (Doubly_Linked_Object *f, Doubly_Linked_Object *b) | |
| Creates a chain element with forward link fand backward linkb. | |
| void | insert_before (Doubly_Linked_Object &y) | 
| Inserts ybefore*this. | |
| void | insert_after (Doubly_Linked_Object &y) | 
| Inserts yafter*this. | |
| Doubly_Linked_Object * | erase () | 
| Erases *thisfrom the chain and returns a pointer to the next element. | |
| ~Doubly_Linked_Object () | |
| Erases *thisfrom the chain. | |
A class for pending watchdog events with embedded links.
Each pending watchdog event is characterized by a deadline (a positive time interval), an associated handler that will be invoked upon event expiration, and a Boolean flag that indicates whether the event has already expired or not.