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

Class ImmutableExpressionImpl

java.lang.Object

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

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

All Implemented Interfaces:

ImmutableExpression, ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonVariableTerm

Direct Known Subclasses:

GroundExpressionImpl, NonGroundExpressionImpl

public abstract class ImmutableExpressionImpl
extends ImmutableFunctionalTermImpl
implements ImmutableExpression

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	ImmutableExpressionImpl.ExpressionEvaluationImpl
protected static class	ImmutableExpressionImpl.ValueEvaluationImpl

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

ImmutableExpression.Evaluation

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
ImmutableExpressionImpl	clone()
ImmutableExpression.Evaluation	evaluate(VariableNullability variableNullability)
IncrementalEvaluation	evaluate(VariableNullability variableNullability, boolean isExpressionNew)
ImmutableExpression.Evaluation	evaluate2VL(VariableNullability variableNullability) 2-valued logic (2VL): NULL is reduced to FALSE Is intended to be used by filtering condition, where both NULL and FALSE cause the condition to be rejected.
IncrementalEvaluation	evaluate2VL(VariableNullability variableNullability, boolean isExpressionNew)
Stream<ImmutableExpression>	flattenAND() Recursive
Stream<ImmutableExpression>	flattenOR() Flattens OR expressions.
BooleanFunctionSymbol	getFunctionSymbol()
ImmutableExpression	negate(TermFactory termFactory) Returns the equivalent to NOT(this)
ImmutableTerm	simplify2VL(VariableNullability variableNullability)

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

isVar2VarEquality

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

analyzeInjectivity, canBePostProcessed, getArity, 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

Constructor Detail

ImmutableExpressionImpl

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

ImmutableExpressionImpl

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

Method Detail

clone

public ImmutableExpressionImpl clone()

Overrides:

clone in class ImmutableFunctionalTermImpl

getFunctionSymbol

public BooleanFunctionSymbol getFunctionSymbol()

Specified by:

getFunctionSymbol in interface ImmutableExpression

Specified by:

getFunctionSymbol in interface ImmutableFunctionalTerm

Overrides:

getFunctionSymbol in class ImmutableFunctionalTermImpl

flattenAND

public Stream<ImmutableExpression> flattenAND()

Recursive

Specified by:

flattenAND in interface ImmutableExpression

flattenOR

public Stream<ImmutableExpression> flattenOR()

Description copied from interface: ImmutableExpression

Flattens OR expressions.

Specified by:

flattenOR in interface ImmutableExpression

evaluate

public ImmutableExpression.Evaluation evaluate(VariableNullability variableNullability)

Specified by:

evaluate in interface ImmutableExpression

evaluate2VL

public ImmutableExpression.Evaluation evaluate2VL(VariableNullability variableNullability)

Description copied from interface: ImmutableExpression

2-valued logic (2VL): NULL is reduced to FALSE Is intended to be used by filtering condition, where both NULL and FALSE cause the condition to be rejected.

Specified by:

evaluate2VL in interface ImmutableExpression

evaluate

public IncrementalEvaluation evaluate(VariableNullability variableNullability,
                                      boolean isExpressionNew)

Specified by:

evaluate in interface ImmutableExpression

evaluate2VL

public IncrementalEvaluation evaluate2VL(VariableNullability variableNullability,
                                         boolean isExpressionNew)

Specified by:

evaluate2VL in interface ImmutableExpression

simplify2VL

public ImmutableTerm simplify2VL(VariableNullability variableNullability)

Specified by:

simplify2VL in interface ImmutableExpression

negate

public ImmutableExpression negate(TermFactory termFactory)

Description copied from interface: ImmutableExpression

Returns the equivalent to NOT(this)

Specified by:

negate in interface ImmutableExpression