Uses of Class
gov.nasa.jpf.util.ArrayIntSet

Packages that use ArrayIntSet

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of ArrayIntSet in gov.nasa.jpf.util

Subclasses of ArrayIntSet in gov.nasa.jpf.util

Modifier and Type	Class and Description
class	SortedArrayIntSet 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)
class	UnsortedArrayIntSet a simplistic IntSet implementation that uses an unsorted array to keep elements.

Methods in gov.nasa.jpf.util that return ArrayIntSet

Modifier and Type	Method and Description
ArrayIntSet	ArrayIntSet.clone()

Uses of ArrayIntSet in gov.nasa.jpf.vm

Subclasses of ArrayIntSet in gov.nasa.jpf.vm

Modifier and Type	Class and Description
class	TidSet set that stores threads via (search global) thread ids.