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

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

org.qedeq.kernel.bo	Provides access to the kernel.
org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.job	Everything for the module service plugins
org.qedeq.kernel.bo.log	Logging, and journal abilities.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.

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

Kernel
Service methods inclusive kernel integration methods.

KernelProperties
QEDEQ kernel properties.

KernelServices
The main QEDEQ kernel methods are assembled here.

QedeqBo
Represents a module and its states.

ServiceJob
Process info for a kernel service.

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

Kernel
Service methods inclusive kernel integration methods.

KernelProperties
QEDEQ kernel properties.

KernelServices
The main QEDEQ kernel methods are assembled here.

ModuleReferenceList
Represents a reference list of modules.

ModuleServiceCall
Information for a service call.

ModuleServiceResult
Execution result of a ModuleServiceCall.

QedeqBo
Represents a module and its states.

QedeqBoSet
This class represents a set of QedeqBos.

ServiceJob
Process info for a kernel service.

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

ModuleServiceCall
Information for a service call.

ModuleServiceResult
Execution result of a ModuleServiceCall.

QedeqBo
Represents a module and its states.

QedeqBoSet
This class represents a set of QedeqBos.

ServiceJob
Process info for a kernel service.

Classes in org.qedeq.kernel.bo.common used by org.qedeq.kernel.bo.log

QedeqBo
Represents a module and its states.

Classes in org.qedeq.kernel.bo.common used by org.qedeq.kernel.bo.logic.proof.common

Element2Utf8
Transfer a QEDEQ formula or term into UTF-8 text.

Classes in org.qedeq.kernel.bo.common used by org.qedeq.kernel.bo.logic.proof.finder

Element2Utf8
Transfer a QEDEQ formula or term into UTF-8 text.

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

Element2Latex
Transfer a QEDEQ formula or term into LaTeX text.

Element2Utf8
Transfer a QEDEQ formula or term into UTF-8 text.

KernelProperties
QEDEQ kernel properties.

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.

QedeqBoSet
This class represents a set of QedeqBos.

ServiceJob
Process info for a kernel service.

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

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.

ModuleReferenceList
Represents a reference list of modules.

ModuleServiceResult
Execution result of a ModuleServiceCall.

QedeqBo
Represents a module and its states.

QedeqBoSet
This class represents a set of QedeqBos.

ServiceJob
Process info for a kernel service.

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

QedeqBo
Represents a module and its states.