test_inputs/schedule/nomax_coincidence.st

   1 domain: "[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 }"
   2 child:
   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] }"