public class Functor extends TypedStructureAdapter
| Constructor and Description |
|---|
Functor(String name)
Initializes a functor of arity zero with the given name;
the target sort is initialized to Sort.THING.
|
Functor(String name,
int arity)
Initializes a functor with the given name and of the given arity.
|
Functor(String name,
List<Sort> arguments,
Sort targetSort)
Initializes a functor with the given name, the given list
of argument sorts, and the given target sort.
|
| Modifier and Type | Method and Description |
|---|---|
Functor |
clone()
Creates a deep copy of this object
|
boolean |
equals(Object obj) |
Sort |
getTargetSort()
Returns the sort of this functor
|
int |
hashCode() |
addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName, toStringpublic Functor(String name)
name - the name of the functorpublic Functor(String name, int arity)
name - the name of the functorpublic Sort getTargetSort()
public int hashCode()
hashCode in class TypedStructureAdapterpublic boolean equals(Object obj)
equals in class TypedStructureAdapterpublic Functor clone()
TypedStructureclone in interface TypedStructureclone in class TypedStructureAdapterCopyright © 2018. All rights reserved.