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

Packages that use Rename

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

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

void	Qedeq2LatexExecutor.visitEnter(Rename r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Rename r)

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

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

Rename

Rename.getRename() Get this reason.

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

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

class

RenameVo Usage of rule for rename bound subject variable.

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

Rename

RenameVo.getRename()

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

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

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

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

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

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

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

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

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