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