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

Class GroundFunctionalTermImpl

java.lang.Object

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

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

All Implemented Interfaces:

GroundFunctionalTerm, GroundTerm, ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonVariableTerm, VariableOrGroundTerm

public class GroundFunctionalTermImpl
extends ImmutableFunctionalTermImpl
implements GroundFunctionalTerm

Nested Class Summary

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

Field Summary

Fields inherited from class it.unibz.inf.ontop.model.term.impl.ImmutableFunctionalTermImpl

termFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GroundFunctionalTermImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends GroundTerm> terms, FunctionSymbol functor, TermFactory termFactory)

Method Summary

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

Methods inherited from class it.unibz.inf.ontop.model.term.impl.ImmutableFunctionalTermImpl

analyzeInjectivity, canBePostProcessed, equals, evaluateIsNotNull, evaluateStrictEq, getArity, getFunctionSymbol, getTerm, getVariables, getVariableStream, hashCode, isNullable, proposeProvenanceVariables, simplify, simplify, simplifyAsGuaranteedToBeNonNull, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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.ImmutableTerm

evaluateIsNotNull, evaluateStrictEq, getVariableStream, isNullable, simplify, simplify

Constructor Detail

GroundFunctionalTermImpl

protected GroundFunctionalTermImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends GroundTerm> terms,
                                   FunctionSymbol functor,
                                   TermFactory termFactory)

Method Detail

getTerms

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

Specified by:

getTerms in interface GroundFunctionalTerm

Specified by:

getTerms in interface ImmutableFunctionalTerm

Overrides:

getTerms in class ImmutableFunctionalTermImpl

isGround

public boolean isGround()

Specified by:

isGround in interface ImmutableTerm

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in interface GroundTerm