Portability | unportable |
---|---|
Stability | experimental |
Maintainer | jochem@functor.nl |
Events
Abstract data type
Querying events
Discrete Event Set
ADT for Discrete Event Set
Discrete Event Set. A discrete event set is a data structure
that supports the operations update
and removeNext
.
Creating Discrete Event Set
Querying Discrete Event Set
Updating Discrete Event Set
removeNext :: DES -> (Event, DES)Source
:: Time | The time at which the event takes place |
-> Runnable | The |
-> DES | The old discrete event set |
-> DES | The discrete event set with the event added |
Schedule an event in a discrete event set. Note that an old event of the same process is removed from the discrete event set.