Package owl.automaton.algorithm.simulations

Class ForwardDirectSimulation<S>

java.lang.Object

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

Type Parameters:

S - The type of state of the underlying automaton.

All Implemented Interfaces:

SimulationType<S,SimulationStates.MultipebbleSimulationState<S>>

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

Simulation type for forward-direct multipebble simulation games.

Nested Class Summary

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

SimulationType.SimulationState

Constructor Summary

Constructors

Constructor	Description
ForwardDirectSimulation(Automaton<S,? extends BuchiAcceptance> leftAutomaton, Automaton<S,? extends BuchiAcceptance> rightAutomaton, S left, S right, int pebbleCount, Set<Pair<S,S>> known)	Constructs a simulation game for two given automata and two states.

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

ForwardDirectSimulation

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

Constructs a simulation game for two given automata and two states.

Parameters:

leftAutomaton - First input automaton.

rightAutomaton - Second input automaton.

left - First input state.

right - Second input state.

pebbleCount - The number of pebbles Duplicator can control.

known - The set of state-state pairs already known to be similar.

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>>