gov.nasa.jpf.util

Class SparseIntVector

java.lang.Object

gov.nasa.jpf.util.SparseIntVector

All Implemented Interfaces:

java.lang.Cloneable

public class SparseIntVector
extends java.lang.Object
implements java.lang.Cloneable

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SparseIntVector.Snapshot a simplistic snapshot implementation that stores set indices/values in order to save space

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	clear()
void	clear(int idx)
SparseIntVector	clone()
int	get(int idx)
SparseIntVector.Snapshot	getSnapshot()
static void	main(java.lang.String[] args)
protected int	mix(int x)
protected void	newTable()
void	restore(SparseIntVector.Snapshot snap)
void	set(int idx, int val)
void	setRange(int fromIndex, int toIndex, int val)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

SparseIntVector

public SparseIntVector()

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

SparseIntVector

public SparseIntVector(int pow,
                       int defValue)

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

Method Detail

newTable

protected void newTable()

mix

protected int mix(int x)

getSnapshot

public SparseIntVector.Snapshot getSnapshot()

restore

public void restore(SparseIntVector.Snapshot snap)

clone

public SparseIntVector clone()

Overrides:

clone in class java.lang.Object

size

public int size()

clear

public void clear()

clear

public void clear(int idx)

get

public int get(int idx)

set

public void set(int idx,
                int val)

setRange

public void setRange(int fromIndex,
                     int toIndex,
                     int val)

main

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