Method SetFact

src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java:47–53

(Collection<E> c)

    protected final Set<E> set;

    public SetFact(Collection<E> c) {
        if (c instanceof GenericBitSet<E> s) {
            set = s.copy();
        } else {
            set = Sets.newHybridSet(c);
        }
    }

    public SetFact() {
        this(Collections.emptySet());