public abstract class AbstractFunctionalTerm extends Object implements Function
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractFunctionalTerm(Predicate functor) |
| Modifier and Type | Method and Description |
|---|---|
Function |
clone() |
boolean |
containsTerm(Term t)
Check whether the function contains a particular term argument or not.
|
boolean |
equals(Object obj) |
int |
getArity()
Get the number of terms (or arguments) in the function symbol.
|
Predicate |
getFunctionSymbol()
Get the function symbol.
|
Set<Variable> |
getVariables() |
boolean |
isDataFunction() |
boolean |
isDataTypeFunction()
Deprecated.
|
boolean |
isOperation() |
void |
setPredicate(Predicate predicate) |
String |
toString() |
finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetTerm, getTerms, setTerm, updateTermsprotected AbstractFunctionalTerm(Predicate functor)
public int getArity()
Functionpublic Predicate getFunctionSymbol()
FunctiongetFunctionSymbol in interface Functionpublic void setPredicate(Predicate predicate)
setPredicate in interface Functionpublic Set<Variable> getVariables()
getVariables in interface Functionpublic boolean containsTerm(Term t)
containsTerm in interface Functiont - the term in question.public Function clone()
public boolean isDataFunction()
isDataFunction in interface Functionpublic boolean isOperation()
isOperation in interface Function@Deprecated public boolean isDataTypeFunction()
isDataTypeFunction in interface FunctionCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.