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	Description
BitVectorRepository()

Method Summary

Modifier and Type	Method	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 Details

BitVectorRepository

public BitVectorRepository()

Method Details

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