Uses of Interface
it.unibz.inf.ontop.model.term.ImmutableExpression

Packages that use ImmutableExpression

Package	Description
it.unibz.inf.ontop.constraints
it.unibz.inf.ontop.evaluator
it.unibz.inf.ontop.evaluator.impl
it.unibz.inf.ontop.exception
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.iq
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.iq.request
it.unibz.inf.ontop.iq.request.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

Uses of ImmutableExpression in it.unibz.inf.ontop.constraints

Methods in it.unibz.inf.ontop.constraints that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ImmutableHomomorphism.applyToBooleanExpression(ImmutableExpression booleanExpression, TermFactory termFactory)

Methods in it.unibz.inf.ontop.constraints with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ImmutableHomomorphism.applyToBooleanExpression(ImmutableExpression booleanExpression, TermFactory termFactory)

Uses of ImmutableExpression in it.unibz.inf.ontop.evaluator

Methods in it.unibz.inf.ontop.evaluator that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ExpressionNormalizer.normalize(ImmutableExpression expression)

Methods in it.unibz.inf.ontop.evaluator with parameters of type ImmutableExpression

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluator.isFilteringNullValue(ImmutableExpression expression, Variable variable)
boolean	TermNullabilityEvaluator.isFilteringNullValues(ImmutableExpression expression, com.google.common.collect.ImmutableSet<Variable> tightVariables) tightVariables: if one is null the others as well
ImmutableExpression	ExpressionNormalizer.normalize(ImmutableExpression expression)

Uses of ImmutableExpression in it.unibz.inf.ontop.evaluator.impl

Methods in it.unibz.inf.ontop.evaluator.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ExpressionNormalizerImpl.normalize(ImmutableExpression expression)

Methods in it.unibz.inf.ontop.evaluator.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
boolean	TermNullabilityEvaluatorImpl.isFilteringNullValue(ImmutableExpression expression, Variable variable)
boolean	TermNullabilityEvaluatorImpl.isFilteringNullValues(ImmutableExpression expression, com.google.common.collect.ImmutableSet<Variable> tightVariables)
ImmutableExpression	ExpressionNormalizerImpl.normalize(ImmutableExpression expression)

Uses of ImmutableExpression in it.unibz.inf.ontop.exception

Constructors in it.unibz.inf.ontop.exception with parameters of type ImmutableExpression

Constructor and Description
FatalTypingException(ImmutableExpression expression, FatalTypingException caughtException) Incompatibility detected in an expression
NotFilterableNullVariableException(IntermediateQuery query, ImmutableExpression expression)

Uses of ImmutableExpression in it.unibz.inf.ontop.injection

Methods in it.unibz.inf.ontop.injection with parameters of type ImmutableExpression

Modifier and Type	Method and Description
FilterNode	IntermediateQueryFactory.createFilterNode(ImmutableExpression filterCondition)
InnerJoinNode	IntermediateQueryFactory.createInnerJoinNode(ImmutableExpression joiningCondition)
LeftJoinNode	IntermediateQueryFactory.createLeftJoinNode(ImmutableExpression joiningCondition)

Method parameters in it.unibz.inf.ontop.injection with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
InnerJoinNode	IntermediateQueryFactory.createInnerJoinNode(Optional<ImmutableExpression> joiningCondition)
LeftJoinNode	IntermediateQueryFactory.createLeftJoinNode(Optional<ImmutableExpression> joiningCondition)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq

Methods in it.unibz.inf.ontop.iq with parameters of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	IQTree.propagateDownConstraint(ImmutableExpression constraint) TODO: explain The constraint is used for pruning.

Method parameters in it.unibz.inf.ontop.iq with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	IQTree.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint) Applies the descending substitution and performs SOME optimizations.

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.impl

Methods in it.unibz.inf.ontop.iq.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	BinaryNonCommutativeIQTreeImpl.propagateDownConstraint(ImmutableExpression constraint)
IQTree	NaryIQTreeImpl.propagateDownConstraint(ImmutableExpression constraint)
IQTree	UnaryIQTreeImpl.propagateDownConstraint(ImmutableExpression constraint)

Method parameters in it.unibz.inf.ontop.iq.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	AbstractCompositeIQTree.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected IQTree	BinaryNonCommutativeIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected IQTree	NaryIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected abstract IQTree	AbstractCompositeIQTree.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)
protected IQTree	UnaryIQTreeImpl.applyRegularDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.node

Methods in it.unibz.inf.ontop.iq.node that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	FilterNode.getFilterCondition() Not optional for a FilterNode.

Methods in it.unibz.inf.ontop.iq.node that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	JoinOrFilterNode.getOptionalFilterCondition()

Methods in it.unibz.inf.ontop.iq.node with parameters of type ImmutableExpression

Modifier and Type	Method and Description
FilterNode	FilterNode.changeFilterCondition(ImmutableExpression newFilterCondition) Returns a new FilterNode (immutable).
IQTree	NaryOperatorNode.propagateDownConstraint(ImmutableExpression constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnaryOperatorNode.propagateDownConstraint(ImmutableExpression constraint, IQTree child)
IQTree	BinaryOrderedOperatorNode.propagateDownConstraint(ImmutableExpression constraint, IQTree leftChild, IQTree rightChild)

Method parameters in it.unibz.inf.ontop.iq.node with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	NaryOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnaryOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	BinaryOrderedOperatorNode.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree leftChild, IQTree rightChild)
CommutativeJoinNode	CommutativeJoinNode.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)
JoinLikeNode	JoinLikeNode.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition) Constructs a new JoinLikeNode with the following optional filter condition (recall that a QueryNode is immutable).
LeftJoinNode	LeftJoinNode.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)
InnerJoinLikeNode	InnerJoinLikeNode.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)
InnerJoinNode	InnerJoinNode.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.node.impl

Fields in it.unibz.inf.ontop.iq.node.impl with type parameters of type ImmutableExpression

Modifier and Type	Field and Description
Optional<ImmutableExpression>	ConstructionNodeImpl.PropagationResults.filter

Methods in it.unibz.inf.ontop.iq.node.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	FilterNodeImpl.getFilterCondition()

Methods in it.unibz.inf.ontop.iq.node.impl that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	JoinOrFilterNodeImpl.getOptionalFilterCondition()

Methods in it.unibz.inf.ontop.iq.node.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
FilterNode	FilterNodeImpl.changeFilterCondition(ImmutableExpression newFilterCondition)
protected void	JoinOrFilterNodeImpl.checkExpression(ImmutableExpression expression, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	LeafIQTreeImpl.propagateDownConstraint(ImmutableExpression constraint)
IQTree	InnerJoinNodeImpl.propagateDownConstraint(ImmutableExpression constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnionNodeImpl.propagateDownConstraint(ImmutableExpression constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	QueryModifierNodeImpl.propagateDownConstraint(ImmutableExpression constraint, IQTree child)
IQTree	ExtendedProjectionNodeImpl.propagateDownConstraint(ImmutableExpression constraint, IQTree child)
IQTree	FilterNodeImpl.propagateDownConstraint(ImmutableExpression constraint, IQTree child)
IQTree	SliceNodeImpl.propagateDownConstraint(ImmutableExpression constraint, IQTree child) Stops constraints
IQTree	LeftJoinNodeImpl.propagateDownConstraint(ImmutableExpression constraint, IQTree leftChild, IQTree rightChild)
VariableNullability	JoinOrFilterVariableNullabilityTools.updateWithFilter(ImmutableExpression filter, com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> nullableGroups, com.google.common.collect.ImmutableSet<Variable> scope)

Method parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
IQTree	LeafIQTreeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint) NB: the constraint is irrelevant here
IQTree	InnerJoinNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	UnionNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, com.google.common.collect.ImmutableList<IQTree> children)
IQTree	DistinctNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	ExtendedProjectionNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	FilterNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	SliceNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	OrderByNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree child)
IQTree	LeftJoinNodeImpl.applyDescendingSubstitution(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, Optional<ImmutableExpression> constraint, IQTree leftChild, IQTree rightChild) NB: the constraint is only propagate to the left child
LeftJoinNode	LeftJoinNodeImpl.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)
InnerJoinNode	InnerJoinNodeImpl.changeOptionalFilterCondition(Optional<ImmutableExpression> newOptionalFilterCondition)
VariableNullability	JoinOrFilterVariableNullabilityTools.getVariableNullability(com.google.common.collect.ImmutableList<IQTree> children, Optional<ImmutableExpression> joiningCondition)

Constructor parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type ImmutableExpression

Constructor and Description
InnerJoinNodeImpl(Optional<ImmutableExpression> optionalFilterCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, TypeFactory typeFactory, IntermediateQueryFactory iqFactory, SubstitutionFactory substitutionFactory, ConstructionNodeTools constructionNodeTools, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools, JoinOrFilterVariableNullabilityTools variableNullabilityTools, ConditionSimplifier conditionSimplifier, InnerJoinNormalizer normalizer)
JoinLikeNodeImpl(Optional<ImmutableExpression> optionalJoinCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, IntermediateQueryFactory iqFactory, TypeFactory typeFactory, SubstitutionFactory substitutionFactory, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools)
JoinOrFilterNodeImpl(Optional<ImmutableExpression> optionalFilterCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, IntermediateQueryFactory iqFactory, TypeFactory typeFactory, SubstitutionFactory substitutionFactory, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.node.normalization

Methods in it.unibz.inf.ontop.iq.node.normalization that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization.updateExpression(ImmutableExpression expression)

Methods in it.unibz.inf.ontop.iq.node.normalization that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ConditionSimplifier.computeDownConstraint(Optional<ImmutableExpression> optionalConstraint, ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults, VariableNullability childVariableNullability)
Optional<ImmutableExpression>	ConditionSimplifier.ExpressionAndSubstitution.getOptionalExpression()

Methods in it.unibz.inf.ontop.iq.node.normalization with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifier.simplifyCondition(ImmutableExpression expression, VariableNullability variableNullability)
ImmutableExpression	ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization.updateExpression(ImmutableExpression expression)

Method parameters in it.unibz.inf.ontop.iq.node.normalization with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ConditionSimplifier.computeDownConstraint(Optional<ImmutableExpression> optionalConstraint, ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults, VariableNullability childVariableNullability)
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifier.simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression, com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, VariableNullability variableNullability)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.node.normalization.impl

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ConstructionSubstitutionNormalizerImpl.ConstructionSubstitutionNormalizationImpl.updateExpression(ImmutableExpression expression)

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ConditionSimplifierImpl.computeDownConstraint(Optional<ImmutableExpression> optionalConstraint, ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults, VariableNullability childVariableNullability)
Optional<ImmutableExpression>	ExpressionAndSubstitutionImpl.getOptionalExpression()

Methods in it.unibz.inf.ontop.iq.node.normalization.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifierImpl.simplifyCondition(ImmutableExpression expression, VariableNullability variableNullability)
ImmutableExpression	ConstructionSubstitutionNormalizerImpl.ConstructionSubstitutionNormalizationImpl.updateExpression(ImmutableExpression expression)

Method parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ConditionSimplifierImpl.computeDownConstraint(Optional<ImmutableExpression> optionalConstraint, ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults, VariableNullability childVariableNullability)
R	JoinLikeChildBindingLifter.BindingLiftConverter.convert(com.google.common.collect.ImmutableList<IQTree> liftedChildren, IQTree selectedGrandChild, int selectedChildPosition, Optional<ImmutableExpression> newCondition, ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
<R> R	JoinLikeChildBindingLifter.liftRegularChildBinding(ConstructionNode selectedChildConstructionNode, int selectedChildPosition, IQTree selectedGrandChild, com.google.common.collect.ImmutableList<IQTree> children, com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, Optional<ImmutableExpression> initialJoiningCondition, VariableGenerator variableGenerator, VariableNullability variableNullability, JoinLikeChildBindingLifter.BindingLiftConverter<R> bindingLiftConverter) For children of a commutative join or for the left child of a LJ
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifierImpl.simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression, com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, VariableNullability variableNullability)

Constructor parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type ImmutableExpression

Constructor and Description
ExpressionAndSubstitutionImpl(Optional<ImmutableExpression> optionalExpression, ImmutableSubstitution<? extends VariableOrGroundTerm> substitution)
State(com.google.common.collect.ImmutableSet<Variable> projectedVariables, com.google.common.collect.ImmutableList<UnaryOperatorNode> ancestors, Optional<ImmutableExpression> condition, IQTree child)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.request

Methods in it.unibz.inf.ontop.iq.request that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	DefinitionPushDownRequest.getCondition()

Methods in it.unibz.inf.ontop.iq.request with parameters of type ImmutableExpression

Modifier and Type	Method and Description
static DefinitionPushDownRequest	DefinitionPushDownRequest.create(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Uses of ImmutableExpression in it.unibz.inf.ontop.iq.request.impl

Methods in it.unibz.inf.ontop.iq.request.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	DefPushDownRequestImpl.getCondition()

Constructors in it.unibz.inf.ontop.iq.request.impl with parameters of type ImmutableExpression

Constructor and Description
DefPushDownRequestImpl(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	TermFactory.getAreCompatibleRDFStringExpression(ImmutableTerm typeTerm1, ImmutableTerm typeTerm2) See https://www.w3.org/TR/sparql11-query/#func-arg-compatibility
ImmutableExpression	TermFactory.getBooleanIfElseNull(ImmutableExpression condition, ImmutableExpression thenExpression)
ImmutableExpression	TermFactory.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions) Does NOT take care of flattening conjunctions in the arguments
ImmutableExpression	TermFactory.getConjunction(com.google.common.collect.ImmutableList<ImmutableExpression> nonEmptyExpressionList) Must be non-empty Does NOT take care of flattening conjunctions in the arguments
ImmutableExpression	TermFactory.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultValue, boolean doOrderingMatter)
ImmutableExpression	TermFactory.getDBBooleanInequality(InequalityLabel inequalityLabel, ImmutableTerm dbBooleanTerm1, ImmutableTerm dbBooleanTerm2)
ImmutableExpression	TermFactory.getDBContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBDateInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDateTerm1, ImmutableTerm dbDateTerm2)
ImmutableExpression	TermFactory.getDBDatetimeInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactory.getDBDefaultInequality(InequalityLabel inequalityLabel, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactory.getDBEndsWith(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBIsNotNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactory.getDBIsNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactory.getDBIsStringEmpty(ImmutableTerm stringTerm)
ImmutableExpression	TermFactory.getDBNonStrictDateEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactory.getDBNonStrictDatetimeEquality(ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactory.getDBNonStrictDefaultEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2) Cannot be simplified --> has to be evaluated by the DB engine Only suitable for DB terms
ImmutableExpression	TermFactory.getDBNonStrictNumericEquality(ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactory.getDBNonStrictStringEquality(ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactory.getDBNot(ImmutableExpression expression)
ImmutableExpression	TermFactory.getDBNumericInequality(InequalityLabel inequalityLabel, ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactory.getDBRegexpMatches(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBStartsWith(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBStringInequality(InequalityLabel inequalityLabel, ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactory.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactory.getDisjunction(com.google.common.collect.ImmutableList<ImmutableExpression> nonEmptyExpressionList) Must be non-empty
ImmutableExpression	TermFactory.getFalseOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments) When filled with constants, evaluates to FALSE if one argument is FALSE or to NULL otherwise.
ImmutableExpression	TermFactory.getImmutableExpression(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableExpression	TermFactory.getImmutableExpression(BooleanFunctionSymbol functor, ImmutableTerm... arguments)
ImmutableExpression	TermFactory.getIsAExpression(ImmutableTerm termTypeTerm, RDFTermType baseType) Compares a TermType term to a base type
ImmutableExpression	TermFactory.getIsTrue(NonFunctionalTerm dbBooleanTerm) Wraps a DB boolean constant/variable into an ImmutableExpression
ImmutableExpression	TermFactory.getLexicalEffectiveBooleanValue(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm)
ImmutableExpression	TermFactory.getLexicalInequality(InequalityLabel inequalityLabel, ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactory.getLexicalLangMatches(ImmutableTerm langTagTerm, ImmutableTerm langRangeTerm) Do NOT confuse it with the langMatches SPARQL function
ImmutableExpression	TermFactory.getLexicalNonStrictEquality(ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactory.getNotYetTypedEquality(ImmutableTerm t1, ImmutableTerm t2) To be used when parsing the mapping and when an equality is found.
ImmutableExpression	TermFactory.getRDF2DBBooleanFunctionalTerm(ImmutableTerm xsdBooleanTerm)
ImmutableExpression	TermFactory.getStrictEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) terms must have at least two elements
ImmutableExpression	TermFactory.getStrictEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms) terms must have at least two distinct elements
ImmutableExpression	TermFactory.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactory.getStrictNEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) terms must have at least two elements Logically equivalent to NOT(STRICT_EQx(...))
ImmutableExpression	TermFactory.getStrictNEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms) terms must have at least two elements Logically equivalent to NOT(STRICT_EQx(...))
ImmutableExpression	TermFactory.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactory.getTrueOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments) When filled with constants, evaluates to TRUE if one argument is TRUE or to NULL otherwise.
ImmutableExpression	ImmutableExpression.negate(TermFactory termFactory) Returns the equivalent to NOT(this)

Methods in it.unibz.inf.ontop.model.term that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Stream<ImmutableExpression>	ImmutableExpression.flattenAND() Flattens AND expressions.
Stream<ImmutableExpression>	ImmutableExpression.flattenOR() Flattens OR expressions.
Optional<ImmutableExpression>	TermFactory.getConjunction(Stream<ImmutableExpression> expressionStream) May be empty.
Optional<ImmutableExpression>	TermFactory.getDisjunction(Stream<ImmutableExpression> expressions) May be empty.
Optional<ImmutableExpression>	ImmutableExpression.Evaluation.getExpression()
Optional<ImmutableExpression>	IncrementalEvaluation.getNewExpression() Only when getStatus() == SIMPLIFIED_EXPRESSION

Methods in it.unibz.inf.ontop.model.term with parameters of type ImmutableExpression

Modifier and Type	Method and Description
static IncrementalEvaluation	IncrementalEvaluation.declareSimplifiedExpression(ImmutableExpression simplifiedExpression)
ImmutableExpression	TermFactory.getBooleanIfElseNull(ImmutableExpression condition, ImmutableExpression thenExpression)
ImmutableExpression	TermFactory.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions) Does NOT take care of flattening conjunctions in the arguments
ImmutableExpression	TermFactory.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions) Does NOT take care of flattening conjunctions in the arguments
ImmutableExpression	TermFactory.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultValue, boolean doOrderingMatter)
ImmutableExpression	TermFactory.getDBNot(ImmutableExpression expression)
ImmutableExpression	TermFactory.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactory.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression.Evaluation	TermFactory.getEvaluation(ImmutableExpression expression) Just wraps the expression into an Evaluation object
IncrementalEvaluation	ImmutableExpression.Evaluation.getEvaluationResult(ImmutableExpression originalExpression, boolean wasExpressionAlreadyNew)
ImmutableFunctionalTerm	TermFactory.getIfElseNull(ImmutableExpression condition, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactory.getIfThenElse(ImmutableExpression condition, ImmutableTerm thenTerm, ImmutableTerm elseTerm)

Method parameters in it.unibz.inf.ontop.model.term with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	TermFactory.getConjunction(com.google.common.collect.ImmutableList<ImmutableExpression> nonEmptyExpressionList) Must be non-empty Does NOT take care of flattening conjunctions in the arguments
Optional<ImmutableExpression>	TermFactory.getConjunction(Stream<ImmutableExpression> expressionStream) May be empty.
ImmutableExpression	TermFactory.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultValue, boolean doOrderingMatter)
ImmutableExpression	TermFactory.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultValue, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactory.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter) IF THEN, ELSE IF ..., ELSE whenPairs must not be empty doOrderingMatter: if false, the when pairs can be re-ordered
ImmutableFunctionalTerm	TermFactory.getDBCaseElseNull(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, boolean doOrderingMatter) IF THEN, ELSE IF ..., ELSE NULL whenPairs must not be empty
ImmutableExpression	TermFactory.getDisjunction(com.google.common.collect.ImmutableList<ImmutableExpression> nonEmptyExpressionList) Must be non-empty
Optional<ImmutableExpression>	TermFactory.getDisjunction(Stream<ImmutableExpression> expressions) May be empty.
ImmutableExpression	TermFactory.getFalseOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments) When filled with constants, evaluates to FALSE if one argument is FALSE or to NULL otherwise.
ImmutableExpression	TermFactory.getTrueOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments) When filled with constants, evaluates to TRUE if one argument is TRUE or to NULL otherwise.

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term.functionsymbol

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	RDFTermTypeFunctionSymbol.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory) Builds a boolean DB CASE functional term with an "entry" for possible DBConstant value.
ImmutableExpression	BooleanFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	RDFTermTypeFunctionSymbol.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory) Builds a boolean DB CASE functional term with an "entry" for possible DBConstant value.

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term.functionsymbol.db

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	DBIfElseNullFunctionSymbol.liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory) Returns BOOL_IF_ELSE_NULL(c, f(v)) where f is an unary BooleanFunctionSymbol, and c and v and the initial terms
ImmutableExpression	DBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Pushes a unary boolean function symbol down to the "then" arguments For instance, f(CASE(c1, t1, c2, t2, t3), t4) -> BOOL_CASE(c1, f(t1,t4), c2, f(t2,t4), f(t3,t4))

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	DBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Pushes a unary boolean function symbol down to the "then" arguments For instance, f(CASE(c1, t1, c2, t2, t3), t4) -> BOOL_CASE(c1, f(t1,t4), c2, f(t2,t4), f(t3,t4))

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl that return ImmutableExpression

Modifier and Type	Method and Description
protected ImmutableExpression	DefaultDBBooleanInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected abstract ImmutableExpression	AbstractDBInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBDateInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBDefaultInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBStringInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBNumericInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBDatetimeInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory)
ImmutableExpression	AbstractDBInequalityOperator.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultBooleanDenormFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBAndFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrictNEqFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrStartsWithFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBIsNullOrNotFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	BooleanDBIfElseNullFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBIsStringEmptyFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBOrFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrictEqFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBBooleanCaseFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBContainsFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBBooleanFunctionSymbolWithSerializerImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultSimpleDBBooleanCastFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBNotFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBLikeFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	MockupSimpleDBBooleanCastFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractOrNullFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBIsTrueFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBNonStrictEqOperator.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrEndsWithFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
protected ImmutableExpression	DBBooleanCaseFunctionSymbolImpl.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory)

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
protected boolean	DefaultDBIfElseNullFunctionSymbol.canBeReplacedByValue(ImmutableExpression conditionExpression, ImmutableTerm possibleValue, TermFactory termFactory) When the condition is only composed of IS_NOT_NULL expressions, see if the IF_ELSE_NULL(...) can be replaced by its "then" value TODO: group together terms that are known to be nullable together to detect more cases
ImmutableExpression	AbstractDBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
protected ImmutableTerm	BooleanDBIfElseNullFunctionSymbolImpl.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBIfElseNullFunctionSymbol.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
protected ImmutableFunctionalTerm	AbstractDBIfThenFunctionSymbol.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory) Can be overridden
protected ImmutableFunctionalTerm	DBBooleanCaseFunctionSymbolImpl.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory)
protected <T extends ImmutableFunctionalTerm> T	AbstractDBIfThenFunctionSymbol.pushDownFunctionalTerm(T functionalTerm, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory, BiFunction<FunctionSymbol,com.google.common.collect.ImmutableList<? extends ImmutableTerm>,T> functionalTermCst, BiFunction<Stream<Map.Entry<ImmutableExpression,T>>,T,T> caseCst)

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term.functionsymbol.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return ImmutableExpression

Modifier and Type	Method and Description
protected ImmutableExpression	LogicalOrSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected ImmutableExpression	LogicalAndSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected ImmutableExpression	NotSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected abstract ImmutableExpression	AbstractUnaryBooleanSPARQLFunctionSymbol.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableExpression	BoundSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
ImmutableExpression	RDFTermTypeFunctionSymbolImpl.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory)
ImmutableExpression	LexicalEBVFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	LexicalLangMatchesFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AreCompatibleRDFStringFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	RDF2DBBooleanFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	IsARDFTermTypeFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	NotYetTypedEqualityFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
protected ImmutableExpression	LogicalOrSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected ImmutableExpression	LogicalAndSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
ImmutableExpression	RDFTermTypeFunctionSymbolImpl.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory)

Uses of ImmutableExpression in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl that implement ImmutableExpression

Modifier and Type	Class and Description
class	GroundExpressionImpl
class	ImmutableExpressionImpl
class	NonGroundExpressionImpl

Methods in it.unibz.inf.ontop.model.term.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	TermFactoryImpl.getAreCompatibleRDFStringExpression(ImmutableTerm typeTerm1, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactoryImpl.getBooleanIfElseNull(ImmutableExpression condition, ImmutableExpression thenExpression)
ImmutableExpression	TermFactoryImpl.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactoryImpl.getConjunction(com.google.common.collect.ImmutableList<ImmutableExpression> conjunctionOfExpressions)
ImmutableExpression	TermFactoryImpl.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultExpression, boolean doOrderingMatter)
ImmutableExpression	TermFactoryImpl.getDBBooleanInequality(InequalityLabel inequalityLabel, ImmutableTerm dbBooleanTerm1, ImmutableTerm dbBooleanTerm2)
ImmutableExpression	TermFactoryImpl.getDBContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBDateInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDateTerm1, ImmutableTerm dbDateTerm2)
ImmutableExpression	TermFactoryImpl.getDBDatetimeInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactoryImpl.getDBDefaultInequality(InequalityLabel inequalityLabel, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactoryImpl.getDBEndsWith(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBIsNotNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactoryImpl.getDBIsNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactoryImpl.getDBIsStringEmpty(ImmutableTerm stringTerm)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDateEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDatetimeEquality(ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDefaultEquality(ImmutableTerm term1, ImmutableTerm term2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictNumericEquality(ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictStringEquality(ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactoryImpl.getDBNot(ImmutableExpression expression)
ImmutableExpression	TermFactoryImpl.getDBNumericInequality(InequalityLabel inequalityLabel, ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactoryImpl.getDBRegexpMatches(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBStartsWith(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBStringInequality(InequalityLabel inequalityLabel, ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactoryImpl.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactoryImpl.getDisjunction(com.google.common.collect.ImmutableList<ImmutableExpression> disjunctionOfExpressions)
ImmutableExpression	TermFactoryImpl.getFalseOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments)
ImmutableExpression	TermFactoryImpl.getImmutableExpression(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableExpression	TermFactoryImpl.getImmutableExpression(BooleanFunctionSymbol functor, ImmutableTerm... arguments)
ImmutableExpression	TermFactoryImpl.getIsAExpression(ImmutableTerm termTypeTerm, RDFTermType baseType)
ImmutableExpression	TermFactoryImpl.getIsTrue(NonFunctionalTerm dbBooleanTerm)
ImmutableExpression	TermFactoryImpl.getLexicalEffectiveBooleanValue(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm)
ImmutableExpression	TermFactoryImpl.getLexicalInequality(InequalityLabel inequalityLabel, ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactoryImpl.getLexicalLangMatches(ImmutableTerm langTagTerm, ImmutableTerm langRangeTerm)
ImmutableExpression	TermFactoryImpl.getLexicalNonStrictEquality(ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactoryImpl.getNotYetTypedEquality(ImmutableTerm t1, ImmutableTerm t2)
ImmutableExpression	TermFactoryImpl.getRDF2DBBooleanFunctionalTerm(ImmutableTerm xsdBooleanTerm)
ImmutableExpression	TermFactoryImpl.getStrictEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactoryImpl.getTrueOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments)
ImmutableExpression	ImmutableExpressionImpl.negate(TermFactory termFactory)

Methods in it.unibz.inf.ontop.model.term.impl that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Stream<ImmutableExpression>	ImmutableExpressionImpl.flattenAND() Recursive
Stream<ImmutableExpression>	ImmutableExpressionImpl.flattenOR()
Optional<ImmutableExpression>	TermFactoryImpl.getConjunction(Stream<ImmutableExpression> expressionStream)
Optional<ImmutableExpression>	TermFactoryImpl.getDisjunction(Stream<ImmutableExpression> expressionStream)
Optional<ImmutableExpression>	ImmutableExpressionImpl.ExpressionEvaluationImpl.getExpression()
Optional<ImmutableExpression>	ImmutableExpressionImpl.ValueEvaluationImpl.getExpression()
Optional<ImmutableExpression>	IncrementalEvaluationImpl.getNewExpression()

Methods in it.unibz.inf.ontop.model.term.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
static IncrementalEvaluation	IncrementalEvaluationImpl.declareSimplifiedExpression(ImmutableExpression simplifiedExpression)
ImmutableExpression	TermFactoryImpl.getBooleanIfElseNull(ImmutableExpression condition, ImmutableExpression thenExpression)
ImmutableExpression	TermFactoryImpl.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactoryImpl.getConjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactoryImpl.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultExpression, boolean doOrderingMatter)
ImmutableExpression	TermFactoryImpl.getDBNot(ImmutableExpression expression)
ImmutableExpression	TermFactoryImpl.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression	TermFactoryImpl.getDisjunction(ImmutableExpression expression, ImmutableExpression... otherExpressions)
ImmutableExpression.Evaluation	TermFactoryImpl.getEvaluation(ImmutableExpression expression)
IncrementalEvaluation	ImmutableExpressionImpl.ExpressionEvaluationImpl.getEvaluationResult(ImmutableExpression originalExpression, boolean wasExpressionAlreadyNew)
IncrementalEvaluation	ImmutableExpressionImpl.ValueEvaluationImpl.getEvaluationResult(ImmutableExpression originalExpression, boolean wasExpressionAlreadyNew)
ImmutableFunctionalTerm	TermFactoryImpl.getIfElseNull(ImmutableExpression condition, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactoryImpl.getIfThenElse(ImmutableExpression condition, ImmutableTerm thenTerm, ImmutableTerm elseTerm)

Method parameters in it.unibz.inf.ontop.model.term.impl with type arguments of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	TermFactoryImpl.getConjunction(com.google.common.collect.ImmutableList<ImmutableExpression> conjunctionOfExpressions)
Optional<ImmutableExpression>	TermFactoryImpl.getConjunction(Stream<ImmutableExpression> expressionStream)
ImmutableExpression	TermFactoryImpl.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultExpression, boolean doOrderingMatter)
ImmutableExpression	TermFactoryImpl.getDBBooleanCase(Stream<Map.Entry<ImmutableExpression,ImmutableExpression>> whenPairs, ImmutableExpression defaultExpression, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCaseElseNull(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, boolean doOrderingMatter)
ImmutableExpression	TermFactoryImpl.getDisjunction(com.google.common.collect.ImmutableList<ImmutableExpression> disjunctionOfExpressions)
Optional<ImmutableExpression>	TermFactoryImpl.getDisjunction(Stream<ImmutableExpression> expressionStream)
ImmutableExpression	TermFactoryImpl.getFalseOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments)
ImmutableExpression	TermFactoryImpl.getTrueOrNullFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableExpression> arguments)

Constructors in it.unibz.inf.ontop.model.term.impl with parameters of type ImmutableExpression

Constructor and Description
ExpressionEvaluationImpl(ImmutableExpression expression)

Uses of ImmutableExpression in it.unibz.inf.ontop.substitution

Methods in it.unibz.inf.ontop.substitution that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ProtoSubstitution.applyToBooleanExpression(ImmutableExpression booleanExpression)

Methods in it.unibz.inf.ontop.substitution that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ImmutableSubstitution.convertIntoBooleanExpression()

Methods in it.unibz.inf.ontop.substitution with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	ProtoSubstitution.applyToBooleanExpression(ImmutableExpression booleanExpression)

Uses of ImmutableExpression in it.unibz.inf.ontop.substitution.impl

Methods in it.unibz.inf.ontop.substitution.impl that return ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	AbstractProtoSubstitution.applyToBooleanExpression(ImmutableExpression booleanExpression)

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type ImmutableExpression

Modifier and Type	Method and Description
Optional<ImmutableExpression>	AbstractImmutableSubstitutionImpl.convertIntoBooleanExpression()
protected Optional<ImmutableExpression>	AbstractImmutableSubstitutionImpl.convertIntoBooleanExpression(ImmutableSubstitution<? extends ImmutableTerm> substitution)

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type ImmutableExpression

Modifier and Type	Method and Description
ImmutableExpression	AbstractProtoSubstitution.applyToBooleanExpression(ImmutableExpression booleanExpression)