Package org.qedeq.kernel.bo.module

Business objects for qedeq modules.

See:
Description

Interface Summary

Kernel	QEDEQ kernel.
KernelState	State dependent methods for the kernel.
LoadingStateDescriptions	This interface provides constants of this package.
MathematicalStateDescriptions	This interface provides primitive constants for the MathematicalState.
ModuleAddress	An address for a QEDEQ module.
ModuleFactory	Access to QEDEQ modules.
ModuleProperties	Represents a module and its states.
QedeqBo	A complete QEDEQ module.

Class Summary

LoadingState	Represents a module state.
MathematicalState	Represents a mathematical module state.
ModuleContext	Define context for an instance of Qedeq.
ModuleLabels	Maps labels of an module to their elements.

Exception Summary

IllegalModuleDataException	Data validation error for a QEDEQ module.
ModuleDataException	Data validation error for a QEDEQ module.

Package org.qedeq.kernel.bo.module Description

Business objects for qedeq modules.