it.unibz.inf.ontop.model.term.impl

Class FunctionalTermNullabilityImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.FunctionalTermNullabilityImpl

All Implemented Interfaces:

FunctionSymbol.FunctionalTermNullability

public class FunctionalTermNullabilityImpl
extends Object
implements FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Constructor and Description
FunctionalTermNullabilityImpl(boolean isNullable)
FunctionalTermNullabilityImpl(Variable boundVariable)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FunctionalTermNullabilityImpl

public FunctionalTermNullabilityImpl(boolean isNullable)

FunctionalTermNullabilityImpl

public FunctionalTermNullabilityImpl(Variable boundVariable)

Method Detail

isNullable

public boolean isNullable()

Specified by:

isNullable in interface FunctionSymbol.FunctionalTermNullability

getBoundVariable

public Optional<Variable> getBoundVariable()

Description copied from interface: FunctionSymbol.FunctionalTermNullability

When the nullability of a functional term is bound to the nullability of a variable

Specified by:

getBoundVariable in interface FunctionSymbol.FunctionalTermNullability