public class ProjectionShrinkingProposalImpl extends Object implements ProjectionShrinkingProposal
| Constructor and Description |
|---|
ProjectionShrinkingProposalImpl(ExplicitVariableProjectionNode focusNode,
com.google.common.collect.ImmutableSet<Variable> retainedVariables) |
| Modifier and Type | Method and Description |
|---|---|
ExplicitVariableProjectionNode |
getFocusNode() |
com.google.common.collect.ImmutableSet<Variable> |
getRetainedVariables() |
public ProjectionShrinkingProposalImpl(ExplicitVariableProjectionNode focusNode, com.google.common.collect.ImmutableSet<Variable> retainedVariables)
public ExplicitVariableProjectionNode getFocusNode()
public com.google.common.collect.ImmutableSet<Variable> getRetainedVariables()
getRetainedVariables in interface ProjectionShrinkingProposalCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.