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

Packages that use Existential

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

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

void	Qedeq2LatexExecutor.visitEnter(Existential r)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Existential r)

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

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

Existential

Existential.getExistential() Get this reason.

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

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

class

ExistentialVo Usage of rule for existential generalization.

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

Existential

ExistentialVo.getExistential()

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

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

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

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

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

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

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

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

Existential

ExistentialHandler.getExistentialVo() Get Substitute Predicate Variable Rule usage.

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

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

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