Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 import IR.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6 import java.io.*;
   7
   8
   9 public class ReachabilitySet {
  10
  11     public HashSet<TokenTupleSet> possibleReachabilities;
  12
  13
  14     // this one has special union.
  15 }