Class HybridBitSet

src/main/java/pascal/taie/util/collection/HybridBitSet.java:50–159

Hybrid set that uses bit set for large set. It is important to note that batch operations such as #addAll(Collection), #removeAll(Collection), #retainAll(Collection), and #containsAll(Collection) can experience performance degradation when used with {@link Indexer

 * @see IndexerBitSet
 */
public final class HybridBitSet<E> extends AbstractHybridSet<E>
        implements Serializable {

    private final Indexer<E> indexer;

    private final boolean isSparse;

    public HybridBitSet(Indexer<E> indexer, boolean isSparse) {
        this.indexer = indexer;
        this.isSparse = isSparse;
    }

    @Override
    protected Set<E> newLargeSet(int unused) {
        return new IndexerBitSet<>(indexer, isSparse);
    }

    @Override
    public boolean addAll(@Nonnull Collection<? extends E> c) {
        // optimize when c is HybridBitSet
        if (this.set instanceof GenericBitSet<E> thisBitSet
                && c instanceof HybridBitSet<? extends E> other
                && other.set instanceof GenericBitSet<? extends E> otherBitSet) {
            return thisBitSet.addAll(otherBitSet);
        }
        return super.addAll(c);
    }

    @Override
    public boolean containsAll(Collection<?> c) {
        // optimize when c is HybridBitSet
        if (this.set instanceof GenericBitSet<E> thisBitSet
                && c instanceof HybridBitSet<?> other
                && other.set instanceof GenericBitSet<?> otherBitSet) {
            return thisBitSet.containsAll(otherBitSet);
        }
        return super.containsAll(c);
    }

    @Override
    public boolean removeAll(Collection<?> c) {
        // optimize when c is HybridBitSet
        if (this.set instanceof GenericBitSet<E> thisBitSet
                && c instanceof HybridBitSet<?> other
                && other.set instanceof GenericBitSet<?> otherBitSet) {
            return thisBitSet.removeAll(otherBitSet);
        }
        return super.removeAll(c);
    }

    @Override
    public boolean retainAll(@Nonnull Collection<?> c) {
        // optimize when c is HybridBitSet
        if (this.set instanceof GenericBitSet<E> thisBitSet
                && c instanceof HybridBitSet<?> other
                && other.set instanceof GenericBitSet<?> otherBitSet) {
            return thisBitSet.retainAll(otherBitSet);
        }