public static class Global.Set extends java.lang.Object implements java.lang.Comparable<Global.Set>
Modifier and Type | Field and Description |
---|---|
static Global.Set |
empty
A private set for search in allSets.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Global.Set set)
Compares this Global.Set with the specified Global.Set for order.
|
boolean |
contains(Global global)
Returns true if this Global.Set contains a specified Global.
|
Global |
get(int i)
Returns a Global from this set by specified index.
|
PortCharacteristic |
getCharacteristic(Global global)
Returns characteristic of a specified Global in a set.
|
int |
indexOf(Global g)
Returns an index of specified Global in this set.
|
int |
maxElement()
Returns the maximal index of Globals in this Set.
|
Global.Set |
remove(java.util.Iterator<Global> gs)
Returns this Set with removed all globals given by the iterator.
|
int |
size()
Returns the number of Globals in this Global.Set.
|
java.lang.String |
toString()
Returns a printable version of this GlobalSet.
|
public static final Global.Set empty
public final boolean contains(Global global)
global
- The Global whose presence in this set is to be testedpublic PortCharacteristic getCharacteristic(Global global)
global
- The Global whose presence in this set is to be testedpublic final int size()
public final Global get(int i)
i
- specified index of global.public final int indexOf(Global g)
g
- specified global.public final int maxElement()
public int compareTo(Global.Set set)
compareTo
in interface java.lang.Comparable<Global.Set>
set
- the Global.Set to be compared.public java.lang.String toString()
toString
in class java.lang.Object
public Global.Set remove(java.util.Iterator<Global> gs)
gs
- iterator with globals