|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.qedeq.kernel.dto.module | |
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.dto.module | Value objects for qedeq modules. |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Classes in org.qedeq.kernel.dto.module used by org.qedeq.kernel.bo.load | |
ChapterListVo
List of chapters. |
|
ChapterVo
Chapter. |
|
HeaderVo
Header of a qedeq file. |
|
LiteratureItemListVo
List of literature references. |
Classes in org.qedeq.kernel.dto.module used by org.qedeq.kernel.bo.module | |
ChapterListVo
List of chapters. |
|
ChapterVo
Chapter. |
|
HeaderVo
Header of a qedeq file. |
|
LiteratureItemListVo
List of literature references. |
|
NodeVo
Special subsection of a qedeq file. |
Classes in org.qedeq.kernel.dto.module used by org.qedeq.kernel.dto.module | |
AuthorListVo
List of authors. |
|
AuthorVo
Describes a QEDEQ module author. |
|
ChapterListVo
List of chapters. |
|
ChapterVo
Chapter. |
|
FormulaVo
Wraps a formula. |
|
HeaderVo
Header of a qedeq file. |
|
ImportListVo
List of imports. |
|
ImportVo
Module import. |
|
LatexListVo
List of LaTeX text parts. |
|
LatexVo
LaTeX text part. |
|
LinkListVo
List of links. |
|
LiteratureItemListVo
List of literature references. |
|
LiteratureItemVo
Single literature reference. |
|
LocationListVo
List of locations. |
|
LocationVo
Describes the "physical" directory location for a module. |
|
ProofListVo
List of proofs. |
|
ProofVo
Contains a proof for a proposition. |
|
SectionListVo
List of sections. |
|
SectionVo
Section of a qedeq file. |
|
SpecificationVo
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
SubsectionListVo
List of nodes. |
|
TermVo
Wraps a fterm. |
|
UsedByListVo
List of modules which use the current one. |
|
VariableListVo
List of variables. |
Classes in org.qedeq.kernel.dto.module used by org.qedeq.kernel.xml.handler.module | |
AuthorListVo
List of authors. |
|
AuthorVo
Describes a QEDEQ module author. |
|
ChapterVo
Chapter. |
|
FormulaVo
Wraps a formula. |
|
FunctionDefinitionVo
Definition of function operator. |
|
HeaderVo
Header of a qedeq file. |
|
ImportListVo
List of imports. |
|
LatexListVo
List of LaTeX text parts. |
|
LatexVo
LaTeX text part. |
|
LiteratureItemListVo
List of literature references. |
|
LiteratureItemVo
Single literature reference. |
|
ProofVo
Contains a proof for a proposition. |
|
PropositionVo
Proposition. |
|
SectionVo
Section of a qedeq file. |
|
SpecificationVo
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
SubsectionListVo
List of nodes. |
|
TermVo
Wraps a fterm. |
|
UsedByListVo
List of modules which use the current one. |
|
VariableListVo
List of variables. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |