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

Class NonGroundFunctionalTermImpl

java.lang.Object

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

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

All Implemented Interfaces:

ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonGroundFunctionalTerm, NonGroundTerm, NonVariableTerm

public class NonGroundFunctionalTermImpl
extends ImmutableFunctionalTermImpl
implements NonGroundFunctionalTerm

Constraint: should contain at least one variable

Nested Class Summary

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	NonGroundFunctionalTermImpl(FunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
protected	NonGroundFunctionalTermImpl(TermFactory termFactory, FunctionSymbol functor, ImmutableTerm... terms)

Method Summary

Modifier and Type	Method and Description
boolean	isGround()

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

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

Methods inherited from class java.lang.Object

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

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, isNullable, simplify, simplify

Constructor Detail

NonGroundFunctionalTermImpl

protected NonGroundFunctionalTermImpl(FunctionSymbol functor,
                                      com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms,
                                      TermFactory termFactory)

NonGroundFunctionalTermImpl

protected NonGroundFunctionalTermImpl(TermFactory termFactory,
                                      FunctionSymbol functor,
                                      ImmutableTerm... terms)

Method Detail

isGround

public boolean isGround()

Specified by:

isGround in interface ImmutableTerm