Method update

src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java:68–70

Updates the key-value mapping in this fact. @return if the update changes this fact.

(K key, V value)

     * @return if the update changes this fact.
     */
    public boolean update(K key, V value) {
        return !Objects.equals(map.put(key, value), value);
    }

    /**
     * Removes the key-value mapping for given key.