Hilbert II - Version 0.03.04

Uses of Package
org.qedeq.kernel.base.module

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

©left GNU General Public Licence
All Rights Reserved.