public class DefPushDownRequestImpl extends Object implements DefinitionPushDownRequest
| Constructor and Description |
|---|
DefPushDownRequestImpl(Variable newVariable,
ImmutableTerm definition,
ImmutableExpression condition) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
ImmutableExpression |
getCondition() |
com.google.common.collect.ImmutableSet<Variable> |
getDefinitionAndConditionVariables() |
ImmutableTerm |
getDefinitionWhenConditionSatisfied()
Only when the condition is satisfied!
|
Variable |
getNewVariable() |
int |
hashCode() |
DefinitionPushDownRequest |
newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution) |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitcreatepublic DefPushDownRequestImpl(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)
public Variable getNewVariable()
getNewVariable in interface DefinitionPushDownRequestpublic ImmutableTerm getDefinitionWhenConditionSatisfied()
DefinitionPushDownRequestgetDefinitionWhenConditionSatisfied in interface DefinitionPushDownRequestpublic ImmutableExpression getCondition()
getCondition in interface DefinitionPushDownRequestpublic com.google.common.collect.ImmutableSet<Variable> getDefinitionAndConditionVariables()
getDefinitionAndConditionVariables in interface DefinitionPushDownRequestpublic DefinitionPushDownRequest newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution)
newRequest in interface DefinitionPushDownRequestCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.