Method set

src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java:142–149

Sets the content of this set to the same as other set.

(SetFact<E> other)

     * Sets the content of this set to the same as other set.
     */
    public void set(SetFact<E> other) {
        if (set instanceof GenericBitSet<E> s) {
            s.setTo(other.set);
        } else {
            clear();
            union(other);
        }
    }

    /**
     * Creates and returns a copy of this fact.