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

Class ConditionSimplifierImpl

java.lang.Object

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

All Implemented Interfaces:

ConditionSimplifier

public class ConditionSimplifierImpl
extends Object
implements ConditionSimplifier

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.iq.node.normalization.ConditionSimplifier

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

simplifyCondition

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

Specified by:

simplifyCondition in interface ConditionSimplifier

Throws:

UnsatisfiableConditionException

simplifyCondition

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

Specified by:

simplifyCondition in interface ConditionSimplifier

Throws:

UnsatisfiableConditionException

computeDownConstraint

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

Specified by:

computeDownConstraint in interface ConditionSimplifier

Throws:

UnsatisfiableConditionException