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

Class ConstructionSubstitutionNormalizerImpl

java.lang.Object

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

All Implemented Interfaces:

ConstructionSubstitutionNormalizer

public class ConstructionSubstitutionNormalizerImpl
extends Object
implements ConstructionSubstitutionNormalizer

TODO: find a better name

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	ConstructionSubstitutionNormalizerImpl.ConstructionSubstitutionNormalizationImpl

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.iq.node.normalization.ConstructionSubstitutionNormalizer

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) Prevents creating construction nodes out of ascending substitutions Here, variable nullability is not considered due to the complexity induced by the descending substitution

Methods inherited from class java.lang.Object

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

Method Detail

normalizeSubstitution

public ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution,
                                                                                                      it.unibz.inf.ontop.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

Specified by:

normalizeSubstitution in interface ConstructionSubstitutionNormalizer