Uses of Class
it.unibz.inf.ontop.iq.node.impl.UnsatisfiableConditionException

Packages that use UnsatisfiableConditionException

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

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

Methods in it.unibz.inf.ontop.iq.node.normalization that throw UnsatisfiableConditionException

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

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

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that throw UnsatisfiableConditionException

Modifier and Type	Method and Description
Optional<ImmutableExpression>	ConditionSimplifierImpl.computeDownConstraint(Optional<ImmutableExpression> optionalConstraint, ConditionSimplifier.ExpressionAndSubstitution conditionSimplificationResults, VariableNullability childVariableNullability)
<R> R	JoinLikeChildBindingLifter.liftRegularChildBinding(ConstructionNode selectedChildConstructionNode, int selectedChildPosition, IQTree selectedGrandChild, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> children, it.unibz.inf.ontop.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(ImmutableExpression expression, VariableNullability variableNullability)
ConditionSimplifier.ExpressionAndSubstitution	ConditionSimplifierImpl.simplifyCondition(Optional<ImmutableExpression> nonOptimizedExpression, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> nonLiftableVariables, VariableNullability variableNullability)