public class SubstitutionPropagationProposalImpl<T extends QueryNode> extends Object implements SubstitutionPropagationProposal<T>
| Constructor and Description |
|---|
SubstitutionPropagationProposalImpl(T focusNode,
ImmutableSubstitution<? extends ImmutableTerm> substitutionToPropagate) |
SubstitutionPropagationProposalImpl(T focusNode,
ImmutableSubstitution<? extends ImmutableTerm> substitutionToPropagate,
boolean shouldCheckProjection) |
| Modifier and Type | Method and Description |
|---|---|
T |
getFocusNode() |
ImmutableSubstitution<? extends ImmutableTerm> |
getSubstitution() |
String |
toString() |
public SubstitutionPropagationProposalImpl(T focusNode, ImmutableSubstitution<? extends ImmutableTerm> substitutionToPropagate)
public SubstitutionPropagationProposalImpl(T focusNode, ImmutableSubstitution<? extends ImmutableTerm> substitutionToPropagate, boolean shouldCheckProjection)
public ImmutableSubstitution<? extends ImmutableTerm> getSubstitution()
getSubstitution in interface SubstitutionPropagationProposal<T extends QueryNode>public T getFocusNode()
getFocusNode in interface NodeCentricOptimizationProposal<T extends QueryNode,NodeCentricOptimizationResults<T extends QueryNode>>Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.