|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |