public class DLPPredicate extends Predicate
Constructor and Description |
---|
DLPPredicate()
Default-Ctor: Used for dynamic instantiation
|
DLPPredicate(java.lang.String name)
Ctor: Generates a predicate with the given name and arity zero.
|
DLPPredicate(java.lang.String name,
int arity)
Creates a predicate with the given name and the given arity
|
Modifier and Type | Method and Description |
---|---|
void |
addArgumentType(Sort sort)
Adds the given Sort as argument type to the typed Structure
|
compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName, toString
public DLPPredicate()
public DLPPredicate(java.lang.String name)
name
- The name of the predicatepublic DLPPredicate(java.lang.String name, int arity)
name
- The name of the predicatearity
- The arity of the predicatepublic void addArgumentType(Sort sort)
TypedStructure
addArgumentType
in interface TypedStructure
addArgumentType
in class TypedStructureAdapter
sort
- The Sort descibing the argument type