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

Class JoinLikeChildBindingLifter

java.lang.Object

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

public class JoinLikeChildBindingLifter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	JoinLikeChildBindingLifter.BindingLiftConverter<R>

Method Summary

Modifier and Type

Method and Description

<R> R

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

Methods inherited from class java.lang.Object

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

Method Detail

liftRegularChildBinding

public <R> R 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)
                              throws UnsatisfiableConditionException

For children of a commutative join or for the left child of a LJ

Throws:

UnsatisfiableConditionException