Class ForwardDirectLookaheadSimulation<S>
- java.lang.Object
-
- owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation<S>
-
- All Implemented Interfaces:
SimulationType<S,SimulationStates.LookaheadSimulationState<S>>
public class ForwardDirectLookaheadSimulation<S> extends Object implements SimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.automaton.algorithm.simulations.SimulationType
SimulationType.SimulationState<S>
-
-
Constructor Summary
Constructors Constructor Description ForwardDirectLookaheadSimulation(Automaton<S,BuchiAcceptance> leftAutomaton, Automaton<S,BuchiAcceptance> rightAutomaton, S left, S right, int maxLookahead, Set<Pair<S,S>> known)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ParityAcceptance
acceptance()
Map<Edge<SimulationStates.LookaheadSimulationState<S>>,ValuationSet>
edgeMap(SimulationStates.LookaheadSimulationState<S> state)
ValuationSetFactory
factory()
Set<SimulationStates.LookaheadSimulationState<S>>
initialStates()
static <S> ForwardDirectLookaheadSimulation<S>
of(Automaton<S,BuchiAcceptance> leftAutomaton, Automaton<S,BuchiAcceptance> rightAutomaton, S left, S right, int maxLookahead, Set<Pair<S,S>> known)
Set<SimulationStates.LookaheadSimulationState<S>>
states()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.automaton.algorithm.simulations.SimulationType
automataCompatible
-
-
-
-
Method Detail
-
edgeMap
public Map<Edge<SimulationStates.LookaheadSimulationState<S>>,ValuationSet> edgeMap(SimulationStates.LookaheadSimulationState<S> state)
- Specified by:
edgeMap
in interfaceSimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
states
public Set<SimulationStates.LookaheadSimulationState<S>> states()
- Specified by:
states
in interfaceSimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
acceptance
public ParityAcceptance acceptance()
- Specified by:
acceptance
in interfaceSimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
initialStates
public Set<SimulationStates.LookaheadSimulationState<S>> initialStates()
- Specified by:
initialStates
in interfaceSimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
factory
public ValuationSetFactory factory()
- Specified by:
factory
in interfaceSimulationType<S,SimulationStates.LookaheadSimulationState<S>>
-
of
public static <S> ForwardDirectLookaheadSimulation<S> of(Automaton<S,BuchiAcceptance> leftAutomaton, Automaton<S,BuchiAcceptance> rightAutomaton, S left, S right, int maxLookahead, Set<Pair<S,S>> known)
-
-