src/simulator/event-id.h
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