|
||||||||||
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 |