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 java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	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

ChunkNode

protected ChunkNode()