Register the end of a time-spanning event
Register the end of a time-spanning event
id of event
the elapsed duration since the schedule was created
Register an instantaneous event
Register an instantaneous event
id of event
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
the elapsed duration since the schedule was created
an unordered Vector of end events
TRUE if the event id1 happened before event id2
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
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