Method or

src/main/java/pascal/taie/util/collection/RegularBitSet.java:425–468

(IBitSet set)

    }

    @Override
    public boolean or(IBitSet set) {
        if (this == set) {
            return false;
        }
        if (!(set instanceof RegularBitSet other)) {
            return super.or(set);
        }

        int wordsInCommon = Math.min(wordsInUse, other.wordsInUse);

        boolean changed = false;
        if (wordsInUse < other.wordsInUse) {
            ensureCapacity(other.wordsInUse);
            wordsInUse = other.wordsInUse;
            changed = true;
        }

        // Perform logical OR on words in common
        for (int i = 0; i < wordsInCommon; i++) {
            if (changed) {
                // already know set changed, just perform logical OR
                words[i] |= other.words[i];
            } else {
                long oldWord = words[i];
                long newWord = oldWord | other.words[i];
                if (oldWord != newWord) {
                    words[i] = newWord;
                    changed = true;
                }
            }
        }

        // Copy any remaining words
        if (wordsInCommon < other.wordsInUse) {
            System.arraycopy(other.words, wordsInCommon,
                    words, wordsInCommon,
                    wordsInUse - wordsInCommon);
        }

        // recalculateWordsInUse() is unnecessary
        checkInvariants();
        return changed;
    }

    @Override
    public IBitSet orDiff(IBitSet set) {