Class SimulationStates
- java.lang.Object
-
- owl.automaton.algorithm.simulations.SimulationStates
-
public class SimulationStates extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classSimulationStates.LookaheadSimulationState<S>static classSimulationStates.MultipebbleSimulationState<S>Holds all information necessary to implement forward multipebble simulations.
-