Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Field and Description |
---|---|
protected IntTable.Entry<E> |
IntTable.Entry.next |
protected IntTable.Entry<E> |
IntTable.nullEntry |
protected IntTable.Entry<E>[] |
IntTable.table |
Modifier and Type | Method and Description |
---|---|
IntTable.Entry<E> |
IntTable.add(E key,
int val)
ONLY USE IF YOU ARE SURE NO PREVIOUS BINDING FOR key EXISTS.
|
IntTable.Entry<E> |
IntTable.Entry.clone() |
IntTable.Entry<E> |
IntTable.get(E key)
lookup, returning null if no binding.
|
protected IntTable.Entry<E> |
IntTable.getEntry(E key,
int idx) |
IntTable.Entry<V> |
HashPool.getEntry(V o) |
IntTable.Entry<E> |
IntTable.getInc(E key)
a little optimization to speed up counter increments
|
IntTable.Entry<E> |
IntTable.TblIterator.next() |
IntTable.Entry<E> |
IntTable.pool(E key)
gets the Entry associated with key, adding previous `size' if not yet bound.
|
IntTable.Entry<E> |
IntTable.remove(E key)
removes a binding/entry from the table.
|
Modifier and Type | Method and Description |
---|---|
Iterator<IntTable.Entry<E>> |
IntTable.iterator()
returns an iterator over the entries.
|
Modifier and Type | Method and Description |
---|---|
protected void |
IntTable.addEntry(IntTable.Entry<E> e,
int idx) |
protected void |
IntTable.replaceEntryValue(int idx,
IntTable.Entry<E> oldEntry,
int newValue) |
Constructor and Description |
---|
IntTable.Entry(E k,
int v,
IntTable.Entry<E> n) |