Method andNot

src/main/java/pascal/taie/util/collection/IBitSet.java:218–218

Clears all of the bits in this BitSet whose corresponding bit is set in the specified BitSet. @param set the BitSet with which to mask this BitSet @return true if this bit set changed as a result of the call

(IBitSet set)

     * @return {@code true} if this bit set changed as a result of the call
     */
    boolean andNot(IBitSet set);

    /**
     * Performs a logical <b>OR</b> of this bit set with the bit set