Robust/src/Analysis/SSJava/FElement.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashSet;
   4 import java.util.Set;
   5
   6 public class FElement {
   7
   8   public static Set<Integer> EMPTY = new HashSet<Integer>();
   9   Set<Integer> set;
  10
  11   public FElement() {
  12     set = new HashSet<Integer>();
  13   }
  14
  15 }