public class FolFluentName extends Predicate implements FluentName
Constructor and Description |
---|
FolFluentName(java.lang.String name)
Creates a new folfluentname predicate with the given name and zero-arity.
|
FolFluentName(java.lang.String name,
int arity)
Creates a new folfluentname with the given name and arity.
|
FolFluentName(java.lang.String name,
java.util.List<Sort> arguments)
Creates a new fluentname 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 FolFluentName(java.lang.String name, int arity)
name
- the name of this fluent namearity
- the number of arguments of this fluent namepublic FolFluentName(java.lang.String name, java.util.List<Sort> arguments)
name
- the name of this fluent namearguments
- a list of argumentspublic FolFluentName(java.lang.String name)
name
- the name of this fluent namepublic java.lang.String toString()
toString
in class TypedStructureAdapter