|
||||||||||
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 QedeqBo s. |
Basis classes for all packages.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |