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