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

Class ConstructionNodeTools

java.lang.Object

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

public class ConstructionNodeTools
extends Object

TODO: explain

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConstructionNodeTools.NewSubstitutionPair TODO: find a better name

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)
ConstructionNodeTools.NewSubstitutionPair	traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau, ImmutableSubstitution<? extends ImmutableTerm> formerTheta, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> formerV, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newV) TODO: explain

Methods inherited from class java.lang.Object

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

Method Detail

computeNewProjectedVariables

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution,
                                                                                                        it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)

traverseConstructionNode

public ConstructionNodeTools.NewSubstitutionPair traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau,
                                                                          ImmutableSubstitution<? extends ImmutableTerm> formerTheta,
                                                                          it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> formerV,
                                                                          it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> newV)
                                                                   throws QueryNodeSubstitutionException

TODO: explain

Throws:

QueryNodeSubstitutionException