Uses of Class com.meyling.principia.argument.VariableList (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.argument.VariableList

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.