Hilbert II - Version 0.03.04

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

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

©left GNU General Public Licence
All Rights Reserved.