gov.nasa.jpf.util

Class BitSet1024

java.lang.Object

gov.nasa.jpf.util.BitSet1024

All Implemented Interfaces:

FixedBitSet, IntSet, java.lang.Cloneable

public class BitSet1024
extends java.lang.Object

a fixed size BitSet with 1024 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

Constructor Summary

Constructors

Constructor and Description
BitSet1024()
BitSet1024(int... idx)
BitSet1024(int i)

Method Summary

Modifier and Type	Method and Description
boolean	add(int i)
void	and(BitSet1024 other)
void	andNot(BitSet1024 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(BitSet1024 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

BitSet1024

public BitSet1024()

BitSet1024

public BitSet1024(int i)

BitSet1024

public BitSet1024(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(BitSet1024 other)

andNot

public void andNot(BitSet1024 other)

or

public void or(BitSet1024 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)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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