Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Field and Description |
---|---|
protected SparseClusterArray.Chunk |
SparseClusterArray.head |
protected SparseClusterArray.Chunk |
SparseClusterArray.lastChunk |
SparseClusterArray.Chunk |
SparseClusterArray.Chunk.next |
SparseClusterArray.Chunk[] |
SparseClusterArray.ChunkNode.seg |
Modifier and Type | Method and Description |
---|---|
<E> SparseClusterArray.Chunk |
SparseClusterArray.Chunk.deepCopy(Cloner<E> cloner) |