Package owl.automaton.algorithm.simulations

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

Constructor Summary

Constructors

Constructor	Description
ForwardDirectLookaheadSimulation(Automaton<S,? extends BuchiAcceptance> leftAutomaton, Automaton<S,? extends BuchiAcceptance> rightAutomaton, S left, S right, int maxLookahead, Set<Pair<S,S>> known)

Method Summary

Modifier and Type	Method	Description
ParityAcceptance	acceptance()
Set<Edge<SimulationStates.LookaheadSimulationState<S>>>	edges(SimulationStates.LookaheadSimulationState<S> state)
Set<SimulationStates.LookaheadSimulationState<S>>	initialStates()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ForwardDirectLookaheadSimulation

public ForwardDirectLookaheadSimulation(Automaton<S,? extends BuchiAcceptance> leftAutomaton,
                                        Automaton<S,? extends BuchiAcceptance> rightAutomaton,
                                        S left,
                                        S right,
                                        int maxLookahead,
                                        Set<Pair<S,S>> known)

Method Detail

edges

public Set<Edge<SimulationStates.LookaheadSimulationState<S>>> edges(SimulationStates.LookaheadSimulationState<S> state)

Specified by:

edges in interface SimulationType<S,SimulationStates.LookaheadSimulationState<S>>

acceptance

public ParityAcceptance acceptance()

Specified by:

acceptance in interface SimulationType<S,SimulationStates.LookaheadSimulationState<S>>

initialStates

public Set<SimulationStates.LookaheadSimulationState<S>> initialStates()

Specified by:

initialStates in interface SimulationType<S,SimulationStates.LookaheadSimulationState<S>>