| Class | Description |
|---|---|
| ConstantStateGenerator |
This class takes a source state as input as returns copies of it for every call of generateState().
|
| NullAbstraction |
A StateAbstraction class that does nothing but returns a copy of input state.
|
| NullAbstractionNoCopy |
A StateAbstraction class the input state without copying it.
|
| NullTermination |
A terminal state function in which no state is considered a terminal state.
|
| RandomStartStateGenerator |
This class will return a random state from a set of states that are reachable from a source seed state.
|
| StateJSONParser |
A StateParser class that uses the JSON file format and can can convert states to JSON strings (and back from them) for any possible input domain.
|
| StateYAMLParser |
A StateParser class that uses the YAML file format and can can convert states to YAML strings (and back from them) for any possible input domain.
|
| UniversalStateParser |
A StateParser class that can convert states for any possible input domain.
|