|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| ExampleManager | An example manager for facilitating access to example input files. |
| GlobalDomgraphProperties | Provides methods for accessing global properties of the Domgraph system, such as the version number. |
| Exception Summary | |
|---|---|
| ExampleManager.ParserException | A parser exception that occurred while reading an examples specification file. |
Provides classes for accessing global properties of the system, such as the Domgraph version number and the example database.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||