|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.qedeq.kernel.base.elli | |
| org.qedeq.kernel.base.elli | Descriptions of element list functionalites. |
| org.qedeq.kernel.base.module | The main funtionalities of qedeq modules are described here. |
| org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
| org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
| org.qedeq.kernel.dto.elli | An element is either a list or an atom. |
| org.qedeq.kernel.dto.module | Value objects for qedeq modules. |
| org.qedeq.kernel.xml.handler.elli | Handler to parse formulas and terms. |
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.base.elli | |
| Atom
Element atom. |
|
| Element
An element is either a list or an atom. |
|
| ElementList
Every Operator must implement this interface. |
|
| Visitable
Every element which can be visited by an Visitor must
implement this interface. |
|
| Visitor
The visitor design pattern is a way of separating an algorithm from an object structure. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.base.module | |
| Element
An element is either a list or an atom. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.bo.logic | |
| Element
An element is either a list or an atom. |
|
| ElementList
Every Operator must implement this interface. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.bo.module | |
| Element
An element is either a list or an atom. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.dto.elli | |
| Atom
Element atom. |
|
| Element
An element is either a list or an atom. |
|
| ElementList
Every Operator must implement this interface. |
|
| Visitable
Every element which can be visited by an Visitor must
implement this interface. |
|
| Visitor
The visitor design pattern is a way of separating an algorithm from an object structure. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.dto.module | |
| Element
An element is either a list or an atom. |
|
| Classes in org.qedeq.kernel.base.elli used by org.qedeq.kernel.xml.handler.elli | |
| Element
An element is either a list or an atom. |
|
|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |