|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| Context | An object representing an elementary unit of computation for saturation of an
IndexedClassExpression, stored as a root of the
Context. |
| Class Summary | |
|---|---|
| ContextStatistics | Keeps statistics about the number of created and modified contexts |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||