Robust/src/Analysis/Pointer/Util.java

   1 package Analysis.Pointer;
   2 import java.util.HashSet;
   3 import java.util.Set;
   4
   5 public class Util {
   6   public static <T> HashSet<T> setSubtract(Set <T> orig, Set<T> sub) {
   7     HashSet<T> newset=new HashSet<T>();
   8     for(T e: orig) {
   9       if (!sub.contains(e))
  10         newset.add(e);
  11     }
  12     return newset;
  13   }
  14
  15 }