Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java

   1 public class GlobalCounter {
   2     flag Init;
   3     public int counter;
   4         public boolean partial;
   5
   6     public GlobalCounter() {
   7         counter = 0;
   8         partial = false;
   9     }
  10 }