Uses of Class
it.unibz.inf.ontop.iq.node.impl.ConstructionNodeTools.NewSubstitutionPair

Packages that use ConstructionNodeTools.NewSubstitutionPair

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

Uses of ConstructionNodeTools.NewSubstitutionPair in it.unibz.inf.ontop.iq.node.impl

Methods in it.unibz.inf.ontop.iq.node.impl that return ConstructionNodeTools.NewSubstitutionPair

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