| Class and Description |
|---|
| ActionSignature
This class represents an action signature consisting of a set of fluent names
and a set of action names.
|
| Class and Description |
|---|
| ActionSignature
This class represents an action signature consisting of a set of fluent names
and a set of action names.
|
| Class and 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'.
|
| Class and 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'.
|
| Class and Description |
|---|
| 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.
|
| Class and Description |
|---|
| ActionSignature
This class represents an action signature consisting of a set of fluent names
and a set of action names.
|
| Class and 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'.
|