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

Interface ConstructionSubstitutionNormalizer

All Known Implementing Classes:

ConstructionSubstitutionNormalizerImpl

public interface ConstructionSubstitutionNormalizer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization

Method Summary

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

Method Detail

normalizeSubstitution

ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution,
                                                                                               it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> projectedVariables)