| Class | Description |
|---|---|
| AdmissibleStateRectificationStrategy | |
| AggressivePostProcessingStrategy | |
| DepthFirstStateExplorationStrategy | |
| FinalStateSubsumptionPostProcessingStrategy | |
| NoAbortStrategy | |
| NoCanonicalizationStrategy | |
| NoMaterializationStrategy | |
| NoPostProcessingStrategy | |
| NoRectificationStrategy | |
| NoStateCounter | |
| NoStateLabelingStrategy |
A simple state labeling strategy that returns an empty set of atomic propositions for every state.
|
| NoStateRefinementStrategy | |
| StateSpaceBoundedAbortStrategy |
Implementation of an AbortStrategy that stops the state space generation whenever
either the size of the state space or the size of the largest state in the state space exceeds
a customized threshold.
|
| TerminalStatementFinalStateStrategy |
Copyright © 2018. All rights reserved.