BitVector (Soot - a J*va Optimization Framework 4.2.1 API)

java.lang.Object
- soot.util.BitVector

Direct Known Subclasses:

PointsToBitVector
```
public class BitVector
extends Object
```
This is the Soot internal implementation of java.util.BitSet with Felix and Jerome's clever efficient iterator. It was re-implemented from scratch by Ondrej Lhotak to avoid licence issues. It was named BitVector rather than BitSet to avoid a name clash with the one in the standard Java library.

Author:

Ondrej Lhotak

Constructor Summary

Constructors
Constructor and Description

BitVector()

BitVector(BitVector other)
Copy constructor

BitVector(int numBits)

Constructors
Constructor and Description
`BitVector()`
`BitVector(BitVector other)` Copy constructor
`BitVector(int numBits)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`and(BitVector other)`
`static BitVector`	`and(BitVector set1, BitVector set2)`
`void`	`andNot(BitVector other)`
`int`	`cardinality()` Count the number of ones in the bitvector.
`void`	`clear(int bit)`
`Object`	`clone()`
`void`	`copyFrom(BitVector other)`
`boolean`	`equals(Object o)`
`boolean`	`get(int bit)`
`int`	`hashCode()`
`boolean`	`intersects(BitVector other)` Returns true if the both the current and the specified bitvectors have at least one bit set in common.
`BitSetIterator`	`iterator()`
`int`	`length()` Returns index of highest-numbered one bit.
`void`	`or(BitVector other)`
`static BitVector`	`or(BitVector set1, BitVector set2)`
`boolean`	`orAndAndNot(BitVector orset, BitVector andset, BitVector andnotset)` Computes this = this OR ((orset AND andset ) AND (NOT andnotset)) Returns true iff this is modified.
`boolean`	`set(int bit)`
`int`	`size()` Returns number of bits in the underlying array.
`String`	`toString()`
`void`	`xor(BitVector other)`

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

Constructor Detail

BitVector
```
public BitVector()
```

BitVector
```
public BitVector(BitVector other)
```
Copy constructor

BitVector
```
public BitVector(int numBits)
```

Method Detail

and
```
public void and(BitVector other)
```

andNot
```
public void andNot(BitVector other)
```

clear
```
public void clear(int bit)
```

clone
```
public Object clone()
```
Overrides:

clone in class Object

equals
```
public boolean equals(Object o)
```
Overrides:

equals in class Object

get
```
public boolean get(int bit)
```

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

length
```
public int length()
```
Returns index of highest-numbered one bit.

copyFrom

public void copyFrom(BitVector other)

or
```
public void or(BitVector other)
```

cardinality
```
public int cardinality()
```
Count the number of ones in the bitvector.

intersects
```
public boolean intersects(BitVector other)
```
Returns true if the both the current and the specified bitvectors have at least one bit set in common.

xor
```
public void xor(BitVector other)
```

set
```
public boolean set(int bit)
```

size
```
public int size()
```
Returns number of bits in the underlying array.

toString
```
public String toString()
```
Overrides:

toString in class Object

orAndAndNot

public boolean orAndAndNot(BitVector orset,
                           BitVector andset,
                           BitVector andnotset)

Computes this = this OR ((orset AND andset ) AND (NOT andnotset)) Returns true iff this is modified.

Parameters:: set - a bit set.

and

public static BitVector and(BitVector set1,
                            BitVector set2)

or

public static BitVector or(BitVector set1,
                           BitVector set2)

iterator
```
public BitSetIterator iterator()
```

Class BitVector

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

BitVector

BitVector

BitVector

Method Detail

and

andNot

clear

clone

equals

get

hashCode

length

copyFrom

or

cardinality

intersects

xor

set

size

toString

orAndAndNot

and

or

iterator