|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MathematicalState | |
org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
Uses of MathematicalState in org.qedeq.kernel.bo.module |
Fields in org.qedeq.kernel.bo.module declared as MathematicalState | |
static MathematicalState |
MathematicalState.STATE_UNCHECKED
Unchecked. |
static MathematicalState |
MathematicalState.STATE_EXTERNAL_CHECKING
External checking. |
static MathematicalState |
MathematicalState.STATE_EXTERNAL_CHECK_FAILED
Successfully created. |
static MathematicalState |
MathematicalState.STATE_INTERNAL_CHECKING
Internal checking phase. |
static MathematicalState |
MathematicalState.STATE_INTERNAL_CHECK_FAILED
Internal check failed. |
static MathematicalState |
MathematicalState.STATE_CHECKED
Successfully completely checked. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |