BitSet256

java.lang.Object
- gov.nasa.jpf.util.BitSet256

All Implemented Interfaces:

FixedBitSet, IntSet, java.lang.Cloneable
```
public class BitSet256
extends java.lang.Object
```
a fixed size BitSet with 256 bits. The main motivation for this class is to minimize memory size while maximizing performance and keeping a java.util.BitSet compatible interface. The only deviation from the standard BitSet is that we assume more cardinality() calls than set()/clear() calls, i.e. we want to cache this value Instances of this class do not allocate any additional memory, we keep all data in builtin type fields

Field Summary

Fields
Modifier and Type Field and Description

protected int cardinality

static int INDEX_MASK

Fields
Modifier and Type	Field and Description
`protected int`	`cardinality`
`static int`	`INDEX_MASK`

Constructor Summary

Constructors
Constructor and Description

BitSet256()

BitSet256(int... idx)

BitSet256(int i)

Constructors
Constructor and Description
`BitSet256()`
`BitSet256(int... idx)`
`BitSet256(int i)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`add(int i)`
`void`	`and(BitSet256 other)`
`void`	`andNot(BitSet256 other)`
`int`	`capacity()` number of bits we can store
`int`	`cardinality()`
`void`	`clear()`
`void`	`clear(int i)`
`gov.nasa.jpf.util.AbstractFixedBitSet`	`clone()`
`boolean`	`contains(int i)`
`boolean`	`equals(java.lang.Object o)`
`boolean`	`get(int i)`
`void`	`hash(HashData hd)`
`int`	`hashCode()` answer the same hashCodes as java.util.BitSet
`IntIterator`	`intIterator()`
`boolean`	`isEmpty()`
`int`	`length()` index of highest set bit + 1
`int`	`nextClearBit(int fromIdx)`
`int`	`nextSetBit(int fromIdx)`
`void`	`or(BitSet256 other)`
`boolean`	`remove(int i)`
`void`	`set(int i)`
`void`	`set(int i, boolean val)`
`int`	`size()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail
- INDEX_MASK
```
public static final int INDEX_MASK
```
  See Also:
  
  Constant Field Values
- cardinality
```
protected int cardinality
```

Constructor Detail

BitSet256
```
public BitSet256()
```

BitSet256
```
public BitSet256(int i)
```

BitSet256
```
public BitSet256(int... idx)
```

Method Detail

set
```
public void set(int i)
```

clear
```
public void clear(int i)
```

get
```
public boolean get(int i)
```

size
```
public int size()
```

capacity
```
public int capacity()
```
number of bits we can store

length
```
public int length()
```
index of highest set bit + 1

clear
```
public void clear()
```

nextSetBit
```
public int nextSetBit(int fromIdx)
```

nextClearBit
```
public int nextClearBit(int fromIdx)
```

and
```
public void and(BitSet256 other)
```

andNot
```
public void andNot(BitSet256 other)
```

or
```
public void or(BitSet256 other)
```

equals
```
public boolean equals(java.lang.Object o)
```
Overrides:

equals in class java.lang.Object

hashCode
```
public int hashCode()
```
answer the same hashCodes as java.util.BitSet

Overrides:

hashCode in class java.lang.Object

hash
```
public void hash(HashData hd)
```

toString
```
public java.lang.String toString()
```

clone
```
public gov.nasa.jpf.util.AbstractFixedBitSet clone()
```
Specified by:

clone in interface FixedBitSet

Specified by:

clone in interface IntSet

Overrides:

clone in class java.lang.Object

set

public void set(int i,
                boolean val)

Specified by:: set in interface FixedBitSet

cardinality
```
public int cardinality()
```
Specified by:

cardinality in interface FixedBitSet

isEmpty
```
public boolean isEmpty()
```
Specified by:

isEmpty in interface FixedBitSet

Specified by:

isEmpty in interface IntSet

add
```
public boolean add(int i)
```
Specified by:

add in interface IntSet

remove
```
public boolean remove(int i)
```
Specified by:

remove in interface IntSet

contains
```
public boolean contains(int i)
```
Specified by:

contains in interface IntSet

intIterator
```
public IntIterator intIterator()
```
Specified by:

intIterator in interface IntSet

Class BitSet256

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

INDEX_MASK

cardinality

Constructor Detail

BitSet256

BitSet256

BitSet256

Method Detail

set

clear

get

size

capacity

length

clear

nextSetBit

nextClearBit

and

andNot

or

equals

hashCode

hash

toString

clone

set

cardinality

isEmpty

add

remove

contains

intIterator