Uses of Interface
org.qedeq.kernel.se.base.module.ModusPonens

Packages that use ModusPonens

org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

Uses of ModusPonens in org.qedeq.kernel.bo.logic.proof.finder

Classes in org.qedeq.kernel.bo.logic.proof.finder that implement ModusPonens

class

ModusPonensBo Modes Ponens usage.

Methods in org.qedeq.kernel.bo.logic.proof.finder that return ModusPonens

ModusPonens

ModusPonensBo.getModusPonens()

Uses of ModusPonens in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex with parameters of type ModusPonens

void	Qedeq2LatexExecutor.visitEnter(ModusPonens r)

Uses of ModusPonens in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type ModusPonens

void	Qedeq2UnicodeVisitor.visitEnter(ModusPonens r)

Uses of ModusPonens in org.qedeq.kernel.se.base.module

Methods in org.qedeq.kernel.se.base.module that return ModusPonens

ModusPonens

ModusPonens.getModusPonens() Get this reason.

Uses of ModusPonens in org.qedeq.kernel.se.dto.module

Classes in org.qedeq.kernel.se.dto.module that implement ModusPonens

class

ModusPonensVo Modes Ponens usage.

Methods in org.qedeq.kernel.se.dto.module that return ModusPonens

ModusPonens

ModusPonensVo.getModusPonens()

Uses of ModusPonens in org.qedeq.kernel.se.visitor

Methods in org.qedeq.kernel.se.visitor with parameters of type ModusPonens

void	QedeqNotNullTraverser.accept(ModusPonens reason)
void	QedeqTraverser.accept(ModusPonens reason) Traverse formal proof line reason.
void	QedeqVisitor.visitEnter(ModusPonens reason) Visit certain element.
void	AbstractModuleVisitor.visitEnter(ModusPonens reason)
void	QedeqVisitor.visitLeave(ModusPonens reason) Visit certain element.
void	AbstractModuleVisitor.visitLeave(ModusPonens reason)

Uses of ModusPonens in org.qedeq.kernel.xml.dao

Methods in org.qedeq.kernel.xml.dao with parameters of type ModusPonens

void	Qedeq2Xml.visitEnter(ModusPonens reason)
void	Qedeq2Xml.visitLeave(ModusPonens reason)

Uses of ModusPonens in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type ModusPonens

void	Context2SimpleXPath.visitEnter(ModusPonens reason)
void	Context2SimpleXPath.visitLeave(ModusPonens reason)