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

Packages that use Proof

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

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

void	Qedeq2LatexExecutor.visitEnter(Proof proof)
void	Qedeq2LatexExecutor.visitLeave(Proof proof)

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

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

void	Qedeq2UnicodeVisitor.visitEnter(Proof proof)
void	Qedeq2UnicodeVisitor.visitLeave(Proof proof)

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

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

Proof

ProofList.get(int index) Get index-th element of list.

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

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

class

ProofVo Contains a non formal proof for a proposition or rule.

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

Proof

ProofListVo.get(int index)

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

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

void	QedeqNotNullTraverser.accept(Proof proof)
void	QedeqTraverser.accept(Proof proof) Traverse proof.
void	QedeqVisitor.visitEnter(Proof proof) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Proof proof)
void	QedeqVisitor.visitLeave(Proof proof) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Proof proof)

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

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

void	Qedeq2Xml.visitEnter(Proof proof)
void	Qedeq2Xml.visitLeave(Proof proof)

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

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

void	Context2SimpleXPath.visitEnter(Proof proof)
void	Context2SimpleXPath.visitLeave(Proof proof)