Method size

src/main/java/pascal/taie/util/collection/ArraySet.java:150–153

()

    }

    @Override
    public int size() {
        return elements.size();
    }

    @Override
    public SetEx<E> copy() {