add support for generating ASTs from schedule relations
[isl.git] / test_inputs / codegen / pldi2012 / figure7_b.in
blob93149176bc4b596cfd0a5b85bcc7dfad57d6f651
1 [n] -> { s0[i] -> [i,0] : 1 <= i <= 100 and n > 1;
2          s1[i,j] -> [i,j] : 1 <= i,j <= 100 and n > 1;
3          s2[i,j] -> [i,j] : 1 <= i,j <= 100 }
4 [n] -> {  :  }
5 [n] -> { [i,j] -> separate[x] : x >= 2 }