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

Class NonGroundExpressionImpl

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

All Implemented Interfaces:

ImmutableExpression, ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonGroundFunctionalTerm, NonGroundTerm, NonVariableTerm

public class NonGroundExpressionImpl
extends ImmutableExpressionImpl
implements NonGroundFunctionalTerm

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	NonGroundExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
protected	NonGroundExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, ImmutableTerm... terms)

Method Summary

Modifier and Type	Method and Description
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, 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

NonGroundExpressionImpl

protected NonGroundExpressionImpl(TermFactory termFactory,
                                  BooleanFunctionSymbol functor,
                                  ImmutableTerm... terms)

NonGroundExpressionImpl

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

Method Detail

isGround

public boolean isGround()

Specified by:

isGround in interface ImmutableTerm

isVar2VarEquality

public boolean isVar2VarEquality()

Specified by:

isVar2VarEquality in interface ImmutableExpression