Uses of Interface
it.unibz.inf.ontop.iq.node.normalization.ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

Packages that use ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

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

Uses of ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization in it.unibz.inf.ontop.iq.node.normalization

Methods in it.unibz.inf.ontop.iq.node.normalization that return ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

Modifier and Type	Method and Description
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizer.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Uses of ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization in it.unibz.inf.ontop.iq.node.normalization.impl

Classes in it.unibz.inf.ontop.iq.node.normalization.impl that implement ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

Modifier and Type	Class and Description
class	ConstructionSubstitutionNormalizerImpl.ConstructionSubstitutionNormalizationImpl

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

Modifier and Type	Method and Description
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizerImpl.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) Prevents creating construction nodes out of ascending substitutions Here, variable nullability is not considered due to the complexity induced by the descending substitution