| BackwardDirectSimulation<S> |
|
| BuchiSimulation |
|
| ColorRefinement<S> |
Computes direct simulation relation of an automaton based on the color refinement algorithm.
|
| ColorRefinement.Neighborhood |
Represents the neighborhood of a state.
|
| ColorRefinement.NeighborType |
Represents a neighbor type consisting of color and associated valuation.
|
| ForwardDelayedSimulation<S> |
|
| ForwardDirectLookaheadSimulation<S> |
|
| ForwardDirectSimulation<S> |
Simulation type for forward-direct multipebble simulation games.
|
| ForwardFairSimulation<S> |
|
| MultiPebble<S> |
Abstracts multiple pebbles controlled by Duplicator in a multipebble simulation game.
|
| Pebble<S> |
Abstraction of a single pebble in a multipebble simulation game.
|
| SimulationGame<S,T extends SimulationType.SimulationState> |
Wrapper class that takes a simulationType and constructs the actual game itself based on the
state and transition function defined within the concrete simulationType.
|
| SimulationStates |
|
| SimulationStates.LookaheadSimulationState<S> |
|
| SimulationStates.MultipebbleSimulationState<S> |
Holds all information necessary to implement forward multipebble simulations.
|
| SimulationType.SimulationState |
|
| SimulationUtil |
|
| Transition<S> |
|