|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ModusPonensVo | |
---|---|
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Uses of ModusPonensVo in org.qedeq.kernel.xml.handler.module |
---|
Methods in org.qedeq.kernel.xml.handler.module that return ModusPonensVo | |
---|---|
ModusPonensVo |
ModusPonensHandler.getModusPonensVo()
Get Modus Ponens usage. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |