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

Packages that use ProofList

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.mapper	Contains mapper for XML objects.

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

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

ProofList	Proposition.getProofList() Get non formal proofs for proposition.
ProofList	Rule.getProofList() Get proofs for rule declaration.

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

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

class

ProofListVo List of proofs.

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

ProofList	RuleVo.getProofList()
ProofList	PropositionVo.getProofList()

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

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

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

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

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

void	Context2SimpleXPath.visitEnter(ProofList proofList)