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
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Seven()booleanflag()booleanisValid(Automaton<S,BuchiAcceptance> aut)abstract List<Transition<S>>moves()abstract Sodd()StringtoString()-
Methods inherited from class owl.automaton.algorithm.simulations.SimulationType.SimulationState
owner
-
-