com.ibm.wala.util.intset

Class BitVectorRepository

java.lang.Object

com.ibm.wala.util.intset.BitVectorRepository

public class BitVectorRepository
extends Object

A repository for shared bit vectors as described by Heintze

Constructor Summary

Constructors

Constructor and Description
BitVectorRepository()

Method Summary

Modifier and Type	Method and Description
static BitVectorIntSet	findOrCreateSharedSubset(BitVectorIntSet value)

Methods inherited from class java.lang.Object

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

Constructor Detail

BitVectorRepository

public BitVectorRepository()

Method Detail

findOrCreateSharedSubset

public static BitVectorIntSet findOrCreateSharedSubset(BitVectorIntSet value)

Returns:

the BitVector in this repository which is the canonical shared subset representative of value; the result will have the same bits as value, except it may exclude up to SUBSET_DELTA bits.

Throws:

IllegalArgumentException - if value is null