Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.3 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:18:52
5
#open <conv>
6
(*
7
Original block name: Assignment_port_3
8
*)
9
node  Assignment_port_3(_virtual : bool;)
10
returns(Out1_1 : real;
11
	Out1_2 : real;
12
	Out1_3 : real;
13
	Out1_4 : real;
14
	Out1_5 : real;
15
	Out1_6 : real;
16
	Out1_7 : real;
17
	Out1_8 : real;
18
	Out1_9 : real;
19
	Out1_10 : real;
20
	Out1_11 : real;
21
	Out1_12 : real;
22
	Out1_13 : real;
23
	Out1_14 : real;
24
	Out1_15 : real;
25
	Out1_16 : real;
26
	Out2_1 : real;
27
	Out2_2 : real;
28
	Out2_3 : real;
29
	Out2_4 : real;
30
	Out2_5 : real;
31
	Out2_6 : real;
32
	Out2_7 : real;
33
	Out2_8 : real;);
34
var Assignment_5_993_U_index_1 : int;
35
	Assignment_5_993_U_index_2 : int;
36
	Assignment_5_993_U_index_3 : int;
37
	Assignment_5_993_U_index_4 : int;
38
	Assignment_5_993_ind_dim_1_1 : int;
39
	Assignment_5_993_ind_dim_1_2 : int;
40
	Assignment_5_993_ind_dim_2_1 : int;
41
	Assignment_5_993_ind_dim_2_2 : int;
42
	Assignment_5_993_str_Y_index_1_1 : int;
43
	Assignment_5_993_str_Y_index_1_2 : int;
44
	Assignment_5_993_str_Y_index_2_1 : int;
45
	Assignment_5_993_str_Y_index_2_2 : int;
46
	Assignment_5_993_str_Y_index_3_1 : int;
47
	Assignment_5_993_str_Y_index_3_2 : int;
48
	Assignment_5_993_str_Y_index_4_1 : int;
49
	Assignment_5_993_str_Y_index_4_2 : int;
50
	Assignment_1 : real;
51
	Assignment_2 : real;
52
	Assignment_3 : real;
53
	Assignment_4 : real;
54
	Assignment_5 : real;
55
	Assignment_6 : real;
56
	Assignment_7 : real;
57
	Assignment_8 : real;
58
	Assignment_9 : real;
59
	Assignment_10 : real;
60
	Assignment_11 : real;
61
	Assignment_12 : real;
62
	Assignment_13 : real;
63
	Assignment_14 : real;
64
	Assignment_15 : real;
65
	Assignment_16 : real;
66
	Assignment1_6_024_U_index_1 : int;
67
	Assignment1_6_024_U_index_2 : int;
68
	Assignment1_6_024_U_index_3 : int;
69
	Assignment1_6_024_U_index_4 : int;
70
	Assignment1_6_024_ind_dim_1_1 : int;
71
	Assignment1_6_024_ind_dim_1_2 : int;
72
	Assignment1_6_024_ind_dim_2_1 : int;
73
	Assignment1_6_024_ind_dim_2_2 : int;
74
	Assignment1_6_024_str_Y_index_1_1 : int;
75
	Assignment1_6_024_str_Y_index_1_2 : int;
76
	Assignment1_6_024_str_Y_index_2_1 : int;
77
	Assignment1_6_024_str_Y_index_2_2 : int;
78
	Assignment1_6_024_str_Y_index_3_1 : int;
79
	Assignment1_6_024_str_Y_index_3_2 : int;
80
	Assignment1_6_024_str_Y_index_4_1 : int;
81
	Assignment1_6_024_str_Y_index_4_2 : int;
82
	Assignment1_1 : real;
83
	Assignment1_2 : real;
84
	Assignment1_3 : real;
85
	Assignment1_4 : real;
86
	Assignment1_5 : real;
87
	Assignment1_6 : real;
88
	Assignment1_7 : real;
89
	Assignment1_8 : real;
90
	Constant_1 : real;
91
	Constant_2 : real;
92
	Constant_3 : real;
93
	Constant_4 : real;
94
	Constant_5 : real;
95
	Constant_6 : real;
96
	Constant_7 : real;
97
	Constant_8 : real;
98
	Constant_9 : real;
99
	Constant_10 : real;
100
	Constant_11 : real;
101
	Constant_12 : real;
102
	Constant_13 : real;
103
	Constant_14 : real;
104
	Constant_15 : real;
105
	Constant_16 : real;
106
	Constant1_1 : real;
107
	Constant1_2 : real;
108
	Constant1_3 : real;
109
	Constant1_4 : real;
110
	Constant2_1 : int;
111
	Constant2_2 : int;
112
	Constant3_1 : int;
113
	Constant4_1 : real;
114
	Constant4_2 : real;
115
	Constant4_3 : real;
116
	Constant4_4 : real;
117
	Constant4_5 : real;
118
	Constant4_6 : real;
119
	Constant4_7 : real;
120
	Constant4_8 : real;
121
	Constant5_1 : real;
122
	Constant5_2 : real;
123
	Constant5_3 : real;
124
	Constant5_4 : real;
125
	Constant6_1 : real;
126
	Constant6_2 : real;
127
	__time_step : real;
128
	__nb_step : int;
129
let
130
	Assignment_5_993_ind_dim_1_1 = (Constant3_1 + 1);
131
	Assignment_5_993_ind_dim_1_2 = ((Constant3_1 + 1) + 1);
132
	Assignment_5_993_ind_dim_2_1 = (Constant2_1 + 1);
133
	Assignment_5_993_ind_dim_2_2 = (Constant2_2 + 1);
134
	Assignment_5_993_str_Y_index_1_1 = Assignment_5_993_ind_dim_1_1;
135
	Assignment_5_993_str_Y_index_1_2 = Assignment_5_993_ind_dim_2_1;
136
	Assignment_5_993_U_index_1 = ( (Assignment_5_993_str_Y_index_1_1 * 1) + ((Assignment_5_993_str_Y_index_1_2 - 1) * 4) );
137
	Assignment_5_993_str_Y_index_2_1 = Assignment_5_993_ind_dim_1_2;
138
	Assignment_5_993_str_Y_index_2_2 = Assignment_5_993_ind_dim_2_1;
139
	Assignment_5_993_U_index_2 = ( (Assignment_5_993_str_Y_index_2_1 * 1) + ((Assignment_5_993_str_Y_index_2_2 - 1) * 4) );
140
	Assignment_5_993_str_Y_index_3_1 = Assignment_5_993_ind_dim_1_1;
141
	Assignment_5_993_str_Y_index_3_2 = Assignment_5_993_ind_dim_2_2;
142
	Assignment_5_993_U_index_3 = ( (Assignment_5_993_str_Y_index_3_1 * 1) + ((Assignment_5_993_str_Y_index_3_2 - 1) * 4) );
143
	Assignment_5_993_str_Y_index_4_1 = Assignment_5_993_ind_dim_1_2;
144
	Assignment_5_993_str_Y_index_4_2 = Assignment_5_993_ind_dim_2_2;
145
	Assignment_5_993_U_index_4 = ( (Assignment_5_993_str_Y_index_4_1 * 1) + ((Assignment_5_993_str_Y_index_4_2 - 1) * 4) );
146
	Assignment_1 = if (Assignment_5_993_U_index_4 = 1) then
147
		Constant1_4
148
	    else if (Assignment_5_993_U_index_3 = 1) then
149
		Constant1_3
150
	    else if (Assignment_5_993_U_index_2 = 1) then
151
		Constant1_2
152
	    else if (Assignment_5_993_U_index_1 = 1) then
153
		Constant1_1
154
	    else Constant_1;
155
	Assignment_2 = if (Assignment_5_993_U_index_4 = 2) then
156
		Constant1_4
157
	    else if (Assignment_5_993_U_index_3 = 2) then
158
		Constant1_3
159
	    else if (Assignment_5_993_U_index_2 = 2) then
160
		Constant1_2
161
	    else if (Assignment_5_993_U_index_1 = 2) then
162
		Constant1_1
163
	    else Constant_2;
164
	Assignment_3 = if (Assignment_5_993_U_index_4 = 3) then
165
		Constant1_4
166
	    else if (Assignment_5_993_U_index_3 = 3) then
167
		Constant1_3
168
	    else if (Assignment_5_993_U_index_2 = 3) then
169
		Constant1_2
170
	    else if (Assignment_5_993_U_index_1 = 3) then
171
		Constant1_1
172
	    else Constant_3;
173
	Assignment_4 = if (Assignment_5_993_U_index_4 = 4) then
174
		Constant1_4
175
	    else if (Assignment_5_993_U_index_3 = 4) then
176
		Constant1_3
177
	    else if (Assignment_5_993_U_index_2 = 4) then
178
		Constant1_2
179
	    else if (Assignment_5_993_U_index_1 = 4) then
180
		Constant1_1
181
	    else Constant_4;
182
	Assignment_5 = if (Assignment_5_993_U_index_4 = 5) then
183
		Constant1_4
184
	    else if (Assignment_5_993_U_index_3 = 5) then
185
		Constant1_3
186
	    else if (Assignment_5_993_U_index_2 = 5) then
187
		Constant1_2
188
	    else if (Assignment_5_993_U_index_1 = 5) then
189
		Constant1_1
190
	    else Constant_5;
191
	Assignment_6 = if (Assignment_5_993_U_index_4 = 6) then
192
		Constant1_4
193
	    else if (Assignment_5_993_U_index_3 = 6) then
194
		Constant1_3
195
	    else if (Assignment_5_993_U_index_2 = 6) then
196
		Constant1_2
197
	    else if (Assignment_5_993_U_index_1 = 6) then
198
		Constant1_1
199
	    else Constant_6;
200
	Assignment_7 = if (Assignment_5_993_U_index_4 = 7) then
201
		Constant1_4
202
	    else if (Assignment_5_993_U_index_3 = 7) then
203
		Constant1_3
204
	    else if (Assignment_5_993_U_index_2 = 7) then
205
		Constant1_2
206
	    else if (Assignment_5_993_U_index_1 = 7) then
207
		Constant1_1
208
	    else Constant_7;
209
	Assignment_8 = if (Assignment_5_993_U_index_4 = 8) then
210
		Constant1_4
211
	    else if (Assignment_5_993_U_index_3 = 8) then
212
		Constant1_3
213
	    else if (Assignment_5_993_U_index_2 = 8) then
214
		Constant1_2
215
	    else if (Assignment_5_993_U_index_1 = 8) then
216
		Constant1_1
217
	    else Constant_8;
218
	Assignment_9 = if (Assignment_5_993_U_index_4 = 9) then
219
		Constant1_4
220
	    else if (Assignment_5_993_U_index_3 = 9) then
221
		Constant1_3
222
	    else if (Assignment_5_993_U_index_2 = 9) then
223
		Constant1_2
224
	    else if (Assignment_5_993_U_index_1 = 9) then
225
		Constant1_1
226
	    else Constant_9;
227
	Assignment_10 = if (Assignment_5_993_U_index_4 = 10) then
228
		Constant1_4
229
	    else if (Assignment_5_993_U_index_3 = 10) then
230
		Constant1_3
231
	    else if (Assignment_5_993_U_index_2 = 10) then
232
		Constant1_2
233
	    else if (Assignment_5_993_U_index_1 = 10) then
234
		Constant1_1
235
	    else Constant_10;
236
	Assignment_11 = if (Assignment_5_993_U_index_4 = 11) then
237
		Constant1_4
238
	    else if (Assignment_5_993_U_index_3 = 11) then
239
		Constant1_3
240
	    else if (Assignment_5_993_U_index_2 = 11) then
241
		Constant1_2
242
	    else if (Assignment_5_993_U_index_1 = 11) then
243
		Constant1_1
244
	    else Constant_11;
245
	Assignment_12 = if (Assignment_5_993_U_index_4 = 12) then
246
		Constant1_4
247
	    else if (Assignment_5_993_U_index_3 = 12) then
248
		Constant1_3
249
	    else if (Assignment_5_993_U_index_2 = 12) then
250
		Constant1_2
251
	    else if (Assignment_5_993_U_index_1 = 12) then
252
		Constant1_1
253
	    else Constant_12;
254
	Assignment_13 = if (Assignment_5_993_U_index_4 = 13) then
255
		Constant1_4
256
	    else if (Assignment_5_993_U_index_3 = 13) then
257
		Constant1_3
258
	    else if (Assignment_5_993_U_index_2 = 13) then
259
		Constant1_2
260
	    else if (Assignment_5_993_U_index_1 = 13) then
261
		Constant1_1
262
	    else Constant_13;
263
	Assignment_14 = if (Assignment_5_993_U_index_4 = 14) then
264
		Constant1_4
265
	    else if (Assignment_5_993_U_index_3 = 14) then
266
		Constant1_3
267
	    else if (Assignment_5_993_U_index_2 = 14) then
268
		Constant1_2
269
	    else if (Assignment_5_993_U_index_1 = 14) then
270
		Constant1_1
271
	    else Constant_14;
272
	Assignment_15 = if (Assignment_5_993_U_index_4 = 15) then
273
		Constant1_4
274
	    else if (Assignment_5_993_U_index_3 = 15) then
275
		Constant1_3
276
	    else if (Assignment_5_993_U_index_2 = 15) then
277
		Constant1_2
278
	    else if (Assignment_5_993_U_index_1 = 15) then
279
		Constant1_1
280
	    else Constant_15;
281
	Assignment_16 = if (Assignment_5_993_U_index_4 = 16) then
282
		Constant1_4
283
	    else if (Assignment_5_993_U_index_3 = 16) then
284
		Constant1_3
285
	    else if (Assignment_5_993_U_index_2 = 16) then
286
		Constant1_2
287
	    else if (Assignment_5_993_U_index_1 = 16) then
288
		Constant1_1
289
	    else Constant_16;
290
	Assignment1_6_024_ind_dim_1_1 = 1;
291
	Assignment1_6_024_ind_dim_1_2 = 2;
292
	Assignment1_6_024_ind_dim_2_1 = real_to_int(Constant6_1);
293
	Assignment1_6_024_ind_dim_2_2 = real_to_int(Constant6_2);
294
	Assignment1_6_024_str_Y_index_1_1 = Assignment1_6_024_ind_dim_1_1;
295
	Assignment1_6_024_str_Y_index_1_2 = Assignment1_6_024_ind_dim_2_1;
296
	Assignment1_6_024_U_index_1 = ( (Assignment1_6_024_str_Y_index_1_1 * 1) + ((Assignment1_6_024_str_Y_index_1_2 - 1) * 2) );
297
	Assignment1_6_024_str_Y_index_2_1 = Assignment1_6_024_ind_dim_1_2;
298
	Assignment1_6_024_str_Y_index_2_2 = Assignment1_6_024_ind_dim_2_1;
299
	Assignment1_6_024_U_index_2 = ( (Assignment1_6_024_str_Y_index_2_1 * 1) + ((Assignment1_6_024_str_Y_index_2_2 - 1) * 2) );
300
	Assignment1_6_024_str_Y_index_3_1 = Assignment1_6_024_ind_dim_1_1;
301
	Assignment1_6_024_str_Y_index_3_2 = Assignment1_6_024_ind_dim_2_2;
302
	Assignment1_6_024_U_index_3 = ( (Assignment1_6_024_str_Y_index_3_1 * 1) + ((Assignment1_6_024_str_Y_index_3_2 - 1) * 2) );
303
	Assignment1_6_024_str_Y_index_4_1 = Assignment1_6_024_ind_dim_1_2;
304
	Assignment1_6_024_str_Y_index_4_2 = Assignment1_6_024_ind_dim_2_2;
305
	Assignment1_6_024_U_index_4 = ( (Assignment1_6_024_str_Y_index_4_1 * 1) + ((Assignment1_6_024_str_Y_index_4_2 - 1) * 2) );
306
	Assignment1_1 = if (Assignment1_6_024_U_index_4 = 1) then
307
		Constant5_4
308
	    else if (Assignment1_6_024_U_index_3 = 1) then
309
		Constant5_3
310
	    else if (Assignment1_6_024_U_index_2 = 1) then
311
		Constant5_2
312
	    else if (Assignment1_6_024_U_index_1 = 1) then
313
		Constant5_1
314
	    else Constant4_1;
315
	Assignment1_2 = if (Assignment1_6_024_U_index_4 = 2) then
316
		Constant5_4
317
	    else if (Assignment1_6_024_U_index_3 = 2) then
318
		Constant5_3
319
	    else if (Assignment1_6_024_U_index_2 = 2) then
320
		Constant5_2
321
	    else if (Assignment1_6_024_U_index_1 = 2) then
322
		Constant5_1
323
	    else Constant4_2;
324
	Assignment1_3 = if (Assignment1_6_024_U_index_4 = 3) then
325
		Constant5_4
326
	    else if (Assignment1_6_024_U_index_3 = 3) then
327
		Constant5_3
328
	    else if (Assignment1_6_024_U_index_2 = 3) then
329
		Constant5_2
330
	    else if (Assignment1_6_024_U_index_1 = 3) then
331
		Constant5_1
332
	    else Constant4_3;
333
	Assignment1_4 = if (Assignment1_6_024_U_index_4 = 4) then
334
		Constant5_4
335
	    else if (Assignment1_6_024_U_index_3 = 4) then
336
		Constant5_3
337
	    else if (Assignment1_6_024_U_index_2 = 4) then
338
		Constant5_2
339
	    else if (Assignment1_6_024_U_index_1 = 4) then
340
		Constant5_1
341
	    else Constant4_4;
342
	Assignment1_5 = if (Assignment1_6_024_U_index_4 = 5) then
343
		Constant5_4
344
	    else if (Assignment1_6_024_U_index_3 = 5) then
345
		Constant5_3
346
	    else if (Assignment1_6_024_U_index_2 = 5) then
347
		Constant5_2
348
	    else if (Assignment1_6_024_U_index_1 = 5) then
349
		Constant5_1
350
	    else Constant4_5;
351
	Assignment1_6 = if (Assignment1_6_024_U_index_4 = 6) then
352
		Constant5_4
353
	    else if (Assignment1_6_024_U_index_3 = 6) then
354
		Constant5_3
355
	    else if (Assignment1_6_024_U_index_2 = 6) then
356
		Constant5_2
357
	    else if (Assignment1_6_024_U_index_1 = 6) then
358
		Constant5_1
359
	    else Constant4_6;
360
	Assignment1_7 = if (Assignment1_6_024_U_index_4 = 7) then
361
		Constant5_4
362
	    else if (Assignment1_6_024_U_index_3 = 7) then
363
		Constant5_3
364
	    else if (Assignment1_6_024_U_index_2 = 7) then
365
		Constant5_2
366
	    else if (Assignment1_6_024_U_index_1 = 7) then
367
		Constant5_1
368
	    else Constant4_7;
369
	Assignment1_8 = if (Assignment1_6_024_U_index_4 = 8) then
370
		Constant5_4
371
	    else if (Assignment1_6_024_U_index_3 = 8) then
372
		Constant5_3
373
	    else if (Assignment1_6_024_U_index_2 = 8) then
374
		Constant5_2
375
	    else if (Assignment1_6_024_U_index_1 = 8) then
376
		Constant5_1
377
	    else Constant4_8;
378
	Constant_1 = 1.000000000000000;
379
	Constant_2 = 5.000000000000000;
380
	Constant_3 = 9.000000000000000;
381
	Constant_4 = 13.000000000000000;
382
	Constant_5 = 2.000000000000000;
383
	Constant_6 = 6.000000000000000;
384
	Constant_7 = 10.000000000000000;
385
	Constant_8 = 14.000000000000000;
386
	Constant_9 = 3.000000000000000;
387
	Constant_10 = 7.000000000000000;
388
	Constant_11 = 11.000000000000000;
389
	Constant_12 = 15.000000000000000;
390
	Constant_13 = 4.000000000000000;
391
	Constant_14 = 8.000000000000000;
392
	Constant_15 = 12.000000000000000;
393
	Constant_16 = 16.000000000000000;
394
	Constant1_1 = 7.000000000000000;
395
	Constant1_2 = 8.000000000000000;
396
	Constant1_3 = 9.000000000000000;
397
	Constant1_4 = 10.000000000000000;
398
	Constant2_1 = 2;
399
	Constant2_2 = 3;
400
	Constant3_1 = 1;
401
	Constant4_1 = 1.000000000000000;
402
	Constant4_2 = 5.000000000000000;
403
	Constant4_3 = 2.000000000000000;
404
	Constant4_4 = 6.000000000000000;
405
	Constant4_5 = 3.000000000000000;
406
	Constant4_6 = 7.000000000000000;
407
	Constant4_7 = 4.000000000000000;
408
	Constant4_8 = 8.000000000000000;
409
	Constant5_1 = 7.000000000000000;
410
	Constant5_2 = 8.000000000000000;
411
	Constant5_3 = 9.000000000000000;
412
	Constant5_4 = 10.000000000000000;
413
	Constant6_1 = 2.000000000000000;
414
	Constant6_2 = 4.000000000000000;
415
	Out1_1 = Assignment_1;
416
	Out1_2 = Assignment_2;
417
	Out1_3 = Assignment_3;
418
	Out1_4 = Assignment_4;
419
	Out1_5 = Assignment_5;
420
	Out1_6 = Assignment_6;
421
	Out1_7 = Assignment_7;
422
	Out1_8 = Assignment_8;
423
	Out1_9 = Assignment_9;
424
	Out1_10 = Assignment_10;
425
	Out1_11 = Assignment_11;
426
	Out1_12 = Assignment_12;
427
	Out1_13 = Assignment_13;
428
	Out1_14 = Assignment_14;
429
	Out1_15 = Assignment_15;
430
	Out1_16 = Assignment_16;
431
	Out2_1 = Assignment1_1;
432
	Out2_2 = Assignment1_2;
433
	Out2_3 = Assignment1_3;
434
	Out2_4 = Assignment1_4;
435
	Out2_5 = Assignment1_5;
436
	Out2_6 = Assignment1_6;
437
	Out2_7 = Assignment1_7;
438
	Out2_8 = Assignment1_8;
439
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
440
	__nb_step = (0 -> ((pre __nb_step) + 1));
441
tel