Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Class and Description |
---|---|
protected static class |
PSIntMap.BitmapNode<E>
A node that holds between 2 and 31 elements.
|
protected static class |
PSIntMap.FullNode<E>
newElements node with 32 elements, for which we don't need newElements bitmap.
|
protected static class |
PSIntMap.OneNode<E>
Node that has only one element and hence does not need an array.
|
Modifier and Type | Field and Description |
---|---|
protected PSIntMap.Node |
PSIntMap.rootNode |
protected PSIntMap.Node<V> |
PSIntMap.stagingNode |
protected PSIntMap.Node |
PSIntMap.targetNode |
Modifier and Type | Method and Description |
---|---|
protected PSIntMap.Node |
PSIntMap.mergeStagingNode() |
protected PSIntMap.Node |
PSIntMap.removeAllSatisfying(int level,
PSIntMap.Node node,
Predicate<V> pred) |
Modifier and Type | Method and Description |
---|---|
protected int |
PSIntMap.countSize(int level,
PSIntMap.Node node) |
protected void |
PSIntMap.mergeStagingNode(int key,
int newRootLevel,
PSIntMap.Node newRootNode)
this relies on that all nodes from the new staging node to the newRootNode have been copied
and can be modified without cloning.
|
void |
PSIntMap.OneNode.printOn(PrintStream ps,
int depth,
PSIntMap.Node targetNode,
PSIntMap.Node stagingNode) |
void |
PSIntMap.OneNode.printOn(PrintStream ps,
int depth,
PSIntMap.Node targetNode,
PSIntMap.Node stagingNode) |
protected PSIntMap.Node |
PSIntMap.removeAllSatisfying(int level,
PSIntMap.Node node,
Predicate<V> pred) |
Constructor and Description |
---|
PSIntMap(int size,
int rootLevel,
PSIntMap.Node rootNode,
PSIntMap.Node<V> stagingNode,
PSIntMap.Node<V> targetNode,
int stagingNodeMask) |
PSIntMap(int size,
int rootLevel,
PSIntMap.Node rootNode,
PSIntMap.Node<V> stagingNode,
PSIntMap.Node<V> targetNode,
int stagingNodeMask) |
PSIntMap(int size,
int rootLevel,
PSIntMap.Node rootNode,
PSIntMap.Node<V> stagingNode,
PSIntMap.Node<V> targetNode,
int stagingNodeMask) |