changeset 209 | 8b343b9727d7 |
parent 150 | 663120712cd9 |
child 675 | a5878de7d71c |
--- a/src/simulator/event-id.h Thu Feb 01 18:50:58 2007 +0100 +++ b/src/simulator/event-id.h Thu Feb 01 18:52:55 2007 +0100 @@ -45,6 +45,7 @@ * \returns true if the event has expired, false otherwise. */ bool IsExpired (void); + bool IsRunning (void); public: /* The following methods are semi-private * they are supposed to be invoked only by