Hilbert II - JAVA-Packages - Principia Mathematica II

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.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.