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