|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Interface Summary | |
| DependencyStateDescriptions | This interface provides constants of this package. |
| Kernel | QEDEQ kernel. |
| KernelState | State dependent methods for the kernel. |
| LoadingStateDescriptions | This interface provides constants of this package. |
| LogicalStateDescriptions | This interface provides primitive constants for the LogicalState.
|
| ModuleAddress | An address for a QEDEQ module. |
| ModuleDependencies | A QEDEQ module URL and the URLs of the modules it requires and its dependents. |
| ModuleFactory | Access to QEDEQ modules. |
| ModuleProperties | Represents a module and its states. |
| QedeqBo | A complete QEDEQ module. |
| Class Summary | |
| DependencyState | Represents a mathematical module state. |
| LoadingState | Represents a module state. |
| LogicalState | Represents a mathematical module state. |
| ModuleContext | Define context for an instance of Qedeq.
|
| ModuleLabels | Maps labels of an QEDEQ module to their elements. |
| ModuleReferenceList | Represents a reference list of modules. |
| Exception Summary | |
| IllegalModuleDataException | Data validation error for a QEDEQ module. |
| ModuleDataException | Data validation error for a QEDEQ module. |
Business objects for qedeq modules.
|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |