Hilbert II - Version 0.03.04

Uses of Interface
org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker

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

©left GNU General Public Licence
All Rights Reserved.