Uses of Package
org.qedeq.base.io

Packages that use org.qedeq.base.io

org.qedeq.base.io	Common input and output methods and access objects for text reading and writing are provided here.
org.qedeq.kernel.bo.job	Everything for the module service plugins
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
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.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.common	Common classes.
org.qedeq.kernel.se.config	Herein is the configuration for the kernel.
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.tracker	Tracks simple XPath descriptions in XML files.

Classes in org.qedeq.base.io used by org.qedeq.base.io

AbstractOutput
Wraps a text output stream.

LoadingListener
Listener for loading completeness.

Parameters
Provides convenience methods for getting parameters out of a Map.

Path
A file path that leads to a directory or file and is absolute or relative.

SourceArea
Describes an area of an URL contents.

SourcePosition
Describes a file position within a text file.

SubTextInput
Wraps a text output stream.

TextInput
This class provides convenient methods for parsing input.

Version
A version number implementation oriented at the standard: http://semver.org.

VersionSet
A set of version numbers.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.job

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.logic

Version
A version number implementation oriented at the standard: http://semver.org.

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

Parameters
Provides convenience methods for getting parameters out of a Map.

Version
A version number implementation oriented at the standard: http://semver.org.

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

Parameters
Provides convenience methods for getting parameters out of a Map.

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

Parameters
Provides convenience methods for getting parameters out of a Map.

SourceArea
Describes an area of an URL contents.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.parser

TextInput
This class provides convenient methods for parsing input.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.basis

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.dependency

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.heuristic

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.internal

Parameters
Provides convenience methods for getting parameters out of a Map.

SourceArea
Describes an area of an URL contents.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.latex

Parameters
Provides convenience methods for getting parameters out of a Map.

SourcePosition
Describes a file position within a text file.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.logic

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.bo.service.unicode

AbstractOutput
Wraps a text output stream.

Parameters
Provides convenience methods for getting parameters out of a Map.

SourcePosition
Describes a file position within a text file.

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

SourceArea
Describes an area of an URL contents.

SourcePosition
Describes a file position within a text file.

Classes in org.qedeq.base.io used by org.qedeq.kernel.se.config

Parameters
Provides convenience methods for getting parameters out of a Map.

Classes in org.qedeq.base.io used by org.qedeq.kernel.xml.dao

SourceArea
Describes an area of an URL contents.

TextOutput
Wraps a text output stream.

Classes in org.qedeq.base.io used by org.qedeq.kernel.xml.handler.common

SourceArea
Describes an area of an URL contents.

Classes in org.qedeq.base.io used by org.qedeq.kernel.xml.tracker

SourceArea
Describes an area of an URL contents.

SourcePosition
Describes a file position within a text file.