domain: "{ A[]; B[i] : 0 <= i < 10 }"
child:
schedule: "[{ A[] -> [0]; B[i] -> [i] }]"
child:
set:
- filter: "{ B[i] }"
- filter: "{ A[] }"
domain: "{ A[]; B[i] : 0 <= i < 10 }"
child:
schedule: "[{ A[] -> [0]; B[i] -> [i] }]"
child:
set:
- filter: "{ B[i] }"
- filter: "{ A[] }"