Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.01
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.qedeq.kernel.bo.control

Contains business object controllers.

See:
          Description

Class Summary
QedeqBoFactory A factory for creating QedeqBos.
QedeqBoFormalLogicChecker Checks if all formulas of a QEDEQ module are well formed.
 

Package org.qedeq.kernel.bo.control Description

Contains business object controllers.

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.01
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    
©left GNU General Public Licence
All Rights Reserved.