A basic interface representing an action name.
A basic interface representing a fluent name.
This class represents an action signature consisting of a set of fluent names and a set of action names.
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'.
This class represents an action name.
This class represents a fluent name.