gov.nasa.jpf.util

Class SparseObjVector<E>

java.lang.Object

gov.nasa.jpf.util.SparseObjVector<E>

public class SparseObjVector<E>
extends java.lang.Object

This has approximately the interface of ObjVector but uses a hash table instead of an array. Also, does not require allocation with each add.

Constructor Summary

Constructors

Constructor and Description
SparseObjVector() Creates a SimplePool that holds about 716 elements before first rehash.
SparseObjVector(int pow) Creates a SimplePool that holds about 0.7 * 2**pow elements before first rehash.

Method Summary

Modifier and Type	Method and Description
void	clear()
E	get(int idx)
static void	main(java.lang.String[] args)
protected int	mix(int x)
protected void	newTable()
void	remove(int idx)
void	set(int idx, E e)

Methods inherited from class java.lang.Object

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

Constructor Detail

SparseObjVector

public SparseObjVector()

Creates a SimplePool that holds about 716 elements before first rehash.

SparseObjVector

public SparseObjVector(int pow)

Creates a SimplePool that holds about 0.7 * 2**pow elements before first rehash.

Method Detail

clear

public void clear()

newTable

protected void newTable()

mix

protected int mix(int x)

get

public E get(int idx)

set

public void set(int idx,
                E e)

remove

public void remove(int idx)

main

public static void main(java.lang.String[] args)