|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.qedeq.kernel.se.dto.module | |
|---|---|
| org.qedeq.kernel.bo.common | Basis classes for all packages. |
| org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
| org.qedeq.kernel.bo.service.basis | Contains business object controllers. |
| org.qedeq.kernel.bo.service.internal | Central module service plugin functionality. |
| org.qedeq.kernel.se.dto.module | Value objects for QEDEQ modules. |
| org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.bo.common | |
|---|---|
| NodeVo
Special subsection of a QEDEQ file. |
|
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.bo.module | |
|---|---|
| NodeVo
Special subsection of a QEDEQ file. |
|
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.bo.service.basis | |
|---|---|
| QedeqVo
A complete QEDEQ module. |
|
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.bo.service.internal | |
|---|---|
| QedeqVo
A complete QEDEQ module. |
|
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.se.dto.module | |
|---|---|
| AuthorListVo
List of authors. |
|
| AuthorVo
Describes a QEDEQ module author. |
|
| ChangedRuleListVo
List of changed rules. |
|
| ChangedRuleVo
Rule change. |
|
| ChapterListVo
List of chapters. |
|
| ChapterVo
Chapter. |
|
| FormalProofListVo
List of formal proofs. |
|
| FormalProofVo
Contains a formal proof for a proposition. |
|
| 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 non formal proof for a proposition or rule. |
|
| 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. |
|
| UsedByListVo
List of modules which use the current one. |
|
| Classes in org.qedeq.kernel.se.dto.module used by org.qedeq.kernel.xml.handler.module | |
|---|---|
| AddVo
Usage of formula addition. |
|
| AuthorListVo
List of authors. |
|
| AuthorVo
Describes a QEDEQ module author. |
|
| ChangedRuleVo
Rule change. |
|
| ChapterVo
Chapter. |
|
| ConditionalProofVo
Usage of conditional proof method. |
|
| FormalProofLineListVo
List of formal proofs. |
|
| FormalProofVo
Contains a formal proof for a proposition. |
|
| FormulaVo
Wraps a formula. |
|
| FunctionDefinitionVo
Definition of function operator. |
|
| HeaderVo
Header of a qedeq file. |
|
| ImportListVo
List of imports. |
|
| InitialFunctionDefinitionVo
Definition of function operator. |
|
| LatexListVo
List of LaTeX text parts. |
|
| LatexVo
LaTeX text part. |
|
| LiteratureItemListVo
List of literature references. |
|
| LiteratureItemVo
Single literature reference. |
|
| ModusPonensVo
Modes Ponens usage. |
|
| ProofVo
Contains a non formal proof for a proposition or rule. |
|
| PropositionVo
Proposition. |
|
| RenameVo
Usage of rule for rename bound subject variable. |
|
| 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. |
|
| SubstFreeVo
Usage of rule for substitute free subject variable. |
|
| SubstFuncVo
Usage of rule for substitute function variable. |
|
| SubstPredVo
Usage of rule for substitute predicate variable. |
|
| TermVo
Wraps a term. |
|
| UsedByListVo
List of modules which use the current one. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||