gov.nasa.jpf.util

Class SparseClusterArray.Root

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.Root

Enclosing class:

SparseClusterArray<E>

protected static class SparseClusterArray.Root
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Root()

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

Constructor Detail

Root

protected Root()