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

Packages that use ProofVo

org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

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

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

void	ProofListVo.add(ProofVo proof) Add proof to this list.
void	RuleVo.addProof(ProofVo proof) Add proof to this list.
void	PropositionVo.addProof(ProofVo proof) Add proof to this list.

Uses of ProofVo in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return ProofVo

ProofVo

ProofHandler.getProof() Get proof.