public class PropositionalPredicate extends Predicate
Constructor and Description |
---|
PropositionalPredicate()
Default-Ctor for dynamic instantiation
|
PropositionalPredicate(java.lang.String name)
Ctor: Creates a new propositional predicate with the given
name.
|
Modifier and Type | Method and Description |
---|---|
void |
addArgumentType(Sort argType)
Adds the given Sort as argument type to the typed Structure
|
PropositionalPredicate |
clone()
Creates a deep copy of this object
|
void |
setArity(int arity)
Sets the arity of this structure
|
compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setName, toString
public PropositionalPredicate()
public PropositionalPredicate(java.lang.String name)
name
- The name of the predicatepublic void setArity(int arity)
TypedStructure
setArity
in interface TypedStructure
setArity
in class TypedStructureAdapter
arity
- the new aritypublic void addArgumentType(Sort argType)
TypedStructure
addArgumentType
in interface TypedStructure
addArgumentType
in class TypedStructureAdapter
argType
- The Sort descibing the argument typepublic PropositionalPredicate clone()
TypedStructure
clone
in interface TypedStructure
clone
in class Predicate