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

Packages that use ProofList

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.

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.module

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

class

ProofListBo List of proofs.

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

ProofList	RuleBo.getProofList()
ProofList	PropositionBo.getProofList()

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()