polly/lib/External/isl/test_inputs/schedule/niewang.st

   1 domain: "{ S_3[i0, i1, i2, i3, i4, i5, i6] : 0 <= i0 <= 223 and 0 <= i1 <= 223 and 0 <= i2 <= 15 and 0 <= i3 <= 3 and 0 <= i4 <= 6 and 0 <= i5 <= 6 and 0 <= i6 <= 15; group0[i0, i1, i2, i3] : 0 <= i0 <= 3 and 0 <= i1 <= 223 and 0 <= i2 <= 223 and 0 <= i3 <= 15 }"
   2 child:
   3   sequence:
   4   - filter: "{ group0[i0, i1, i2, i3] }"
   5     child:
   6       schedule: "[{ group0[i0, i1, i2, i3] -> [(i0)] }, { group0[i0, i1, i2, i3] -> [(i1)] }, { group0[i0, i1, i2, i3] -> [(i2)] }, { group0[i0, i1, i2, i3] -> [(i3)] }]"
   7       permutable: 1
   8       coincident: [ 1, 1, 1, 1 ]
   9   - filter: "{ S_3[i0, i1, i2, i3, i4, i5, i6] }"
  10     child:
  11       schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i0)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i1)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i2)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i3)] }]"
  12       permutable: 1
  13       coincident: [ 1, 1, 1, 1 ]
  14       child:
  15         schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i4)] }]"
  16         permutable: 1
  17         coincident: [ 1 ]
  18         child:
  19           schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i5)] }]"
  20           permutable: 1
  21           coincident: [ 1 ]
  22           child:
  23             schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i6)] }]"
  24             permutable: 1
  25             coincident: [ 1 ]