|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProofListVo | |
---|---|
org.qedeq.kernel.se.dto.module | Value objects for QEDEQ modules. |
Uses of ProofListVo in org.qedeq.kernel.se.dto.module |
---|
Methods in org.qedeq.kernel.se.dto.module with parameters of type ProofListVo | |
---|---|
void |
RuleVo.setProofList(ProofListVo proofList)
Set rule proof list. |
void |
PropositionVo.setProofList(ProofListVo proofList)
Set proof list. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |