Method and

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

Performs a logical AND of this target bit set with the argument bit set. This bit set is modified so that each bit in it has the value true if and only if it both initially had the value true and the corresponding bit in the bit set argument also had the value true. @

(IBitSet set)

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

    /**
     * Clears all of the bits in this {@code BitSet} whose corresponding