Hilbert II - Version 0.03.04

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

Packages that use ProofVo
org.qedeq.kernel.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.dto.module
 

Methods in org.qedeq.kernel.dto.module with parameters of type ProofVo
 void RuleVo.addProof(ProofVo proof)
          Add proof to this list.
 void PropositionVo.addProof(ProofVo proof)
          Add proof to this list.
 void ProofListVo.add(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.
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.