Package org.qedeq.kernel.se.dto.module

Value objects for QEDEQ modules.

See:
Description

Class Summary

AddVo	Usage of formula addition.
AuthorListVo	List of authors.
AuthorVo	Describes a QEDEQ module author.
AxiomVo	Axiom.
ChangedRuleListVo	List of changed rules.
ChangedRuleVo	Rule change.
ChapterListVo	List of chapters.
ChapterVo	Chapter.
ConclusionVo	Conclusion that is derived from an an assumption within a proof.
ConditionalProofVo	Usage of conditional proof method.
ExistentialVo	Usage of rule for existential generalization.
FormalProofLineListVo	List of formal proofs.
FormalProofLineVo	Contains a formal proof for a proposition.
FormalProofListVo	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.
HypothesisVo	Hypothesis that can be used as an assumption within a proof.
ImportListVo	List of imports.
ImportVo	Module import.
InitialFunctionDefinitionVo	Definition of function operator.
InitialPredicateDefinitionVo	Definition of initial operator.
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.
ModusPonensVo	Modes Ponens usage.
NodeVo	Special subsection of a QEDEQ file.
PredicateDefinitionVo	Definition of operator.
ProofListVo	List of proofs.
ProofVo	Contains a non formal proof for a proposition or rule.
PropositionVo	Proposition.
QedeqVo	A complete QEDEQ module.
RenameVo	Usage of rule for rename bound subject variable.
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.
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.
UniversalVo	Usage of rule for universal generalization.
UsedByListVo	List of modules which use the current one.

Package org.qedeq.kernel.se.dto.module Description

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