|
||||||||||
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 |