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

Class GroundExpressionImpl

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class GroundExpressionImpl
extends ImmutableExpressionImpl
implements GroundFunctionalTerm

Nested Class Summary

Nested classes/interfaces inherited from class it.unibz.inf.ontop.model.term.impl.ImmutableExpressionImpl

ImmutableExpressionImpl.ExpressionEvaluationImpl, ImmutableExpressionImpl.ValueEvaluationImpl

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

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

ImmutableExpression.Evaluation

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GroundExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends GroundTerm> terms, TermFactory termFactory)
protected	GroundExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, GroundTerm... terms)

Method Summary

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

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

clone, evaluate, evaluate, evaluate2VL, evaluate2VL, flattenAND, flattenOR, getFunctionSymbol, negate, simplify2VL

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

analyzeInjectivity, canBePostProcessed, equals, evaluateIsNotNull, evaluateStrictEq, getArity, getTerm, 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, 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

GroundExpressionImpl

protected GroundExpressionImpl(TermFactory termFactory,
                               BooleanFunctionSymbol functor,
                               GroundTerm... terms)

GroundExpressionImpl

protected GroundExpressionImpl(BooleanFunctionSymbol functor,
                               com.google.common.collect.ImmutableList<? extends GroundTerm> terms,
                               TermFactory termFactory)

Method Detail

getTerms

public 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

isVar2VarEquality

public boolean isVar2VarEquality()

Specified by:

isVar2VarEquality in interface ImmutableExpression

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in interface GroundTerm