Interface SimulationType<S,T extends SimulationType.SimulationState>
-
- All Known Implementing Classes:
BackwardDirectSimulation
,ForwardDelayedSimulation
,ForwardDirectLookaheadSimulation
,ForwardDirectSimulation
,ForwardFairSimulation
public interface SimulationType<S,T extends SimulationType.SimulationState>
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
SimulationType.SimulationState
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ParityAcceptance
acceptance()
Set<Edge<T>>
edges(T state)
Set<T>
initialStates()
-