Uses of Class
org.qedeq.kernel.bo.module.QedeqBo

Packages that use QedeqBo

org.qedeq.kernel.bo.control

Contains business object controllers.

Uses of QedeqBo in org.qedeq.kernel.bo.control

Methods in org.qedeq.kernel.bo.control that return QedeqBo

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.
protected QedeqBo	QedeqBoFactory.getQedeqCreated() Get currently created qedeq module.

Methods in org.qedeq.kernel.bo.control with parameters of type QedeqBo

static void

QedeqBoFormalLogicChecker.check(String globalContext, QedeqBo qedeq) Checks if all formulas of a QEDEQ module are well formed.