| 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) |