Interface ITimeModel
-
- All Known Subinterfaces:
ILevel
- All Known Implementing Classes:
AbstractLevel
,ExtendedLevel
,PeriodicTimeModel
public interface ITimeModel
Models how the time stamps of the simulation or of a level evolve through time.Correspondence with theory
The combination of this interface and an initial time stamp models the time model of a level 𝕋l.
Usage
For simulation consistency reasons, the
getNextTime(SimulationTimeStamp)
has to be deterministic. Calling this method twice with the same parameter has to produce the same output.- Author:
- Yoann Kubera
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description SimulationTimeStamp
getNextTime(SimulationTimeStamp currentTime)
Gets the time stamp following a specific time stamp in this model.
-
-
-
Method Detail
-
getNextTime
SimulationTimeStamp getNextTime(SimulationTimeStamp currentTime)
Gets the time stamp following a specific time stamp in this model.Note: for simulation consistency reasons, this method has to be deterministic: calling twice this method with the same parameter has to produce the same output.
- Parameters:
currentTime
- The time stamp for which this method computes a successor.- Returns:
- The time stamp following the
currentTime
time stamp.
-
-