it.unibz.inf.ontop.iq.tools

Interface ProjectionDecomposer

All Known Implementing Classes:

ProjectionDecomposerImpl

public interface ProjectionDecomposer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ProjectionDecomposer.ProjectionDecomposition

Method Summary

Modifier and Type	Method and Description
ProjectionDecomposer.ProjectionDecomposition	decomposeSubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution, VariableGenerator variableGenerator)

Method Detail

decomposeSubstitution

ProjectionDecomposer.ProjectionDecomposition decomposeSubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution,
                                                                   VariableGenerator variableGenerator)