public static interface FunctionSymbol.FunctionalTermNullability
| Modifier and Type | Method and Description |
|---|---|
Optional<Variable> |
getBoundVariable()
When the nullability of a functional term is bound to the nullability
of a variable
|
boolean |
isNullable() |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.