|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ClassOperatorExistenceChecker | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.control |
Classes in org.qedeq.kernel.bo.control that implement ClassOperatorExistenceChecker | |
class |
QedeqBoFormalLogicChecker
Checks if all formulas of a QEDEQ module are well formed. |
Uses of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic |
Subinterfaces of ClassOperatorExistenceChecker in org.qedeq.kernel.bo.logic | |
interface |
ExistenceChecker
Check if operators are already defined. |
Classes in org.qedeq.kernel.bo.logic that implement ClassOperatorExistenceChecker | |
class |
EverythingExists
This implementation gives always the answer true to the question
exists this predicate? |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |