gov.nasa.jpf.util

Class SparseClusterArray.Snapshot<T,E>

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.Snapshot<T,E>

Enclosing class:

SparseClusterArray<E>

public static class SparseClusterArray.Snapshot<T,E>
extends Object

Constructor Summary

Constructors

Constructor and Description
SparseClusterArray.Snapshot(int size)

Method Summary

Methods

Modifier and Type	Method and Description
int	getIndex(int i)
T	getValue(int i)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

SparseClusterArray.Snapshot

public SparseClusterArray.Snapshot(int size)

Method Detail

size

public int size()

getValue

public T getValue(int i)

getIndex

public int getIndex(int i)