See: Description
| Interface | Description |
|---|---|
| MultipleSuccessorsUpdater |
Updaters which can yield multiple successors for a single state.
|
| Class | Description |
|---|---|
| AbstractMultipleSuccessorUpdater |
Base class for updaters which yield multiple successors.
|
| AsynchronousUpdater |
Updater for the asynchronous scheme: all possible changes are applied separately.
|
| CompleteUpdater |
Updater for the "complete" mode: include all asynchronous, synchronous and partially synchronous changes.
|
| MultipleSuccessorSimulation |
Common structure for simulations with updaters yielding multiple successors.
|
| PriorityUpdater |
Draft for a priority updater: components are grouped in groups, which can be
updated synchronously or asynchronously.
|
| Enum | Description |
|---|---|
| SimulationStrategy |
Copyright © 2012–2020. All rights reserved.