Uses of Package
org.qedeq.kernel.se.base.list

Packages that use org.qedeq.kernel.se.base.list

org.qedeq.kernel.bo.common	Basis classes for all packages.
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.internal	Central module service plugin functionality.
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.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.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.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.list	Handler to parse formulas and terms.
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.base.list used by org.qedeq.kernel.bo.common

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

ElementList
Every Operator must implement this interface.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.bo.module

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

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

Element
An element is either a list or an atom.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.se.base.list

Atom
Element atom.

Element
An element is either a list or an atom.

ElementList
Every Operator must implement this interface.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.se.base.module

Element
An element is either a list or an atom.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.se.dto.list

Atom
Element atom.

Element
An element is either a list or an atom.

ElementList
Every Operator must implement this interface.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.se.dto.module

Element
An element is either a list or an atom.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.se.visitor

Atom
Element atom.

Element
An element is either a list or an atom.

ElementList
Every Operator must implement this interface.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.xml.dao

ElementList
Every Operator must implement this interface.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.xml.handler.list

Element
An element is either a list or an atom.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.xml.mapper

ElementList
Every Operator must implement this interface.

Classes in org.qedeq.kernel.se.base.list used by org.qedeq.kernel.xml.parser

Element
An element is either a list or an atom.