public class FolActionName extends Predicate implements ActionName
Constructor and Description |
---|
FolActionName(java.lang.String name)
Creates a new action name predicate with the given name and zero-arity.
|
FolActionName(java.lang.String name,
int arity)
Creates a new actionname predicate with the given name and arity.
|
FolActionName(java.lang.String name,
java.util.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.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName
finalize, getClass, notify, notifyAll, wait, wait, wait
getName
public FolActionName(java.lang.String name, int arity)
name
- arity
- public FolActionName(java.lang.String name, java.util.List<Sort> arguments)
name
- a namearguments
- a list of arguments (either variables or constants)public FolActionName(java.lang.String name)
name
- a namepublic java.lang.String toString()
toString
in class TypedStructureAdapter