gov.nasa.jpf.util

Class SparseClusterArray.ChunkNode

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.ChunkNode

Enclosing class:

SparseClusterArray<E>

protected static class SparseClusterArray.ChunkNode
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
SparseClusterArray.Chunk[]	seg

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SparseClusterArray.ChunkNode()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

seg

public SparseClusterArray.Chunk[] seg

Constructor Detail

SparseClusterArray.ChunkNode

protected SparseClusterArray.ChunkNode()