public class Predicate extends TypedStructureAdapter
Constructor and Description |
---|
Predicate() |
Predicate(java.lang.String name)
Initializes a predicate of arity zero with the given name;
|
Predicate(java.lang.String name,
int arity)
Initializes a predicate with the given name and of the given arity.
|
Predicate(java.lang.String name,
java.util.List<Sort> arguments)
Initializes a predicate with the given name and the given list
of argument sorts.
|
Modifier and Type | Method and Description |
---|---|
Predicate |
clone()
Creates a deep copy of this object
|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName, toString
public Predicate()
public Predicate(java.lang.String name)
name
- the name of the predicatepublic Predicate(java.lang.String name, int arity)
name
- the name of the predicatepublic Predicate(java.lang.String name, java.util.List<Sort> arguments)
name
- the name of the predicatearguments
- the sorts of the argumentspublic int hashCode()
hashCode
in class TypedStructureAdapter
public boolean equals(java.lang.Object obj)
equals
in class TypedStructureAdapter
public Predicate clone()
TypedStructure
clone
in interface TypedStructure
clone
in class TypedStructureAdapter