xref: /netbsd-src/external/mit/isl/dist/test_inputs/schedule/nomax_coincidence.st (revision 5971e316fdea024efff6be8f03536623db06833e)
1domain: "[n] -> { A[i, j, k] : 0 <= i < n and 0 <= j < n and 0 <= k < n; B[i, j, k] : 0 <= i < n and 0 <= j < n and 0 <= k < n }"
2child:
3  schedule: "[n] -> [{ A[i, j, k] -> [(i)]; B[i, j, k] -> [(i)] }, { A[i, j, k] -> [(j)]; B[i, j, k] -> [(k)] }, { A[i, j, k] -> [(k)]; B[i, j, k] -> [(j)] }]"
4  permutable: 1
5  coincident: [ 1, 0, 0 ]
6  child:
7    sequence:
8    - filter: "[n] -> { A[i, j, k] }"
9    - filter: "[n] -> { B[i, j, k] }"
10