6 definition: "struct s {\n int a[30][40];\n}"
9 extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
10 element_type: struct s
14 extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1
15 <= 19 and i2 >= 0 and i3 >= 0 and i2 <= 29 and i3 <= 39 }'
20 domain: '{ S_0[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
21 and k <= 29 and l >= 0 and l <= 39 }'
22 schedule: '{ S_0[i, j, k, l] -> [0, i, j, k, l, 0] }'
28 relation: '{ S_0[i, j, k, l] -> s_a[s[i, j] -> a[k, l]] }'
29 index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }'
30 reference: __pet_ref_0
34 domain: '{ S_1[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
35 and k <= 29 and l >= 0 and l <= 39 }'
36 schedule: '{ S_1[i, j, k, l] -> [0, i, j, k, l, 1] }'
42 relation: '{ S_1[i, j, k, l] -> s_a[s[i, j] -> a[k, o3]] }'
43 index: '{ S_1[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k)]] }'
44 reference: __pet_ref_1
48 domain: '{ S_2[i, j, k, l] : i >= 0 and i <= 9 and j >= 0 and j <= 19 and k >= 0
49 and k <= 29 and l >= 0 and l <= 39 }'
50 schedule: '{ S_2[i, j, k, l] -> [0, i, j, k, l, 2] }'
56 relation: '{ S_2[i, j, k, l] -> s_a[s[i, j] -> a[o2, o3]] }'
57 index: '{ S_2[i, j, k, l] -> s_a[s[(i), (j)] -> a[]] }'
58 reference: __pet_ref_2