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, update
public void initialise(BraveDispatcherContext context, APITime startTime)
initialise
in interface APIDispatcher
initialise
in class DefaultDispatcher
public void reinitialise()
reinitialise
in interface APIDispatcher
reinitialise
in class DefaultDispatcher
public void addStoppedTrain(java.lang.String train, APITime time, APITime scheduledDeparture, java.lang.String stopName, int minimumStop)
addStoppedTrain
in interface APIDispatcher
addStoppedTrain
in class DefaultDispatcher