public class ExpressionImpl extends FunctionalTermImpl implements Expression
| Modifier | Constructor and Description |
|---|---|
protected |
ExpressionImpl(BooleanFunctionSymbol functor,
List<Term> terms) |
protected |
ExpressionImpl(BooleanFunctionSymbol functor,
Term... terms) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
clone() |
BooleanFunctionSymbol |
getFunctionSymbol()
Get the function symbol.
|
getTerm, getTerms, hashCode, isDataFunction, isDataTypeFunction, isOperation, listChanged, setPredicate, setTerm, toString, updateTermscontainsTerm, equals, getArity, getVariablesfinalize, getClass, notify, notifyAll, wait, wait, waitcontainsTerm, getArity, getTerm, getTerms, getVariables, isDataFunction, isDataTypeFunction, isOperation, setPredicate, setTerm, updateTermsprotected ExpressionImpl(BooleanFunctionSymbol functor, Term... terms)
protected ExpressionImpl(BooleanFunctionSymbol functor, List<Term> terms)
public BooleanFunctionSymbol getFunctionSymbol()
FunctiongetFunctionSymbol in interface ExpressiongetFunctionSymbol in interface FunctiongetFunctionSymbol in class AbstractFunctionalTermpublic Expression clone()
clone in interface Expressionclone in interface Termclone in class FunctionalTermImplCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.