4#include "facilities/ScheduledEvent.h"
5#include "facilities/Scheduler.h"
15 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)