it.unibz.inf.ontop.iq.node.normalization

Interface ConditionSimplifier

All Known Implementing Classes:

ConditionSimplifierImpl

public interface ConditionSimplifier

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ConditionSimplifier.ExpressionAndSubstitution

Method Summary

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

Method Detail

simplifyCondition

ConditionSimplifier.ExpressionAndSubstitution simplifyCondition(ImmutableExpression expression,
                                                                VariableNullability variableNullability)
                                                         throws UnsatisfiableConditionException

Throws:

UnsatisfiableConditionException

simplifyCondition

ConditionSimplifier.ExpressionAndSubstitution simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression,
                                                                it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables,
                                                                VariableNullability variableNullability)
                                                         throws UnsatisfiableConditionException

Throws:

UnsatisfiableConditionException

computeDownConstraint

Optional<ImmutableExpression> computeDownConstraint(Optional<ImmutableExpression> optionalConstraint,
                                                    ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults,
                                                    VariableNullability childVariableNullability)
                                             throws UnsatisfiableConditionException

Throws:

UnsatisfiableConditionException