Package org.qedeq.kernel.dto.module

Value objects for qedeq modules.

See:
Description

Class Summary

AuthorListVo	List of authors.
AuthorVo	Describes a specification of a module, that means its name, versions and possible "physical" locations.
AxiomVo	Axiom.
ChapterListVo	List of chapters.
ChapterVo	Chapter.
DefinitionVo	Definition of operator.
FormulaOrTermVo	Wraps a formula or a term.
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.
LocationListVo	List of locations.
LocationVo	Describes the "physical" directory location for a module.
NodeVo	Special subsection of a qedeq file.
ProofListVo	List of proofs.
ProofVo	Contains a proof for a proposition.
PropositionVo	Proposition.
QedeqVo	A complete qedeq module.
RuleVo	Rule declaration.
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.
SubsectionVo	Subsection of a qedeq file.
UsedByListVo	List of modules which use the current one.
VariableListVo	List of variables.

Package org.qedeq.kernel.dto.module Description

Value objects for qedeq modules. This objects bear no business logic.