Uses of Interface
it.unibz.inf.ontop.iq.node.normalization.ConditionSimplifier.ExpressionAndSubstitution

Packages that use ConditionSimplifier.ExpressionAndSubstitution

Package	Description
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl

Uses of ConditionSimplifier.ExpressionAndSubstitution in it.unibz.inf.ontop.iq.node.normalization

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

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

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

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

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

Classes in it.unibz.inf.ontop.iq.node.normalization.impl that implement ConditionSimplifier.ExpressionAndSubstitution

Modifier and Type	Class and Description
class	ExpressionAndSubstitutionImpl

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

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

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

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