Class BitVectorIntSet