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

Class RightProvenanceNormalizer.RightProvenance

java.lang.Object

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

Enclosing class:

RightProvenanceNormalizer

public static class RightProvenanceNormalizer.RightProvenance
extends Object

Elements that keep track that the right part contributed to the intermediate results: - provenance variable: right-specific, not nullable on the right - right tree: may have been updated so as to provide the provenance variable

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RightProvenance(Variable provenanceVariable, IQTree rightTree)

Method Summary

Modifier and Type	Method and Description
Variable	getProvenanceVariable()
IQTree	getRightTree()

Methods inherited from class java.lang.Object

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

Constructor Detail

RightProvenance

protected RightProvenance(Variable provenanceVariable,
                          IQTree rightTree)

Method Detail

getProvenanceVariable

public Variable getProvenanceVariable()

getRightTree

public IQTree getRightTree()