Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Hilbert II - Version 0.03.09
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
K
KernelContext
- class org.qedeq.kernel.context.
KernelContext
.
This class provides static access methods for basic informations.
KernelModuleReferenceList
- class org.qedeq.kernel.bo.control.
KernelModuleReferenceList
.
Represents a reference list of modules.
KernelModuleReferenceList()
- Constructor for class org.qedeq.kernel.bo.control.
KernelModuleReferenceList
Constructs an empty list of module references.
KernelProperties
- interface org.qedeq.kernel.bo.module.
KernelProperties
.
QEDEQ kernel.
KernelQedeqBo
- class org.qedeq.kernel.bo.control.
KernelQedeqBo
.
Represents a module and its states.
KernelQedeqBo(ModuleAddress)
- Constructor for class org.qedeq.kernel.bo.control.
KernelQedeqBo
Creates new module properties.
KernelQedeqBoPool
- class org.qedeq.kernel.bo.control.
KernelQedeqBoPool
.
Encapsulates all modules.
KernelQedeqBoPool()
- Constructor for class org.qedeq.kernel.bo.control.
KernelQedeqBoPool
KernelServices
- interface org.qedeq.kernel.bo.module.
KernelServices
.
The main QEDEQ kernel methods are assembled here.
KernelState
- interface org.qedeq.kernel.bo.control.
KernelState
.
State changing methods for the kernel.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Hilbert II - Version 0.03.09
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
©left GNU General Public Licence
All Rights Reserved.