|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.meyling.principia.logic.basic.SubjectVariables
Set of subject variables.
Constructor Summary | |
SubjectVariables()
Construct an empty set of subject variables. |
|
SubjectVariables(SubjectVariableMarker[] already)
Construct a new set of subject variables with some initial entries. |
|
SubjectVariables(SubjectVariables already)
Construct a new set of subject variables with the same entires as the given one. |
Method Summary | |
void |
add(SubjectVariableMarker variable)
Add a subject variable to the set. |
void |
addAll(SubjectVariables newOnes)
Add all these subject variables. |
boolean |
contains(SubjectVariableMarker variable)
Check if a certain subject variable is already in the set. |
boolean |
contains(SubjectVariables variables)
Does this object contain another set of subject variables and pattern variables? |
boolean |
emptyIntersection(SubjectVariables variables)
Does this object have an empty intersection with another set of subject variables and pattern variables? |
boolean |
equals(SubjectVariables variables)
Is this object equal to another one? |
int |
getHighestNumber()
Get highest number of each entry. |
int |
getSize()
Get number of elements in the set. |
void |
remove(SubjectVariableMarker variable)
Remove a subject variable or a pattern variable from the set. |
String |
toString()
Get a readable string representation of this object. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public SubjectVariables()
public SubjectVariables(SubjectVariables already)
already
- these subject variable entries should be addedpublic SubjectVariables(SubjectVariableMarker[] already)
already
- these subject variable entries should be addedMethod Detail |
public final void add(SubjectVariableMarker variable)
variable
- add this subject variablepublic final boolean contains(SubjectVariableMarker variable)
variable
- check for this variable
variable
already there?public final boolean emptyIntersection(SubjectVariables variables)
variables
- to build intersection with
public final boolean contains(SubjectVariables variables)
variables
- check this set
variables
a subset?public final void addAll(SubjectVariables newOnes)
newOnes
- these should be addedpublic final int getSize()
public final int getHighestNumber()
public final void remove(SubjectVariableMarker variable)
variable
- remove this subject variable onepublic final String toString()
public final boolean equals(SubjectVariables variables)
variables
- object to compare with
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |