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 classSimulationType.SimulationState
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ParityAcceptanceacceptance()Set<Edge<T>>edges(T state)Set<T>initialStates()
-