Class | Description |
---|---|
ConstantStateGenerator |
This class takes a source state as input as returns copies of it for every call of generateState().
|
GoalConditionTF |
Creates a terminal function that indicates terminal states are any states that satisfy a goal condition
where the goal condition is specified by a
StateConditionTest object. |
IdentityStateMapping |
A StateAbstraction class that does nothing but returns a copy of input state.
|
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.
|
ShallowIdentityStateMapping |
A StateAbstraction class the input state without copying it.
|
SinglePFTF |
This class defines a terminal function that terminates in states where there exists a grounded version of a specified
propositional function that is true in the state or alternatively, when there is a grounded version that is false in the state.
|