|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VariableListVo | |
org.qedeq.kernel.dto.module | Value objects for qedeq modules. |
org.qedeq.kernel.xml.handler.module | Handler to parse qedeq XML modules. |
Uses of VariableListVo in org.qedeq.kernel.dto.module |
Methods in org.qedeq.kernel.dto.module with parameters of type VariableListVo | |
void |
PredicateDefinitionVo.setVariableList(VariableListVo variables)
Set list of formula or subject variables to be replaced in the LaTeX pattern. |
void |
FunctionDefinitionVo.setVariableList(VariableListVo variables)
Set list of formula or subject variables to be replaced in the LaTeX pattern. |
Uses of VariableListVo in org.qedeq.kernel.xml.handler.module |
Methods in org.qedeq.kernel.xml.handler.module that return VariableListVo | |
VariableListVo |
VariableListHandler.getVariables()
Get parsed result. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |