changes

[IRC.git] / Robust / src / Analysis / Pointer / Util.java

diff --git a/Robust/src/Analysis/Pointer/Util.java b/Robust/src/Analysis/Pointer/Util.java
index 57a44829a6410e280dd00568669b12c8dc2a3ae9..c0573003c47b88615707abd22eb77d646ebf9451 100644 (file)
--- a/Robust/src/Analysis/Pointer/Util.java
+++ b/Robust/src/Analysis/Pointer/Util.java
@@ -4,8 +4,8 @@ import java.util.HashMap;
 import java.util.Set;
 
 public class Util {
-  public static <T> HashSet<T> setSubtract(Set <T> orig, Set<T> sub) {
-    HashSet<T> newset=new HashSet<T>();
+  public static <T> MySet<T> setSubtract(Set <T> orig, Set<T> sub) {
+    MySet<T> newset=new MySet<T>();
     for(T e: orig) {
       if (!sub.contains(e))
        newset.add(e);
@@ -13,13 +13,13 @@ public class Util {
     return newset;
   }
 
-  public static <K,V> void relationUpdate(HashMap<K,HashSet<V>> map, K key, HashSet<V> toremove, HashSet<V> toadd) {
+  public static <K,V> void relationUpdate(HashMap<K,MySet<V>> map, K key, MySet<V> toremove, MySet<V> toadd) {
     if (map.containsKey(key)) {
       if (toremove!=null)
        map.get(key).removeAll(toremove);
       map.get(key).addAll(toadd);
     } else {
-      map.put(key, (HashSet<V>) toadd.clone());
+      map.put(key, (MySet<V>) toadd.clone());
     }
   }