37 lines · plain
1domain: "[M, N, O, P, Q, R, S, T, U] -> { S1[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= Q and i1 <= -1 + N and i2 >= P and i2 <= -1 + M; S3[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= P and i2 <= -1 + M; S4[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S2[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= Q and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M }"2child:3 context: "[M, N, O, P, Q, R, S, T, U] -> { [] : M >= 10 and N >= 10 and O >= 10 and P >= 1 and P <= 2 and Q >= 1 and Q <= 2 and R >= 1 and R <= 2 and S >= 0 and S <= 1 and T >= 0 and T <= 1 and U >= 0 and U <= 1 }"4 child:5 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i0)]; S2[i0, i1, i2] -> [(i0)]; S1[i0, i1, i2] -> [(i0)]; S3[i0, i1, i2] -> [(i0)] }]"6 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"7 child:8 sequence:9 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S1[i0, i1, i2]; S2[i0, i1, i2] }"10 child:11 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S2[i0, i1, i2] -> [(i1)]; S1[i0, i1, i2] -> [(i1)] }]"12 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"13 child:14 sequence:15 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S1[i0, i1, i2] }"16 child:17 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S1[i0, i1, i2] -> [(i2)] }]"18 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"19 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S2[i0, i1, i2] }"20 child:21 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S2[i0, i1, i2] -> [(i2)] }]"22 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"23 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S3[i0, i1, i2]; S4[i0, i1, i2] }"24 child:25 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i1)]; S3[i0, i1, i2] -> [(i1)] }]"26 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"27 child:28 sequence:29 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S3[i0, i1, i2] }"30 child:31 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S3[i0, i1, i2] -> [(i2)] }]"32 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"33 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S4[i0, i1, i2] }"34 child:35 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i2)] }]"36 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"37