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

Packages that use Proof

org.qedeq.kernel.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

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

Proof

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

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

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

void	QedeqVisitor.visitEnter(Proof proof) Visit certain element.
void	QedeqVisitor.visitLeave(Proof proof) Visit certain element.
void	QedeqTransverser.accept(Proof proof) Traverse proof.
void	QedeqNotNullTransverser.accept(Proof proof)
void	AbstractModuleVisitor.visitEnter(Proof proof)
void	AbstractModuleVisitor.visitLeave(Proof proof)

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

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

class

ProofVo Contains a proof for a proposition.

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

Proof

ProofListVo.get(int index)

Uses of Proof in org.qedeq.kernel.latex

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

void	Qedeq2Xml.visitEnter(Proof proof)
void	Qedeq2Xml.visitLeave(Proof proof)
void	Qedeq2Latex.visitEnter(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)