Method addAllDiff

src/main/java/pascal/taie/util/collection/ArraySet.java:162–183

(Collection<? extends E> c)

    }

    @Override
    public SetEx<E> addAllDiff(Collection<? extends E> c) {
        ArrayList<E> diff;
        if (c instanceof Set) {
            diff = new ArrayList<>();
            for (E e : c) {
                if (add(e)) {
                    diff.add(e);
                }
            }
        } else {
            Set<E> diffSet = Sets.newHybridSet();
            for (E e : c) {
                if (add(e)) {
                    // use set to efficiently filter out duplicate elements
                    diffSet.add(e);
                }
            }
            diff = new ArrayList<>(diffSet);
        }
        return new ArraySet<>(diff, true);
    }

    private void ensureCapacity(int minCapacity) {
        if (fixedCapacity && minCapacity > initialCapacity) {