Blame isl-0.16.1/test_inputs/codegen/cloog/tiling.st

Packit fb9d21
domain: "[n] -> { S1[ii, i] : i >= 0 and i <= n and i <= 9 + 10ii and i >= 10ii }"
Packit fb9d21
child:
Packit fb9d21
  context: "[n] -> { [] : n >= 0 }"
Packit fb9d21
  child:
Packit fb9d21
    schedule: "[n] -> [{ S1[ii, i] -> [(ii)] }, { S1[ii, i] -> [(i)] }]"
Packit fb9d21
    options: "[n] -> { separate[i0] }"