public class FunctionalTermImpl extends AbstractFunctionalTerm implements ListenableFunction
| Modifier | Constructor and Description |
|---|---|
protected |
FunctionalTermImpl(Predicate functor,
List<Term> terms) |
protected |
FunctionalTermImpl(Predicate functor,
Term... terms)
The default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
Function |
clone() |
Term |
getTerm(int index) |
EventGeneratingList<Term> |
getTerms()
Get a list of terms (or arguments) that are contained in the function
symbol.
|
int |
hashCode() |
boolean |
isDataFunction() |
boolean |
isDataTypeFunction() |
boolean |
isOperation() |
void |
listChanged() |
void |
setPredicate(Predicate predicate) |
void |
setTerm(int index,
Term newTerm) |
String |
toString() |
void |
updateTerms(List<Term> newterms) |
containsTerm, equals, getArity, getFunctionSymbol, getVariablesfinalize, getClass, notify, notifyAll, wait, wait, waitcontainsTerm, getArity, getFunctionSymbol, getVariablesprotected FunctionalTermImpl(Predicate functor, Term... terms)
functor - the function symbol name. It is defined the same as a
predicate.terms - the list of arguments.public void setPredicate(Predicate predicate)
setPredicate in interface FunctionsetPredicate in class AbstractFunctionalTermpublic EventGeneratingList<Term> getTerms()
FunctiongetTerms in interface ListenableFunctiongetTerms in interface Functionpublic Function clone()
clone in interface Termclone in class AbstractFunctionalTermpublic String toString()
toString in class AbstractFunctionalTermpublic void listChanged()
listChanged in interface ListListenerpublic void updateTerms(List<Term> newterms)
updateTerms in interface Functionpublic boolean isDataFunction()
isDataFunction in interface FunctionisDataFunction in class AbstractFunctionalTermpublic boolean isOperation()
isOperation in interface FunctionisOperation in class AbstractFunctionalTermpublic boolean isDataTypeFunction()
isDataTypeFunction in interface FunctionisDataTypeFunction in class AbstractFunctionalTermCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.