|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Class Summary | |
| KernelContext | This class provides static access methods for basic informations. |
| ModuleContext | Define context for an instance of Qedeq.
|
Provides access to the kernel. All main functions will be callable from here.
|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |