test_inputs/schedule/max_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   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 ]