public abstract class AbstractNonFunctionalTerm extends Object implements NonFunctionalTerm
| Constructor and Description |
|---|
AbstractNonFunctionalTerm() |
| Modifier and Type | Method and Description |
|---|---|
ImmutableTerm |
simplify()
When no variableNullability is available
|
ImmutableTerm |
simplify(VariableNullability variableNullability) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitevaluateIsNotNull, evaluateStrictEq, getVariableStream, inferType, isGround, isNull, isNullablepublic ImmutableTerm simplify(VariableNullability variableNullability)
simplify in interface ImmutableTermpublic ImmutableTerm simplify()
ImmutableTermsimplify in interface ImmutableTermCopyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.