|
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.argument.PatternVariables
Set of pattern variables.
Constructor Summary | |
PatternVariables()
Construct an empty set of pattern variables. |
|
PatternVariables(PatternVariables var)
Copy constructor, constructs a new object with the data of another object. |
Method Summary | |
void |
add(PatternVariable variable)
Add an PatternVariable if not already there. |
void |
addAll(PatternVariables newOnes)
Add all these PatternVariable s to the set? |
boolean |
contains(PatternVariable variable)
Is variable in the set? |
boolean |
contains(PatternVariables variables)
Are these PatternVariable s in the set? |
boolean |
emptyIntersection(PatternVariables variables)
Are all of these PatternVariable s not in the set? |
boolean |
equals(PatternVariables variables)
Is this object equal to another one? |
PatternVariable |
get(PatternVariable variable)
Get PatternVariable object from the set. |
Map |
getMap()
Return map of set of pattern variables. |
int |
getSize()
Get number of elements in the set. |
void |
remove(PatternVariable variable)
Remove pattern variable with same number from the set. |
String |
toString()
Get a 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 PatternVariables()
public PatternVariables(PatternVariables var)
var
- object to copyMethod Detail |
public final void add(PatternVariable variable)
PatternVariable
if not already there.
variable
- variable to addpublic final PatternVariable get(PatternVariable variable) throws IllegalArgumentException
PatternVariable
object from the set.
variable
- the number of this variable determines the
result
IllegalArgumentException
- if such a patter variable was
not found in setpublic final boolean contains(PatternVariable variable)
variable
in the set?
variable
- check for this variable
true
iff a variable with such an number is
in the setpublic final boolean contains(PatternVariables variables)
PatternVariable
s in the set?
variables
- check for these variables
true
iff all variables have an counterpart
with same number in the setpublic final boolean emptyIntersection(PatternVariables variables)
PatternVariable
s not in the set?
variables
- check for these variables
true
iff all variables have no counterpart
with same number in the setpublic final boolean equals(PatternVariables variables)
variables
- object to compare with
public final void addAll(PatternVariables newOnes)
PatternVariable
s to the set?
newOnes
- add these variablespublic final int getSize()
public final void remove(PatternVariable variable)
variable
- pattern variable that should be
removed from the set.public final Map getMap()
public final String toString()
|
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. |