• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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  sequence:
4  - filter: "[n] -> { A[i, j, k] }"
5    child:
6      schedule: "[n] -> [{ A[i, j, k] -> [(i)] }, { A[i, j, k] -> [(j)] }, { A[i, j, k] -> [(k)] }]"
7      permutable: 1
8      coincident: [ 1, 1, 0 ]
9  - filter: "[n] -> { B[i, j, k] }"
10    child:
11      schedule: "[n] -> [{ B[i, j, k] -> [(i)] }, { B[i, j, k] -> [(j)] }, { B[i, j, k] -> [(k)] }]"
12      permutable: 1
13      coincident: [ 1, 1, 0 ]
14