public interface Constant extends NonFunctionalTerm, GroundTerm
ImmutableTerm in which it has a constant
value.| Modifier and Type | Method and Description |
|---|---|
Optional<TermType> |
getOptionalType()
Empty if and only if is null.
|
String |
getValue() |
default boolean |
isDeterministic() |
evaluateIsNotNull, evaluateStrictEq, getVariableStream, inferType, isGround, isNull, isNullable, simplify, simplifyString getValue()
default boolean isDeterministic()
isDeterministic in interface GroundTermCopyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.