gov.nasa.jpf.util

Class IntTable.Snapshot<E>

java.lang.Object

gov.nasa.jpf.util.IntTable.Snapshot<E>

Enclosing class:

IntTable<E>

public static class IntTable.Snapshot<E>
extends java.lang.Object

helper class to store a compact, invariant representation of this table

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	indices
protected E[]	keys
protected int	tblPow
protected int	tblSize
protected int[]	vals

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Snapshot(IntTable<E> t)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

tblSize

protected final int tblSize

tblPow

protected final int tblPow

indices

protected final int[] indices

keys

protected final E[] keys

vals

protected final int[] vals

Constructor Detail

Snapshot

protected Snapshot(IntTable<E> t)