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