Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.02
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use ProofListVo
org.qedeq.kernel.dto.module Value objects for qedeq modules.  
 

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

Methods in org.qedeq.kernel.dto.module with parameters of type ProofListVo
 void RuleVo.setProofList(ProofListVo proofList)
          Set rule proof list.
 void PropositionVo.setProofList(ProofListVo proofList)
          Set proof list.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.02
 PREV   NEXT FRAMES    NO FRAMES    
©left GNU General Public Licence
All Rights Reserved.