|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.qedeq.kernel.bo.logic.common | |
|---|---|
| org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
| org.qedeq.kernel.bo.logic.common | Here are the common classes that every logical package needs. |
| org.qedeq.kernel.bo.logic.model | Here are simple model implementations. |
| 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.wf | Checking for being well-formed formulas. |
| org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
| org.qedeq.kernel.bo.service.logic | Contains logical services. |
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic | |
|---|---|
| FormulaChecker
A formula checker can check logical correctness of a formula or term. |
|
| FormulaCheckerFactory
Can create a FormulaChecker. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic.common | |
|---|---|
| ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
| ExistenceChecker
Check if operators are already defined and well formed. |
|
| FormulaChecker
A formula checker can check logical correctness of a formula or term. |
|
| FunctionExistenceChecker
Check if a function is already defined. |
|
| FunctionKey
Function constant key, describing a function constant. |
|
| IdentityOperatorExistenceChecker
Check if the predicate for identity is already defined. |
|
| LogicalCheckException
This is the basis for an exception for logical errors within a QEDEQ module. |
|
| LogicalCheckExceptionList
Type save LogicalCheckException list. |
|
| Operators
Logical and term operators. |
|
| PredicateExistenceChecker
Check if a predicate is already defined. |
|
| PredicateKey
Predicate constant key, describing a predicate constant. |
|
| RuleExistenceChecker
Check if a rule is already defined. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic.model | |
|---|---|
| FunctionConstant
Function constant. |
|
| PredicateConstant
Predicate constant. |
|
| SubjectVariable
One subject variable. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic.proof.checker | |
|---|---|
| LogicalCheckException
This is the basis for an exception for logical errors within a QEDEQ module. |
|
| LogicalCheckExceptionList
Type save LogicalCheckException list. |
|
| ReferenceResolver
Resolver for references from formal proof lines. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic.proof.common | |
|---|---|
| LogicalCheckExceptionList
Type save LogicalCheckException list. |
|
| ReferenceResolver
Resolver for references from formal proof lines. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.logic.wf | |
|---|---|
| ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
| ExistenceChecker
Check if operators are already defined and well formed. |
|
| FormulaChecker
A formula checker can check logical correctness of a formula or term. |
|
| FunctionExistenceChecker
Check if a function is already defined. |
|
| FunctionKey
Function constant key, describing a function constant. |
|
| IdentityOperatorExistenceChecker
Check if the predicate for identity is already defined. |
|
| LogicalCheckException
This is the basis for an exception for logical errors within a QEDEQ module. |
|
| LogicalCheckExceptionList
Type save LogicalCheckException list. |
|
| Operators
Logical and term operators. |
|
| PredicateExistenceChecker
Check if a predicate is already defined. |
|
| PredicateKey
Predicate constant key, describing a predicate constant. |
|
| RuleExistenceChecker
Check if a rule is already defined. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.module | |
|---|---|
| ClassOperatorAlreadyExistsException
A class operator was defined twice. |
|
| ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
| ExistenceChecker
Check if operators are already defined and well formed. |
|
| FunctionConstant
Function constant. |
|
| FunctionExistenceChecker
Check if a function is already defined. |
|
| FunctionKey
Function constant key, describing a function constant. |
|
| IdentityOperatorAlreadyExistsException
The identity operator was defined twice. |
|
| IdentityOperatorExistenceChecker
Check if the predicate for identity is already defined. |
|
| PredicateConstant
Predicate constant. |
|
| PredicateExistenceChecker
Check if a predicate is already defined. |
|
| PredicateKey
Predicate constant key, describing a predicate constant. |
|
| RuleExistenceChecker
Check if a rule is already defined. |
|
| Classes in org.qedeq.kernel.bo.logic.common used by org.qedeq.kernel.bo.service.logic | |
|---|---|
| ClassOperatorAlreadyExistsException
A class operator was defined twice. |
|
| ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
| ExistenceChecker
Check if operators are already defined and well formed. |
|
| FunctionConstant
Function constant. |
|
| FunctionExistenceChecker
Check if a function is already defined. |
|
| FunctionKey
Function constant key, describing a function constant. |
|
| IdentityOperatorAlreadyExistsException
The identity operator was defined twice. |
|
| IdentityOperatorExistenceChecker
Check if the predicate for identity is already defined. |
|
| PredicateConstant
Predicate constant. |
|
| PredicateExistenceChecker
Check if a predicate is already defined. |
|
| PredicateKey
Predicate constant key, describing a predicate constant. |
|
| ReferenceResolver
Resolver for references from formal proof lines. |
|
| RuleExistenceChecker
Check if a rule is already defined. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||