|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.rel.test.text.KernelFacade
This class provides static access methods for basic informations.
| Constructor Summary | |
KernelFacade()
|
|
| Method Summary | |
static KernelContext |
getKernelContext()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public KernelFacade()
| Method Detail |
public static KernelContext getKernelContext()
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |