public interface Expression extends Function
| Modifier and Type | Method and Description |
|---|---|
Expression |
clone() |
BooleanFunctionSymbol |
getFunctionSymbol()
Get the function symbol.
|
containsTerm, getArity, getTerm, getTerms, getVariables, isDataFunction, isDataTypeFunction, isOperation, setPredicate, setTerm, updateTermsBooleanFunctionSymbol getFunctionSymbol()
FunctiongetFunctionSymbol in interface FunctionExpression clone()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.