Hilbert II - Version 0.03.01
A B C D E F G H I K L M N O P Q R S T U V W X

Q

Qedeq - interface org.qedeq.kernel.base.module.Qedeq.
A complete qedeq module.
Qedeq2Latex - class org.qedeq.kernel.latex.Qedeq2Latex.
Transfer a qedeq module into a LaTeX file.
Qedeq2Latex(String, Qedeq) - Constructor for class org.qedeq.kernel.latex.Qedeq2Latex
Constructor.
Qedeq2Wiki - class org.qedeq.kernel.latex.Qedeq2Wiki.
Transfer a qedeq module into text files in MediaWiki format.
Qedeq2Wiki(String, Qedeq) - Constructor for class org.qedeq.kernel.latex.Qedeq2Wiki
Constructor.
Qedeq2Xml - class org.qedeq.kernel.latex.Qedeq2Xml.
FIXME mime 20061230: just a test class.
QedeqBo - class org.qedeq.kernel.bo.module.QedeqBo.
A complete QEDEQ module.
QedeqBo() - Constructor for class org.qedeq.kernel.bo.module.QedeqBo
Constructs a new empty qedeq module.
QedeqBoFactory - class org.qedeq.kernel.bo.control.QedeqBoFactory.
A factory for creating QedeqBos.
QedeqBoFactory(String) - Constructor for class org.qedeq.kernel.bo.control.QedeqBoFactory
Constructor.
QedeqBoFormalLogicChecker - class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker.
Checks if all formulas of a QEDEQ module are well formed.
QedeqBoState - class org.qedeq.kernel.bo.module.QedeqBoState.
Represents a module state.
QedeqException - exception org.qedeq.kernel.base.common.QedeqException.
Base class for all exceptions of this application.
QedeqException(int, String, Exception) - Constructor for class org.qedeq.kernel.base.common.QedeqException
Constructor.
QedeqException(int, String) - Constructor for class org.qedeq.kernel.base.common.QedeqException
Constructor.
QedeqHandler - class org.qedeq.kernel.xml.handler.module.QedeqHandler.
Parses complete qedeq modules.
QedeqHandler(SaxDefaultHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.QedeqHandler
Handle a qedeq module.
QedeqNotNullTransverser - class org.qedeq.kernel.bo.visitor.QedeqNotNullTransverser.
Traverse QEDEQ module.
QedeqNotNullTransverser(String, QedeqVisitor) - Constructor for class org.qedeq.kernel.bo.visitor.QedeqNotNullTransverser
Constructor.
QedeqPane - class org.qedeq.kernel.rel.test.gui.QedeqPane.
View for Qedeq xml files.
QedeqPane(XmlFilePositionException) - Constructor for class org.qedeq.kernel.rel.test.gui.QedeqPane
Creates new Panel.
QedeqTransverser - interface org.qedeq.kernel.bo.visitor.QedeqTransverser.
Traverse a QEDEQ module and visit all elements.
QedeqVisitor - interface org.qedeq.kernel.bo.visitor.QedeqVisitor.
Here are all elements to visit assembled that can be visited within a QEDEQ module.
QedeqVo - class org.qedeq.kernel.dto.module.QedeqVo.
A complete qedeq module.
QedeqVo() - Constructor for class org.qedeq.kernel.dto.module.QedeqVo
Constructs a new empty qedeq module.
quote(String) - Static method in class org.qedeq.kernel.utility.IoUtility
Quotes a String.

Hilbert II - Version 0.03.01
A B C D E F G H I K L M N O P Q R S T U V W X
©left GNU General Public Licence
All Rights Reserved.