| Class | Description |
|---|---|
| StateEnumerator |
For some algorithms, it is useful to have an explicit unique state identifier for each possible state and the hashcode of a state cannot reliably give
a unique number.
|
| StateGridder |
This class is used for creating a grid of states over a state space domain.
|
| StateGridder.AttributeSpecification |
Class for specifying the grid along a single attribute.
|
| StateReachability |
This class provides methods for finding the set of reachable states from a source state.
|