Uses of Class com.meyling.principia.argument.PatternVariables (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.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 `PatternVariable`s in the set?
`boolean` | `PatternVariables.emptyIntersection(PatternVariables variables)` Are all of these `PatternVariable`s not in the set?
`boolean` | `PatternVariables.equals(PatternVariables variables)` Is this object equal to another one?
`void` | `PatternVariables.addAll(PatternVariables newOnes)` Add all these `PatternVariable`s 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.

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.