Method keySet

src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java:113–115

@return a Set view of the keys contained in this fact.

()

     * @return a {@link Set} view of the keys contained in this fact.
     */
    public Set<K> keySet() {
        return map.keySet();
    }

    /**
     * @return all entries (key-value mappings) in this fact.