it.unibz.inf.ontop.model.term

Interface ImmutableExpression

All Superinterfaces:

ImmutableFunctionalTerm, ImmutableTerm, NonConstantTerm, NonVariableTerm

All Known Implementing Classes:

GroundExpressionImpl, ImmutableExpressionImpl, NonGroundExpressionImpl

public interface ImmutableExpression
extends ImmutableFunctionalTerm

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ImmutableExpression.Evaluation

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

ImmutableFunctionalTerm.FunctionalTermDecomposition

Method Summary

Modifier and Type	Method and Description
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() Flattens AND expressions.
Stream<ImmutableExpression>	flattenOR() Flattens OR expressions.
BooleanFunctionSymbol	getFunctionSymbol()
boolean	isVar2VarEquality()
ImmutableExpression	negate(TermFactory termFactory) Returns the equivalent to NOT(this)
ImmutableTerm	simplify2VL(VariableNullability variableNullability)

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

Method Detail

getFunctionSymbol

BooleanFunctionSymbol getFunctionSymbol()

Specified by:

getFunctionSymbol in interface ImmutableFunctionalTerm

flattenAND

Stream<ImmutableExpression> flattenAND()

Flattens AND expressions.

flattenOR

Stream<ImmutableExpression> flattenOR()

Flattens OR expressions.

evaluate

ImmutableExpression.Evaluation evaluate(VariableNullability variableNullability)

evaluate

IncrementalEvaluation evaluate(VariableNullability variableNullability,
                               boolean isExpressionNew)

evaluate2VL

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.

evaluate2VL

IncrementalEvaluation evaluate2VL(VariableNullability variableNullability,
                                  boolean isExpressionNew)

simplify2VL

ImmutableTerm simplify2VL(VariableNullability variableNullability)

isVar2VarEquality

boolean isVar2VarEquality()

negate

ImmutableExpression negate(TermFactory termFactory)

Returns the equivalent to NOT(this)