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

Packages that use SubstFunc

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

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

void	Qedeq2LatexExecutor.visitEnter(SubstFunc r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(SubstFunc r)

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

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

SubstFunc

SubstFunc.getSubstFunc() Get this reason.

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

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

class

SubstFuncVo Usage of rule for substitute function variable.

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

SubstFunc

SubstFuncVo.getSubstFunc()

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

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

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

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

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

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

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

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

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