Register the end of a time-spanning event
Register the end of a time-spanning event
id of event
TRUE to ignore the request to add event if the event already exists
the elapsed duration since the schedule was created
Register an instantaneous event
Register an instantaneous event
id of event
TRUE to ignore the request to add event if the event already exists
the elapsed duration since the schedule was created
Register the start of a time-spanning event
Register the start of a time-spanning event
id of event
TRUE to ignore the request to add event if the event already exists
the elapsed duration since the schedule was created
an unordered Vector of end events
TRUE if the event id1 happened before event id2
java.lang.IllegalArgumentException
if id1 or id2 doesn't exist OR
if id2 is not a time-spanning event
TRUE if the event id1 happened during time-spanning event id2
java.lang.IllegalArgumentException
if id1 or id2 doesn't exist OR
if id2 is not a time-spanning event
a Vector of events ordered by their occurrence
an unordered Vector of start events
A case class for determining the ordering of instantaneous and time-spanning real-time events
event identifier type