|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.mindswap.pellet.tableau.completion.incremental | |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion.incremental | |
| Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet | |
|---|---|
| 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. |
|
| Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet.tableau.completion.incremental | |
|---|---|
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||