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

Packages that use Universal

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.handler.module	Handler to parse qedeq XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

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

void	Qedeq2LatexExecutor.visitEnter(Universal r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Universal r)

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

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

Universal

Universal.getUniversal() Get this reason.

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

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

class

UniversalVo Usage of rule for universal generalization.

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

Universal

UniversalVo.getUniversal()

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

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

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

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

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

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

Uses of Universal in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return Universal

Universal

UniversalHandler.getUniversalVo() Get rule object.

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

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

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