1domain: "{ sync[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 32; stB[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64; stC[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64 }" 2child: 3 schedule: "[{ sync[i0, i1] -> [(i0)]; stB[i0, i1] -> [(i0)]; stC[i0, i1] -> [(i0)] }, { sync[i0, i1] -> [(64 + i1)]; stB[i0, i1] -> [(i1)]; stC[i0, i1] -> [(i1)] }]" 4 permutable: 1 5 coincident: [ 1, 0 ] 6 child: 7 sequence: 8 - filter: "{ stB[i0, i1]; stC[i0, i1] }" 9 child: 10 set: 11 - filter: "{ stC[i0, i1] }" 12 - filter: "{ stB[i0, i1] }" 13 - filter: "{ sync[i0, i1] }" 14