Uses of Package
org.qedeq.kernel.bo.module

Packages that use org.qedeq.kernel.bo.module

org.qedeq.kernel.bo.job	Everything for the module service plugins
org.qedeq.kernel.bo.logic.model	Here are simple model implementations.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.job

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

ModuleArbiter
Get locks for modules.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.logic.model

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.module

InternalKernelServices
The kernel internal service methods are assembled here.

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

KernelModuleReferenceList
Represents a reference list of modules.

KernelNodeBo
Business object for node access.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

ModuleConstantsExistenceChecker
Contains methods for existence checking of various operands.

ModuleLabels
Maps labels of an QEDEQ module to their nodes.

QedeqFileDao
An instance of this interface can load and save QEDEQ module files.

Reference
Reference to another QEDEQ module, a node, a part of a node formula, a formal proof line.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.basis

InternalKernelServices
The kernel internal service methods are assembled here.

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

KernelNodeBo
Business object for node access.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

ModuleLabels
Maps labels of an QEDEQ module to their nodes.

Reference
Reference to another QEDEQ module, a node, a part of a node formula, a formal proof line.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.dependency

InternalModuleServiceCall
Information for a service call.

KernelModuleReferenceList
Represents a reference list of modules.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.heuristic

InternalModuleServiceCall
Information for a service call.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.internal

InternalKernelServices
The kernel internal service methods are assembled here.

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

KernelModuleReferenceList
Represents a reference list of modules.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

ModuleArbiter
Get locks for modules.

ModuleConstantsExistenceChecker
Contains methods for existence checking of various operands.

ModuleLabels
Maps labels of an QEDEQ module to their nodes.

QedeqFileDao
An instance of this interface can load and save QEDEQ module files.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.latex

InternalModuleServiceCall
Information for a service call.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.logic

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

ModuleConstantsExistenceChecker
Contains methods for existence checking of various operands.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.bo.service.unicode

InternalModuleServiceCall
Information for a service call.

InternalServiceJob
Process info for a kernel service.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.xml.dao

InternalKernelServices
The kernel internal service methods are assembled here.

InternalServiceJob
Process info for a kernel service.

KernelQedeqBo
Kernel internal QedeqBo with additional methods.

QedeqFileDao
An instance of this interface can load and save QEDEQ module files.

Classes in org.qedeq.kernel.bo.module used by org.qedeq.kernel.xml.handler.parser

InternalKernelServices
The kernel internal service methods are assembled here.