Package owl.automaton.algorithm.simulations

Class BackwardDirectSimulation<S>

java.lang.Object

owl.automaton.algorithm.simulations.BackwardDirectSimulation<S>

All Implemented Interfaces:

SimulationType<S,SimulationStates.MultipebbleSimulationState<S>>

public class BackwardDirectSimulation<S>
extends Object
implements SimulationType<S,SimulationStates.MultipebbleSimulationState<S>>

Nested Class Summary

Nested classes/interfaces inherited from interface owl.automaton.algorithm.simulations.SimulationType

SimulationType.SimulationState

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BackwardDirectSimulation

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

Method Detail

edges

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

Specified by:

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

acceptance

public ParityAcceptance acceptance()

Specified by:

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

initialStates

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

Specified by:

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