Package owl.automaton.algorithm.simulations

Class SimulationStates.LookaheadSimulationState<S>

java.lang.Object

owl.automaton.algorithm.simulations.SimulationType.SimulationState

owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState<S>

Enclosing class:

SimulationStates

public abstract static class SimulationStates.LookaheadSimulationState<S>
extends SimulationType.SimulationState

Constructor Summary

Constructors

Constructor	Description
LookaheadSimulationState()

Method Summary

Modifier and Type	Method	Description
abstract S	even()
boolean	flag()
boolean	isValid(Automaton<S,BuchiAcceptance> aut)
abstract List<Transition<S>>	moves()
abstract S	odd()
String	toString()

Methods inherited from class owl.automaton.algorithm.simulations.SimulationType.SimulationState

owner

Methods inherited from class java.lang.Object

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

Constructor Detail

LookaheadSimulationState

public LookaheadSimulationState()

Method Detail

odd

public abstract S odd()

even

public abstract S even()

moves

public abstract List<Transition<S>> moves()

toString

public String toString()

Overrides:

toString in class Object

isValid

public boolean isValid(Automaton<S,BuchiAcceptance> aut)

flag

public boolean flag()