Class | Description |
---|---|
ActionSignature |
This class represents an action signature consisting of a set of fluent names
and a set of action names.
|
FolAction |
An action is a truth-valued function on the set of action names, which is
denoted by the set of actions which are mapped to 'true'.
|
FolActionName |
This class represents an action name.
|
FolFluentName |
This class represents a fluent name.
|