separate.st 209 Bytes Raw Blame History Permalink 1 2 3 4 5 6 7 8 domain: "{ a[i] : 0 <= i < 10; b[i] : 0 <= i < 10 }" child: schedule: "[{ a[i] -> [i]; b[i] -> [i+1] }]" options: "{ separate[x] }" child: sequence: - filter: "{ a[i] }" - filter: "{ b[i] }"