14 lines · plain
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: 15 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