gov.nasa.jpf.util

Class UnsortedArrayIntSet

java.lang.Object

gov.nasa.jpf.util.ArrayIntSet

gov.nasa.jpf.util.UnsortedArrayIntSet

All Implemented Interfaces:

IntSet, java.lang.Cloneable

Direct Known Subclasses:

TidSet

public class UnsortedArrayIntSet
extends ArrayIntSet

a simplistic IntSet implementation that uses an unsorted array to keep elements. Obviously this is O(N) and therefore not a good choice if the list grows, but if we know there are only a few elements then it isn't worth to do any sorting or fancy lookup - the JIT would beat algorithm. If the set is empty there is no memory allocated for the elements

Field Summary

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

elements, size

Constructor Summary

Constructors

Constructor and Description
UnsortedArrayIntSet()
UnsortedArrayIntSet(int initialCapacity)

Method Summary

Modifier and Type	Method and Description
boolean	add(int v)
boolean	contains(int v)
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

UnsortedArrayIntSet

public UnsortedArrayIntSet()

UnsortedArrayIntSet

public UnsortedArrayIntSet(int initialCapacity)

Method Detail

add

public boolean add(int v)

remove

public boolean remove(int v)

contains

public boolean contains(int v)