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

Package org.qedeq.kernel.bo.control

Contains business object controllers.

See:
          Description

Interface Summary
HigherLogicalErrors Error codes and messages for formula checker.
 

Class Summary
QedeqBoDuplicateLanguageChecker Checks if all formulas of a QEDEQ module are well formed.
QedeqBoFormalLogicChecker Checks if all formulas of a QEDEQ module are well formed.
 

Exception Summary
LatexListDataException Data validation error for an LatexList element of a QEDEQ module.
 

Package org.qedeq.kernel.bo.control Description

Contains business object controllers.

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