|
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. |