protected static ProjectionDecomposer.ProjectionDecomposition |
ProjectionDecompositionImpl.createDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution,
ImmutableSubstitution<ImmutableTerm> subSubstitution) |
protected static ProjectionDecomposer.ProjectionDecomposition |
ProjectionDecompositionImpl.createSubSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> subSubstitution) |
protected static ProjectionDecomposer.ProjectionDecomposition |
ProjectionDecompositionImpl.createTopSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution) |
ProjectionDecomposer.ProjectionDecomposition |
ProjectionDecomposerImpl.decomposeSubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution,
VariableGenerator variableGenerator) |