Uses of Class
org.qedeq.kernel.se.dto.module.ProofListVo

Packages that use ProofListVo

org.qedeq.kernel.se.dto.module

Value objects for QEDEQ modules.

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

Methods in org.qedeq.kernel.se.dto.module with parameters of type ProofListVo

void	RuleVo.setProofList(ProofListVo proofList) Set rule proof list.
void	PropositionVo.setProofList(ProofListVo proofList) Set proof list.