add support for generating ASTs from schedule relations

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

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