protected static class SelfJoinLikeExecutor.ConcreteProposal extends Object
| Constructor and Description |
|---|
ConcreteProposal(Optional<ImmutableSubstitution<VariableOrGroundTerm>> optionalSubstitution,
Optional<ImmutableExpression> optionalIsNotNullExpression) |
| Modifier and Type | Method and Description |
|---|---|
Optional<ImmutableExpression> |
getOptionalIsNotNullExpression() |
Optional<ImmutableSubstitution<VariableOrGroundTerm>> |
getOptionalSubstitution() |
public ConcreteProposal(Optional<ImmutableSubstitution<VariableOrGroundTerm>> optionalSubstitution, Optional<ImmutableExpression> optionalIsNotNullExpression)
public Optional<ImmutableSubstitution<VariableOrGroundTerm>> getOptionalSubstitution()
public Optional<ImmutableExpression> getOptionalIsNotNullExpression()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.