|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.qedeq.kernel.base.module | |
| org.qedeq.kernel.base.module | The main functionalities of qedeq modules are described here. |
| org.qedeq.kernel.bo.control | Contains business object controllers. |
| org.qedeq.kernel.bo.load | Load QEDEQ module files from local system or from the internet. |
| 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.context | Provides access to the kernel. |
| 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. |
| org.qedeq.kernel.xml.mapper | Contains mapper for XML objects. |
| Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.base.module | |
| Author
Describes a QEDEQ module author. |
|
| 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 or rule. |
|
| ProofList
List of proofs. |
|
| 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. |
|
| LatexList
List of LaTeX text parts. |
|
| 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.load | |
| ChapterList
List of chapters. |
|
| Header
Header of a qedeq file. |
|
| LiteratureItemList
Bibliography, list of literature items. |
|
| Qedeq
A complete qedeq module. |
|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.bo.module | |
| Qedeq
A complete qedeq module. |
|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.bo.visitor | |
| Author
Describes a QEDEQ module author. |
|
| 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 or rule. |
|
| ProofList
List of proofs. |
|
| 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.context | |
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.dto.module | |
| Author
Describes a QEDEQ module author. |
|
| 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 or rule. |
|
| ProofList
List of proofs. |
|
| 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 QEDEQ module author. |
|
| 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 or rule. |
|
| 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. |
|
| 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. |
|
| Classes in org.qedeq.kernel.base.module used by org.qedeq.kernel.xml.mapper | |
| Author
Describes a QEDEQ module author. |
|
| 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 or rule. |
|
| ProofList
List of proofs. |
|
| 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. |
|
| Term
Wraps a term. |
|
| UsedByList
List of modules which use the current one. |
|
| VariableList
List of variables. |
|
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |