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

Interface ExtendedProjectionNodeImpl.DescendingSubstitutionChildUpdateFunction

Enclosing class:

ExtendedProjectionNodeImpl

Functional Interface:

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

@FunctionalInterface
protected static interface ExtendedProjectionNodeImpl.DescendingSubstitutionChildUpdateFunction

Method Summary

Modifier and Type	Method and Description
IQTree	apply(IQTree child, ConstructionNodeImpl.PropagationResults<VariableOrGroundTerm> tauFPropagationResults)

Method Detail

apply

IQTree apply(IQTree child,
             ConstructionNodeImpl.PropagationResults<VariableOrGroundTerm> tauFPropagationResults)
      throws ExtendedProjectionNodeImpl.EmptyTreeException

Throws:

ExtendedProjectionNodeImpl.EmptyTreeException