This class takes a source state as input as returns copies of it for every call of generateState().
Creates a terminal function that indicates terminal states are any states that satisfy a goal condition where the goal condition is specified by a
A StateAbstraction class that does nothing but returns a copy of input state.
A terminal state function in which no state is considered a terminal state.
This class will return a random state from a set of states that are reachable from a source seed state.
A StateAbstraction class the input state without copying it.
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.