Package org.qedeq.kernel.se.base.module

The main functionalities of qedeq modules are described here.

See:
Description

Interface Summary

Add	Usage of addition of already proven formula.
Author	Describes a QEDEQ module author.
AuthorList	List of authors.
Axiom	Axiom.
ChangedRule	Change description for an existing rule.
ChangedRuleList	List of rule changes.
Chapter	Chapter.
ChapterList	List of chapters.
Conclusion	Conclusion that is derived from an assumption within a proof.
ConditionalProof	Usage of conditional proof method.
Existential	Rule of existential generalization.
FormalProof	Contains a formal proof for a proposition.
FormalProofLine	Contains a line of a formal proof for a proposition.
FormalProofLineList	List of formal proofs lines.
FormalProofList	List of non formal proofs.
Formula	Wraps a formula.
FunctionDefinition	Definition of function operator.
Header	Header of a QEDEQ file.
Hypothesis	Hypothesis that can be used as an assumption within a proof.
Import	Module import.
ImportList	List of imports.
InitialFunctionDefinition	Definition of initial function operator.
InitialPredicateDefinition	Initial Definition of operator.
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.
ModusPonens	Usage of Modus Ponens.
Node	A node carries mathematical knowledge.
NodeType	Marker interface for different node types.
PredicateDefinition	Definition of operator.
Proof	Contains a non formal proof for a proposition or rule.
ProofList	List of non formal proofs.
Proposition	Proposition.
Qedeq	A complete QEDEQ module.
Reason	Usage of a rule of interference.
Rename	Rename bound subject variable.
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	Text only subsection of a QEDEQ file.
SubsectionList	List of nodes.
SubsectionType	Encapsulate for different subsection types.
SubstFree	Usage of substitute free subject variable by term.
SubstFunc	Usage of substitute function variable by term.
SubstPred	Usage of substitute predicate variable by formula.
Term	Wraps a term.
Universal	Rule of universal generalization.
UsedByList	List of modules which use the current one.

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

The main functionalities of qedeq modules are described here.