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 class
SimulationStates.LookaheadSimulationState<S>
static class
SimulationStates.MultipebbleSimulationState<S>
Holds all information necessary to implement forward multipebble simulations.
-