Interface SimulationType<S,T extends SimulationType.SimulationState<S>>
-
- All Known Implementing Classes:
BackwardDirectSimulation,ForwardDelayedSimulation,ForwardDirectLookaheadSimulation,ForwardDirectSimulation,ForwardFairSimulation
public interface SimulationType<S,T extends SimulationType.SimulationState<S>>
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classSimulationType.SimulationState<S>
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description ParityAcceptanceacceptance()default voidautomataCompatible(Automaton<S,BuchiAcceptance> a, Automaton<S,BuchiAcceptance> b)Map<Edge<T>,ValuationSet>edgeMap(T state)ValuationSetFactoryfactory()Set<T>initialStates()Set<T>states()
-
-
-
Method Detail
-
edgeMap
Map<Edge<T>,ValuationSet> edgeMap(T state)
-
acceptance
ParityAcceptance acceptance()
-
factory
ValuationSetFactory factory()
-
automataCompatible
default void automataCompatible(Automaton<S,BuchiAcceptance> a, Automaton<S,BuchiAcceptance> b)
-
-