Project

General

Profile

Revision 99a9d521

View differences:

regression_tests/lustre_files/success/Simulink/src_many_files/Assignment6_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:17:59
5
#open <conv>
6
node  _max_real(x : real;
7
	y : real;)
8
returns(z : real;);
9
let
10
	z = if (x > y) then
11
		x
12
	    else y;
13
tel
14

  
15
node  _min_real(x : real;
16
	y : real;)
17
returns(z : real;);
18
let
19
	z = if (x < y) then
20
		x
21
	    else y;
22
tel
23

  
24
(*
25
Original block name: Assignment6_PP/Saturation
26
*)
27
node  Saturation_44_037(In_1 : real;
28
	__time_step : real;
29
	__nb_step : int;)
30
returns(Out_1 : real;);
31
var lower_1 : real;
32
	lower_limit_1 : real;
33
	upper_1 : real;
34
	upper_limit_1 : real;
35
let
36
	lower_1 = _max_real(upper_1, lower_limit_1);
37
	lower_limit_1 = 1.000000000000000;
38
	upper_1 = _min_real(upper_limit_1, In_1);
39
	upper_limit_1 = 3.000000000000000;
40
	Out_1 = lower_1;
41
tel
42

  
43
(*
44
Original block name: Assignment6_PP
45
*)
46
node  Assignment6_PP(In1_1 : real;
47
	In1_2 : real;
48
	In1_3 : real;)
49
returns(Out1_1 : real;
50
	Out1_2 : real;
51
	Out1_3 : real;);
52
var Add_1 : real;
53
	Assignment_38_044_U_index_1 : int;
54
	Assignment_38_044_ind_dim_1_1 : int;
55
	Assignment_38_044_str_Y_index_1_1 : int;
56
	Assignment_1 : real;
57
	Assignment_2 : real;
58
	Assignment_3 : real;
59
	Constant1_1 : real;
60
	Gain_1 : real;
61
	Saturation_1 : real;
62
	UnitDelay_1 : real;
63
	__time_step : real;
64
	__nb_step : int;
65
let
66
	Add_1 = 0.0 + Constant1_1 + UnitDelay_1;
67
	Assignment_38_044_ind_dim_1_1 = real_to_int(Saturation_1);
68
	Assignment_38_044_str_Y_index_1_1 = Assignment_38_044_ind_dim_1_1;
69
	Assignment_38_044_U_index_1 = (Assignment_38_044_str_Y_index_1_1 * 1);
70
	Assignment_1 = if (Assignment_38_044_U_index_1 = 1) then
71
		Gain_1
72
	    else In1_1;
73
	Assignment_2 = if (Assignment_38_044_U_index_1 = 2) then
74
		Gain_1
75
	    else In1_2;
76
	Assignment_3 = if (Assignment_38_044_U_index_1 = 3) then
77
		Gain_1
78
	    else In1_3;
79
	Constant1_1 = 1.000000000000000;
80
	Gain_1 = (Saturation_1 * 3.000000000000000);
81
	Saturation_1 = Saturation_44_037(Add_1, __time_step, __nb_step);
82
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
83
	Out1_1 = Assignment_1;
84
	Out1_2 = Assignment_2;
85
	Out1_3 = Assignment_3;
86
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
87
	__nb_step = (0 -> ((pre __nb_step) + 1));
88
tel
89

  
regression_tests/lustre_files/success/Simulink/src_many_files/Assignment7_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:18:09
5
#open <conv>
6
node  _max_real(x : real;
7
	y : real;)
8
returns(z : real;);
9
let
10
	z = if (x > y) then
11
		x
12
	    else y;
13
tel
14

  
15
node  _min_real(x : real;
16
	y : real;)
17
returns(z : real;);
18
let
19
	z = if (x < y) then
20
		x
21
	    else y;
22
tel
23

  
24
(*
25
Original block name: Assignment7_PP/Saturation
26
*)
27
node  Saturation_29_039(In_1 : real;
28
	__time_step : real;
29
	__nb_step : int;)
30
returns(Out_1 : real;);
31
var lower_1 : real;
32
	lower_limit_1 : real;
33
	upper_1 : real;
34
	upper_limit_1 : real;
35
let
36
	lower_1 = _max_real(upper_1, lower_limit_1);
37
	lower_limit_1 = 1.000000000000000;
38
	upper_1 = _min_real(upper_limit_1, In_1);
39
	upper_limit_1 = 4.000000000000000;
40
	Out_1 = lower_1;
41
tel
42

  
43
(*
44
Original block name: Assignment7_PP/Saturation1
45
*)
46
node  Saturation1_30_036(In_1 : real;
47
	In_2 : real;
48
	__time_step : real;
49
	__nb_step : int;)
50
returns(Out_1 : real;
51
	Out_2 : real;);
52
var lower_1 : real;
53
	lower_2 : real;
54
	lower_limit_1 : real;
55
	upper_1 : real;
56
	upper_2 : real;
57
	upper_limit_1 : real;
58
let
59
	lower_1 = _max_real(upper_1, lower_limit_1);
60
	lower_2 = _max_real(upper_2, lower_limit_1);
61
	lower_limit_1 = 1.000000000000000;
62
	upper_1 = _min_real(upper_limit_1, In_1);
63
	upper_2 = _min_real(upper_limit_1, In_2);
64
	upper_limit_1 = 2.000000000000000;
65
	Out_1 = lower_1;
66
	Out_2 = lower_2;
67
tel
68

  
69
(*
70
Original block name: Assignment7_PP
71
*)
72
node  Assignment7_PP(In1_1 : real;
73
	In2_1 : real;
74
	In2_2 : real;
75
	In2_3 : real;
76
	In2_4 : real;
77
	In2_5 : real;
78
	In2_6 : real;
79
	In2_7 : real;
80
	In2_8 : real;
81
	In2_9 : real;
82
	In2_10 : real;
83
	In2_11 : real;
84
	In2_12 : real;
85
	In2_13 : real;
86
	In2_14 : real;
87
	In2_15 : real;
88
	In2_16 : real;
89
	In2_17 : real;
90
	In2_18 : real;
91
	In2_19 : real;
92
	In2_20 : real;
93
	In2_21 : real;
94
	In2_22 : real;
95
	In2_23 : real;
96
	In2_24 : real;
97
	In3_1 : real;
98
	In3_2 : real;
99
	In3_3 : real;
100
	In3_4 : real;
101
	In3_5 : real;
102
	In3_6 : real;
103
	In4_1 : real;
104
	In4_2 : real;)
105
returns(Out3_1 : real;
106
	Out3_2 : real;
107
	Out3_3 : real;
108
	Out3_4 : real;
109
	Out3_5 : real;
110
	Out3_6 : real;
111
	Out3_7 : real;
112
	Out3_8 : real;
113
	Out3_9 : real;
114
	Out3_10 : real;
115
	Out3_11 : real;
116
	Out3_12 : real;
117
	Out3_13 : real;
118
	Out3_14 : real;
119
	Out3_15 : real;
120
	Out3_16 : real;
121
	Out3_17 : real;
122
	Out3_18 : real;
123
	Out3_19 : real;
124
	Out3_20 : real;
125
	Out3_21 : real;
126
	Out3_22 : real;
127
	Out3_23 : real;
128
	Out3_24 : real;);
129
var Assignment2_28_248_U_index_1 : int;
130
	Assignment2_28_248_U_index_2 : int;
131
	Assignment2_28_248_U_index_3 : int;
132
	Assignment2_28_248_U_index_4 : int;
133
	Assignment2_28_248_U_index_5 : int;
134
	Assignment2_28_248_U_index_6 : int;
135
	Assignment2_28_248_ind_dim_1_1 : int;
136
	Assignment2_28_248_ind_dim_1_2 : int;
137
	Assignment2_28_248_ind_dim_1_3 : int;
138
	Assignment2_28_248_ind_dim_2_1 : int;
139
	Assignment2_28_248_ind_dim_3_1 : int;
140
	Assignment2_28_248_ind_dim_3_2 : int;
141
	Assignment2_28_248_str_Y_index_1_1 : int;
142
	Assignment2_28_248_str_Y_index_1_2 : int;
143
	Assignment2_28_248_str_Y_index_1_3 : int;
144
	Assignment2_28_248_str_Y_index_2_1 : int;
145
	Assignment2_28_248_str_Y_index_2_2 : int;
146
	Assignment2_28_248_str_Y_index_2_3 : int;
147
	Assignment2_28_248_str_Y_index_3_1 : int;
148
	Assignment2_28_248_str_Y_index_3_2 : int;
149
	Assignment2_28_248_str_Y_index_3_3 : int;
150
	Assignment2_28_248_str_Y_index_4_1 : int;
151
	Assignment2_28_248_str_Y_index_4_2 : int;
152
	Assignment2_28_248_str_Y_index_4_3 : int;
153
	Assignment2_28_248_str_Y_index_5_1 : int;
154
	Assignment2_28_248_str_Y_index_5_2 : int;
155
	Assignment2_28_248_str_Y_index_5_3 : int;
156
	Assignment2_28_248_str_Y_index_6_1 : int;
157
	Assignment2_28_248_str_Y_index_6_2 : int;
158
	Assignment2_28_248_str_Y_index_6_3 : int;
159
	Assignment2_1 : real;
160
	Assignment2_2 : real;
161
	Assignment2_3 : real;
162
	Assignment2_4 : real;
163
	Assignment2_5 : real;
164
	Assignment2_6 : real;
165
	Assignment2_7 : real;
166
	Assignment2_8 : real;
167
	Assignment2_9 : real;
168
	Assignment2_10 : real;
169
	Assignment2_11 : real;
170
	Assignment2_12 : real;
171
	Assignment2_13 : real;
172
	Assignment2_14 : real;
173
	Assignment2_15 : real;
174
	Assignment2_16 : real;
175
	Assignment2_17 : real;
176
	Assignment2_18 : real;
177
	Assignment2_19 : real;
178
	Assignment2_20 : real;
179
	Assignment2_21 : real;
180
	Assignment2_22 : real;
181
	Assignment2_23 : real;
182
	Assignment2_24 : real;
183
	Saturation_1 : real;
184
	Saturation1_1 : real;
185
	Saturation1_2 : real;
186
	__time_step : real;
187
	__nb_step : int;
188
let
189
	Assignment2_28_248_ind_dim_1_1 = 1;
190
	Assignment2_28_248_ind_dim_1_2 = 2;
191
	Assignment2_28_248_ind_dim_1_3 = 3;
192
	Assignment2_28_248_ind_dim_2_1 = real_to_int(Saturation_1);
193
	Assignment2_28_248_ind_dim_3_1 = real_to_int(Saturation1_1);
194
	Assignment2_28_248_ind_dim_3_2 = real_to_int(Saturation1_2);
195
	Assignment2_28_248_str_Y_index_1_1 = Assignment2_28_248_ind_dim_1_1;
196
	Assignment2_28_248_str_Y_index_1_2 = Assignment2_28_248_ind_dim_2_1;
197
	Assignment2_28_248_str_Y_index_1_3 = Assignment2_28_248_ind_dim_3_1;
198
	Assignment2_28_248_U_index_1 = ( (Assignment2_28_248_str_Y_index_1_1 * 1) + ((Assignment2_28_248_str_Y_index_1_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_1_3 - 1) * 12) );
199
	Assignment2_28_248_str_Y_index_2_1 = Assignment2_28_248_ind_dim_1_2;
200
	Assignment2_28_248_str_Y_index_2_2 = Assignment2_28_248_ind_dim_2_1;
201
	Assignment2_28_248_str_Y_index_2_3 = Assignment2_28_248_ind_dim_3_1;
202
	Assignment2_28_248_U_index_2 = ( (Assignment2_28_248_str_Y_index_2_1 * 1) + ((Assignment2_28_248_str_Y_index_2_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_2_3 - 1) * 12) );
203
	Assignment2_28_248_str_Y_index_3_1 = Assignment2_28_248_ind_dim_1_3;
204
	Assignment2_28_248_str_Y_index_3_2 = Assignment2_28_248_ind_dim_2_1;
205
	Assignment2_28_248_str_Y_index_3_3 = Assignment2_28_248_ind_dim_3_1;
206
	Assignment2_28_248_U_index_3 = ( (Assignment2_28_248_str_Y_index_3_1 * 1) + ((Assignment2_28_248_str_Y_index_3_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_3_3 - 1) * 12) );
207
	Assignment2_28_248_str_Y_index_4_1 = Assignment2_28_248_ind_dim_1_1;
208
	Assignment2_28_248_str_Y_index_4_2 = Assignment2_28_248_ind_dim_2_1;
209
	Assignment2_28_248_str_Y_index_4_3 = Assignment2_28_248_ind_dim_3_2;
210
	Assignment2_28_248_U_index_4 = ( (Assignment2_28_248_str_Y_index_4_1 * 1) + ((Assignment2_28_248_str_Y_index_4_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_4_3 - 1) * 12) );
211
	Assignment2_28_248_str_Y_index_5_1 = Assignment2_28_248_ind_dim_1_2;
212
	Assignment2_28_248_str_Y_index_5_2 = Assignment2_28_248_ind_dim_2_1;
213
	Assignment2_28_248_str_Y_index_5_3 = Assignment2_28_248_ind_dim_3_2;
214
	Assignment2_28_248_U_index_5 = ( (Assignment2_28_248_str_Y_index_5_1 * 1) + ((Assignment2_28_248_str_Y_index_5_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_5_3 - 1) * 12) );
215
	Assignment2_28_248_str_Y_index_6_1 = Assignment2_28_248_ind_dim_1_3;
216
	Assignment2_28_248_str_Y_index_6_2 = Assignment2_28_248_ind_dim_2_1;
217
	Assignment2_28_248_str_Y_index_6_3 = Assignment2_28_248_ind_dim_3_2;
218
	Assignment2_28_248_U_index_6 = ( (Assignment2_28_248_str_Y_index_6_1 * 1) + ((Assignment2_28_248_str_Y_index_6_2 - 1) * 3) + ((Assignment2_28_248_str_Y_index_6_3 - 1) * 12) );
219
	Assignment2_1 = if (Assignment2_28_248_U_index_6 = 1) then
220
		In3_6
221
	    else if (Assignment2_28_248_U_index_5 = 1) then
222
		In3_5
223
	    else if (Assignment2_28_248_U_index_4 = 1) then
224
		In3_4
225
	    else if (Assignment2_28_248_U_index_3 = 1) then
226
		In3_3
227
	    else if (Assignment2_28_248_U_index_2 = 1) then
228
		In3_2
229
	    else if (Assignment2_28_248_U_index_1 = 1) then
230
		In3_1
231
	    else In2_1;
232
	Assignment2_2 = if (Assignment2_28_248_U_index_6 = 2) then
233
		In3_6
234
	    else if (Assignment2_28_248_U_index_5 = 2) then
235
		In3_5
236
	    else if (Assignment2_28_248_U_index_4 = 2) then
237
		In3_4
238
	    else if (Assignment2_28_248_U_index_3 = 2) then
239
		In3_3
240
	    else if (Assignment2_28_248_U_index_2 = 2) then
241
		In3_2
242
	    else if (Assignment2_28_248_U_index_1 = 2) then
243
		In3_1
244
	    else In2_2;
245
	Assignment2_3 = if (Assignment2_28_248_U_index_6 = 3) then
246
		In3_6
247
	    else if (Assignment2_28_248_U_index_5 = 3) then
248
		In3_5
249
	    else if (Assignment2_28_248_U_index_4 = 3) then
250
		In3_4
251
	    else if (Assignment2_28_248_U_index_3 = 3) then
252
		In3_3
253
	    else if (Assignment2_28_248_U_index_2 = 3) then
254
		In3_2
255
	    else if (Assignment2_28_248_U_index_1 = 3) then
256
		In3_1
257
	    else In2_3;
258
	Assignment2_4 = if (Assignment2_28_248_U_index_6 = 4) then
259
		In3_6
260
	    else if (Assignment2_28_248_U_index_5 = 4) then
261
		In3_5
262
	    else if (Assignment2_28_248_U_index_4 = 4) then
263
		In3_4
264
	    else if (Assignment2_28_248_U_index_3 = 4) then
265
		In3_3
266
	    else if (Assignment2_28_248_U_index_2 = 4) then
267
		In3_2
268
	    else if (Assignment2_28_248_U_index_1 = 4) then
269
		In3_1
270
	    else In2_4;
271
	Assignment2_5 = if (Assignment2_28_248_U_index_6 = 5) then
272
		In3_6
273
	    else if (Assignment2_28_248_U_index_5 = 5) then
274
		In3_5
275
	    else if (Assignment2_28_248_U_index_4 = 5) then
276
		In3_4
277
	    else if (Assignment2_28_248_U_index_3 = 5) then
278
		In3_3
279
	    else if (Assignment2_28_248_U_index_2 = 5) then
280
		In3_2
281
	    else if (Assignment2_28_248_U_index_1 = 5) then
282
		In3_1
283
	    else In2_5;
284
	Assignment2_6 = if (Assignment2_28_248_U_index_6 = 6) then
285
		In3_6
286
	    else if (Assignment2_28_248_U_index_5 = 6) then
287
		In3_5
288
	    else if (Assignment2_28_248_U_index_4 = 6) then
289
		In3_4
290
	    else if (Assignment2_28_248_U_index_3 = 6) then
291
		In3_3
292
	    else if (Assignment2_28_248_U_index_2 = 6) then
293
		In3_2
294
	    else if (Assignment2_28_248_U_index_1 = 6) then
295
		In3_1
296
	    else In2_6;
297
	Assignment2_7 = if (Assignment2_28_248_U_index_6 = 7) then
298
		In3_6
299
	    else if (Assignment2_28_248_U_index_5 = 7) then
300
		In3_5
301
	    else if (Assignment2_28_248_U_index_4 = 7) then
302
		In3_4
303
	    else if (Assignment2_28_248_U_index_3 = 7) then
304
		In3_3
305
	    else if (Assignment2_28_248_U_index_2 = 7) then
306
		In3_2
307
	    else if (Assignment2_28_248_U_index_1 = 7) then
308
		In3_1
309
	    else In2_7;
310
	Assignment2_8 = if (Assignment2_28_248_U_index_6 = 8) then
311
		In3_6
312
	    else if (Assignment2_28_248_U_index_5 = 8) then
313
		In3_5
314
	    else if (Assignment2_28_248_U_index_4 = 8) then
315
		In3_4
316
	    else if (Assignment2_28_248_U_index_3 = 8) then
317
		In3_3
318
	    else if (Assignment2_28_248_U_index_2 = 8) then
319
		In3_2
320
	    else if (Assignment2_28_248_U_index_1 = 8) then
321
		In3_1
322
	    else In2_8;
323
	Assignment2_9 = if (Assignment2_28_248_U_index_6 = 9) then
324
		In3_6
325
	    else if (Assignment2_28_248_U_index_5 = 9) then
326
		In3_5
327
	    else if (Assignment2_28_248_U_index_4 = 9) then
328
		In3_4
329
	    else if (Assignment2_28_248_U_index_3 = 9) then
330
		In3_3
331
	    else if (Assignment2_28_248_U_index_2 = 9) then
332
		In3_2
333
	    else if (Assignment2_28_248_U_index_1 = 9) then
334
		In3_1
335
	    else In2_9;
336
	Assignment2_10 = if (Assignment2_28_248_U_index_6 = 10) then
337
		In3_6
338
	    else if (Assignment2_28_248_U_index_5 = 10) then
339
		In3_5
340
	    else if (Assignment2_28_248_U_index_4 = 10) then
341
		In3_4
342
	    else if (Assignment2_28_248_U_index_3 = 10) then
343
		In3_3
344
	    else if (Assignment2_28_248_U_index_2 = 10) then
345
		In3_2
346
	    else if (Assignment2_28_248_U_index_1 = 10) then
347
		In3_1
348
	    else In2_10;
349
	Assignment2_11 = if (Assignment2_28_248_U_index_6 = 11) then
350
		In3_6
351
	    else if (Assignment2_28_248_U_index_5 = 11) then
352
		In3_5
353
	    else if (Assignment2_28_248_U_index_4 = 11) then
354
		In3_4
355
	    else if (Assignment2_28_248_U_index_3 = 11) then
356
		In3_3
357
	    else if (Assignment2_28_248_U_index_2 = 11) then
358
		In3_2
359
	    else if (Assignment2_28_248_U_index_1 = 11) then
360
		In3_1
361
	    else In2_11;
362
	Assignment2_12 = if (Assignment2_28_248_U_index_6 = 12) then
363
		In3_6
364
	    else if (Assignment2_28_248_U_index_5 = 12) then
365
		In3_5
366
	    else if (Assignment2_28_248_U_index_4 = 12) then
367
		In3_4
368
	    else if (Assignment2_28_248_U_index_3 = 12) then
369
		In3_3
370
	    else if (Assignment2_28_248_U_index_2 = 12) then
371
		In3_2
372
	    else if (Assignment2_28_248_U_index_1 = 12) then
373
		In3_1
374
	    else In2_12;
375
	Assignment2_13 = if (Assignment2_28_248_U_index_6 = 13) then
376
		In3_6
377
	    else if (Assignment2_28_248_U_index_5 = 13) then
378
		In3_5
379
	    else if (Assignment2_28_248_U_index_4 = 13) then
380
		In3_4
381
	    else if (Assignment2_28_248_U_index_3 = 13) then
382
		In3_3
383
	    else if (Assignment2_28_248_U_index_2 = 13) then
384
		In3_2
385
	    else if (Assignment2_28_248_U_index_1 = 13) then
386
		In3_1
387
	    else In2_13;
388
	Assignment2_14 = if (Assignment2_28_248_U_index_6 = 14) then
389
		In3_6
390
	    else if (Assignment2_28_248_U_index_5 = 14) then
391
		In3_5
392
	    else if (Assignment2_28_248_U_index_4 = 14) then
393
		In3_4
394
	    else if (Assignment2_28_248_U_index_3 = 14) then
395
		In3_3
396
	    else if (Assignment2_28_248_U_index_2 = 14) then
397
		In3_2
398
	    else if (Assignment2_28_248_U_index_1 = 14) then
399
		In3_1
400
	    else In2_14;
401
	Assignment2_15 = if (Assignment2_28_248_U_index_6 = 15) then
402
		In3_6
403
	    else if (Assignment2_28_248_U_index_5 = 15) then
404
		In3_5
405
	    else if (Assignment2_28_248_U_index_4 = 15) then
406
		In3_4
407
	    else if (Assignment2_28_248_U_index_3 = 15) then
408
		In3_3
409
	    else if (Assignment2_28_248_U_index_2 = 15) then
410
		In3_2
411
	    else if (Assignment2_28_248_U_index_1 = 15) then
412
		In3_1
413
	    else In2_15;
414
	Assignment2_16 = if (Assignment2_28_248_U_index_6 = 16) then
415
		In3_6
416
	    else if (Assignment2_28_248_U_index_5 = 16) then
417
		In3_5
418
	    else if (Assignment2_28_248_U_index_4 = 16) then
419
		In3_4
420
	    else if (Assignment2_28_248_U_index_3 = 16) then
421
		In3_3
422
	    else if (Assignment2_28_248_U_index_2 = 16) then
423
		In3_2
424
	    else if (Assignment2_28_248_U_index_1 = 16) then
425
		In3_1
426
	    else In2_16;
427
	Assignment2_17 = if (Assignment2_28_248_U_index_6 = 17) then
428
		In3_6
429
	    else if (Assignment2_28_248_U_index_5 = 17) then
430
		In3_5
431
	    else if (Assignment2_28_248_U_index_4 = 17) then
432
		In3_4
433
	    else if (Assignment2_28_248_U_index_3 = 17) then
434
		In3_3
435
	    else if (Assignment2_28_248_U_index_2 = 17) then
436
		In3_2
437
	    else if (Assignment2_28_248_U_index_1 = 17) then
438
		In3_1
439
	    else In2_17;
440
	Assignment2_18 = if (Assignment2_28_248_U_index_6 = 18) then
441
		In3_6
442
	    else if (Assignment2_28_248_U_index_5 = 18) then
443
		In3_5
444
	    else if (Assignment2_28_248_U_index_4 = 18) then
445
		In3_4
446
	    else if (Assignment2_28_248_U_index_3 = 18) then
447
		In3_3
448
	    else if (Assignment2_28_248_U_index_2 = 18) then
449
		In3_2
450
	    else if (Assignment2_28_248_U_index_1 = 18) then
451
		In3_1
452
	    else In2_18;
453
	Assignment2_19 = if (Assignment2_28_248_U_index_6 = 19) then
454
		In3_6
455
	    else if (Assignment2_28_248_U_index_5 = 19) then
456
		In3_5
457
	    else if (Assignment2_28_248_U_index_4 = 19) then
458
		In3_4
459
	    else if (Assignment2_28_248_U_index_3 = 19) then
460
		In3_3
461
	    else if (Assignment2_28_248_U_index_2 = 19) then
462
		In3_2
463
	    else if (Assignment2_28_248_U_index_1 = 19) then
464
		In3_1
465
	    else In2_19;
466
	Assignment2_20 = if (Assignment2_28_248_U_index_6 = 20) then
467
		In3_6
468
	    else if (Assignment2_28_248_U_index_5 = 20) then
469
		In3_5
470
	    else if (Assignment2_28_248_U_index_4 = 20) then
471
		In3_4
472
	    else if (Assignment2_28_248_U_index_3 = 20) then
473
		In3_3
474
	    else if (Assignment2_28_248_U_index_2 = 20) then
475
		In3_2
476
	    else if (Assignment2_28_248_U_index_1 = 20) then
477
		In3_1
478
	    else In2_20;
479
	Assignment2_21 = if (Assignment2_28_248_U_index_6 = 21) then
480
		In3_6
481
	    else if (Assignment2_28_248_U_index_5 = 21) then
482
		In3_5
483
	    else if (Assignment2_28_248_U_index_4 = 21) then
484
		In3_4
485
	    else if (Assignment2_28_248_U_index_3 = 21) then
486
		In3_3
487
	    else if (Assignment2_28_248_U_index_2 = 21) then
488
		In3_2
489
	    else if (Assignment2_28_248_U_index_1 = 21) then
490
		In3_1
491
	    else In2_21;
492
	Assignment2_22 = if (Assignment2_28_248_U_index_6 = 22) then
493
		In3_6
494
	    else if (Assignment2_28_248_U_index_5 = 22) then
495
		In3_5
496
	    else if (Assignment2_28_248_U_index_4 = 22) then
497
		In3_4
498
	    else if (Assignment2_28_248_U_index_3 = 22) then
499
		In3_3
500
	    else if (Assignment2_28_248_U_index_2 = 22) then
501
		In3_2
502
	    else if (Assignment2_28_248_U_index_1 = 22) then
503
		In3_1
504
	    else In2_22;
505
	Assignment2_23 = if (Assignment2_28_248_U_index_6 = 23) then
506
		In3_6
507
	    else if (Assignment2_28_248_U_index_5 = 23) then
508
		In3_5
509
	    else if (Assignment2_28_248_U_index_4 = 23) then
510
		In3_4
511
	    else if (Assignment2_28_248_U_index_3 = 23) then
512
		In3_3
513
	    else if (Assignment2_28_248_U_index_2 = 23) then
514
		In3_2
515
	    else if (Assignment2_28_248_U_index_1 = 23) then
516
		In3_1
517
	    else In2_23;
518
	Assignment2_24 = if (Assignment2_28_248_U_index_6 = 24) then
519
		In3_6
520
	    else if (Assignment2_28_248_U_index_5 = 24) then
521
		In3_5
522
	    else if (Assignment2_28_248_U_index_4 = 24) then
523
		In3_4
524
	    else if (Assignment2_28_248_U_index_3 = 24) then
525
		In3_3
526
	    else if (Assignment2_28_248_U_index_2 = 24) then
527
		In3_2
528
	    else if (Assignment2_28_248_U_index_1 = 24) then
529
		In3_1
530
	    else In2_24;
531
	Saturation_1 = Saturation_29_039(In1_1, __time_step, __nb_step);
532
	(Saturation1_1, Saturation1_2) = Saturation1_30_036(In4_1, In4_2, __time_step, __nb_step);
533
	Out3_1 = Assignment2_1;
534
	Out3_2 = Assignment2_2;
535
	Out3_3 = Assignment2_3;
536
	Out3_4 = Assignment2_4;
537
	Out3_5 = Assignment2_5;
538
	Out3_6 = Assignment2_6;
539
	Out3_7 = Assignment2_7;
540
	Out3_8 = Assignment2_8;
541
	Out3_9 = Assignment2_9;
542
	Out3_10 = Assignment2_10;
543
	Out3_11 = Assignment2_11;
544
	Out3_12 = Assignment2_12;
545
	Out3_13 = Assignment2_13;
546
	Out3_14 = Assignment2_14;
547
	Out3_15 = Assignment2_15;
548
	Out3_16 = Assignment2_16;
549
	Out3_17 = Assignment2_17;
550
	Out3_18 = Assignment2_18;
551
	Out3_19 = Assignment2_19;
552
	Out3_20 = Assignment2_20;
553
	Out3_21 = Assignment2_21;
554
	Out3_22 = Assignment2_22;
555
	Out3_23 = Assignment2_23;
556
	Out3_24 = Assignment2_24;
557
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
558
	__nb_step = (0 -> ((pre __nb_step) + 1));
559
tel
560

  
regression_tests/lustre_files/success/Simulink/src_many_files/Assignment7_PP.LUSTREC.lusi
1
(* Generated Lustre Interface file from Assignment7_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2019/2/18, 19:25:17 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
#open <conv>
6

  
7
function _max_real (x: real;
8
y: real) returns (z: real);
9

  
10
function _min_real (x: real;
11
y: real) returns (z: real);
12

  
13
function Saturation1_30_036 (In_1: real;
14
In_2: real;
15
__time_step: real;
16
__nb_step: int) returns (Out_1: real;
17
Out_2: real);
18

  
19
function Saturation_29_039 (In_1: real;
20
__time_step: real;
21
__nb_step: int) returns (Out_1: real);
22

  
23
node Assignment7_PP (In1_1: real;
24
In2_1: real;
25
In2_2: real;
26
In2_3: real;
27
In2_4: real;
28
In2_5: real;
29
In2_6: real;
30
In2_7: real;
31
In2_8: real;
32
In2_9: real;
33
In2_10: real;
34
In2_11: real;
35
In2_12: real;
36
In2_13: real;
37
In2_14: real;
38
In2_15: real;
39
In2_16: real;
40
In2_17: real;
41
In2_18: real;
42
In2_19: real;
43
In2_20: real;
44
In2_21: real;
45
In2_22: real;
46
In2_23: real;
47
In2_24: real;
48
In3_1: real;
49
In3_2: real;
50
In3_3: real;
51
In3_4: real;
52
In3_5: real;
53
In3_6: real;
54
In4_1: real;
55
In4_2: real) returns (Out3_1: real;
56
Out3_2: real;
57
Out3_3: real;
58
Out3_4: real;
59
Out3_5: real;
60
Out3_6: real;
61
Out3_7: real;
62
Out3_8: real;
63
Out3_9: real;
64
Out3_10: real;
65
Out3_11: real;
66
Out3_12: real;
67
Out3_13: real;
68
Out3_14: real;
69
Out3_15: real;
70
Out3_16: real;
71
Out3_17: real;
72
Out3_18: real;
73
Out3_19: real;
74
Out3_20: real;
75
Out3_21: real;
76
Out3_22: real;
77
Out3_23: real;
78
Out3_24: real);
79

  
80

  
regression_tests/lustre_files/success/Simulink/src_many_files/Assignment8_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:18:21
5
#open <conv>
6
node  _max_real(x : real;
7
	y : real;)
8
returns(z : real;);
9
let
10
	z = if (x > y) then
11
		x
12
	    else y;
13
tel
14

  
15
node  _min_real(x : real;
16
	y : real;)
17
returns(z : real;);
18
let
19
	z = if (x < y) then
20
		x
21
	    else y;
22
tel
23

  
24
(*
25
Original block name: Assignment8_PP/Saturation
26
*)
27
node  Saturation_29_039(In_1 : real;
28
	__time_step : real;
29
	__nb_step : int;)
30
returns(Out_1 : real;);
31
var lower_1 : real;
32
	lower_limit_1 : real;
33
	upper_1 : real;
34
	upper_limit_1 : real;
35
let
36
	lower_1 = _max_real(upper_1, lower_limit_1);
37
	lower_limit_1 = 0.000000000000000;
38
	upper_1 = _min_real(upper_limit_1, In_1);
39
	upper_limit_1 = 3.000000000000000;
40
	Out_1 = lower_1;
41
tel
42

  
43
(*
44
Original block name: Assignment8_PP/Saturation1
45
*)
46
node  Saturation1_30_036(In_1 : real;
47
	In_2 : real;
48
	__time_step : real;
49
	__nb_step : int;)
50
returns(Out_1 : real;
51
	Out_2 : real;);
52
var lower_1 : real;
53
	lower_2 : real;
54
	lower_limit_1 : real;
55
	upper_1 : real;
56
	upper_2 : real;
57
	upper_limit_1 : real;
58
let
59
	lower_1 = _max_real(upper_1, lower_limit_1);
60
	lower_2 = _max_real(upper_2, lower_limit_1);
61
	lower_limit_1 = 0.000000000000000;
62
	upper_1 = _min_real(upper_limit_1, In_1);
63
	upper_2 = _min_real(upper_limit_1, In_2);
64
	upper_limit_1 = 1.000000000000000;
65
	Out_1 = lower_1;
66
	Out_2 = lower_2;
67
tel
68

  
69
(*
70
Original block name: Assignment8_PP
71
*)
72
node  Assignment8_PP(In1_1 : real;
73
	In2_1 : real;
74
	In2_2 : real;
75
	In2_3 : real;
76
	In2_4 : real;
77
	In2_5 : real;
78
	In2_6 : real;
79
	In2_7 : real;
80
	In2_8 : real;
81
	In2_9 : real;
82
	In2_10 : real;
83
	In2_11 : real;
84
	In2_12 : real;
85
	In2_13 : real;
86
	In2_14 : real;
87
	In2_15 : real;
88
	In2_16 : real;
89
	In2_17 : real;
90
	In2_18 : real;
91
	In2_19 : real;
92
	In2_20 : real;
93
	In2_21 : real;
94
	In2_22 : real;
95
	In2_23 : real;
96
	In2_24 : real;
97
	In3_1 : real;
98
	In3_2 : real;
99
	In3_3 : real;
100
	In3_4 : real;
101
	In3_5 : real;
102
	In3_6 : real;
103
	In4_1 : real;
104
	In4_2 : real;)
105
returns(Out3_1 : real;
106
	Out3_2 : real;
107
	Out3_3 : real;
108
	Out3_4 : real;
109
	Out3_5 : real;
110
	Out3_6 : real;
111
	Out3_7 : real;
112
	Out3_8 : real;
113
	Out3_9 : real;
114
	Out3_10 : real;
115
	Out3_11 : real;
116
	Out3_12 : real;
117
	Out3_13 : real;
118
	Out3_14 : real;
119
	Out3_15 : real;
120
	Out3_16 : real;
121
	Out3_17 : real;
122
	Out3_18 : real;
123
	Out3_19 : real;
124
	Out3_20 : real;
125
	Out3_21 : real;
126
	Out3_22 : real;
127
	Out3_23 : real;
128
	Out3_24 : real;);
129
var Assignment2_28_249_U_index_1 : int;
130
	Assignment2_28_249_U_index_2 : int;
131
	Assignment2_28_249_U_index_3 : int;
132
	Assignment2_28_249_U_index_4 : int;
133
	Assignment2_28_249_U_index_5 : int;
134
	Assignment2_28_249_U_index_6 : int;
135
	Assignment2_28_249_ind_dim_1_1 : int;
136
	Assignment2_28_249_ind_dim_1_2 : int;
137
	Assignment2_28_249_ind_dim_1_3 : int;
138
	Assignment2_28_249_ind_dim_2_1 : int;
139
	Assignment2_28_249_ind_dim_3_1 : int;
140
	Assignment2_28_249_ind_dim_3_2 : int;
141
	Assignment2_28_249_str_Y_index_1_1 : int;
142
	Assignment2_28_249_str_Y_index_1_2 : int;
143
	Assignment2_28_249_str_Y_index_1_3 : int;
144
	Assignment2_28_249_str_Y_index_2_1 : int;
145
	Assignment2_28_249_str_Y_index_2_2 : int;
146
	Assignment2_28_249_str_Y_index_2_3 : int;
147
	Assignment2_28_249_str_Y_index_3_1 : int;
148
	Assignment2_28_249_str_Y_index_3_2 : int;
149
	Assignment2_28_249_str_Y_index_3_3 : int;
150
	Assignment2_28_249_str_Y_index_4_1 : int;
151
	Assignment2_28_249_str_Y_index_4_2 : int;
152
	Assignment2_28_249_str_Y_index_4_3 : int;
153
	Assignment2_28_249_str_Y_index_5_1 : int;
154
	Assignment2_28_249_str_Y_index_5_2 : int;
155
	Assignment2_28_249_str_Y_index_5_3 : int;
156
	Assignment2_28_249_str_Y_index_6_1 : int;
157
	Assignment2_28_249_str_Y_index_6_2 : int;
158
	Assignment2_28_249_str_Y_index_6_3 : int;
159
	Assignment2_1 : real;
160
	Assignment2_2 : real;
161
	Assignment2_3 : real;
162
	Assignment2_4 : real;
163
	Assignment2_5 : real;
164
	Assignment2_6 : real;
165
	Assignment2_7 : real;
166
	Assignment2_8 : real;
167
	Assignment2_9 : real;
168
	Assignment2_10 : real;
169
	Assignment2_11 : real;
170
	Assignment2_12 : real;
171
	Assignment2_13 : real;
172
	Assignment2_14 : real;
173
	Assignment2_15 : real;
174
	Assignment2_16 : real;
175
	Assignment2_17 : real;
176
	Assignment2_18 : real;
177
	Assignment2_19 : real;
178
	Assignment2_20 : real;
179
	Assignment2_21 : real;
180
	Assignment2_22 : real;
181
	Assignment2_23 : real;
182
	Assignment2_24 : real;
183
	Saturation_1 : real;
184
	Saturation1_1 : real;
185
	Saturation1_2 : real;
186
	__time_step : real;
187
	__nb_step : int;
188
let
189
	Assignment2_28_249_ind_dim_1_1 = 1;
190
	Assignment2_28_249_ind_dim_1_2 = 2;
191
	Assignment2_28_249_ind_dim_1_3 = 3;
192
	Assignment2_28_249_ind_dim_2_1 = (real_to_int(Saturation_1) + 1);
193
	Assignment2_28_249_ind_dim_3_1 = (real_to_int(Saturation1_1) + 1);
194
	Assignment2_28_249_ind_dim_3_2 = (real_to_int(Saturation1_2) + 1);
195
	Assignment2_28_249_str_Y_index_1_1 = Assignment2_28_249_ind_dim_1_1;
196
	Assignment2_28_249_str_Y_index_1_2 = Assignment2_28_249_ind_dim_2_1;
197
	Assignment2_28_249_str_Y_index_1_3 = Assignment2_28_249_ind_dim_3_1;
198
	Assignment2_28_249_U_index_1 = ( (Assignment2_28_249_str_Y_index_1_1 * 1) + ((Assignment2_28_249_str_Y_index_1_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_1_3 - 1) * 12) );
199
	Assignment2_28_249_str_Y_index_2_1 = Assignment2_28_249_ind_dim_1_2;
200
	Assignment2_28_249_str_Y_index_2_2 = Assignment2_28_249_ind_dim_2_1;
201
	Assignment2_28_249_str_Y_index_2_3 = Assignment2_28_249_ind_dim_3_1;
202
	Assignment2_28_249_U_index_2 = ( (Assignment2_28_249_str_Y_index_2_1 * 1) + ((Assignment2_28_249_str_Y_index_2_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_2_3 - 1) * 12) );
203
	Assignment2_28_249_str_Y_index_3_1 = Assignment2_28_249_ind_dim_1_3;
204
	Assignment2_28_249_str_Y_index_3_2 = Assignment2_28_249_ind_dim_2_1;
205
	Assignment2_28_249_str_Y_index_3_3 = Assignment2_28_249_ind_dim_3_1;
206
	Assignment2_28_249_U_index_3 = ( (Assignment2_28_249_str_Y_index_3_1 * 1) + ((Assignment2_28_249_str_Y_index_3_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_3_3 - 1) * 12) );
207
	Assignment2_28_249_str_Y_index_4_1 = Assignment2_28_249_ind_dim_1_1;
208
	Assignment2_28_249_str_Y_index_4_2 = Assignment2_28_249_ind_dim_2_1;
209
	Assignment2_28_249_str_Y_index_4_3 = Assignment2_28_249_ind_dim_3_2;
210
	Assignment2_28_249_U_index_4 = ( (Assignment2_28_249_str_Y_index_4_1 * 1) + ((Assignment2_28_249_str_Y_index_4_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_4_3 - 1) * 12) );
211
	Assignment2_28_249_str_Y_index_5_1 = Assignment2_28_249_ind_dim_1_2;
212
	Assignment2_28_249_str_Y_index_5_2 = Assignment2_28_249_ind_dim_2_1;
213
	Assignment2_28_249_str_Y_index_5_3 = Assignment2_28_249_ind_dim_3_2;
214
	Assignment2_28_249_U_index_5 = ( (Assignment2_28_249_str_Y_index_5_1 * 1) + ((Assignment2_28_249_str_Y_index_5_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_5_3 - 1) * 12) );
215
	Assignment2_28_249_str_Y_index_6_1 = Assignment2_28_249_ind_dim_1_3;
216
	Assignment2_28_249_str_Y_index_6_2 = Assignment2_28_249_ind_dim_2_1;
217
	Assignment2_28_249_str_Y_index_6_3 = Assignment2_28_249_ind_dim_3_2;
218
	Assignment2_28_249_U_index_6 = ( (Assignment2_28_249_str_Y_index_6_1 * 1) + ((Assignment2_28_249_str_Y_index_6_2 - 1) * 3) + ((Assignment2_28_249_str_Y_index_6_3 - 1) * 12) );
219
	Assignment2_1 = if (Assignment2_28_249_U_index_6 = 1) then
220
		In3_6
221
	    else if (Assignment2_28_249_U_index_5 = 1) then
222
		In3_5
223
	    else if (Assignment2_28_249_U_index_4 = 1) then
224
		In3_4
225
	    else if (Assignment2_28_249_U_index_3 = 1) then
226
		In3_3
227
	    else if (Assignment2_28_249_U_index_2 = 1) then
228
		In3_2
229
	    else if (Assignment2_28_249_U_index_1 = 1) then
230
		In3_1
231
	    else In2_1;
232
	Assignment2_2 = if (Assignment2_28_249_U_index_6 = 2) then
233
		In3_6
234
	    else if (Assignment2_28_249_U_index_5 = 2) then
235
		In3_5
236
	    else if (Assignment2_28_249_U_index_4 = 2) then
237
		In3_4
238
	    else if (Assignment2_28_249_U_index_3 = 2) then
239
		In3_3
240
	    else if (Assignment2_28_249_U_index_2 = 2) then
241
		In3_2
242
	    else if (Assignment2_28_249_U_index_1 = 2) then
243
		In3_1
244
	    else In2_2;
245
	Assignment2_3 = if (Assignment2_28_249_U_index_6 = 3) then
246
		In3_6
247
	    else if (Assignment2_28_249_U_index_5 = 3) then
248
		In3_5
249
	    else if (Assignment2_28_249_U_index_4 = 3) then
250
		In3_4
251
	    else if (Assignment2_28_249_U_index_3 = 3) then
252
		In3_3
253
	    else if (Assignment2_28_249_U_index_2 = 3) then
254
		In3_2
255
	    else if (Assignment2_28_249_U_index_1 = 3) then
256
		In3_1
257
	    else In2_3;
258
	Assignment2_4 = if (Assignment2_28_249_U_index_6 = 4) then
259
		In3_6
260
	    else if (Assignment2_28_249_U_index_5 = 4) then
261
		In3_5
262
	    else if (Assignment2_28_249_U_index_4 = 4) then
263
		In3_4
264
	    else if (Assignment2_28_249_U_index_3 = 4) then
265
		In3_3
266
	    else if (Assignment2_28_249_U_index_2 = 4) then
267
		In3_2
268
	    else if (Assignment2_28_249_U_index_1 = 4) then
269
		In3_1
270
	    else In2_4;
271
	Assignment2_5 = if (Assignment2_28_249_U_index_6 = 5) then
272
		In3_6
273
	    else if (Assignment2_28_249_U_index_5 = 5) then
274
		In3_5
275
	    else if (Assignment2_28_249_U_index_4 = 5) then
276
		In3_4
277
	    else if (Assignment2_28_249_U_index_3 = 5) then
278
		In3_3
279
	    else if (Assignment2_28_249_U_index_2 = 5) then
280
		In3_2
281
	    else if (Assignment2_28_249_U_index_1 = 5) then
282
		In3_1
283
	    else In2_5;
284
	Assignment2_6 = if (Assignment2_28_249_U_index_6 = 6) then
285
		In3_6
286
	    else if (Assignment2_28_249_U_index_5 = 6) then
287
		In3_5
288
	    else if (Assignment2_28_249_U_index_4 = 6) then
289
		In3_4
290
	    else if (Assignment2_28_249_U_index_3 = 6) then
291
		In3_3
292
	    else if (Assignment2_28_249_U_index_2 = 6) then
293
		In3_2
294
	    else if (Assignment2_28_249_U_index_1 = 6) then
295
		In3_1
296
	    else In2_6;
297
	Assignment2_7 = if (Assignment2_28_249_U_index_6 = 7) then
298
		In3_6
299
	    else if (Assignment2_28_249_U_index_5 = 7) then
300
		In3_5
301
	    else if (Assignment2_28_249_U_index_4 = 7) then
302
		In3_4
303
	    else if (Assignment2_28_249_U_index_3 = 7) then
304
		In3_3
305
	    else if (Assignment2_28_249_U_index_2 = 7) then
306
		In3_2
307
	    else if (Assignment2_28_249_U_index_1 = 7) then
308
		In3_1
309
	    else In2_7;
310
	Assignment2_8 = if (Assignment2_28_249_U_index_6 = 8) then
311
		In3_6
312
	    else if (Assignment2_28_249_U_index_5 = 8) then
313
		In3_5
314
	    else if (Assignment2_28_249_U_index_4 = 8) then
315
		In3_4
316
	    else if (Assignment2_28_249_U_index_3 = 8) then
317
		In3_3
318
	    else if (Assignment2_28_249_U_index_2 = 8) then
319
		In3_2
320
	    else if (Assignment2_28_249_U_index_1 = 8) then
321
		In3_1
322
	    else In2_8;
323
	Assignment2_9 = if (Assignment2_28_249_U_index_6 = 9) then
324
		In3_6
325
	    else if (Assignment2_28_249_U_index_5 = 9) then
326
		In3_5
327
	    else if (Assignment2_28_249_U_index_4 = 9) then
328
		In3_4
329
	    else if (Assignment2_28_249_U_index_3 = 9) then
330
		In3_3
331
	    else if (Assignment2_28_249_U_index_2 = 9) then
332
		In3_2
333
	    else if (Assignment2_28_249_U_index_1 = 9) then
334
		In3_1
335
	    else In2_9;
336
	Assignment2_10 = if (Assignment2_28_249_U_index_6 = 10) then
337
		In3_6
338
	    else if (Assignment2_28_249_U_index_5 = 10) then
339
		In3_5
340
	    else if (Assignment2_28_249_U_index_4 = 10) then
341
		In3_4
342
	    else if (Assignment2_28_249_U_index_3 = 10) then
343
		In3_3
344
	    else if (Assignment2_28_249_U_index_2 = 10) then
345
		In3_2
346
	    else if (Assignment2_28_249_U_index_1 = 10) then
347
		In3_1
348
	    else In2_10;
349
	Assignment2_11 = if (Assignment2_28_249_U_index_6 = 11) then
350
		In3_6
351
	    else if (Assignment2_28_249_U_index_5 = 11) then
352
		In3_5
353
	    else if (Assignment2_28_249_U_index_4 = 11) then
354
		In3_4
355
	    else if (Assignment2_28_249_U_index_3 = 11) then
356
		In3_3
357
	    else if (Assignment2_28_249_U_index_2 = 11) then
358
		In3_2
359
	    else if (Assignment2_28_249_U_index_1 = 11) then
360
		In3_1
361
	    else In2_11;
362
	Assignment2_12 = if (Assignment2_28_249_U_index_6 = 12) then
363
		In3_6
364
	    else if (Assignment2_28_249_U_index_5 = 12) then
365
		In3_5
366
	    else if (Assignment2_28_249_U_index_4 = 12) then
367
		In3_4
368
	    else if (Assignment2_28_249_U_index_3 = 12) then
369
		In3_3
370
	    else if (Assignment2_28_249_U_index_2 = 12) then
371
		In3_2
372
	    else if (Assignment2_28_249_U_index_1 = 12) then
373
		In3_1
374
	    else In2_12;
375
	Assignment2_13 = if (Assignment2_28_249_U_index_6 = 13) then
376
		In3_6
377
	    else if (Assignment2_28_249_U_index_5 = 13) then
378
		In3_5
379
	    else if (Assignment2_28_249_U_index_4 = 13) then
380
		In3_4
381
	    else if (Assignment2_28_249_U_index_3 = 13) then
382
		In3_3
383
	    else if (Assignment2_28_249_U_index_2 = 13) then
384
		In3_2
385
	    else if (Assignment2_28_249_U_index_1 = 13) then
386
		In3_1
387
	    else In2_13;
388
	Assignment2_14 = if (Assignment2_28_249_U_index_6 = 14) then
389
		In3_6
390
	    else if (Assignment2_28_249_U_index_5 = 14) then
391
		In3_5
392
	    else if (Assignment2_28_249_U_index_4 = 14) then
393
		In3_4
394
	    else if (Assignment2_28_249_U_index_3 = 14) then
395
		In3_3
396
	    else if (Assignment2_28_249_U_index_2 = 14) then
397
		In3_2
398
	    else if (Assignment2_28_249_U_index_1 = 14) then
399
		In3_1
400
	    else In2_14;
401
	Assignment2_15 = if (Assignment2_28_249_U_index_6 = 15) then
402
		In3_6
403
	    else if (Assignment2_28_249_U_index_5 = 15) then
404
		In3_5
405
	    else if (Assignment2_28_249_U_index_4 = 15) then
406
		In3_4
407
	    else if (Assignment2_28_249_U_index_3 = 15) then
408
		In3_3
409
	    else if (Assignment2_28_249_U_index_2 = 15) then
410
		In3_2
411
	    else if (Assignment2_28_249_U_index_1 = 15) then
412
		In3_1
413
	    else In2_15;
414
	Assignment2_16 = if (Assignment2_28_249_U_index_6 = 16) then
415
		In3_6
416
	    else if (Assignment2_28_249_U_index_5 = 16) then
417
		In3_5
418
	    else if (Assignment2_28_249_U_index_4 = 16) then
419
		In3_4
420
	    else if (Assignment2_28_249_U_index_3 = 16) then
421
		In3_3
422
	    else if (Assignment2_28_249_U_index_2 = 16) then
423
		In3_2
424
	    else if (Assignment2_28_249_U_index_1 = 16) then
425
		In3_1
426
	    else In2_16;
427
	Assignment2_17 = if (Assignment2_28_249_U_index_6 = 17) then
428
		In3_6
429
	    else if (Assignment2_28_249_U_index_5 = 17) then
430
		In3_5
431
	    else if (Assignment2_28_249_U_index_4 = 17) then
432
		In3_4
433
	    else if (Assignment2_28_249_U_index_3 = 17) then
434
		In3_3
435
	    else if (Assignment2_28_249_U_index_2 = 17) then
436
		In3_2
437
	    else if (Assignment2_28_249_U_index_1 = 17) then
438
		In3_1
439
	    else In2_17;
440
	Assignment2_18 = if (Assignment2_28_249_U_index_6 = 18) then
441
		In3_6
442
	    else if (Assignment2_28_249_U_index_5 = 18) then
443
		In3_5
444
	    else if (Assignment2_28_249_U_index_4 = 18) then
445
		In3_4
446
	    else if (Assignment2_28_249_U_index_3 = 18) then
447
		In3_3
448
	    else if (Assignment2_28_249_U_index_2 = 18) then
449
		In3_2
450
	    else if (Assignment2_28_249_U_index_1 = 18) then
451
		In3_1
452
	    else In2_18;
453
	Assignment2_19 = if (Assignment2_28_249_U_index_6 = 19) then
454
		In3_6
455
	    else if (Assignment2_28_249_U_index_5 = 19) then
456
		In3_5
457
	    else if (Assignment2_28_249_U_index_4 = 19) then
458
		In3_4
459
	    else if (Assignment2_28_249_U_index_3 = 19) then
460
		In3_3
461
	    else if (Assignment2_28_249_U_index_2 = 19) then
462
		In3_2
463
	    else if (Assignment2_28_249_U_index_1 = 19) then
464
		In3_1
465
	    else In2_19;
466
	Assignment2_20 = if (Assignment2_28_249_U_index_6 = 20) then
467
		In3_6
468
	    else if (Assignment2_28_249_U_index_5 = 20) then
469
		In3_5
470
	    else if (Assignment2_28_249_U_index_4 = 20) then
471
		In3_4
472
	    else if (Assignment2_28_249_U_index_3 = 20) then
473
		In3_3
474
	    else if (Assignment2_28_249_U_index_2 = 20) then
475
		In3_2
476
	    else if (Assignment2_28_249_U_index_1 = 20) then
477
		In3_1
478
	    else In2_20;
479
	Assignment2_21 = if (Assignment2_28_249_U_index_6 = 21) then
480
		In3_6
481
	    else if (Assignment2_28_249_U_index_5 = 21) then
482
		In3_5
483
	    else if (Assignment2_28_249_U_index_4 = 21) then
484
		In3_4
485
	    else if (Assignment2_28_249_U_index_3 = 21) then
486
		In3_3
487
	    else if (Assignment2_28_249_U_index_2 = 21) then
488
		In3_2
489
	    else if (Assignment2_28_249_U_index_1 = 21) then
490
		In3_1
491
	    else In2_21;
492
	Assignment2_22 = if (Assignment2_28_249_U_index_6 = 22) then
493
		In3_6
494
	    else if (Assignment2_28_249_U_index_5 = 22) then
495
		In3_5
496
	    else if (Assignment2_28_249_U_index_4 = 22) then
497
		In3_4
498
	    else if (Assignment2_28_249_U_index_3 = 22) then
499
		In3_3
500
	    else if (Assignment2_28_249_U_index_2 = 22) then
501
		In3_2
502
	    else if (Assignment2_28_249_U_index_1 = 22) then
503
		In3_1
504
	    else In2_22;
505
	Assignment2_23 = if (Assignment2_28_249_U_index_6 = 23) then
506
		In3_6
507
	    else if (Assignment2_28_249_U_index_5 = 23) then
508
		In3_5
509
	    else if (Assignment2_28_249_U_index_4 = 23) then
510
		In3_4
511
	    else if (Assignment2_28_249_U_index_3 = 23) then
512
		In3_3
513
	    else if (Assignment2_28_249_U_index_2 = 23) then
514
		In3_2
515
	    else if (Assignment2_28_249_U_index_1 = 23) then
516
		In3_1
517
	    else In2_23;
518
	Assignment2_24 = if (Assignment2_28_249_U_index_6 = 24) then
519
		In3_6
520
	    else if (Assignment2_28_249_U_index_5 = 24) then
521
		In3_5
522
	    else if (Assignment2_28_249_U_index_4 = 24) then
523
		In3_4
524
	    else if (Assignment2_28_249_U_index_3 = 24) then
525
		In3_3
526
	    else if (Assignment2_28_249_U_index_2 = 24) then
527
		In3_2
528
	    else if (Assignment2_28_249_U_index_1 = 24) then
529
		In3_1
530
	    else In2_24;
531
	Saturation_1 = Saturation_29_039(In1_1, __time_step, __nb_step);
532
	(Saturation1_1, Saturation1_2) = Saturation1_30_036(In4_1, In4_2, __time_step, __nb_step);
533
	Out3_1 = Assignment2_1;
534
	Out3_2 = Assignment2_2;
535
	Out3_3 = Assignment2_3;
536
	Out3_4 = Assignment2_4;
537
	Out3_5 = Assignment2_5;
538
	Out3_6 = Assignment2_6;
539
	Out3_7 = Assignment2_7;
540
	Out3_8 = Assignment2_8;
541
	Out3_9 = Assignment2_9;
542
	Out3_10 = Assignment2_10;
543
	Out3_11 = Assignment2_11;
544
	Out3_12 = Assignment2_12;
545
	Out3_13 = Assignment2_13;
546
	Out3_14 = Assignment2_14;
547
	Out3_15 = Assignment2_15;
548
	Out3_16 = Assignment2_16;
549
	Out3_17 = Assignment2_17;
550
	Out3_18 = Assignment2_18;
551
	Out3_19 = Assignment2_19;
552
	Out3_20 = Assignment2_20;
553
	Out3_21 = Assignment2_21;
554
	Out3_22 = Assignment2_22;
555
	Out3_23 = Assignment2_23;
556
	Out3_24 = Assignment2_24;
557
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
558
	__nb_step = (0 -> ((pre __nb_step) + 1));
559
tel
560

  
regression_tests/lustre_files/success/Simulink/src_many_files/Assignment8_PP.LUSTREC.lusi
1
(* Generated Lustre Interface file from Assignment8_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2019/2/18, 19:25:17 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
#open <conv>
6

  
7
function _max_real (x: real;
8
y: real) returns (z: real);
9

  
10
function _min_real (x: real;
11
y: real) returns (z: real);
12

  
13
function Saturation1_30_036 (In_1: real;
14
In_2: real;
15
__time_step: real;
16
__nb_step: int) returns (Out_1: real;
17
Out_2: real);
18

  
19
function Saturation_29_039 (In_1: real;
20
__time_step: real;
21
__nb_step: int) returns (Out_1: real);
22

  
23
node Assignment8_PP (In1_1: real;
24
In2_1: real;
25
In2_2: real;
26
In2_3: real;
27
In2_4: real;
28
In2_5: real;
29
In2_6: real;
30
In2_7: real;
31
In2_8: real;
32
In2_9: real;
33
In2_10: real;
34
In2_11: real;
35
In2_12: real;
36
In2_13: real;
37
In2_14: real;
38
In2_15: real;
39
In2_16: real;
40
In2_17: real;
41
In2_18: real;
42
In2_19: real;
43
In2_20: real;
44
In2_21: real;
45
In2_22: real;
46
In2_23: real;
47
In2_24: real;
48
In3_1: real;
49
In3_2: real;
50
In3_3: real;
51
In3_4: real;
52
In3_5: real;
53
In3_6: real;
54
In4_1: real;
55
In4_2: real) returns (Out3_1: real;
56
Out3_2: real;
57
Out3_3: real;
58
Out3_4: real;
59
Out3_5: real;
60
Out3_6: real;
61
Out3_7: real;
62
Out3_8: real;
63
Out3_9: real;
64
Out3_10: real;
65
Out3_11: real;
66
Out3_12: real;
67
Out3_13: real;
68
Out3_14: real;
69
Out3_15: real;
70
Out3_16: real;
71
Out3_17: real;
72
Out3_18: real;
73
Out3_19: real;
74
Out3_20: real;
75
Out3_21: real;
76
Out3_22: real;
77
Out3_23: real;
78
Out3_24: real);
79

  
80

  
regression_tests/lustre_files/success/Simulink/src_many_files/Assignment_PP.LUSTREC.lus
1
-- This file has been generated by CoCoSim2.
2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:16:36
5
#open <conv>
6
(*
7
Original block name: Assignment_PP
8
*)
9
node  Assignment_PP(_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
	Out2_1 : real;
23
	Out2_2 : real;
24
	Out2_3 : real;
25
	Out2_4 : real;
26
	Out2_5 : real;
27
	Out2_6 : real;
28
	Out2_7 : real;
29
	Out2_8 : real;
30
	Out2_9 : real;
31
	Out2_10 : real;
32
	Out2_11 : real;
33
	Out2_12 : real;
34
	Out3_1 : real;
35
	Out3_2 : real;
36
	Out3_3 : real;
37
	Out3_4 : real;
38
	Out3_5 : real;
39
	Out3_6 : real;
40
	Out3_7 : real;
41
	Out3_8 : real;
42
	Out3_9 : real;
43
	Out3_10 : real;
44
	Out3_11 : real;
45
	Out3_12 : real;
46
	Out4_1 : real;
47
	Out4_2 : real;
48
	Out4_3 : real;
49
	Out4_4 : real;
50
	Out4_5 : real;
51
	Out4_6 : real;
52
	Out4_7 : real;
53
	Out4_8 : real;
54
	Out4_9 : real;
55
	Out4_10 : real;
56
	Out4_11 : real;
57
	Out4_12 : real;
58
	Out5_1 : real;
59
	Out5_2 : real;
60
	Out5_3 : real;
61
	Out5_4 : real;
62
	Out5_5 : real;
63
	Out5_6 : real;
64
	Out5_7 : real;
65
	Out5_8 : real;
66
	Out5_9 : real;
67
	Out5_10 : real;
68
	Out5_11 : real;
69
	Out5_12 : real;
70
	Out6_1 : real;
71
	Out6_2 : real;
72
	Out6_3 : real;
73
	Out6_4 : real;
74
	Out6_5 : real;
75
	Out6_6 : real;
76
	Out6_7 : real;
77
	Out7_1 : real;
78
	Out7_2 : real;
79
	Out7_3 : real;
80
	Out7_4 : real;
81
	Out7_5 : real;
82
	Out7_6 : real;
83
	Out7_7 : real;
84
	Out8_1 : real;
85
	Out8_2 : real;
86
	Out8_3 : real;
87
	Out8_4 : real;
88
	Out8_5 : real;
89
	Out8_6 : real;
90
	Out8_7 : real;
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff