|
||||||||||
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 |