|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.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 |
|
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 variablepublic final boolean contains(SubjectVariableMarker variable)
variable
- check for this variablevariable
already there?public final boolean emptyIntersection(SubjectVariables variables)
variables
- to build intersection withpublic final boolean contains(SubjectVariables variables)
variables
- check this setvariables
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 onepublic final String toString()
toString
in class Object
public final boolean equals(SubjectVariables variables)
variables
- object to compare with
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |