gov.nasa.jpf.util

Class SortedArrayIntSet

java.lang.Object

gov.nasa.jpf.util.ArrayIntSet

gov.nasa.jpf.util.SortedArrayIntSet

All Implemented Interfaces:

IntSet, Cloneable

public class SortedArrayIntSet
extends ArrayIntSet

a set of integers that uses a simple sorted int array and binary search To be used in a context where - the number of elements does not have a hard limit - the number of elements is assumed to be small, but potentially sparse - the following operations are time critical + inclusion check + size check + cloning + iteration over elements - adding/removing should be better than O(N)

Field Summary

Fields inherited from class gov.nasa.jpf.util.ArrayIntSet

elements, size

Constructor Summary

Constructors

Constructor and Description
SortedArrayIntSet()
SortedArrayIntSet(int initialCapacity)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(int v)
protected int	bisect(int val)
boolean	contains(int v)
protected void	insertElement(int idx)
boolean	remove(int v)

Methods inherited from class gov.nasa.jpf.util.ArrayIntSet

clear, clone, equals, hashCode, intIterator, isEmpty, size, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SortedArrayIntSet

public SortedArrayIntSet()

SortedArrayIntSet

public SortedArrayIntSet(int initialCapacity)

Method Detail

bisect

protected final int bisect(int val)

insertElement

protected final void insertElement(int idx)

contains

public boolean contains(int v)

add

public boolean add(int v)

remove

public boolean remove(int v)