|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SubstPredVo | |
---|---|
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Uses of SubstPredVo in org.qedeq.kernel.xml.handler.module |
---|
Methods in org.qedeq.kernel.xml.handler.module that return SubstPredVo | |
---|---|
SubstPredVo |
SubstPredvarHandler.getSubstPredVo()
Get Substitute Predicate Variable Rule usage. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |