|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.qedeq.kernel.base.module | |
org.qedeq.kernel.base.module | The main funtionalities of qedeq modules are described here. |
org.qedeq.kernel.bo.control | Contains business object controllers. |
org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
org.qedeq.kernel.bo.visitor | The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them. |
org.qedeq.kernel.dto.module | Value objects for qedeq modules. |
org.qedeq.kernel.latex | LaTeX export abilities of the kernel. |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.base.module | |
Author
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
AuthorList
List of authors. |
|
Axiom
Axiom. |
|
Chapter
Chapter. |
|
ChapterList
List of chapters. |
|
Formula
Wraps a formula. |
|
FunctionDefinition
Definition of function operator. |
|
Header
Header of a qedeq file. |
|
Import
Module import. |
|
ImportList
List of imports. |
|
Latex
LaTeX text part. |
|
LatexList
List of LaTeX text parts. |
|
LinkList
List of identifiers. |
|
LiteratureItem
One reference of a bibliography. |
|
LiteratureItemList
Bibliography, list of literature items. |
|
Location
Describes the "physical" directory location for a module. |
|
LocationList
List of locations. |
|
NodeType
Marker interface for different node types. |
|
PredicateDefinition
Definition of operator. |
|
Proof
Contains a proof for a proposition. |
|
ProofList
|
|
Proposition
Proposition. |
|
Rule
Rule. |
|
Section
Section of a qedeq file. |
|
SectionList
List of sections. |
|
Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
SubsectionList
List of nodes. |
|
SubsectionType
Marker interface for different subsection types. |
|
Term
Wraps a term. |
|
UsedByList
List of modules which use the current one. |
|
VariableList
List of variables. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.bo.control | |
Axiom
Axiom. |
|
FunctionDefinition
Definition of function operator. |
|
PredicateDefinition
Definition of operator. |
|
Proposition
Proposition. |
|
Qedeq
A complete qedeq module. |
|
Rule
Rule. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.bo.module | |
ChapterList
List of chapters. |
|
Header
Header of a qedeq file. |
|
LiteratureItemList
Bibliography, list of literature items. |
|
Qedeq
A complete qedeq module. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.bo.visitor | |
Author
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
AuthorList
List of authors. |
|
Axiom
Axiom. |
|
Chapter
Chapter. |
|
ChapterList
List of chapters. |
|
Formula
Wraps a formula. |
|
FunctionDefinition
Definition of function operator. |
|
Header
Header of a qedeq file. |
|
Import
Module import. |
|
ImportList
List of imports. |
|
Latex
LaTeX text part. |
|
LatexList
List of LaTeX text parts. |
|
LinkList
List of identifiers. |
|
LiteratureItem
One reference of a bibliography. |
|
LiteratureItemList
Bibliography, list of literature items. |
|
Location
Describes the "physical" directory location for a module. |
|
LocationList
List of locations. |
|
Node
A node carries mathematical knowledge. |
|
PredicateDefinition
Definition of operator. |
|
Proof
Contains a proof for a proposition. |
|
ProofList
|
|
Proposition
Proposition. |
|
Qedeq
A complete qedeq module. |
|
Rule
Rule. |
|
Section
Section of a qedeq file. |
|
SectionList
List of sections. |
|
Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
Subsection
Special subsection of a qedeq file. |
|
SubsectionList
List of nodes. |
|
SubsectionType
Marker interface for different subsection types. |
|
Term
Wraps a term. |
|
UsedByList
List of modules which use the current one. |
|
VariableList
List of variables. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.dto.module | |
Author
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
AuthorList
List of authors. |
|
Axiom
Axiom. |
|
Chapter
Chapter. |
|
ChapterList
List of chapters. |
|
Formula
Wraps a formula. |
|
FunctionDefinition
Definition of function operator. |
|
Header
Header of a qedeq file. |
|
Import
Module import. |
|
ImportList
List of imports. |
|
Latex
LaTeX text part. |
|
LatexList
List of LaTeX text parts. |
|
LinkList
List of identifiers. |
|
LiteratureItem
One reference of a bibliography. |
|
LiteratureItemList
Bibliography, list of literature items. |
|
Location
Describes the "physical" directory location for a module. |
|
LocationList
List of locations. |
|
Node
A node carries mathematical knowledge. |
|
NodeType
Marker interface for different node types. |
|
PredicateDefinition
Definition of operator. |
|
Proof
Contains a proof for a proposition. |
|
ProofList
|
|
Proposition
Proposition. |
|
Qedeq
A complete qedeq module. |
|
Rule
Rule. |
|
Section
Section of a qedeq file. |
|
SectionList
List of sections. |
|
Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
Subsection
Special subsection of a qedeq file. |
|
SubsectionList
List of nodes. |
|
SubsectionType
Marker interface for different subsection types. |
|
Term
Wraps a term. |
|
UsedByList
List of modules which use the current one. |
|
VariableList
List of variables. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.latex | |
Author
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
AuthorList
List of authors. |
|
Axiom
Axiom. |
|
Chapter
Chapter. |
|
Formula
Wraps a formula. |
|
FunctionDefinition
Definition of function operator. |
|
Header
Header of a qedeq file. |
|
Import
Module import. |
|
ImportList
List of imports. |
|
Latex
LaTeX text part. |
|
LatexList
List of LaTeX text parts. |
|
LinkList
List of identifiers. |
|
LiteratureItem
One reference of a bibliography. |
|
LiteratureItemList
Bibliography, list of literature items. |
|
Location
Describes the "physical" directory location for a module. |
|
LocationList
List of locations. |
|
Node
A node carries mathematical knowledge. |
|
PredicateDefinition
Definition of operator. |
|
Proof
Contains a proof for a proposition. |
|
Proposition
Proposition. |
|
Qedeq
A complete qedeq module. |
|
Rule
Rule. |
|
Section
Section of a qedeq file. |
|
Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
Subsection
Special subsection of a qedeq file. |
|
SubsectionList
List of nodes. |
|
Term
Wraps a term. |
|
UsedByList
List of modules which use the current one. |
|
VariableList
List of variables. |
Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.xml.handler.module | |
Axiom
Axiom. |
|
Node
A node carries mathematical knowledge. |
|
PredicateDefinition
Definition of operator. |
|
Qedeq
A complete qedeq module. |
|
Rule
Rule. |
|
Subsection
Special subsection of a qedeq file. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |