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

Interface Summary
Dependency Dependency interface
 

Class Summary
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.
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.
IncrementalRestore Title:
MergeDependency A dependency for a node merge
TypeDependency A type dependency.
 



Copyright © 2004 Evren Sirin. All Rights Reserved.