gov.nasa.jpf.util

Class PSIntMap.OneNode<E>

java.lang.Object

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

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

Enclosing class:

PSIntMap<V>

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

Node that has only one element and hence does not need an array. If a new element is added, this OneNode gets promoted into a BitmapNode

Method Summary

Modifier and Type	Method and Description
void	printOn(java.io.PrintStream ps, int depth, PSIntMap.Node targetNode, PSIntMap.Node stagingNode)

Methods inherited from class java.lang.Object

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

Method Detail

printOn

public void printOn(java.io.PrintStream ps,
                    int depth,
                    PSIntMap.Node targetNode,
                    PSIntMap.Node stagingNode)