it.unibz.inf.ontop.model.term

Interface Variable

All Superinterfaces:

Comparable<Variable>, ImmutableTerm, NonConstantTerm, NonFunctionalTerm, NonGroundTerm, VariableOrGroundTerm

All Known Implementing Classes:

VariableImpl

public interface Variable
extends NonFunctionalTerm, NonConstantTerm, NonGroundTerm, Comparable<Variable>

This class defines a type of ImmutableTerm in which it expresses a quantity that during a calculation is assumed to vary or be capable of varying in value.

Method Summary

Modifier and Type	Method and Description
String	getName()
default Optional<TermTypeInference>	inferType() Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.

Methods inherited from interface it.unibz.inf.ontop.model.term.NonConstantTerm

isNull

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getName

String getName()

inferType

default Optional<TermTypeInference> inferType()

Description copied from interface: ImmutableTerm

Returns empty when no TermType has been inferred (missing information or fatal error) and no non-fatal error has been detected.

Specified by:

inferType in interface ImmutableTerm