com.ibm.wala.util.intset

Class BitVector

java.lang.Object

com.ibm.wala.util.intset.BitVectorBase<BitVector>

com.ibm.wala.util.intset.BitVector

All Implemented Interfaces:

Serializable, Cloneable

public class BitVector
extends BitVectorBase<BitVector>

See Also:

Serialized Form

Field Summary

Fields inherited from class com.ibm.wala.util.intset.BitVectorBase

bits, BITS_PER_UNIT, DEBUG, LOG_BITS_PER_UNIT, LOW_MASK, MASK

Constructor Summary

Constructors

Constructor and Description
BitVector()
BitVector(BitVector s) Creates a copy of a Bit String
BitVector(int nbits) Creates an empty string with the specified size.

Method Summary

Modifier and Type	Method and Description
void	and(BitVector set) Logically ANDs this bit set with the specified set of bits.
static BitVector	and(BitVector b1, BitVector b2) Return a new bit string as the AND of two others.
void	andNot(BitVector vector)
static BitVector	andNot(BitVector b1, BitVector b2) Return a new bit string as the AND of two others.
void	clear(int bit) Clears a bit.
boolean	equals(Object obj) Compares this object against the specified object.
boolean	get(int bit) Gets a bit.
boolean	intersectionEmpty(BitVector other) Check if the intersection of the two sets is empty
boolean	isSubset(BitVector other)
int	length() Calculates and returns the set's size in bits.
void	not() Logically NOT this bit string
static BitVector	not(BitVector s) Return the NOT of a bit string
void	or(BitVector set) Logically ORs this bit set with the specified set of bits.
static BitVector	or(BitVector b1, BitVector b2) Return a new FixedSizeBitVector as the OR of two others
int	orWithDelta(BitVector set) Logically ORs this bit set with the specified set of bits.
boolean	sameBits(BitVector B) Compares this object against the specified object.
void	set(int bit) Sets a bit.
void	setAll() Sets all bits.
void	xor(BitVector set) Logically XORs this bit set with the specified set of bits.
static BitVector	xor(BitVector b1, BitVector b2) Return a new FixedSizeBitVector as the XOR of two others

Methods inherited from class com.ibm.wala.util.intset.BitVectorBase

clearAll, clone, contains, copyBits, hashCode, isZero, max, nextSetBit, populationCount, subscript, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BitVector

public BitVector()

BitVector

public BitVector(int nbits)

Creates an empty string with the specified size.

Parameters:

nbits - the size of the string

BitVector

public BitVector(BitVector s)

Creates a copy of a Bit String

Parameters:

s - the string to copy

Throws:

IllegalArgumentException - if s is null

Method Detail

set

public final void set(int bit)

Sets a bit.

Specified by:

set in class BitVectorBase<BitVector>

Parameters:

bit - the bit to be set

clear

public final void clear(int bit)

Clears a bit.

Specified by:

clear in class BitVectorBase<BitVector>

Parameters:

bit - the bit to be cleared

get

public final boolean get(int bit)

Gets a bit.

Specified by:

get in class BitVectorBase<BitVector>

Parameters:

bit - the bit to be gotten

not

public static BitVector not(BitVector s)

Return the NOT of a bit string

and

public final void and(BitVector set)

Logically ANDs this bit set with the specified set of bits.

Specified by:

and in class BitVectorBase<BitVector>

Parameters:

set - the bit set to be ANDed with

and

public static BitVector and(BitVector b1,
                            BitVector b2)

Return a new bit string as the AND of two others.

or

public final void or(BitVector set)

Logically ORs this bit set with the specified set of bits.

Specified by:

or in class BitVectorBase<BitVector>

Parameters:

set - the bit set to be ORed with

orWithDelta

public final int orWithDelta(BitVector set)

Logically ORs this bit set with the specified set of bits. This is performance-critical, and so, a little ugly in an attempt to help out the compiler.

Returns:

the number of bits added to this.

Throws:

IllegalArgumentException - if set is null

or

public static BitVector or(BitVector b1,
                           BitVector b2)

Return a new FixedSizeBitVector as the OR of two others

xor

public static BitVector xor(BitVector b1,
                            BitVector b2)

Return a new FixedSizeBitVector as the XOR of two others

xor

public final void xor(BitVector set)

Logically XORs this bit set with the specified set of bits.

Specified by:

xor in class BitVectorBase<BitVector>

Parameters:

set - the bit set to be XORed with

Throws:

IllegalArgumentException - if set is null

intersectionEmpty

public final boolean intersectionEmpty(BitVector other)

Check if the intersection of the two sets is empty

Specified by:

intersectionEmpty in class BitVectorBase<BitVector>

Parameters:

other - the set to check intersection with

Throws:

IllegalArgumentException - if other is null

length

public final int length()

Calculates and returns the set's size in bits. The maximum element in the set is the size - 1st element.

Specified by:

length in class BitVectorBase<BitVector>

sameBits

public final boolean sameBits(BitVector B)

Compares this object against the specified object.

Specified by:

sameBits in class BitVectorBase<BitVector>

Parameters:

B - the object to compare with

Returns:

true if the objects are the same; false otherwise.

isSubset

public boolean isSubset(BitVector other)

Specified by:

isSubset in class BitVectorBase<BitVector>

Returns:

true iff this is a subset of other

andNot

public void andNot(BitVector vector)

Specified by:

andNot in class BitVectorBase<BitVector>

equals

public boolean equals(Object obj)

Compares this object against the specified object.

Overrides:

equals in class Object

Parameters:

obj - the object to compare with

Returns:

true if the objects are the same; false otherwise.

setAll

public final void setAll()

Sets all bits.

not

public final void not()

Logically NOT this bit string

andNot

public static BitVector andNot(BitVector b1,
                               BitVector b2)

Return a new bit string as the AND of two others.