Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
ArrayIntSet
common base for array based IntSet implementations
|
class |
BitSet64 |
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.
|
Modifier and Type | Method and Description |
---|---|
IntSet |
IntSet.clone() |
Modifier and Type | Class and Description |
---|---|
class |
TidSet
set that stores threads via (search global) thread ids.
|