it.unibz.inf.ontop.iq.optimizer.impl

Class PostProcessableFunctionLifterImpl.ChildDefinitionLift

java.lang.Object

it.unibz.inf.ontop.iq.optimizer.impl.PostProcessableFunctionLifterImpl.ChildDefinitionLift

Enclosing class:

PostProcessableFunctionLifterImpl

public static class PostProcessableFunctionLifterImpl.ChildDefinitionLift
extends Object

Constructor Summary

Constructors

Constructor and Description
ChildDefinitionLift(IQTree partiallyPaddedChild, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> freshlyCreatedVariables, ImmutableTerm liftedDefinition)

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getFreshlyCreatedVariables()
ImmutableTerm	getLiftedDefinition()
IQTree	getPartiallyPaddedChild()

Methods inherited from class java.lang.Object

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

Constructor Detail

ChildDefinitionLift

public ChildDefinitionLift(IQTree partiallyPaddedChild,
                           it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> freshlyCreatedVariables,
                           ImmutableTerm liftedDefinition)

Method Detail

getFreshlyCreatedVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getFreshlyCreatedVariables()

getPartiallyPaddedChild

public IQTree getPartiallyPaddedChild()

getLiftedDefinition

public ImmutableTerm getLiftedDefinition()