Blame isl-0.14/test_inputs/codegen/pldi2012/figure8_a.in
|
Packit |
fb9d21 |
[n] -> { s0[i,j] -> [i,j] : exists alpha, beta: 1 <= i <= n and i <= j <= n and
|
|
Packit |
fb9d21 |
i = 1 + 4 alpha and j = i + 3 beta}
|
|
Packit |
fb9d21 |
[n] -> { : }
|
|
Packit |
fb9d21 |
[n] -> {}
|