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

Packages that use Add

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 Add in org.qedeq.kernel.bo.service.latex

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

void	Qedeq2LatexExecutor.visitEnter(Add r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Add r)

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

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

Add	Add.getAdd() Get this reason.

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

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

class

AddVo Usage of formula addition.

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

Add	AddVo.getAdd()

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

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

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

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

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

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

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

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

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