|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.qedeq.kernel.se.base.module | |
|---|---|
| org.qedeq.kernel.bo.common | Basis classes for all packages. |
| org.qedeq.kernel.bo.logic.proof.checker | This package enables to check proofs with the basic rules. |
| org.qedeq.kernel.bo.logic.proof.common | Contains common proof classes. |
| org.qedeq.kernel.bo.logic.proof.finder | Proof finder can be found here. |
| 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.dependency | Plugin for loading all required modules. |
| org.qedeq.kernel.bo.service.heuristic | Plugin for model checking of formulas. |
| org.qedeq.kernel.bo.service.internal | Central module service plugin functionality. |
| org.qedeq.kernel.bo.service.latex | LaTeX export abilities of the kernel. |
| org.qedeq.kernel.bo.service.logic | Contains logical services. |
| org.qedeq.kernel.bo.service.unicode | UTF-8 export abilities of the kernel. |
| org.qedeq.kernel.se.base.module | The main functionalities of qedeq modules are described here. |
| org.qedeq.kernel.se.common | Common classes. |
| org.qedeq.kernel.se.dto.module | Value objects for QEDEQ modules. |
| org.qedeq.kernel.se.visitor | The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them. |
| org.qedeq.kernel.xml.dao | Load and persist QEDEQ XML modules. |
| org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
| org.qedeq.kernel.xml.mapper | Contains mapper for XML objects. |
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.common | |
|---|---|
| Qedeq
A complete QEDEQ module. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.logic.proof.checker | |
|---|---|
| FormalProofLineList
List of formal proofs lines. |
|
| Rule
Rule. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.logic.proof.common | |
|---|---|
| FormalProofLineList
List of formal proofs lines. |
|
| Rule
Rule. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.logic.proof.finder | |
|---|---|
| FormalProofLineList
List of formal proofs lines. |
|
| ModusPonens
Usage of Modus Ponens. |
|
| Reason
Usage of a rule of interference. |
|
| SubstPred
Usage of substitute predicate variable by formula. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.module | |
|---|---|
| ChangedRule
Change description for an existing rule. |
|
| FunctionDefinition
Definition of function operator. |
|
| PredicateDefinition
Definition of operator. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rule
Rule. |
|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.basis | |
|---|---|
| Axiom
Axiom. |
|
| FunctionDefinition
Definition of function operator. |
|
| Import
Module import. |
|
| Node
A node carries mathematical knowledge. |
|
| PredicateDefinition
Definition of operator. |
|
| Proposition
Proposition. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rule
Rule. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.dependency | |
|---|---|
| Import
Module import. |
|
| ImportList
List of imports. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.heuristic | |
|---|---|
| Axiom
Axiom. |
|
| ConditionalProof
Usage of conditional proof method. |
|
| FormalProofLine
Contains a line of a formal proof for a proposition. |
|
| FunctionDefinition
Definition of function operator. |
|
| InitialFunctionDefinition
Definition of initial function operator. |
|
| InitialPredicateDefinition
Initial Definition of operator. |
|
| Node
A node carries mathematical knowledge. |
|
| PredicateDefinition
Definition of operator. |
|
| Proposition
Proposition. |
|
| Rule
Rule. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.internal | |
|---|---|
| Qedeq
A complete QEDEQ module. |
|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.latex | |
|---|---|
| Add
Usage of addition of already proven formula. |
|
| Axiom
Axiom. |
|
| ChangedRule
Change description for an existing rule. |
|
| ChangedRuleList
List of rule changes. |
|
| Chapter
Chapter. |
|
| 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. |
|
| 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. |
|
| LatexList
List of LaTeX text parts. |
|
| LinkList
List of identifiers. |
|
| LiteratureItem
One reference of a bibliography. |
|
| LiteratureItemList
Bibliography, list of literature items. |
|
| ModusPonens
Usage of Modus Ponens. |
|
| Node
A node carries mathematical knowledge. |
|
| PredicateDefinition
Definition of operator. |
|
| Proof
Contains a non formal proof for a proposition or rule. |
|
| Proposition
Proposition. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rename
Rename bound subject variable. |
|
| Rule
Rule. |
|
| Section
Section of a qedeq file. |
|
| SectionList
List of sections. |
|
| Subsection
Text only subsection of a QEDEQ file. |
|
| 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. |
|
| Universal
Rule of universal generalization. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.logic | |
|---|---|
| Axiom
Axiom. |
|
| FunctionDefinition
Definition of function operator. |
|
| Header
Header of a QEDEQ file. |
|
| InitialFunctionDefinition
Definition of initial function operator. |
|
| InitialPredicateDefinition
Initial Definition of operator. |
|
| PredicateDefinition
Definition of operator. |
|
| Proposition
Proposition. |
|
| Rule
Rule. |
|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.bo.service.unicode | |
|---|---|
| Add
Usage of addition of already proven formula. |
|
| Axiom
Axiom. |
|
| ChangedRule
Change description for an existing rule. |
|
| ChangedRuleList
List of rule changes. |
|
| Chapter
Chapter. |
|
| 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. |
|
| FunctionDefinition
Definition of function operator. |
|
| Header
Header of a QEDEQ file. |
|
| Hypothesis
Hypothesis that can be used as an assumption within a proof. |
|
| ImportList
List of imports. |
|
| InitialFunctionDefinition
Definition of initial function operator. |
|
| InitialPredicateDefinition
Initial Definition of operator. |
|
| LinkList
List of identifiers. |
|
| LiteratureItem
One reference of a bibliography. |
|
| LiteratureItemList
Bibliography, list of literature items. |
|
| ModusPonens
Usage of Modus Ponens. |
|
| Node
A node carries mathematical knowledge. |
|
| PredicateDefinition
Definition of operator. |
|
| Proof
Contains a non formal proof for a proposition or rule. |
|
| Proposition
Proposition. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rename
Rename bound subject variable. |
|
| Rule
Rule. |
|
| Section
Section of a qedeq file. |
|
| Subsection
Text only subsection of a QEDEQ file. |
|
| 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. |
|
| Universal
Rule of universal generalization. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.se.base.module | |
|---|---|
| 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. |
|
| 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. |
|
| Universal
Rule of universal generalization. |
|
| UsedByList
List of modules which use the current one. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.se.common | |
|---|---|
| Specification
Describes a specification of a module, that means its name, versions and possible "physical" locations. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.se.dto.module | |
|---|---|
| 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. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.se.visitor | |
|---|---|
| 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. |
|
| 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. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.xml.dao | |
|---|---|
| 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. |
|
| Chapter
Chapter. |
|
| 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. |
|
| 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. |
|
| PredicateDefinition
Definition of operator. |
|
| Proof
Contains a non formal proof for a proposition or rule. |
|
| Proposition
Proposition. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rename
Rename bound subject variable. |
|
| Rule
Rule. |
|
| Section
Section of a qedeq file. |
|
| 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. |
|
| 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. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.xml.handler.module | |
|---|---|
| Axiom
Axiom. |
|
| Conclusion
Conclusion that is derived from an assumption within a proof. |
|
| Existential
Rule of existential generalization. |
|
| Hypothesis
Hypothesis that can be used as an assumption within a proof. |
|
| InitialPredicateDefinition
Initial Definition of operator. |
|
| Node
A node carries mathematical knowledge. |
|
| PredicateDefinition
Definition of operator. |
|
| Qedeq
A complete QEDEQ module. |
|
| Rule
Rule. |
|
| Subsection
Text only subsection of a QEDEQ file. |
|
| Universal
Rule of universal generalization. |
|
| Classes in org.qedeq.kernel.se.base.module used by org.qedeq.kernel.xml.mapper | |
|---|---|
| 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. |
|
| 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. |
|
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||