public interface ListenableFunction extends Function, ListListener
| Modifier and Type | Method and Description |
|---|---|
EventGeneratingList<Term> |
getTerms()
Get a list of terms (or arguments) that are contained in the function
symbol.
|
containsTerm, getArity, getFunctionSymbol, getTerm, getVariables, isDataFunction, isDataTypeFunction, isOperation, setPredicate, setTerm, updateTermslistChangedEventGeneratingList<Term> getTerms()
FunctionCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.