3#include "facilities/ScheduledEvent.h"
4#include "facilities/Scheduler.h"
12 const std::type_info&
t =
typeid( *this );
static void schedule(double t, ScheduledEvent *next)
virtual std::string name() const
static Scheduler * instance()
void schedule(double deltaT, ScheduledEvent *event)