DefinitionPushDownRequest (ontop-model 4.0.3-owlapi5 API)

All Known Implementing Classes:

DefPushDownRequestImpl
```
public interface DefinitionPushDownRequest
```
Request for pushing down in the IQTree the definition of a new variable

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`static DefinitionPushDownRequest`	`create(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)`
`ImmutableExpression`	`getCondition()`
`com.google.common.collect.ImmutableSet<Variable>`	`getDefinitionAndConditionVariables()`
`ImmutableTerm`	`getDefinitionWhenConditionSatisfied()` Only when the condition is satisfied!
`Variable`	`getNewVariable()`
`DefinitionPushDownRequest`	`newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution)`

Method Detail

getNewVariable
```
Variable getNewVariable()
```

getDefinitionWhenConditionSatisfied
```
ImmutableTerm getDefinitionWhenConditionSatisfied()
```
Only when the condition is satisfied!

getCondition
```
ImmutableExpression getCondition()
```

getDefinitionAndConditionVariables

com.google.common.collect.ImmutableSet<Variable> getDefinitionAndConditionVariables()

newRequest

DefinitionPushDownRequest newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution)

create

static DefinitionPushDownRequest create(Variable newVariable,
                                        ImmutableTerm definition,
                                        ImmutableExpression condition)

Interface DefinitionPushDownRequest

Method Summary

Method Detail

getNewVariable

getDefinitionWhenConditionSatisfied

getCondition

getDefinitionAndConditionVariables

newRequest

create