it.unibz.inf.ontop.model.term

Interface GroundFunctionalTerm

All Superinterfaces:

GroundTerm, ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonVariableTerm, VariableOrGroundTerm

All Known Implementing Classes:

GroundExpressionImpl, GroundFunctionalTermImpl

public interface GroundFunctionalTerm
extends ImmutableFunctionalTerm, GroundTerm

Immutable ground functional term.

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.ImmutableFunctionalTerm

ImmutableFunctionalTerm.FunctionalTermDecomposition

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends GroundTerm>	getTerms()

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

analyzeInjectivity, canBePostProcessed, getArity, getFunctionSymbol, getTerm, getVariables, inferType, proposeProvenanceVariables, simplifyAsGuaranteedToBeNonNull

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

isNull

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

isDeterministic

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

evaluateIsNotNull, evaluateStrictEq, getVariableStream, isGround, isNullable, simplify, simplify

Method Detail

getTerms

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends GroundTerm> getTerms()

Specified by:

getTerms in interface ImmutableFunctionalTerm