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

Packages that use SubstFree

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

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

void	Qedeq2LatexExecutor.visitEnter(SubstFree r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(SubstFree r)

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

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

SubstFree

SubstFree.getSubstFree() Get this reason.

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

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

class

SubstFreeVo Usage of rule for substitute free subject variable.

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

SubstFree

SubstFreeVo.getSubstFree()

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

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

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

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

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

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

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

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

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