| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion.incremental |
| Class and Description |
|---|
| DependencyIndex
This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic assertions which caused them to be created.
|
| Class and Description |
|---|
| BranchAddDependency
Dependency structure for when a branch is added.
|
| BranchDependency
Abstract class for a branch dependency
|
| ClashDependency
A clash dependency.
|
| CloseBranchDependency
A depedency for a closed disjunct, merge pair, etc.
|
| Dependency
Dependency interface
|
| DependencyEntry
Structure for containing all dependencies for a given assertion.
|
| DependencyIndex
This is the index structure for maintaining the dependencies between structures in an ABox and the syntactic assertions which caused them to be created.
|
| MergeDependency
A dependency for a node merge
|
| TypeDependency
A type dependency.
|
Copyright © 2019. All rights reserved.