Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Reshape_RowVector_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (9.63 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:59:55
5
(*
6
Original block name: Reshape_RowVector_PP
7
*)
8
node  Reshape_RowVector_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;
12
	In1_5 : real;
13
	In1_6 : real;
14
	In2_1 : real;
15
	In3_1 : real;
16
	In3_2 : real;
17
	In3_3 : real;
18
	In3_4 : real;
19
	In3_5 : real;
20
	In3_6 : real;
21
	In4_1 : real;
22
	In4_2 : real;
23
	In4_3 : real;
24
	In4_4 : real;
25
	In4_5 : real;
26
	In4_6 : real;
27
	In5_1 : real;
28
	In5_2 : real;
29
	In5_3 : real;
30
	In5_4 : real;
31
	In5_5 : real;
32
	In5_6 : real;
33
	In6_1 : real;
34
	In6_2 : real;
35
	In6_3 : real;
36
	In6_4 : real;
37
	In6_5 : real;
38
	In6_6 : real;
39
	In6_7 : real;
40
	In6_8 : real;
41
	In6_9 : real;
42
	In6_10 : real;
43
	In6_11 : real;
44
	In6_12 : real;
45
	In6_13 : real;
46
	In6_14 : real;
47
	In6_15 : real;
48
	In6_16 : real;
49
	In6_17 : real;
50
	In6_18 : real;
51
	In6_19 : real;
52
	In6_20 : real;
53
	In6_21 : real;
54
	In6_22 : real;
55
	In6_23 : real;
56
	In6_24 : real;
57
	In7_1 : real;
58
	In7_2 : real;
59
	In7_3 : real;
60
	In7_4 : real;
61
	In7_5 : real;
62
	In7_6 : real;
63
	In7_7 : real;
64
	In7_8 : real;
65
	In7_9 : real;
66
	In7_10 : real;
67
	In7_11 : real;
68
	In7_12 : real;
69
	In7_13 : real;
70
	In7_14 : real;
71
	In7_15 : real;
72
	In7_16 : real;
73
	In7_17 : real;
74
	In7_18 : real;
75
	In7_19 : real;
76
	In7_20 : real;
77
	In7_21 : real;
78
	In7_22 : real;
79
	In7_23 : real;
80
	In7_24 : real;
81
	In7_25 : real;
82
	In7_26 : real;
83
	In7_27 : real;
84
	In7_28 : real;
85
	In7_29 : real;
86
	In7_30 : real;
87
	In7_31 : real;
88
	In7_32 : real;
89
	In7_33 : real;
90
	In7_34 : real;
91
	In7_35 : real;
92
	In7_36 : real;
93
	In7_37 : real;
94
	In7_38 : real;
95
	In7_39 : real;
96
	In7_40 : real;
97
	In7_41 : real;
98
	In7_42 : real;
99
	In7_43 : real;
100
	In7_44 : real;
101
	In7_45 : real;
102
	In7_46 : real;
103
	In7_47 : real;
104
	In7_48 : real;)
105
returns(Out5_1 : real;
106
	Out5_2 : real;
107
	Out5_3 : real;
108
	Out5_4 : real;
109
	Out5_5 : real;
110
	Out5_6 : real;
111
	Out1_1 : real;
112
	Out2_1 : real;
113
	Out2_2 : real;
114
	Out2_3 : real;
115
	Out2_4 : real;
116
	Out2_5 : real;
117
	Out2_6 : real;
118
	Out3_1 : real;
119
	Out3_2 : real;
120
	Out3_3 : real;
121
	Out3_4 : real;
122
	Out3_5 : real;
123
	Out3_6 : real;
124
	Out4_1 : real;
125
	Out4_2 : real;
126
	Out4_3 : real;
127
	Out4_4 : real;
128
	Out4_5 : real;
129
	Out4_6 : real;
130
	Out6_1 : real;
131
	Out6_2 : real;
132
	Out6_3 : real;
133
	Out6_4 : real;
134
	Out6_5 : real;
135
	Out6_6 : real;
136
	Out6_7 : real;
137
	Out6_8 : real;
138
	Out6_9 : real;
139
	Out6_10 : real;
140
	Out6_11 : real;
141
	Out6_12 : real;
142
	Out6_13 : real;
143
	Out6_14 : real;
144
	Out6_15 : real;
145
	Out6_16 : real;
146
	Out6_17 : real;
147
	Out6_18 : real;
148
	Out6_19 : real;
149
	Out6_20 : real;
150
	Out6_21 : real;
151
	Out6_22 : real;
152
	Out6_23 : real;
153
	Out6_24 : real;
154
	Out7_1 : real;
155
	Out7_2 : real;
156
	Out7_3 : real;
157
	Out7_4 : real;
158
	Out7_5 : real;
159
	Out7_6 : real;
160
	Out7_7 : real;
161
	Out7_8 : real;
162
	Out7_9 : real;
163
	Out7_10 : real;
164
	Out7_11 : real;
165
	Out7_12 : real;
166
	Out7_13 : real;
167
	Out7_14 : real;
168
	Out7_15 : real;
169
	Out7_16 : real;
170
	Out7_17 : real;
171
	Out7_18 : real;
172
	Out7_19 : real;
173
	Out7_20 : real;
174
	Out7_21 : real;
175
	Out7_22 : real;
176
	Out7_23 : real;
177
	Out7_24 : real;
178
	Out7_25 : real;
179
	Out7_26 : real;
180
	Out7_27 : real;
181
	Out7_28 : real;
182
	Out7_29 : real;
183
	Out7_30 : real;
184
	Out7_31 : real;
185
	Out7_32 : real;
186
	Out7_33 : real;
187
	Out7_34 : real;
188
	Out7_35 : real;
189
	Out7_36 : real;
190
	Out7_37 : real;
191
	Out7_38 : real;
192
	Out7_39 : real;
193
	Out7_40 : real;
194
	Out7_41 : real;
195
	Out7_42 : real;
196
	Out7_43 : real;
197
	Out7_44 : real;
198
	Out7_45 : real;
199
	Out7_46 : real;
200
	Out7_47 : real;
201
	Out7_48 : real;);
202
var Reshape1_1 : real;
203
	Reshape2_1 : real;
204
	Reshape2_2 : real;
205
	Reshape2_3 : real;
206
	Reshape2_4 : real;
207
	Reshape2_5 : real;
208
	Reshape2_6 : real;
209
	Reshape3_1 : real;
210
	Reshape3_2 : real;
211
	Reshape3_3 : real;
212
	Reshape3_4 : real;
213
	Reshape3_5 : real;
214
	Reshape3_6 : real;
215
	Reshape4_1 : real;
216
	Reshape4_2 : real;
217
	Reshape4_3 : real;
218
	Reshape4_4 : real;
219
	Reshape4_5 : real;
220
	Reshape4_6 : real;
221
	Reshape5_1 : real;
222
	Reshape5_2 : real;
223
	Reshape5_3 : real;
224
	Reshape5_4 : real;
225
	Reshape5_5 : real;
226
	Reshape5_6 : real;
227
	Reshape6_1 : real;
228
	Reshape6_2 : real;
229
	Reshape6_3 : real;
230
	Reshape6_4 : real;
231
	Reshape6_5 : real;
232
	Reshape6_6 : real;
233
	Reshape6_7 : real;
234
	Reshape6_8 : real;
235
	Reshape6_9 : real;
236
	Reshape6_10 : real;
237
	Reshape6_11 : real;
238
	Reshape6_12 : real;
239
	Reshape6_13 : real;
240
	Reshape6_14 : real;
241
	Reshape6_15 : real;
242
	Reshape6_16 : real;
243
	Reshape6_17 : real;
244
	Reshape6_18 : real;
245
	Reshape6_19 : real;
246
	Reshape6_20 : real;
247
	Reshape6_21 : real;
248
	Reshape6_22 : real;
249
	Reshape6_23 : real;
250
	Reshape6_24 : real;
251
	Reshape7_1 : real;
252
	Reshape7_2 : real;
253
	Reshape7_3 : real;
254
	Reshape7_4 : real;
255
	Reshape7_5 : real;
256
	Reshape7_6 : real;
257
	Reshape7_7 : real;
258
	Reshape7_8 : real;
259
	Reshape7_9 : real;
260
	Reshape7_10 : real;
261
	Reshape7_11 : real;
262
	Reshape7_12 : real;
263
	Reshape7_13 : real;
264
	Reshape7_14 : real;
265
	Reshape7_15 : real;
266
	Reshape7_16 : real;
267
	Reshape7_17 : real;
268
	Reshape7_18 : real;
269
	Reshape7_19 : real;
270
	Reshape7_20 : real;
271
	Reshape7_21 : real;
272
	Reshape7_22 : real;
273
	Reshape7_23 : real;
274
	Reshape7_24 : real;
275
	Reshape7_25 : real;
276
	Reshape7_26 : real;
277
	Reshape7_27 : real;
278
	Reshape7_28 : real;
279
	Reshape7_29 : real;
280
	Reshape7_30 : real;
281
	Reshape7_31 : real;
282
	Reshape7_32 : real;
283
	Reshape7_33 : real;
284
	Reshape7_34 : real;
285
	Reshape7_35 : real;
286
	Reshape7_36 : real;
287
	Reshape7_37 : real;
288
	Reshape7_38 : real;
289
	Reshape7_39 : real;
290
	Reshape7_40 : real;
291
	Reshape7_41 : real;
292
	Reshape7_42 : real;
293
	Reshape7_43 : real;
294
	Reshape7_44 : real;
295
	Reshape7_45 : real;
296
	Reshape7_46 : real;
297
	Reshape7_47 : real;
298
	Reshape7_48 : real;
299
	__time_step : real;
300
	__nb_step : int;
301
let
302
	Reshape1_1 = In2_1;
303
	Reshape2_1 = In3_1;
304
	Reshape2_2 = In3_2;
305
	Reshape2_3 = In3_3;
306
	Reshape2_4 = In3_4;
307
	Reshape2_5 = In3_5;
308
	Reshape2_6 = In3_6;
309
	Reshape3_1 = In4_1;
310
	Reshape3_2 = In4_2;
311
	Reshape3_3 = In4_3;
312
	Reshape3_4 = In4_4;
313
	Reshape3_5 = In4_5;
314
	Reshape3_6 = In4_6;
315
	Reshape4_1 = In5_1;
316
	Reshape4_2 = In5_2;
317
	Reshape4_3 = In5_3;
318
	Reshape4_4 = In5_4;
319
	Reshape4_5 = In5_5;
320
	Reshape4_6 = In5_6;
321
	Reshape5_1 = In1_1;
322
	Reshape5_2 = In1_2;
323
	Reshape5_3 = In1_3;
324
	Reshape5_4 = In1_4;
325
	Reshape5_5 = In1_5;
326
	Reshape5_6 = In1_6;
327
	Reshape6_1 = In6_1;
328
	Reshape6_2 = In6_2;
329
	Reshape6_3 = In6_3;
330
	Reshape6_4 = In6_4;
331
	Reshape6_5 = In6_5;
332
	Reshape6_6 = In6_6;
333
	Reshape6_7 = In6_7;
334
	Reshape6_8 = In6_8;
335
	Reshape6_9 = In6_9;
336
	Reshape6_10 = In6_10;
337
	Reshape6_11 = In6_11;
338
	Reshape6_12 = In6_12;
339
	Reshape6_13 = In6_13;
340
	Reshape6_14 = In6_14;
341
	Reshape6_15 = In6_15;
342
	Reshape6_16 = In6_16;
343
	Reshape6_17 = In6_17;
344
	Reshape6_18 = In6_18;
345
	Reshape6_19 = In6_19;
346
	Reshape6_20 = In6_20;
347
	Reshape6_21 = In6_21;
348
	Reshape6_22 = In6_22;
349
	Reshape6_23 = In6_23;
350
	Reshape6_24 = In6_24;
351
	Reshape7_1 = In7_1;
352
	Reshape7_2 = In7_2;
353
	Reshape7_3 = In7_3;
354
	Reshape7_4 = In7_4;
355
	Reshape7_5 = In7_5;
356
	Reshape7_6 = In7_6;
357
	Reshape7_7 = In7_7;
358
	Reshape7_8 = In7_8;
359
	Reshape7_9 = In7_9;
360
	Reshape7_10 = In7_10;
361
	Reshape7_11 = In7_11;
362
	Reshape7_12 = In7_12;
363
	Reshape7_13 = In7_13;
364
	Reshape7_14 = In7_14;
365
	Reshape7_15 = In7_15;
366
	Reshape7_16 = In7_16;
367
	Reshape7_17 = In7_17;
368
	Reshape7_18 = In7_18;
369
	Reshape7_19 = In7_19;
370
	Reshape7_20 = In7_20;
371
	Reshape7_21 = In7_21;
372
	Reshape7_22 = In7_22;
373
	Reshape7_23 = In7_23;
374
	Reshape7_24 = In7_24;
375
	Reshape7_25 = In7_25;
376
	Reshape7_26 = In7_26;
377
	Reshape7_27 = In7_27;
378
	Reshape7_28 = In7_28;
379
	Reshape7_29 = In7_29;
380
	Reshape7_30 = In7_30;
381
	Reshape7_31 = In7_31;
382
	Reshape7_32 = In7_32;
383
	Reshape7_33 = In7_33;
384
	Reshape7_34 = In7_34;
385
	Reshape7_35 = In7_35;
386
	Reshape7_36 = In7_36;
387
	Reshape7_37 = In7_37;
388
	Reshape7_38 = In7_38;
389
	Reshape7_39 = In7_39;
390
	Reshape7_40 = In7_40;
391
	Reshape7_41 = In7_41;
392
	Reshape7_42 = In7_42;
393
	Reshape7_43 = In7_43;
394
	Reshape7_44 = In7_44;
395
	Reshape7_45 = In7_45;
396
	Reshape7_46 = In7_46;
397
	Reshape7_47 = In7_47;
398
	Reshape7_48 = In7_48;
399
	Out5_1 = Reshape5_1;
400
	Out5_2 = Reshape5_2;
401
	Out5_3 = Reshape5_3;
402
	Out5_4 = Reshape5_4;
403
	Out5_5 = Reshape5_5;
404
	Out5_6 = Reshape5_6;
405
	Out1_1 = Reshape1_1;
406
	Out2_1 = Reshape2_1;
407
	Out2_2 = Reshape2_2;
408
	Out2_3 = Reshape2_3;
409
	Out2_4 = Reshape2_4;
410
	Out2_5 = Reshape2_5;
411
	Out2_6 = Reshape2_6;
412
	Out3_1 = Reshape3_1;
413
	Out3_2 = Reshape3_2;
414
	Out3_3 = Reshape3_3;
415
	Out3_4 = Reshape3_4;
416
	Out3_5 = Reshape3_5;
417
	Out3_6 = Reshape3_6;
418
	Out4_1 = Reshape4_1;
419
	Out4_2 = Reshape4_2;
420
	Out4_3 = Reshape4_3;
421
	Out4_4 = Reshape4_4;
422
	Out4_5 = Reshape4_5;
423
	Out4_6 = Reshape4_6;
424
	Out6_1 = Reshape6_1;
425
	Out6_2 = Reshape6_2;
426
	Out6_3 = Reshape6_3;
427
	Out6_4 = Reshape6_4;
428
	Out6_5 = Reshape6_5;
429
	Out6_6 = Reshape6_6;
430
	Out6_7 = Reshape6_7;
431
	Out6_8 = Reshape6_8;
432
	Out6_9 = Reshape6_9;
433
	Out6_10 = Reshape6_10;
434
	Out6_11 = Reshape6_11;
435
	Out6_12 = Reshape6_12;
436
	Out6_13 = Reshape6_13;
437
	Out6_14 = Reshape6_14;
438
	Out6_15 = Reshape6_15;
439
	Out6_16 = Reshape6_16;
440
	Out6_17 = Reshape6_17;
441
	Out6_18 = Reshape6_18;
442
	Out6_19 = Reshape6_19;
443
	Out6_20 = Reshape6_20;
444
	Out6_21 = Reshape6_21;
445
	Out6_22 = Reshape6_22;
446
	Out6_23 = Reshape6_23;
447
	Out6_24 = Reshape6_24;
448
	Out7_1 = Reshape7_1;
449
	Out7_2 = Reshape7_2;
450
	Out7_3 = Reshape7_3;
451
	Out7_4 = Reshape7_4;
452
	Out7_5 = Reshape7_5;
453
	Out7_6 = Reshape7_6;
454
	Out7_7 = Reshape7_7;
455
	Out7_8 = Reshape7_8;
456
	Out7_9 = Reshape7_9;
457
	Out7_10 = Reshape7_10;
458
	Out7_11 = Reshape7_11;
459
	Out7_12 = Reshape7_12;
460
	Out7_13 = Reshape7_13;
461
	Out7_14 = Reshape7_14;
462
	Out7_15 = Reshape7_15;
463
	Out7_16 = Reshape7_16;
464
	Out7_17 = Reshape7_17;
465
	Out7_18 = Reshape7_18;
466
	Out7_19 = Reshape7_19;
467
	Out7_20 = Reshape7_20;
468
	Out7_21 = Reshape7_21;
469
	Out7_22 = Reshape7_22;
470
	Out7_23 = Reshape7_23;
471
	Out7_24 = Reshape7_24;
472
	Out7_25 = Reshape7_25;
473
	Out7_26 = Reshape7_26;
474
	Out7_27 = Reshape7_27;
475
	Out7_28 = Reshape7_28;
476
	Out7_29 = Reshape7_29;
477
	Out7_30 = Reshape7_30;
478
	Out7_31 = Reshape7_31;
479
	Out7_32 = Reshape7_32;
480
	Out7_33 = Reshape7_33;
481
	Out7_34 = Reshape7_34;
482
	Out7_35 = Reshape7_35;
483
	Out7_36 = Reshape7_36;
484
	Out7_37 = Reshape7_37;
485
	Out7_38 = Reshape7_38;
486
	Out7_39 = Reshape7_39;
487
	Out7_40 = Reshape7_40;
488
	Out7_41 = Reshape7_41;
489
	Out7_42 = Reshape7_42;
490
	Out7_43 = Reshape7_43;
491
	Out7_44 = Reshape7_44;
492
	Out7_45 = Reshape7_45;
493
	Out7_46 = Reshape7_46;
494
	Out7_47 = Reshape7_47;
495
	Out7_48 = Reshape7_48;
496
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
497
	__nb_step = (0 -> ((pre __nb_step) + 1));
498
tel