protected static class SelfJoinLikeExecutor.PredicateLevelProposal extends Object
| Constructor and Description |
|---|
PredicateLevelProposal(com.google.common.collect.ImmutableCollection<ImmutableSubstitution<VariableOrGroundTerm>> substitutions,
com.google.common.collect.ImmutableCollection<ExtensionalDataNode> removedDataNodes,
Optional<ImmutableExpression> isNotNullConjunction) |
| Modifier and Type | Method and Description |
|---|---|
Optional<ImmutableExpression> |
getIsNotNullConjunction() |
com.google.common.collect.ImmutableCollection<ExtensionalDataNode> |
getRemovedDataNodes()
Not unified
|
com.google.common.collect.ImmutableCollection<ImmutableSubstitution<VariableOrGroundTerm>> |
getSubstitutions() |
public PredicateLevelProposal(com.google.common.collect.ImmutableCollection<ImmutableSubstitution<VariableOrGroundTerm>> substitutions, com.google.common.collect.ImmutableCollection<ExtensionalDataNode> removedDataNodes, Optional<ImmutableExpression> isNotNullConjunction)
public com.google.common.collect.ImmutableCollection<ImmutableSubstitution<VariableOrGroundTerm>> getSubstitutions()
public com.google.common.collect.ImmutableCollection<ExtensionalDataNode> getRemovedDataNodes()
public Optional<ImmutableExpression> getIsNotNullConjunction()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.