gov.nasa.jpf.util

Class PSIntMap.FullNode<E>

java.lang.Object

gov.nasa.jpf.util.PSIntMap.Node<E>

gov.nasa.jpf.util.PSIntMap.FullNode<E>

Enclosing class:

PSIntMap<V>

protected static class PSIntMap.FullNode<E>
extends PSIntMap.Node<E>

newElements node with 32 elements, for which we don't need newElements bitmap. No element can be added since this means we just promote an existing element If an element is removed, this FullNode gets demoted int newElements BitmapNode

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait