|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use VariableList | |
com.meyling.principia.argument | |
com.meyling.principia.logic.basic |
Uses of VariableList in com.meyling.principia.argument |
Methods in com.meyling.principia.argument that return VariableList | |
VariableList |
FoundException.getList()
Get current parent children list. |
Uses of VariableList in com.meyling.principia.logic.basic |
Methods in com.meyling.principia.logic.basic that return VariableList | |
VariableList |
BasicPatternVariables.getVariables()
Get VariableList of all variables, the list is orderd by type and number of the pattern variables. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |