it.unibz.inf.ontop.iq.tools

Interface ProjectionDecomposer.ProjectionDecomposition

All Known Implementing Classes:

ProjectionDecompositionImpl

Enclosing interface:

ProjectionDecomposer

public static interface ProjectionDecomposer.ProjectionDecomposition

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<ImmutableTerm>>	getSubSubstitution()
Optional<ImmutableSubstitution<ImmutableTerm>>	getTopSubstitution()

Method Detail

getTopSubstitution

Optional<ImmutableSubstitution<ImmutableTerm>> getTopSubstitution()

getSubSubstitution

Optional<ImmutableSubstitution<ImmutableTerm>> getSubSubstitution()