|
Hilbert II - Version 0.03.03 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| 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 | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |