it.unibz.inf.ontop.model.term

Interface NonGroundFunctionalTerm

All Superinterfaces:

ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonGroundTerm, NonVariableTerm

All Known Implementing Classes:

NonGroundExpressionImpl, NonGroundFunctionalTermImpl

public interface NonGroundFunctionalTerm
extends ImmutableFunctionalTerm, NonGroundTerm

Immutable functional term is not a ground term

Nested Class Summary

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

Method Summary

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

analyzeInjectivity, canBePostProcessed, getArity, getFunctionSymbol, getTerm, getTerms, 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.ImmutableTerm

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