| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.branch | |
| org.mindswap.pellet.tableau.completion |
| Modifier and Type | Method and Description |
|---|---|
NodeMerge |
Literal.getMergeToConstant() |
| Modifier and Type | Method and Description |
|---|---|
List<NodeMerge> |
ABox.getToBeMerged() |
| Constructor and Description |
|---|
MaxBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int n,
aterm.ATermAppl qualification,
List<NodeMerge> mergePairs,
DependencySet ds) |
| Modifier and Type | Field and Description |
|---|---|
protected List<NodeMerge> |
CompletionStrategy.mergeList
The queue of node pairs that are waiting to be merged
|
Copyright © 2019. All rights reserved.