4 context: '[n] -> { : n <= 2147483647 and n >= 0 }'
5 schedule: '{ domain: "[n] -> { S_0[i] : i >= 0 and i <= -1 + n }", child: { schedule:
6 "[n] -> L_0[{ S_0[i] -> [(i)] }]" } }'
8 - context: '[n] -> { : n >= 0 }'
9 extent: '[n] -> { B[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1
15 domain: '[n] -> { S_0[i] : i >= 0 and i <= -1 + n }'
23 index: '[n] -> { S_0[i] -> [(1 + i)] }'
24 reference: __pet_ref_0
28 index: '[n] -> { S_0[i] -> [(n)] }'
29 reference: __pet_ref_1
33 may_read: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n }'
34 may_write: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n; S_0[i] -> B[i, i]
36 must_write: '[n] -> { S_0[i] -> B[i, i] }'
37 index: '[n] -> { S_0[i] -> B[(i)] }'
39 reference: __pet_ref_2