protected static class AbstractSelfJoinSimplifier.NormalizationBeforeUnification extends Object
| Modifier and Type | Field and Description |
|---|---|
Collection<ExtensionalDataNode> |
dataNodes |
com.google.common.collect.ImmutableSet<ImmutableExpression> |
equalities |
| Modifier | Constructor and Description |
|---|---|
protected |
NormalizationBeforeUnification(Collection<ExtensionalDataNode> dataNodes,
com.google.common.collect.ImmutableSet<ImmutableExpression> equalities) |
public final Collection<ExtensionalDataNode> dataNodes
public final com.google.common.collect.ImmutableSet<ImmutableExpression> equalities
protected NormalizationBeforeUnification(Collection<ExtensionalDataNode> dataNodes, com.google.common.collect.ImmutableSet<ImmutableExpression> equalities)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.