|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |