Hilbert II - Version 0.03.04

Uses of Class
org.qedeq.kernel.context.KernelContext

Packages that use KernelContext
org.qedeq.kernel.context Provides access to the kernel.  
org.qedeq.kernel.rel.test.text Test access for the kernel. 
 

Uses of KernelContext in org.qedeq.kernel.context
 

Methods in org.qedeq.kernel.context that return KernelContext
static KernelContext KernelContext.getInstance()
          Get instance of kernel context.
 

Uses of KernelContext in org.qedeq.kernel.rel.test.text
 

Methods in org.qedeq.kernel.rel.test.text that return KernelContext
static KernelContext KernelFacade.getKernelContext()
           
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.