|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SubjectVariables | |
com.meyling.principia.logic.basic |
Uses of SubjectVariables in com.meyling.principia.logic.basic |
Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariables | |
boolean |
SubjectVariables.emptyIntersection(SubjectVariables variables)
Does this object have an empty intersection with another set of subject variables and pattern variables? |
boolean |
SubjectVariables.contains(SubjectVariables variables)
Does this object contain another set of subject variables and pattern variables? |
void |
SubjectVariables.addAll(SubjectVariables newOnes)
Add all these subject variables. |
boolean |
SubjectVariables.equals(SubjectVariables variables)
Is this object equal to another one? |
Constructors in com.meyling.principia.logic.basic with parameters of type SubjectVariables | |
SubjectVariables(SubjectVariables already)
Construct a new set of subject variables with the same entires as the given one. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |