add support for generating ASTs from schedule relations

[isl.git] / test_inputs / codegen / cloog / mod.in

{ S1[i0] -> [i0, 0] : exists (e0 = [(1 + i0)/3]: i0 >= 0 and i0 <= 3 and 3e0 <= i0 and 3e0 >= -1 + i0) }
{  :  }
{ [i, j] -> separate[o0] }