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

Packages that use org.qedeq.kernel.se.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.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.model	Here are simple model implementations.
org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
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.logic.wf	Checking for being well-formed formulas.
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.se.common	Common classes.
org.qedeq.kernel.se.config	Herein is the configuration for the kernel.
org.qedeq.kernel.se.state	This package carries all possible module states.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.common	Common classes for XML stuff.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.common	Common handlers for parsing XML.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.
org.qedeq.kernel.xml.parser	Connection to SAX XML parsers.

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

ModuleAddress
An address for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

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

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

Service
Represents a service and its basic properties.

SourceFileExceptionList
Type save SourceFileException list.

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

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

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

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.logic.model

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

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

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

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

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

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

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.logic.wf

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

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

CheckLevel
Represents a check level.

ErrorCodes
Mark all classes that contain application error codes.

IllegalModuleDataException
Data validation error for a QEDEQ module.

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

SourceFileException
Data validation error.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.basis

ErrorCodes
Mark all classes that contain application error codes.

IllegalModuleDataException
Data validation error for a QEDEQ module.

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

SourceFileException
Data validation error.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.dependency

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.heuristic

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

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

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

Service
Represents a service and its basic properties.

SourceFileException
Data validation error.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.latex

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.logic

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

SourceFileException
Data validation error.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.bo.service.unicode

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

QedeqException
Base class for all exceptions of this application.

Service
Represents a service and its basic properties.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

SourceFileExceptionList
Type save SourceFileException list.

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

DefaultModuleAddress
An object of this class represents an address for a QEDEQ module.

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

Service
Represents a service and its basic properties.

SourceFileException
Data validation error.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.se.config

Service
Represents a service and its basic properties.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.se.state

State
Describes whiche state a QEDEQ module is currently in.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.se.visitor

ErrorCodes
Mark all classes that contain application error codes.

ModuleAddress
An address for a QEDEQ module.

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

RuleKey
Rule key, describing a certain version of a rule.

ServiceCompleteness
An instance of this interface can answer the question which percentage is already finished.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.xml.common

ErrorCodes
Mark all classes that contain application error codes.

QedeqException
Base class for all exceptions of this application.

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

ErrorCodes
Mark all classes that contain application error codes.

ModuleContext
Define context for an instance of Qedeq.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

Service
Represents a service and its basic properties.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.xml.handler.common

ModuleService
Currently just a marker interface for services working mainly on one particular module.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.xml.handler.parser

ErrorCodes
Mark all classes that contain application error codes.

ModuleService
Currently just a marker interface for services working mainly on one particular module.

Service
Represents a service and its basic properties.

SourceFileExceptionList
Type save SourceFileException list.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.xml.mapper

ModuleContext
Define context for an instance of Qedeq.

ModuleDataException
Data validation error for a QEDEQ module.

QedeqException
Base class for all exceptions of this application.

Classes in org.qedeq.kernel.se.common used by org.qedeq.kernel.xml.parser

ModuleService
Currently just a marker interface for services working mainly on one particular module.

SourceFileExceptionList
Type save SourceFileException list.