Home | History | Annotate | Line # | Download | only in pldi2012 
      1  1.1  mrg [n] -> { s0[i] -> [i,0] : 1 <= i <= 100 and n > 1;
      2  1.1  mrg 	 s1[i,j] -> [i,j] : 1 <= i,j <= 100 and n > 1;
      3  1.1  mrg 	 s2[i,j] -> [i,j] : 1 <= i,j <= 100 }
      4  1.1  mrg [n] -> {  :  }
      5  1.1  mrg [n] -> { [i,j] -> separate[x] : x >= 1 }
      6