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

Packages that use FormalProof

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

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

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

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

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

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

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

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

FormalProof

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

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

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

class

FormalProofVo Contains a formal proof for a proposition.

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

FormalProof

FormalProofListVo.get(int index)

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

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

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

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

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

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

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

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

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