static void pushBack(EventSet& events, UnfoldingEvent* e);
static void remove(EventSet& events, UnfoldingEvent* e);
static EventSet minus(EventSet events, UnfoldingEvent* e);
static EventSet plus(EventSet events, UnfoldingEvent* e);
};
static void pushBack(EventSet& events, UnfoldingEvent* e);
static void remove(EventSet& events, UnfoldingEvent* e);
static EventSet minus(EventSet events, UnfoldingEvent* e);
static EventSet plus(EventSet events, UnfoldingEvent* e);
};