|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.qedeq.kernel.bo.logic | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
Classes in org.qedeq.kernel.bo.logic used by org.qedeq.kernel.bo.control | |
ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
EqualityOperatorExistenceChecker
Check if the predicate for equality is already defined. |
|
ExistenceChecker
Check if operators are already defined. |
|
FunctionExistenceChecker
Check if a function is already defined. |
|
PredicateExistenceChecker
Check if a predicate is already defined. |
Classes in org.qedeq.kernel.bo.logic used by org.qedeq.kernel.bo.logic | |
ClassOperatorExistenceChecker
Check if the class operator is already defined. |
|
EqualFormula
Encapsulates a logical formula. |
|
EqualFormulaSet
This class represents a set of Element s. |
|
EqualityOperatorExistenceChecker
Check if the predicate for equality is already defined. |
|
ExistenceChecker
Check if operators are already defined. |
|
FormulaBasicErrors
Error codes and messages for formula checker. |
|
FunctionExistenceChecker
Check if a function is already defined. |
|
LogicalCheckException
This is the basis for an exception for logical errors within a QEDEQ module. |
|
Operators
Logical and term operators. |
|
PredicateExistenceChecker
Check if a predicate is already defined. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |