Uses of Class
org.qedeq.kernel.bo.module.ProofListBo

Packages that use ProofListBo

org.qedeq.kernel.bo.module

Business objects for qedeq modules.

Uses of ProofListBo in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module with parameters of type ProofListBo

void	RuleBo.setProofList(ProofListBo proofList) Set rule proof list.
void	PropositionBo.setProofList(ProofListBo proofList) Set proof list of this proposition.