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

Packages that use ProofList

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

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

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

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

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

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

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

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

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

class

ProofListVo List of proofs.

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

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

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)