Package com.ibm.wala.util.intset
Class BitVectorRepository
- java.lang.Object
-
- com.ibm.wala.util.intset.BitVectorRepository
-
public class BitVectorRepository extends java.lang.Object
A repository for shared bit vectors as described by Heintze
-
-
Constructor Summary
Constructors Constructor Description BitVectorRepository()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static BitVectorIntSet
findOrCreateSharedSubset(BitVectorIntSet value)
-
-
-
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:
java.lang.IllegalArgumentException
- if value is null
-
-