Uses of Package
org.mindswap.pellet.tableau.completion.incremental

Packages that use org.mindswap.pellet.tableau.completion.incremental

Package	Description
org.mindswap.pellet
org.mindswap.pellet.tableau.completion.incremental

Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet

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.

Classes in org.mindswap.pellet.tableau.completion.incremental used by org.mindswap.pellet.tableau.completion.incremental

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.