gov.nasa.jpf.util

Class BitSet1024

java.lang.Object

gov.nasa.jpf.util.BitSet1024

All Implemented Interfaces:

FixedBitSet, Cloneable

public class BitSet1024
extends Object
implements FixedBitSet, Cloneable

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
static int	INDEX_MASK

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	and(BitSet1024 other)
void	andNot(BitSet1024 other)
int	capacity() number of bits we can store
int	cardinality()
void	clear()
void	clear(int i)
BitSet1024	clone()
boolean	equals(Object o) default implementation is just an identity check
boolean	get(int i)
long	getLong(int i)
void	hash(HashData hd)
int	hashCode() answer the same hashCodes as java.util.BitSet
boolean	isEmpty()
int	length() index of highest set bit + 1
int	longSize()
int	nextClearBit(int fromIdx)
int	nextSetBit(int fromIdx)
void	or(BitSet1024 other)
void	set(int i)
void	set(int i, boolean val)
int	size()
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

Constructor Detail

BitSet1024

public BitSet1024()

BitSet1024

public BitSet1024(int i)

BitSet1024

public BitSet1024(int... idx)

Method Detail

longSize

public int longSize()

Specified by:

longSize in interface FixedBitSet

getLong

public long getLong(int i)

Specified by:

getLong in interface FixedBitSet

clone

public BitSet1024 clone()

Specified by:

clone in interface FixedBitSet

Overrides:

clone in class Object

set

public void set(int i)

Specified by:

set in interface FixedBitSet

clear

public void clear(int i)

Specified by:

clear in interface FixedBitSet

set

public void set(int i,
       boolean val)

Specified by:

set in interface FixedBitSet

get

public boolean get(int i)

Specified by:

get in interface FixedBitSet

cardinality

public int cardinality()

Specified by:

cardinality in interface FixedBitSet

size

public int size()

Specified by:

size in interface FixedBitSet

capacity

public int capacity()

number of bits we can store

Specified by:

capacity in interface FixedBitSet

length

public int length()

index of highest set bit + 1

Specified by:

length in interface FixedBitSet

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface FixedBitSet

clear

public void clear()

Specified by:

clear in interface FixedBitSet

nextSetBit

public int nextSetBit(int fromIdx)

Specified by:

nextSetBit in interface FixedBitSet

nextClearBit

public int nextClearBit(int fromIdx)

Specified by:

nextClearBit in interface FixedBitSet

and

public void and(BitSet1024 other)

andNot

public void andNot(BitSet1024 other)

or

public void or(BitSet1024 other)

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

hash

public void hash(HashData hd)

hashCode

public int hashCode()

answer the same hashCodes as java.util.BitSet

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object