|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Qedeq | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
org.qedeq.kernel.bo.visitor | The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them. |
org.qedeq.kernel.dto.module | Value objects for qedeq modules. |
org.qedeq.kernel.latex | LaTeX export abilities of the kernel. |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Uses of Qedeq in org.qedeq.kernel.bo.control |
Methods in org.qedeq.kernel.bo.control that return Qedeq | |
protected Qedeq |
QedeqBoFormalLogicChecker.getQedeqOriginal()
Get original qedeq module. |
protected Qedeq |
QedeqBoFactory.getQedeqOriginal()
Get original qedeq module. |
Methods in org.qedeq.kernel.bo.control with parameters of type Qedeq | |
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.
|
Uses of Qedeq in org.qedeq.kernel.bo.module |
Classes in org.qedeq.kernel.bo.module that implement Qedeq | |
class |
QedeqBo
A complete QEDEQ module. |
Uses of Qedeq in org.qedeq.kernel.bo.visitor |
Methods in org.qedeq.kernel.bo.visitor with parameters of type Qedeq | |
void |
QedeqVisitor.visitEnter(Qedeq qedeq)
Visit certain element. |
void |
QedeqVisitor.visitLeave(Qedeq qedeq)
Visit certain element. |
void |
QedeqTransverser.accept(Qedeq qedeq)
Start with the top structure of a QEDEQ module. |
void |
QedeqNotNullTransverser.accept(Qedeq qedeq)
|
void |
AbstractModuleVisitor.visitEnter(Qedeq qedeq)
|
void |
AbstractModuleVisitor.visitLeave(Qedeq qedeq)
|
Uses of Qedeq in org.qedeq.kernel.dto.module |
Classes in org.qedeq.kernel.dto.module that implement Qedeq | |
class |
QedeqVo
A complete qedeq module. |
Uses of Qedeq in org.qedeq.kernel.latex |
Methods in org.qedeq.kernel.latex with parameters of type Qedeq | |
static void |
Qedeq2Xml.print(String globalContext,
Qedeq qedeq,
OutputStream outputStream)
TODO. |
void |
Qedeq2Xml.printXml(String globalContext,
Qedeq qedeq,
OutputStream outputStream)
Prints a XML file into a given output stream. |
void |
Qedeq2Xml.visitEnter(Qedeq qedeq)
|
void |
Qedeq2Xml.visitLeave(Qedeq qedeq)
|
Constructors in org.qedeq.kernel.latex with parameters of type Qedeq | |
Qedeq2Wiki(String context,
Qedeq qedeq)
Constructor. |
|
Qedeq2Latex(String context,
Qedeq qedeq)
Constructor. |
Uses of Qedeq in org.qedeq.kernel.xml.handler.module |
Methods in org.qedeq.kernel.xml.handler.module that return Qedeq | |
Qedeq |
QedeqHandler.getQedeq()
Get qedeq value object. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |