Class FolActionName
java.lang.Object
org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
org.tweetyproject.logics.commons.syntax.Predicate
org.tweetyproject.action.signature.FolActionName
- All Implemented Interfaces:
Comparable<TypedStructureAdapter>
,TypedStructure
This class represents an action name. It is implemented as a fol predicate to
allow for easy grounding of action descriptions.
- Author:
- Sebastian Homann
-
Constructor Summary
ConstructorDescriptionFolActionName
(String name) Creates a new action name predicate with the given name and zero-arity.FolActionName
(String name, int arity) Creates a new actionname predicate with the given name and arity.FolActionName
(String name, List<Sort> arguments) Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate. -
Method Summary
Methods inherited from class org.tweetyproject.logics.commons.syntax.Predicate
clone, equals, hashCode
Methods inherited from class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
addArgumentType, compareTo, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName
-
Constructor Details
-
FolActionName
Creates a new actionname predicate with the given name and arity.- Parameters:
name
- the name of the actionarity
- the arity of the action
-
FolActionName
Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate. These arguments are used for grounding.- Parameters:
name
- a namearguments
- a list of arguments (either variables or constants)
-
FolActionName
Creates a new action name predicate with the given name and zero-arity.- Parameters:
name
- a name
-
-
Method Details
-
toString
- Overrides:
toString
in classTypedStructureAdapter
-