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.

Qedeq2Wiki - class org.qedeq.kernel.latex.Qedeq2Wiki.

Transfer a QEDEQ module into text files in MediaWiki format.

Qedeq2Wiki(QedeqBo) - Constructor for class org.qedeq.kernel.latex.Qedeq2Wiki

Constructor.

Qedeq2Xml - class org.qedeq.kernel.latex.Qedeq2Xml.

This class prints a QEDEQ module in XML format in an output stream.

QedeqBo - interface org.qedeq.kernel.common.QedeqBo.

Represents a module and its states.

QedeqBoDuplicateLanguageChecker - class org.qedeq.kernel.bo.control.QedeqBoDuplicateLanguageChecker.

Checks if all formulas of a QEDEQ module are well formed.

QedeqBoFormalLogicChecker - class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker.

Checks if all formulas of a QEDEQ module are well formed.

QedeqConfig - class org.qedeq.kernel.config.QedeqConfig.

This class gives a type save access to properties of the application.

QedeqConfig(File, String, File) - Constructor for class org.qedeq.kernel.config.QedeqConfig

Constructor.

QedeqException - exception org.qedeq.kernel.common.QedeqException.

Base class for all exceptions of this application.

QedeqException(int, String, Throwable) - Constructor for class org.qedeq.kernel.common.QedeqException

Constructor.

QedeqException(int, String) - Constructor for class org.qedeq.kernel.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.

QedeqLog - class org.qedeq.kernel.log.QedeqLog.

This class organizes the logging.

QedeqNotNullTraverser - class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser.

Traverse QEDEQ module.

QedeqNotNullTraverser(ModuleAddress, QedeqVisitor) - Constructor for class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

Constructor.

QedeqTraverser - interface org.qedeq.kernel.bo.visitor.QedeqTraverser.

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.

QedeqVoBuilder - class org.qedeq.kernel.bo.load.QedeqVoBuilder.

An builder for creating QedeqVos.

QedeqVoBuilder(ModuleAddress) - Constructor for class org.qedeq.kernel.bo.load.QedeqVoBuilder

Constructor.

quote(String) - Static method in class org.qedeq.kernel.utility.StringUtility

Quotes a String.