|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Element2Latex | Transfer a QEDEQ formula or term into LaTeX text. |
| Element2Utf8 | Transfer a QEDEQ formula or term into UTF-8 text. |
| Kernel | Service methods inclusive kernel integration methods. |
| KernelProperties | QEDEQ kernel properties. |
| KernelServices | The main QEDEQ kernel methods are assembled here. |
| KernelState | State changing methods for the kernel. |
| ModuleReferenceList | Represents a reference list of modules. |
| ModuleServiceCall | Information for a service call. |
| ModuleServiceResult | Execution result of a ModuleServiceCall. |
| NodeBo | Represents a node and its properties. |
| QedeqBo | Represents a module and its states. |
| ServiceJob | Process info for a kernel service. |
| Class Summary | |
|---|---|
| BasicKernel | This class provides basic informations about the kernel. |
| QedeqBoSet | This class represents a set of QedeqBos. |
Basis classes for all packages.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||