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

Interface JoinLikeChildBindingLifter.BindingLiftConverter<R>

Enclosing class:

JoinLikeChildBindingLifter

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface JoinLikeChildBindingLifter.BindingLiftConverter<R>

Method Summary

Modifier and Type	Method and Description
R	convert(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> liftedChildren, IQTree selectedGrandChild, int selectedChildPosition, Optional<ImmutableExpression> newCondition, ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)

Method Detail

convert

R convert(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<IQTree> liftedChildren,
          IQTree selectedGrandChild,
          int selectedChildPosition,
          Optional<ImmutableExpression> newCondition,
          ImmutableSubstitution<ImmutableTerm> ascendingSubstitution,
          ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)