Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Interface
com.meyling.principia.logic.basic.SubjectVariableMarker

Packages that use SubjectVariableMarker
com.meyling.principia.logic.basic |

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

Classes in com.meyling.principia.logic.basic that implement SubjectVariableMarker
`class` | `BasicSubjectVariablePatternVariable` Pattern variable, for matching purposes.
`class` | `SubjectVariable` Subject variable, represents a subject of the universe of discourse.

Methods in com.meyling.principia.logic.basic that return SubjectVariableMarker
`SubjectVariableMarker` | `Quantifier.getVariable()` Get the subject variable of this quantifier.
`SubjectVariableMarker[]` | `PredicateVariable.getArgument()` Get the argument.

Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker
`void` | `SubjectVariables.add(SubjectVariableMarker variable)` Add a subject variable to the set.
`boolean` | `SubjectVariables.contains(SubjectVariableMarker variable)` Check if a certain subject variable is already in the set.
`void` | `SubjectVariables.remove(SubjectVariableMarker variable)` Remove a subject variable or a pattern variable from the set.

Constructors in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker
`SubjectVariables(SubjectVariableMarker[] already)` Construct a new set of subject variables with some initial entries.

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.