public class EventStream extends java.lang.Object
java.util.Set<Event>
eventSet
EventStream()
getEventSet()
void
setEventSet(java.util.Set<Event> eventsAtT)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public java.util.Set<Event> eventSet
public EventStream()
public java.util.Set<Event> getEventSet()
public void setEventSet(java.util.Set<Event> eventsAtT)