Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.argument.PatternVariable

Packages that use PatternVariable
com.meyling.principia.argument   
com.meyling.principia.logic.basic   
 

Uses of PatternVariable in com.meyling.principia.argument
 

Methods in com.meyling.principia.argument that return PatternVariable
 PatternVariable PatternVariables.get(PatternVariable variable)
          Get PatternVariable object from the set.
 

Methods in com.meyling.principia.argument with parameters of type PatternVariable
 void PatternVariables.add(PatternVariable variable)
          Add an PatternVariable if not already there.
 PatternVariable PatternVariables.get(PatternVariable variable)
          Get PatternVariable object from the set.
 boolean PatternVariables.contains(PatternVariable variable)
          Is variable in the set?
 void PatternVariables.remove(PatternVariable variable)
          Remove pattern variable with same number from the set.
 

Uses of PatternVariable in com.meyling.principia.logic.basic
 

Subclasses of PatternVariable in com.meyling.principia.logic.basic
 class BasicFormulaPatternVariable
          Pattern variable, for matching purposes.
 class BasicPatternVariable
          Pattern variable, for matching purposes.
 class BasicPredicateVariablePatternVariable
          Pattern variable, for matching purposes.
 class BasicSubjectVariablePatternVariable
          Pattern variable, for matching purposes.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.