gov.nasa.jpf.util

Class BitArray

java.lang.Object

gov.nasa.jpf.util.BitArray

public class BitArray
extends java.lang.Object

Faster version of BitSet for fixed size.

Field Summary

Fields

Modifier and Type	Field and Description
static BitArray	empty
int	length

Constructor Summary

Constructors

Constructor and Description
BitArray(int len)

Method Summary

Modifier and Type	Method and Description
void	clear(int idx)
void	clearAll()
boolean	equals(java.lang.Object o)
void	fromBitSet(java.util.BitSet in)
boolean	get(int idx)
int	hashCode()
void	invert()
void	set(int idx)
void	set(int idx, boolean val)
void	set(int idx, int val)
void	setAll()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

length

public final int length

empty

public static final BitArray empty

Constructor Detail

BitArray

public BitArray(int len)

Method Detail

fromBitSet

public void fromBitSet(java.util.BitSet in)

set

public final void set(int idx,
                      boolean val)

set

public final void set(int idx,
                      int val)

set

public final void set(int idx)

clear

public final void clear(int idx)

setAll

public final void setAll()

clearAll

public final void clearAll()

invert

public final void invert()

get

public final boolean get(int idx)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object