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 class
SimulationType.SimulationState<S>
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description ParityAcceptance
acceptance()
default void
automataCompatible(Automaton<S,BuchiAcceptance> a, Automaton<S,BuchiAcceptance> b)
Map<Edge<T>,ValuationSet>
edgeMap(T state)
ValuationSetFactory
factory()
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)
-
-