|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Parameter | |
org.qedeq.kernel.rel.test.gui | GUI interface to test the kernel. |
Uses of Parameter in org.qedeq.kernel.rel.test.gui |
Methods in org.qedeq.kernel.rel.test.gui that return Parameter | |
Parameter |
ParameterList.get(int i)
Get i -th parameter. |
Parameter |
ParameterList.get(String name)
Get parameter by name. |
Methods in org.qedeq.kernel.rel.test.gui with parameters of type Parameter | |
void |
ParameterList.add(Parameter parameter)
Add parameter to list. |
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |