| Package | Description |
|---|---|
| org.mindswap.pellet.tableau.completion.incremental |
| Modifier and Type | Method and Description |
|---|---|
DependencyEntry |
DependencyEntry.copy() |
DependencyEntry |
DependencyIndex.getDependencies(aterm.ATermAppl assertion) |
| Modifier and Type | Method and Description |
|---|---|
protected Map<aterm.ATermAppl,DependencyEntry> |
DependencyIndex.getDependencies() |
Copyright © 2019. All rights reserved.