| Interface | Description |
|---|---|
| Dependency |
Dependency interface
|
| Class | 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.
|
| 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 © 2019. All rights reserved.