| 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.
|