it.unibz.inf.ontop.iq.tools.impl

Class ProjectionDecompositionImpl

java.lang.Object

it.unibz.inf.ontop.iq.tools.impl.ProjectionDecompositionImpl

All Implemented Interfaces:

ProjectionDecomposer.ProjectionDecomposition

public class ProjectionDecompositionImpl
extends Object
implements ProjectionDecomposer.ProjectionDecomposition

Method Summary

Modifier and Type	Method and Description
protected static ProjectionDecomposer.ProjectionDecomposition	createDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution, ImmutableSubstitution<ImmutableTerm> subSubstitution)
protected static ProjectionDecomposer.ProjectionDecomposition	createSubSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> subSubstitution)
protected static ProjectionDecomposer.ProjectionDecomposition	createTopSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution)
Optional<ImmutableSubstitution<ImmutableTerm>>	getSubSubstitution()
Optional<ImmutableSubstitution<ImmutableTerm>>	getTopSubstitution()

Methods inherited from class java.lang.Object

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

Method Detail

getTopSubstitution

public Optional<ImmutableSubstitution<ImmutableTerm>> getTopSubstitution()

Specified by:

getTopSubstitution in interface ProjectionDecomposer.ProjectionDecomposition

getSubSubstitution

public Optional<ImmutableSubstitution<ImmutableTerm>> getSubSubstitution()

Specified by:

getSubSubstitution in interface ProjectionDecomposer.ProjectionDecomposition

createTopSubstitutionDecomposition

protected static ProjectionDecomposer.ProjectionDecomposition createTopSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution)

createSubSubstitutionDecomposition

protected static ProjectionDecomposer.ProjectionDecomposition createSubSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> subSubstitution)

createDecomposition

protected static ProjectionDecomposer.ProjectionDecomposition createDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution,
                                                                                  ImmutableSubstitution<ImmutableTerm> subSubstitution)