Hilbert II - Version 0.03.03

Uses of Class
org.qedeq.kernel.bo.module.QedeqBo

Packages that use QedeqBo
org.qedeq.kernel.bo.control Contains business object controllers. 
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 that return QedeqBo
static QedeqBo QedeqBoFactory.createQedeq(String globalContext, Qedeq original)
          Create QedeqBo out of an Qedeq instance.
protected  QedeqBo QedeqBoFactory.create(Qedeq original)
          Create QedeqBo out of an Qedeq instance.
protected  QedeqBo QedeqBoFactory.getQedeqCreated()
          Get currently created qedeq module.
 

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.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.03

©left GNU General Public Licence
All Rights Reserved.