Hilbert II - JAVA-Packages - Principia Mathematica II

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

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

Uses of PatternVariables in com.meyling.principia.argument
 

Methods in com.meyling.principia.argument that return PatternVariables
 PatternVariables Argument.getPatternVariables()
          Get all pattern variables that occur in this argument.
 PatternVariables AbstractArgument.getPatternVariables()
           
 

Methods in com.meyling.principia.argument with parameters of type PatternVariables
 boolean PatternVariables.contains(PatternVariables variables)
          Are these PatternVariables in the set?
 boolean PatternVariables.emptyIntersection(PatternVariables variables)
          Are all of these PatternVariables not in the set?
 boolean PatternVariables.equals(PatternVariables variables)
          Is this object equal to another one?
 void PatternVariables.addAll(PatternVariables newOnes)
          Add all these PatternVariables to the set?
 Argument Argument.replace(PatternVariables variables)
          Replace every pattern variable that occurs in variables with its content.
 boolean Argument.matches(Argument pattern, PatternVariables variables)
          Does this argument match the pattern?
 Argument AbstractArgument.replace(PatternVariables variables)
           
 boolean AbstractArgument.matches(Argument pattern, PatternVariables variables)
           
 

Constructors in com.meyling.principia.argument with parameters of type PatternVariables
PatternVariables(PatternVariables var)
          Copy constructor, constructs a new object with the data of another object.
 

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

Subclasses of PatternVariables in com.meyling.principia.logic.basic
 class BasicPatternVariables
          Set of pattern variables.
 

Methods in com.meyling.principia.logic.basic that return PatternVariables
 PatternVariables BasicFormulaPatternVariable.getPatternVariables()
           
 PatternVariables BasicPredicateVariablePatternVariable.getPatternVariables()
           
 PatternVariables BasicSubjectVariablePatternVariable.getPatternVariables()
           
 

Constructors in com.meyling.principia.logic.basic with parameters of type PatternVariables
BasicPatternVariables(PatternVariables var)
          Construct an set of pattern variables by an PatternVariables object.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.