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