QEDEQ Kernel for the Hilbert II project 0.04.08 API

Packages

com.sun.syndication.io
org.qedeq.base.io	Common input and output methods and access objects for text reading and writing are provided here.
org.qedeq.base.trace	Trace abilities, for debugging purpose only.
org.qedeq.base.utility	Common utilities.
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	Contains the logical abilities of the kernel.
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.parser	Parse texts with formulas and terms into parse tree and produce QEDEQ output.
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.base.list	Descriptions of element list functions.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.common	Common classes.
org.qedeq.kernel.se.config	Herein is the configuration for the kernel.
org.qedeq.kernel.se.dto.list	An element is either a list or an atom.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
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.list	Handler to parse formulas and terms.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.
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.
org.qedeq.kernel.xml.tracker	Tracks simple XPath descriptions in XML files.