public class InjectiveBindingLiftState extends Object
| Modifier | Constructor and Description |
|---|---|
protected |
InjectiveBindingLiftState(ConstructionNode childConstructionNode,
IQTree grandChildTree,
VariableGenerator variableGenerator,
CoreSingletons coreSingletons)
Initial state
|
| Modifier and Type | Method and Description |
|---|---|
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ConstructionNode> |
getAncestors()
The oldest ancestor is first
|
Optional<ConstructionNode> |
getChildConstructionNode() |
IQTree |
getGrandChildTree() |
InjectiveBindingLiftState |
liftBindings() |
protected InjectiveBindingLiftState(@Nonnull ConstructionNode childConstructionNode, IQTree grandChildTree, VariableGenerator variableGenerator, CoreSingletons coreSingletons)
public IQTree getGrandChildTree()
public Optional<ConstructionNode> getChildConstructionNode()
public it.unibz.inf.ontop.com.google.common.collect.ImmutableList<ConstructionNode> getAncestors()
public InjectiveBindingLiftState liftBindings()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.