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

Packages that use FormalProofVo

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 FormalProofVo in org.qedeq.kernel.se.dto.module

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

void	FormalProofListVo.add(FormalProofVo proof) Add proof to this list.
void	PropositionVo.addFormalProof(FormalProofVo proof) Add non formal proof to this list.

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

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

FormalProofVo

FormalProofHandler.getProof() Get proof.