4 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
5 schedule: '{ domain: "[N] -> { S_1[i, t] : N = 0 and i <= 9 and i >= 0 and t >= 0;
6 S_1[0, t] : (N <= -1 and t >= 0) or (N >= 1 and t >= 0); S_0[i, t] : N = 0 and i
7 <= 9 and i >= 0 and t >= 0; S_0[0, t] : (N <= -1 and t >= 0) or (N >= 1 and t >=
8 0); S_2[i] : N = 0 and i <= 9 and i >= 0 }", child: { schedule: "[N] -> L_0[{ S_0[i,
9 t] -> [(i)]; S_2[i] -> [(i)]; S_1[i, t] -> [(i)] }]", child: { sequence: [ { filter:
10 "[N] -> { S_1[i, t]; S_0[i, t] }", child: { schedule: "[N] -> L_1[{ S_0[i, t] ->
11 [(t)]; S_1[i, t] -> [(t)] }]", child: { sequence: [ { filter: "[N] -> { S_0[i, t]
12 }" }, { filter: "[N] -> { S_1[i, t] }" } ] } } }, { filter: "[N] -> { S_2[i] }"
16 extent: '[N] -> { __pet_test_0[i, t] : N = 0 and i <= 9 and i >= 0 and t >= 0; __pet_test_0[0,
17 t] : (N <= -1 and t >= 0) or (N >= 1 and t >= 0) }'
18 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
23 extent: '[N] -> { a[] }'
28 domain: '[N] -> { [S_0[i, t] -> [1]] : N = 0 and i <= 9 and i >= 0 and t >= 0; [S_0[0,
29 t] -> [1]] : (N <= -1 and t >= 0) or (N >= 1 and t >= 0) }'
37 index: '[N] -> { S_0[i, t] -> __pet_test_0[(i), (t)] }'
38 reference: __pet_ref_1
45 index: '[N] -> { S_0[i, t] -> __pet_test_0[(i), ((-1 + t) : t >= 1)] }'
46 reference: __pet_ref_0
50 domain: '[N] -> { [S_1[i, t] -> [1]] : N = 0 and i <= 9 and i >= 0 and t >= 0; [S_1[0,
51 t] -> [1]] : (N <= -1 and t >= 0) or (N >= 1 and t >= 0) }'
59 index: '[N] -> { S_1[i, t] -> a[] }'
60 reference: __pet_ref_3
67 index: '[N] -> { S_1[i, t] -> __pet_test_0[(i), (t)] }'
68 reference: __pet_ref_2
72 domain: '[N] -> { S_2[i] : N = 0 and i <= 9 and i >= 0 }'
80 index: '[N] -> { S_2[i] -> a[] }'
81 reference: __pet_ref_4
88 extension: '[N] -> { __pet_test_0[i, t] -> __pet_test_0[i, t''] : N = 0 and t''
89 <= t and i >= 0 and i <= 9 and t'' >= 0; __pet_test_0[0, t] -> __pet_test_0[0,
90 t''] : (N >= 1 and t'' >= 0 and t'' <= t) or (N <= -1 and t'' >= 0 and t'' <=