|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |