gov.nasa.jpf.util

Class SparseClusterArray.Node

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.Node

Enclosing class:

SparseClusterArray<E>

protected static class SparseClusterArray.Node
extends Object

this corresponds to a toplevel cluster (e.g. thread heap)

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SparseClusterArray.Node()

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.ChunkNode[] seg

Constructor Detail

SparseClusterArray.Node

protected SparseClusterArray.Node()