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

Constructor Summary

Constructors

Constructor and Description
Snapshot(int size)

Method Summary

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

Snapshot

public Snapshot(int size)

Method Detail

size

public int size()

getValue

public T getValue(int i)

getIndex

public int getIndex(int i)