Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Arrays1 / Arrays1.lustrec.lus @ eb639349

History | View | Annotate | Download (30.6 KB)

1
type arrays1_arrays1__type = enum {POINTArrays1_Arrays1, POINT__TO__ARRAYS1_A_1, ARRAYS1_A__TO__ARRAYS1_B_1, ARRAYS1_B__TO__ARRAYS1_C_1, ARRAYS1_C__TO__ARRAYS1_A_1, ARRAYS1_A_IDL, ARRAYS1_B_IDL, ARRAYS1_C_IDL };
2
 
3
node Arrays1_A_ex (idArrays1_Arrays1_1: int; isInner: bool;) returns (idArrays1_Arrays1: int);
4
var __Arrays1_A_ex_1: bool;
5
    idArrays1_Arrays1_2: int;
6
let
7
    
8
    idArrays1_Arrays1_2 = (if __Arrays1_A_ex_1 then 0 else idArrays1_Arrays1_1);
9
    __Arrays1_A_ex_1 = (not (isInner));
10
    idArrays1_Arrays1 = idArrays1_Arrays1_1;
11
     
12
tel
13
 
14
node Arrays1_B_en (idArrays1_Arrays1_1: int; x_2_1: int; isInner: bool;) returns (idArrays1_Arrays1: int; x_2: int;);
15
var __Arrays1_B_en_1: bool;
16
    idArrays1_Arrays1_2: int;
17
    x_2_2: int;
18
let
19
    
20
    idArrays1_Arrays1_2 = 37;
21
    x_2_2 = (if __Arrays1_B_en_1 then (x_2_1 + 1) else x_2_1);
22
    __Arrays1_B_en_1 = (not (isInner));
23
    idArrays1_Arrays1, x_2 = (idArrays1_Arrays1_2,x_2_2);
24
     
25
tel
26
 
27
node Arrays1_B_ex (idArrays1_Arrays1_1: int; isInner: bool;) returns (idArrays1_Arrays1: int;);
28
var __Arrays1_B_ex_1: bool;
29
    idArrays1_Arrays1_2: int;
30
let
31
    
32
    idArrays1_Arrays1_2 = (if __Arrays1_B_ex_1 then 0 else idArrays1_Arrays1_1);
33
    __Arrays1_B_ex_1 = (not (isInner));
34
    idArrays1_Arrays1 = idArrays1_Arrays1_1;
35
     
36
tel
37
 
38
node Arrays1_C_en (idArrays1_Arrays1_1: int; x_3_1: int; isInner: bool;) returns (idArrays1_Arrays1: int; x_3: int;);
39
var __Arrays1_C_en_1: bool;
40
    idArrays1_Arrays1_2: int;
41
    x_3_2: int;
42
let
43
    
44
    idArrays1_Arrays1_2 = 38;
45
    x_3_2 = (if __Arrays1_C_en_1 then (x_3_1 + 1) else x_3_1);
46
    __Arrays1_C_en_1 = (not (isInner));
47
    idArrays1_Arrays1, x_3 = (idArrays1_Arrays1_2,x_3_2);
48
     
49
tel
50
 
51
node Arrays1_A_en (idArrays1_Arrays1_1: int; x_1_1: int; isInner: bool;) returns (idArrays1_Arrays1: int; x_1: int;);
52
var __Arrays1_A_en_1: bool;
53
    idArrays1_Arrays1_2: int;
54
    x_1_2: int;
55
let
56
    
57
    idArrays1_Arrays1_2 = 36;
58
    x_1_2 = (if __Arrays1_A_en_1 then (x_1_1 + 1) else x_1_1);
59
    __Arrays1_A_en_1 = (not (isInner));
60
    idArrays1_Arrays1, x_1 = (idArrays1_Arrays1_2,x_1_2);
61
     
62
tel
63
 
64
node Arrays1_C_ex (idArrays1_Arrays1_1: int; isInner: bool;) returns (idArrays1_Arrays1: int;);
65
var __Arrays1_C_ex_1: bool;
66
    idArrays1_Arrays1_2: int;
67
let
68
    
69
    idArrays1_Arrays1_2 = (if __Arrays1_C_ex_1 then 0 else idArrays1_Arrays1_1);
70
    __Arrays1_C_ex_1 = (not (isInner));
71
    idArrays1_Arrays1 = idArrays1_Arrays1_1;
72
     
73
tel
74
 
75
node arrays1_arrays1__ARRAYS1_A_IDL_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;);
76
var idArrays1_Arrays1: int;
77
    x_1: int;
78
    x_2: int;
79
    x_3: int;
80
let
81
    
82
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_A_IDL));
83
    idArrays1_Arrays1_out = idArrays1_Arrays1;
84
    x_1_out = x_1;
85
    x_2_out = x_2;
86
    x_3_out = x_3;
87
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_1,x_1_1,x_2_1,x_3_1);
88
     
89
tel
90
 
91
node arrays1_arrays1__ARRAYS1_A_IDL_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;);
92
let
93
    
94
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
95
     
96
tel
97
 
98
node arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;);
99
var idArrays1_Arrays1: int;
100
    x_1: int;
101
    x_2: int;
102
    x_3: int;
103
    x_2_2: int;
104
    idArrays1_Arrays1_3: int;
105
    idArrays1_Arrays1_2: int;
106
let
107
    
108
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_A__TO__ARRAYS1_B_1));
109
    idArrays1_Arrays1_out = idArrays1_Arrays1;
110
    x_1_out = x_1;
111
    x_2_out = x_2;
112
    x_3_out = x_3;
113
    idArrays1_Arrays1_2 = Arrays1_A_ex (idArrays1_Arrays1_1,false);
114
    idArrays1_Arrays1_3, x_2_2 = Arrays1_B_en (idArrays1_Arrays1_2,x_2_1,false);
115
    idArrays1_Arrays1, x_1, x_2 = (idArrays1_Arrays1_3,x_1_1,x_2_2);
116
    x_3 = x_3_1;
117
     
118
tel
119
 
120
node arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
121
let
122
    
123
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
124
     
125
tel
126
 
127
node arrays1_arrays1__ARRAYS1_B_IDL_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
128
var idArrays1_Arrays1: int;
129
    x_1: int;
130
    x_2: int;
131
    x_3: int;
132
let
133
    
134
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_B_IDL));
135
    idArrays1_Arrays1_out = idArrays1_Arrays1;
136
    x_1_out = x_1;
137
    x_2_out = x_2;
138
    x_3_out = x_3;
139
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_1,x_1_1,x_2_1,x_3_1);
140
     
141
tel
142
 
143
node arrays1_arrays1__ARRAYS1_B_IDL_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
144
let
145
    
146
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
147
     
148
tel
149
 
150
node arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
151
var idArrays1_Arrays1: int;
152
    x_1: int;
153
    x_2: int;
154
    x_3: int;
155
    x_3_2: int;
156
    idArrays1_Arrays1_3: int;
157
    idArrays1_Arrays1_2: int;
158
let
159
    
160
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_B__TO__ARRAYS1_C_1));
161
    idArrays1_Arrays1_out = idArrays1_Arrays1;
162
    x_1_out = x_1;
163
    x_2_out = x_2;
164
    x_3_out = x_3;
165
    idArrays1_Arrays1_2 = Arrays1_B_ex (idArrays1_Arrays1_1,false);
166
    idArrays1_Arrays1_3, x_3_2 = Arrays1_C_en (idArrays1_Arrays1_2,x_3_1,false);
167
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_3,x_1_1,x_2_1,x_3_2);
168
     
169
tel
170
 
171
node arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
172
let
173
    
174
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
175
     
176
tel
177
 
178
node arrays1_arrays1__ARRAYS1_C_IDL_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
179
var idArrays1_Arrays1: int;
180
    x_1: int;
181
    x_2: int;
182
    x_3: int;
183
let
184
    
185
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_C_IDL));
186
    idArrays1_Arrays1_out = idArrays1_Arrays1;
187
    x_1_out = x_1;
188
    x_2_out = x_2;
189
    x_3_out = x_3;
190
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_1,x_1_1,x_2_1,x_3_1);
191
     
192
tel
193
 
194
node arrays1_arrays1__ARRAYS1_C_IDL_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
195
let
196
    
197
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
198
     
199
tel
200
 
201
node arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
202
var idArrays1_Arrays1: int;
203
    x_1: int;
204
    x_2: int;
205
    x_3: int;
206
    x_1_2: int;
207
    idArrays1_Arrays1_3: int;
208
    idArrays1_Arrays1_2: int;
209
let
210
    
211
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,ARRAYS1_C__TO__ARRAYS1_A_1));
212
    idArrays1_Arrays1_out = idArrays1_Arrays1;
213
    x_1_out = x_1;
214
    x_2_out = x_2;
215
    x_3_out = x_3;
216
    idArrays1_Arrays1_2 = Arrays1_C_ex (idArrays1_Arrays1_1,false);
217
    idArrays1_Arrays1_3, x_1_2 = Arrays1_A_en (idArrays1_Arrays1_2,x_1_1,false);
218
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_3,x_1_2,x_2_1,x_3_1);
219
     
220
tel
221
 
222
node arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
223
let
224
    
225
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
226
     
227
tel
228
 
229
node arrays1_arrays1__POINTArrays1_Arrays1_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
230
var idArrays1_Arrays1: int;
231
    x_1: int;
232
    x_2: int;
233
    x_3: int;
234
let
235
    
236
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (false,POINTArrays1_Arrays1);
237
    idArrays1_Arrays1_out = idArrays1_Arrays1;
238
    x_1_out = x_1;
239
    x_2_out = x_2;
240
    x_3_out = x_3;
241
    idArrays1_Arrays1, x_1, x_2, x_3 = (idArrays1_Arrays1_1,x_1_1,x_2_1,x_3_1);
242
     
243
tel
244
 
245
node arrays1_arrays1__POINTArrays1_Arrays1_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_1: int; E: bool;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
246
var __arrays1_arrays1__POINTArrays1_Arrays1_unless_7: bool;
247
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_6: bool;
248
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_5: bool;
249
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_4: bool;
250
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_3: bool;
251
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_2: bool;
252
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_1: bool;
253
let
254
    
255
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_1 then (true,POINT__TO__ARRAYS1_A_1) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_2 then (true,ARRAYS1_A__TO__ARRAYS1_B_1) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_3 then (true,ARRAYS1_B__TO__ARRAYS1_C_1) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_4 then (true,ARRAYS1_C__TO__ARRAYS1_A_1) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_5 then (true,ARRAYS1_A_IDL) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_6 then (true,ARRAYS1_B_IDL) else (if __arrays1_arrays1__POINTArrays1_Arrays1_unless_7 then (true,ARRAYS1_C_IDL) else (arrays1_arrays1__restart_in,arrays1_arrays1__state_in))))))));
256
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_7 = (idArrays1_Arrays1_1 = 38);
257
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_6 = (idArrays1_Arrays1_1 = 37);
258
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_5 = (idArrays1_Arrays1_1 = 36);
259
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_4 = ((idArrays1_Arrays1_1 = 38) and E);
260
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_3 = ((idArrays1_Arrays1_1 = 37) and E);
261
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_2 = ((idArrays1_Arrays1_1 = 36) and E);
262
    __arrays1_arrays1__POINTArrays1_Arrays1_unless_1 = (idArrays1_Arrays1_1 = 0);
263
     
264
tel
265
 
266
node arrays1_arrays1__POINT__TO__ARRAYS1_A_1_handler_until (idArrays1_Arrays1_1: int; x_1_1: int; x_2_1: int; x_3_1: int;) returns (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type; idArrays1_Arrays1_out: int; x_1_out: int; x_2_out: int; x_3_out: int;)
267
var idArrays1_Arrays1: int;
268
    x_1: int;
269
    x_2: int;
270
    x_3: int;
271
    x_1_2: int;
272
    idArrays1_Arrays1_2: int;
273
let
274
    
275
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = (if true then (true,POINTArrays1_Arrays1) else (false,POINT__TO__ARRAYS1_A_1));
276
    idArrays1_Arrays1_out = idArrays1_Arrays1;
277
    x_1_out = x_1;
278
    x_2_out = x_2;
279
    x_3_out = x_3;
280
    idArrays1_Arrays1_2, x_1_2 = Arrays1_A_en (idArrays1_Arrays1_1,x_1_1,false);
281
    idArrays1_Arrays1, x_1 = (idArrays1_Arrays1_2,x_1_2);
282
    x_2, x_3 = (x_2_1,x_3_1);
283
     
284
tel
285
 
286
node arrays1_arrays1__POINT__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in: bool; arrays1_arrays1__state_in: arrays1_arrays1__type;) returns (arrays1_arrays1__restart_act: bool; arrays1_arrays1__state_act: arrays1_arrays1__type;)
287
let
288
    
289
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = (arrays1_arrays1__restart_in,arrays1_arrays1__state_in);
290
     
291
tel
292
 
293
node Arrays1_Arrays1_node (idArrays1_Arrays1_1: int; x_1_1: int; E: bool; x_2_1: int; x_3_1: int;) returns (idArrays1_Arrays1: int; x_1: int; x_2: int; x_3: int;)
294
var __Arrays1_Arrays1_node_65: bool;
295
    __Arrays1_Arrays1_node_66: arrays1_arrays1__type;
296
    __Arrays1_Arrays1_node_59: bool; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
297
    __Arrays1_Arrays1_node_60: arrays1_arrays1__type; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
298
    __Arrays1_Arrays1_node_61: int; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
299
    __Arrays1_Arrays1_node_62: int; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
300
    __Arrays1_Arrays1_node_63: int; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
301
    __Arrays1_Arrays1_node_64: int; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_act)
302
    __Arrays1_Arrays1_node_53: bool; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
303
    __Arrays1_Arrays1_node_54: arrays1_arrays1__type; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
304
    __Arrays1_Arrays1_node_55: int; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
305
    __Arrays1_Arrays1_node_56: int; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
306
    __Arrays1_Arrays1_node_57: int; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
307
    __Arrays1_Arrays1_node_58: int; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
308
    __Arrays1_Arrays1_node_47: bool; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
309
    __Arrays1_Arrays1_node_48: arrays1_arrays1__type; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
310
    __Arrays1_Arrays1_node_49: int; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
311
    __Arrays1_Arrays1_node_50: int; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
312
    __Arrays1_Arrays1_node_51: int; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
313
    __Arrays1_Arrays1_node_52: int; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)
314
    __Arrays1_Arrays1_node_41: bool; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
315
    __Arrays1_Arrays1_node_42: arrays1_arrays1__type; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
316
    __Arrays1_Arrays1_node_43: int; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
317
    __Arrays1_Arrays1_node_44: int; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
318
    __Arrays1_Arrays1_node_45: int; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
319
    __Arrays1_Arrays1_node_46: int; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)
320
    __Arrays1_Arrays1_node_35: bool; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
321
    __Arrays1_Arrays1_node_36: arrays1_arrays1__type; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
322
    __Arrays1_Arrays1_node_37: int; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
323
    __Arrays1_Arrays1_node_38: int; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
324
    __Arrays1_Arrays1_node_39: int; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
325
    __Arrays1_Arrays1_node_40: int; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)
326
    __Arrays1_Arrays1_node_29: bool; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
327
    __Arrays1_Arrays1_node_30: arrays1_arrays1__type; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
328
    __Arrays1_Arrays1_node_31: int; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
329
    __Arrays1_Arrays1_node_32: int; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
330
    __Arrays1_Arrays1_node_33: int; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
331
    __Arrays1_Arrays1_node_34: int; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_act)
332
    __Arrays1_Arrays1_node_23: bool; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
333
    __Arrays1_Arrays1_node_24: arrays1_arrays1__type; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
334
    __Arrays1_Arrays1_node_25: int; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
335
    __Arrays1_Arrays1_node_26: int; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
336
    __Arrays1_Arrays1_node_27: int; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
337
    __Arrays1_Arrays1_node_28: int; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_act)
338
    __Arrays1_Arrays1_node_17: bool; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
339
    __Arrays1_Arrays1_node_18: arrays1_arrays1__type; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
340
    __Arrays1_Arrays1_node_19: int; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
341
    __Arrays1_Arrays1_node_20: int; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
342
    __Arrays1_Arrays1_node_21: int; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
343
    __Arrays1_Arrays1_node_22: int; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_act)
344
    __Arrays1_Arrays1_node_15: bool; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_in)
345
    __Arrays1_Arrays1_node_16: arrays1_arrays1__type; --  when POINTArrays1_Arrays1(arrays1_arrays1__state_in)
346
    __Arrays1_Arrays1_node_13: bool; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)
347
    __Arrays1_Arrays1_node_14: arrays1_arrays1__type; --  when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)
348
    __Arrays1_Arrays1_node_11: bool; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_in)
349
    __Arrays1_Arrays1_node_12: arrays1_arrays1__type; --  when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_in)
350
    __Arrays1_Arrays1_node_9: bool; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_in)
351
    __Arrays1_Arrays1_node_10: arrays1_arrays1__type; --  when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_in)
352
    __Arrays1_Arrays1_node_7: bool; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)
353
    __Arrays1_Arrays1_node_8: arrays1_arrays1__type; --  when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)
354
    __Arrays1_Arrays1_node_5: bool; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_in)
355
    __Arrays1_Arrays1_node_6: arrays1_arrays1__type; --  when ARRAYS1_A_IDL(arrays1_arrays1__state_in)
356
    __Arrays1_Arrays1_node_3: bool; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_in)
357
    __Arrays1_Arrays1_node_4: arrays1_arrays1__type; --  when ARRAYS1_B_IDL(arrays1_arrays1__state_in)
358
    __Arrays1_Arrays1_node_1: bool; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_in)
359
    __Arrays1_Arrays1_node_2: arrays1_arrays1__type; --  when ARRAYS1_C_IDL(arrays1_arrays1__state_in)
360
    arrays1_arrays1__next_restart_in: bool;
361
    arrays1_arrays1__restart_in: bool;
362
    arrays1_arrays1__restart_act: bool;
363
    arrays1_arrays1__next_state_in: arrays1_arrays1__type;
364
    arrays1_arrays1__state_in: arrays1_arrays1__type clock;
365
    arrays1_arrays1__state_act: arrays1_arrays1__type clock;
366
let
367
    
368
    arrays1_arrays1__restart_in, arrays1_arrays1__state_in = ((false,POINTArrays1_Arrays1) -> (__Arrays1_Arrays1_node_65,__Arrays1_Arrays1_node_66));
369
    arrays1_arrays1__next_restart_in, arrays1_arrays1__next_state_in, idArrays1_Arrays1, x_1, x_2, x_3 = merge arrays1_arrays1__state_act (POINTArrays1_Arrays1 -> (__Arrays1_Arrays1_node_59,__Arrays1_Arrays1_node_60,__Arrays1_Arrays1_node_61,__Arrays1_Arrays1_node_62,__Arrays1_Arrays1_node_63,__Arrays1_Arrays1_node_64)) (POINT__TO__ARRAYS1_A_1 -> (__Arrays1_Arrays1_node_53,__Arrays1_Arrays1_node_54,__Arrays1_Arrays1_node_55,__Arrays1_Arrays1_node_56,__Arrays1_Arrays1_node_57,__Arrays1_Arrays1_node_58)) (ARRAYS1_A__TO__ARRAYS1_B_1 -> (__Arrays1_Arrays1_node_47,__Arrays1_Arrays1_node_48,__Arrays1_Arrays1_node_49,__Arrays1_Arrays1_node_50,__Arrays1_Arrays1_node_51,__Arrays1_Arrays1_node_52)) (ARRAYS1_B__TO__ARRAYS1_C_1 -> (__Arrays1_Arrays1_node_41,__Arrays1_Arrays1_node_42,__Arrays1_Arrays1_node_43,__Arrays1_Arrays1_node_44,__Arrays1_Arrays1_node_45,__Arrays1_Arrays1_node_46)) (ARRAYS1_C__TO__ARRAYS1_A_1 -> (__Arrays1_Arrays1_node_35,__Arrays1_Arrays1_node_36,__Arrays1_Arrays1_node_37,__Arrays1_Arrays1_node_38,__Arrays1_Arrays1_node_39,__Arrays1_Arrays1_node_40)) (ARRAYS1_A_IDL -> (__Arrays1_Arrays1_node_29,__Arrays1_Arrays1_node_30,__Arrays1_Arrays1_node_31,__Arrays1_Arrays1_node_32,__Arrays1_Arrays1_node_33,__Arrays1_Arrays1_node_34)) (ARRAYS1_B_IDL -> (__Arrays1_Arrays1_node_23,__Arrays1_Arrays1_node_24,__Arrays1_Arrays1_node_25,__Arrays1_Arrays1_node_26,__Arrays1_Arrays1_node_27,__Arrays1_Arrays1_node_28)) (ARRAYS1_C_IDL -> (__Arrays1_Arrays1_node_17,__Arrays1_Arrays1_node_18,__Arrays1_Arrays1_node_19,__Arrays1_Arrays1_node_20,__Arrays1_Arrays1_node_21,__Arrays1_Arrays1_node_22));
370
    __Arrays1_Arrays1_node_59, __Arrays1_Arrays1_node_60, __Arrays1_Arrays1_node_61, __Arrays1_Arrays1_node_62, __Arrays1_Arrays1_node_63, __Arrays1_Arrays1_node_64 = arrays1_arrays1__POINTArrays1_Arrays1_handler_until (idArrays1_Arrays1_1 when POINTArrays1_Arrays1(arrays1_arrays1__state_act),x_1_1 when POINTArrays1_Arrays1(arrays1_arrays1__state_act),x_2_1 when POINTArrays1_Arrays1(arrays1_arrays1__state_act),x_3_1 when POINTArrays1_Arrays1(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
371
    __Arrays1_Arrays1_node_53, __Arrays1_Arrays1_node_54, __Arrays1_Arrays1_node_55, __Arrays1_Arrays1_node_56, __Arrays1_Arrays1_node_57, __Arrays1_Arrays1_node_58 = arrays1_arrays1__POINT__TO__ARRAYS1_A_1_handler_until (idArrays1_Arrays1_1 when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_1_1 when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_2_1 when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_3_1 when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
372
    __Arrays1_Arrays1_node_47, __Arrays1_Arrays1_node_48, __Arrays1_Arrays1_node_49, __Arrays1_Arrays1_node_50, __Arrays1_Arrays1_node_51, __Arrays1_Arrays1_node_52 = arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_handler_until (idArrays1_Arrays1_1 when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
373
    __Arrays1_Arrays1_node_41, __Arrays1_Arrays1_node_42, __Arrays1_Arrays1_node_43, __Arrays1_Arrays1_node_44, __Arrays1_Arrays1_node_45, __Arrays1_Arrays1_node_46 = arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_handler_until (idArrays1_Arrays1_1 when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
374
    __Arrays1_Arrays1_node_35, __Arrays1_Arrays1_node_36, __Arrays1_Arrays1_node_37, __Arrays1_Arrays1_node_38, __Arrays1_Arrays1_node_39, __Arrays1_Arrays1_node_40 = arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_handler_until (idArrays1_Arrays1_1 when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
375
    __Arrays1_Arrays1_node_29, __Arrays1_Arrays1_node_30, __Arrays1_Arrays1_node_31, __Arrays1_Arrays1_node_32, __Arrays1_Arrays1_node_33, __Arrays1_Arrays1_node_34 = arrays1_arrays1__ARRAYS1_A_IDL_handler_until (idArrays1_Arrays1_1 when ARRAYS1_A_IDL(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_A_IDL(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_A_IDL(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_A_IDL(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
376
    __Arrays1_Arrays1_node_23, __Arrays1_Arrays1_node_24, __Arrays1_Arrays1_node_25, __Arrays1_Arrays1_node_26, __Arrays1_Arrays1_node_27, __Arrays1_Arrays1_node_28 = arrays1_arrays1__ARRAYS1_B_IDL_handler_until (idArrays1_Arrays1_1 when ARRAYS1_B_IDL(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_B_IDL(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_B_IDL(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_B_IDL(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
377
    __Arrays1_Arrays1_node_17, __Arrays1_Arrays1_node_18, __Arrays1_Arrays1_node_19, __Arrays1_Arrays1_node_20, __Arrays1_Arrays1_node_21, __Arrays1_Arrays1_node_22 = arrays1_arrays1__ARRAYS1_C_IDL_handler_until (idArrays1_Arrays1_1 when ARRAYS1_C_IDL(arrays1_arrays1__state_act),x_1_1 when ARRAYS1_C_IDL(arrays1_arrays1__state_act),x_2_1 when ARRAYS1_C_IDL(arrays1_arrays1__state_act),x_3_1 when ARRAYS1_C_IDL(arrays1_arrays1__state_act)) every (arrays1_arrays1__restart_act);
378
    arrays1_arrays1__restart_act, arrays1_arrays1__state_act = merge arrays1_arrays1__state_in (POINTArrays1_Arrays1 -> (__Arrays1_Arrays1_node_15,__Arrays1_Arrays1_node_16)) (POINT__TO__ARRAYS1_A_1 -> (__Arrays1_Arrays1_node_13,__Arrays1_Arrays1_node_14)) (ARRAYS1_A__TO__ARRAYS1_B_1 -> (__Arrays1_Arrays1_node_11,__Arrays1_Arrays1_node_12)) (ARRAYS1_B__TO__ARRAYS1_C_1 -> (__Arrays1_Arrays1_node_9,__Arrays1_Arrays1_node_10)) (ARRAYS1_C__TO__ARRAYS1_A_1 -> (__Arrays1_Arrays1_node_7,__Arrays1_Arrays1_node_8)) (ARRAYS1_A_IDL -> (__Arrays1_Arrays1_node_5,__Arrays1_Arrays1_node_6)) (ARRAYS1_B_IDL -> (__Arrays1_Arrays1_node_3,__Arrays1_Arrays1_node_4)) (ARRAYS1_C_IDL -> (__Arrays1_Arrays1_node_1,__Arrays1_Arrays1_node_2));
379
    __Arrays1_Arrays1_node_15, __Arrays1_Arrays1_node_16 = arrays1_arrays1__POINTArrays1_Arrays1_unless (arrays1_arrays1__restart_in when POINTArrays1_Arrays1(arrays1_arrays1__state_in),arrays1_arrays1__state_in when POINTArrays1_Arrays1(arrays1_arrays1__state_in),idArrays1_Arrays1_1 when POINTArrays1_Arrays1(arrays1_arrays1__state_in),E when POINTArrays1_Arrays1(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
380
    __Arrays1_Arrays1_node_13, __Arrays1_Arrays1_node_14 = arrays1_arrays1__POINT__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_in),arrays1_arrays1__state_in when POINT__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
381
    __Arrays1_Arrays1_node_11, __Arrays1_Arrays1_node_12 = arrays1_arrays1__ARRAYS1_A__TO__ARRAYS1_B_1_unless (arrays1_arrays1__restart_in when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_A__TO__ARRAYS1_B_1(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
382
    __Arrays1_Arrays1_node_9, __Arrays1_Arrays1_node_10 = arrays1_arrays1__ARRAYS1_B__TO__ARRAYS1_C_1_unless (arrays1_arrays1__restart_in when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_B__TO__ARRAYS1_C_1(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
383
    __Arrays1_Arrays1_node_7, __Arrays1_Arrays1_node_8 = arrays1_arrays1__ARRAYS1_C__TO__ARRAYS1_A_1_unless (arrays1_arrays1__restart_in when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_C__TO__ARRAYS1_A_1(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
384
    __Arrays1_Arrays1_node_5, __Arrays1_Arrays1_node_6 = arrays1_arrays1__ARRAYS1_A_IDL_unless (arrays1_arrays1__restart_in when ARRAYS1_A_IDL(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_A_IDL(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
385
    __Arrays1_Arrays1_node_3, __Arrays1_Arrays1_node_4 = arrays1_arrays1__ARRAYS1_B_IDL_unless (arrays1_arrays1__restart_in when ARRAYS1_B_IDL(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_B_IDL(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
386
    __Arrays1_Arrays1_node_1, __Arrays1_Arrays1_node_2 = arrays1_arrays1__ARRAYS1_C_IDL_unless (arrays1_arrays1__restart_in when ARRAYS1_C_IDL(arrays1_arrays1__state_in),arrays1_arrays1__state_in when ARRAYS1_C_IDL(arrays1_arrays1__state_in)) every (arrays1_arrays1__restart_in);
387
    __Arrays1_Arrays1_node_65, __Arrays1_Arrays1_node_66 = pre (arrays1_arrays1__next_restart_in,arrays1_arrays1__next_state_in);
388
     
389
tel
390
 
391
node Arrays1_Arrays1 (E: bool;) returns (x_1: int; x_2: int; x_3: int;)
392
var __Arrays1_Arrays1_8: int;
393
    __Arrays1_Arrays1_7: int;
394
    __Arrays1_Arrays1_6: int;
395
    __Arrays1_Arrays1_5: int;
396
    __Arrays1_Arrays1_1: int;
397
    __Arrays1_Arrays1_2: int;
398
    __Arrays1_Arrays1_3: int;
399
    __Arrays1_Arrays1_4: int;
400
    x_1_1: int;
401
    x_2_1: int;
402
    x_3_1: int;
403
    idArrays1_Arrays1: int;
404
    idArrays1_Arrays1_1: int;
405
let
406
    
407
    x_1_1 = (1 -> __Arrays1_Arrays1_8);
408
    x_2_1 = (1 -> __Arrays1_Arrays1_7);
409
    x_3_1 = (1 -> __Arrays1_Arrays1_6);
410
    idArrays1_Arrays1_1 = (0 -> __Arrays1_Arrays1_5);
411
    idArrays1_Arrays1, x_1, x_2, x_3 = (if E then (__Arrays1_Arrays1_1,__Arrays1_Arrays1_2,__Arrays1_Arrays1_3,__Arrays1_Arrays1_4) else (idArrays1_Arrays1_1,x_1_1,x_2_1,x_3_1));
412
    __Arrays1_Arrays1_1, __Arrays1_Arrays1_2, __Arrays1_Arrays1_3, __Arrays1_Arrays1_4 = Arrays1_Arrays1_node (idArrays1_Arrays1_1,x_1_1,E,x_2_1,x_3_1);
413
    __Arrays1_Arrays1_8 = pre x_1;
414
    __Arrays1_Arrays1_7 = pre x_2;
415
    __Arrays1_Arrays1_6 = pre x_3;
416
    __Arrays1_Arrays1_5 = pre idArrays1_Arrays1;
417
     
418
tel
419
 
420
node Arrays1 (E_1_1: real;) returns (x1_1_1: int; x2_2_1: int; x3_3_1: int;)
421
var __Arrays1_1: real;
422
    Arrays1_1_1: int;
423
    Arrays1_1_2: int;
424
    Arrays1_1_3: int;
425
    Demux_1_1: int;
426
    Demux_2_1: int;
427
    Demux_3_1: int;
428
    E_1_1_event: bool;
429
let
430
    
431
    E_1_1_event = (false -> ((__Arrays1_1 <= 0.) and (E_1_1 > 0.)));
432
    Arrays1_1_1, Arrays1_1_2, Arrays1_1_3 = Arrays1_Arrays1 (E_1_1_event);
433
    Demux_1_1 = Arrays1_1_1;
434
    Demux_2_1 = Arrays1_1_2;
435
    Demux_3_1 = Arrays1_1_3;
436
    x1_1_1 = Demux_1_1;
437
    x2_2_1 = Demux_2_1;
438
    x3_3_1 = Demux_3_1;
439
    __Arrays1_1 = pre E_1_1;
440
     
441
tel