public class SeededRandomDispatcher extends DefaultDispatcher
dispatchRecords, lastDRSize| Constructor and Description |
|---|
SeededRandomDispatcher() |
| Modifier and Type | Method and Description |
|---|---|
void |
addStoppedTrain(java.lang.String train,
APITime time,
APITime scheduledDeparture,
java.lang.String stopName,
int minimumStop) |
void |
initialise(BraveDispatcherContext context,
APITime startTime)
Add seed initialisation to the initialise method of the parent class.
|
void |
reinitialise()
Add seed initialisation to the reinitialise method of the parent class.
|
notifyTrainDestruction, updatepublic void initialise(BraveDispatcherContext context, APITime startTime)
initialise in interface APIDispatcherinitialise in class DefaultDispatcherpublic void reinitialise()
reinitialise in interface APIDispatcherreinitialise in class DefaultDispatcherpublic void addStoppedTrain(java.lang.String train,
APITime time,
APITime scheduledDeparture,
java.lang.String stopName,
int minimumStop)
addStoppedTrain in interface APIDispatcheraddStoppedTrain in class DefaultDispatcher