|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Interface Summary | |
| HigherLogicalErrors | Error codes and messages for formula checker. |
| Class Summary | |
| QedeqBoFactory | A factory for creating QedeqBos.
|
| QedeqBoFormalLogicChecker | Checks if all formulas of a QEDEQ module are well formed. |
| Exception Summary | |
| DuplicateLanguageEntryException | Duplicate language entry exception. |
| IllegalDataException | Data validation error. |
| NullPointerListEntryException | List contains NullPointer entry exception. |
Contains business object controllers.
|
Hilbert II - Version 0.03.02 | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |