Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
PSIntMap<V> |
PSIntMap.remove(int key) |
PSIntMap<V> |
PSIntMap.removeAllSatisfying(Predicate<V> pred) |
PSIntMap<V> |
PSIntMap.set(int key,
V value)
this either replaces or adds newElements new value
|
protected PSIntMap<V> |
PSIntMap.setInCurrentRootLevel(int key,
V value)
that's ugly, but if we use recursion we need newElements result object to obtain the new stagingNode and
the size change, which means there would be an additional allocation per set() or newElements non-persistent,
transient object that would need synchronization
|
protected PSIntMap<V> |
PSIntMap.setInNewRootLevel(int newRootLevel,
int key,
V value) |