|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use QedeqVisitor | |
org.qedeq.kernel.bo.control | Contains business object controllers. |
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.latex | LaTeX export abilities of the kernel. |
Uses of QedeqVisitor in org.qedeq.kernel.bo.control |
Classes in org.qedeq.kernel.bo.control that implement QedeqVisitor | |
class |
QedeqBoFormalLogicChecker
Checks if all formulas of a QEDEQ module are well formed. |
Uses of QedeqVisitor in org.qedeq.kernel.bo.visitor |
Classes in org.qedeq.kernel.bo.visitor that implement QedeqVisitor | |
class |
AbstractModuleVisitor
Basic visitor that makes nothing. |
Constructors in org.qedeq.kernel.bo.visitor with parameters of type QedeqVisitor | |
QedeqNotNullTransverser(String globalContext,
QedeqVisitor visitor)
Constructor. |
Uses of QedeqVisitor in org.qedeq.kernel.latex |
Classes in org.qedeq.kernel.latex that implement QedeqVisitor | |
class |
Qedeq2Xml
FIXME mime 20061230: just a test class. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |