10 lines · plain
1domain: "{ A[i] : 0 <= i < 10; B[i,j] : 0 <= i,j < 10 }"2child:3 schedule: "[{ A[i] -> [0]; B[i,j] -> [i] }]"4 child:5 schedule: "[{ A[i] -> [i]; B[i,j] -> [j] }]"6 child:7 sequence:8 - filter: "{ A[i] }"9 - filter: "{ B[i,j] }"10