Hilbert II - Version 0.03.04

Package org.qedeq.kernel.base.module

The main functionalities of qedeq modules are described here.

See:
          Description

Interface Summary
Author Describes a QEDEQ module author.
AuthorList List of authors.
Axiom Axiom.
Chapter Chapter.
ChapterList List of chapters.
Formula Wraps a formula.
FunctionDefinition Definition of function operator.
Header Header of a qedeq file.
Import Module import.
ImportList List of imports.
Latex LaTeX text part.
LatexList List of LaTeX text parts.
LinkList List of identifiers.
LiteratureItem One reference of a bibliography.
LiteratureItemList Bibliography, list of literature items.
Location Describes the "physical" directory location for a module.
LocationList List of locations.
Node A node carries mathematical knowledge.
NodeType Marker interface for different node types.
PredicateDefinition Definition of operator.
Proof Contains a proof for a proposition or rule.
ProofList List of proofs.
Proposition Proposition.
Qedeq A complete qedeq module.
Rule Rule.
Section Section of a qedeq file.
SectionList List of sections.
Specification Describes a specification of a module, that means its name, versions and possible "physical" locations.
Subsection Special subsection of a qedeq file.
SubsectionList List of nodes.
SubsectionType Marker interface for different subsection types.
Term Wraps a term.
UsedByList List of modules which use the current one.
VariableList List of variables.
 

Package org.qedeq.kernel.base.module Description

The main functionalities of qedeq modules are described here.


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.