|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use QedeqBo | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
org.qedeq.kernel.bo.load | Load QEDEQ module files from local system or from the internet. |
org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
org.qedeq.kernel.context | Provides access to the kernel. |
org.qedeq.kernel.latex | LaTeX export abilities of the kernel. |
Uses of QedeqBo in org.qedeq.kernel.bo.control |
Methods in org.qedeq.kernel.bo.control with parameters of type QedeqBo | |
static void |
QedeqBoFormalLogicChecker.check(String globalContext,
QedeqBo qedeq)
Checks if all formulas of a QEDEQ module are well formed. |
static void |
QedeqBoDuplicateLanguageChecker.check(String globalContext,
QedeqBo qedeq)
Checks if all formulas of a QEDEQ module are well formed. |
Uses of QedeqBo in org.qedeq.kernel.bo.load |
Classes in org.qedeq.kernel.bo.load that implement QedeqBo | |
class |
DefaultQedeqBo
A complete QEDEQ module. |
Methods in org.qedeq.kernel.bo.load that return QedeqBo | |
protected QedeqBo |
QedeqBoFactory.getQedeqCreated()
Get currently created QEDEQ module. |
QedeqBo |
DefaultModuleProperties.getModule()
|
QedeqBo |
DefaultModuleFactory.loadModule(String address)
Get a certain module. |
QedeqBo |
DefaultModuleFactory.loadModule(ModuleAddress moduleAddress)
|
QedeqBo |
DefaultModuleFactory.loadModule(QedeqBo module,
Specification spec)
|
Methods in org.qedeq.kernel.bo.load with parameters of type QedeqBo | |
void |
DefaultModuleProperties.setLoaded(QedeqBo module)
|
QedeqBo |
DefaultModuleFactory.loadModule(QedeqBo module,
Specification spec)
|
static ModuleAddress[] |
DefaultModuleAddress.getModulePaths(QedeqBo module,
Specification spec)
Get all potential module addresses from a module specification. |
Uses of QedeqBo in org.qedeq.kernel.bo.module |
Methods in org.qedeq.kernel.bo.module that return QedeqBo | |
QedeqBo |
ModuleProperties.getModule()
Get module. |
QedeqBo |
ModuleFactory.loadModule(String address)
Get a certain module. |
QedeqBo |
ModuleFactory.loadModule(ModuleAddress moduleAddress)
Get a certain module. |
QedeqBo |
ModuleFactory.loadModule(QedeqBo module,
Specification spec)
Load a certain module. |
Methods in org.qedeq.kernel.bo.module with parameters of type QedeqBo | |
void |
ModuleProperties.setLoaded(QedeqBo module)
Set checked and loaded state and module. |
QedeqBo |
ModuleFactory.loadModule(QedeqBo module,
Specification spec)
Load a certain module. |
Uses of QedeqBo in org.qedeq.kernel.context |
Methods in org.qedeq.kernel.context that return QedeqBo | |
QedeqBo |
KernelContext.loadModule(String address)
|
QedeqBo |
KernelContext.loadModule(ModuleAddress moduleAddress)
|
QedeqBo |
KernelContext.loadModule(QedeqBo module,
Specification spec)
|
Methods in org.qedeq.kernel.context with parameters of type QedeqBo | |
QedeqBo |
KernelContext.loadModule(QedeqBo module,
Specification spec)
|
Uses of QedeqBo in org.qedeq.kernel.latex |
Methods in org.qedeq.kernel.latex with parameters of type QedeqBo | |
static void |
Qedeq2Xml.print(String globalContext,
QedeqBo qedeq,
TextOutput printer)
Prints a XML representation of given QEDEQ module into a given output stream. |
static void |
Qedeq2Latex.print(String globalContext,
QedeqBo qedeq,
TextOutput printer,
String language,
String level)
Prints a XML representation of given QEDEQ module into a given output stream. |
Constructors in org.qedeq.kernel.latex with parameters of type QedeqBo | |
Qedeq2Wiki(String context,
QedeqBo qedeq)
Constructor. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |