Uses of Class com.meyling.principia.argument.PatternVariable (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.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.

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.