Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.79 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:12:06
5
(*
6
Original block name: selector_test_PP
7
*)
8
node  selector_test_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In2_1 : real;
12
	In2_2 : real;
13
	In2_3 : real;
14
	In3_1 : real;
15
	In3_2 : real;
16
	In3_3 : real;
17
	In4_1 : real;
18
	In4_2 : real;
19
	In4_3 : real;
20
	In5_1 : real;
21
	In5_2 : real;
22
	In5_3 : real;
23
	In6_1 : real;
24
	In6_2 : real;
25
	In6_3 : real;)
26
returns(Out1_1 : real;
27
	Out1_2 : real;
28
	Out1_3 : real;
29
	Out2_1 : real;
30
	Out2_2 : real;
31
	Out3_1 : real;
32
	Out4_1 : real;
33
	Out4_2 : real;
34
	Out4_3 : real;
35
	Out4_4 : real;
36
	Out4_5 : real;
37
	Out4_6 : real;
38
	Out5_1 : real;
39
	Out5_2 : real;
40
	Out5_3 : real;
41
	Out5_4 : real;
42
	Out5_5 : real;
43
	Out5_6 : real;
44
	Out6_1 : real;
45
	Out6_2 : real;
46
	Out6_3 : real;
47
	Out6_4 : real;
48
	Out6_5 : real;
49
	Out6_6 : real;
50
	Out7_1 : real;
51
	Out7_2 : real;
52
	Out7_3 : real;
53
	Out7_4 : real;
54
	Out7_5 : real;
55
	Out7_6 : real;
56
	Out8_1 : real;
57
	Out8_2 : real;
58
	Out9_1 : real;
59
	Out10_1 : real;
60
	Out10_2 : real;
61
	Out10_3 : real;
62
	Out11_1 : real;
63
	Out12_1 : real;
64
	Out12_2 : real;
65
	Out13_1 : real;
66
	Out13_2 : real;
67
	Out13_3 : real;
68
	Out14_1 : real;
69
	Out14_2 : real;
70
	Out14_3 : real;
71
	Out14_4 : real;
72
	Out15_1 : real;
73
	Out15_2 : real;
74
	Out15_3 : real;
75
	Out15_4 : real;);
76
var Constant_1 : real;
77
	Constant_2 : real;
78
	Constant_3 : real;
79
	Constant_4 : real;
80
	Constant_5 : real;
81
	Constant_6 : real;
82
	Constant1_1 : real;
83
	Constant1_2 : real;
84
	Constant1_3 : real;
85
	Constant1_4 : real;
86
	Constant1_5 : real;
87
	Constant1_6 : real;
88
	Constant2_1 : real;
89
	Constant2_2 : real;
90
	Constant2_3 : real;
91
	Constant2_4 : real;
92
	Constant2_5 : real;
93
	Constant2_6 : real;
94
	Constant3_1 : real;
95
	Constant3_2 : real;
96
	Constant3_3 : real;
97
	Constant3_4 : real;
98
	Constant3_5 : real;
99
	Constant3_6 : real;
100
	Constant4_1 : real;
101
	Constant4_2 : real;
102
	Constant4_3 : real;
103
	Constant4_4 : real;
104
	Constant4_5 : real;
105
	Constant4_6 : real;
106
	Constant5_1 : real;
107
	Constant5_2 : real;
108
	Constant5_3 : real;
109
	Constant5_4 : real;
110
	Constant5_5 : real;
111
	Constant5_6 : real;
112
	Constant6_1 : real;
113
	Constant6_2 : real;
114
	Constant6_3 : real;
115
	Constant6_4 : real;
116
	Constant6_5 : real;
117
	Constant6_6 : real;
118
	Constant7_1 : real;
119
	Constant7_2 : real;
120
	Constant7_3 : real;
121
	Constant7_4 : real;
122
	Constant7_5 : real;
123
	Constant7_6 : real;
124
	Constant8_1 : real;
125
	Constant8_2 : real;
126
	Constant8_3 : real;
127
	Constant8_4 : real;
128
	Constant8_5 : real;
129
	Constant8_6 : real;
130
	Selector_1 : real;
131
	Selector_2 : real;
132
	Selector_3 : real;
133
	Selector1_1 : real;
134
	Selector1_2 : real;
135
	Selector10_1 : real;
136
	Selector11_1 : real;
137
	Selector11_2 : real;
138
	Selector12_1 : real;
139
	Selector12_2 : real;
140
	Selector12_3 : real;
141
	Selector13_1 : real;
142
	Selector13_2 : real;
143
	Selector13_3 : real;
144
	Selector13_4 : real;
145
	Selector14_1 : real;
146
	Selector14_2 : real;
147
	Selector14_3 : real;
148
	Selector14_4 : real;
149
	Selector2_1 : real;
150
	Selector3_1 : real;
151
	Selector3_2 : real;
152
	Selector3_3 : real;
153
	Selector3_4 : real;
154
	Selector3_5 : real;
155
	Selector3_6 : real;
156
	Selector4_1 : real;
157
	Selector4_2 : real;
158
	Selector4_3 : real;
159
	Selector4_4 : real;
160
	Selector4_5 : real;
161
	Selector4_6 : real;
162
	Selector5_1 : real;
163
	Selector5_2 : real;
164
	Selector5_3 : real;
165
	Selector5_4 : real;
166
	Selector5_5 : real;
167
	Selector5_6 : real;
168
	Selector6_1 : real;
169
	Selector6_2 : real;
170
	Selector6_3 : real;
171
	Selector6_4 : real;
172
	Selector6_5 : real;
173
	Selector6_6 : real;
174
	Selector7_1 : real;
175
	Selector7_2 : real;
176
	Selector8_1 : real;
177
	Selector9_1 : real;
178
	Selector9_2 : real;
179
	Selector9_3 : real;
180
	__time_step : real;
181
	__nb_step : int;
182
let
183
	Constant_1 = 1.000000000000000;
184
	Constant_2 = 4.000000000000000;
185
	Constant_3 = 2.000000000000000;
186
	Constant_4 = 5.000000000000000;
187
	Constant_5 = 3.000000000000000;
188
	Constant_6 = 6.000000000000000;
189
	Constant1_1 = 1.000000000000000;
190
	Constant1_2 = 4.000000000000000;
191
	Constant1_3 = 2.000000000000000;
192
	Constant1_4 = 5.000000000000000;
193
	Constant1_5 = 3.000000000000000;
194
	Constant1_6 = 6.000000000000000;
195
	Constant2_1 = 1.000000000000000;
196
	Constant2_2 = 4.000000000000000;
197
	Constant2_3 = 2.000000000000000;
198
	Constant2_4 = 5.000000000000000;
199
	Constant2_5 = 3.000000000000000;
200
	Constant2_6 = 6.000000000000000;
201
	Constant3_1 = 1.000000000000000;
202
	Constant3_2 = 4.000000000000000;
203
	Constant3_3 = 2.000000000000000;
204
	Constant3_4 = 5.000000000000000;
205
	Constant3_5 = 3.000000000000000;
206
	Constant3_6 = 6.000000000000000;
207
	Constant4_1 = 1.000000000000000;
208
	Constant4_2 = 4.000000000000000;
209
	Constant4_3 = 2.000000000000000;
210
	Constant4_4 = 5.000000000000000;
211
	Constant4_5 = 3.000000000000000;
212
	Constant4_6 = 6.000000000000000;
213
	Constant5_1 = 1.000000000000000;
214
	Constant5_2 = 4.000000000000000;
215
	Constant5_3 = 2.000000000000000;
216
	Constant5_4 = 5.000000000000000;
217
	Constant5_5 = 3.000000000000000;
218
	Constant5_6 = 6.000000000000000;
219
	Constant6_1 = 1.000000000000000;
220
	Constant6_2 = 4.000000000000000;
221
	Constant6_3 = 2.000000000000000;
222
	Constant6_4 = 5.000000000000000;
223
	Constant6_5 = 3.000000000000000;
224
	Constant6_6 = 6.000000000000000;
225
	Constant7_1 = 1.000000000000000;
226
	Constant7_2 = 4.000000000000000;
227
	Constant7_3 = 2.000000000000000;
228
	Constant7_4 = 5.000000000000000;
229
	Constant7_5 = 3.000000000000000;
230
	Constant7_6 = 6.000000000000000;
231
	Constant8_1 = 1.000000000000000;
232
	Constant8_2 = 4.000000000000000;
233
	Constant8_3 = 2.000000000000000;
234
	Constant8_4 = 5.000000000000000;
235
	Constant8_5 = 3.000000000000000;
236
	Constant8_6 = 6.000000000000000;
237
	Selector_1 = In1_2;
238
	Selector_2 = In1_1;
239
	Selector_3 = In1_1;
240
	Selector1_1 = Constant_2;
241
	Selector1_2 = Constant_1;
242
	Selector10_1 = In5_1;
243
	Selector11_1 = In6_1;
244
	Selector11_2 = In6_2;
245
	Selector12_1 = Constant6_1;
246
	Selector12_2 = Constant6_3;
247
	Selector12_3 = Constant6_5;
248
	Selector13_1 = Constant7_2;
249
	Selector13_2 = Constant7_1;
250
	Selector13_3 = Constant7_4;
251
	Selector13_4 = Constant7_3;
252
	Selector14_1 = Constant8_2;
253
	Selector14_2 = Constant8_1;
254
	Selector14_3 = Constant8_4;
255
	Selector14_4 = Constant8_3;
256
	Selector2_1 = In2_2;
257
	Selector3_1 = Constant1_2;
258
	Selector3_2 = Constant1_1;
259
	Selector3_3 = Constant1_4;
260
	Selector3_4 = Constant1_3;
261
	Selector3_5 = Constant1_6;
262
	Selector3_6 = Constant1_5;
263
	Selector4_1 = Constant2_1;
264
	Selector4_2 = Constant2_2;
265
	Selector4_3 = Constant2_3;
266
	Selector4_4 = Constant2_4;
267
	Selector4_5 = Constant2_5;
268
	Selector4_6 = Constant2_6;
269
	Selector5_1 = Constant3_1;
270
	Selector5_2 = Constant3_2;
271
	Selector5_3 = Constant3_3;
272
	Selector5_4 = Constant3_4;
273
	Selector5_5 = Constant3_5;
274
	Selector5_6 = Constant3_6;
275
	Selector6_1 = Constant4_2;
276
	Selector6_2 = Constant4_1;
277
	Selector6_3 = Constant4_4;
278
	Selector6_4 = Constant4_3;
279
	Selector6_5 = Constant4_6;
280
	Selector6_6 = Constant4_5;
281
	Selector7_1 = Constant5_2;
282
	Selector7_2 = Constant5_1;
283
	Selector8_1 = In3_2;
284
	Selector9_1 = In4_2;
285
	Selector9_2 = In4_1;
286
	Selector9_3 = In4_1;
287
	Out1_1 = Selector_1;
288
	Out1_2 = Selector_2;
289
	Out1_3 = Selector_3;
290
	Out2_1 = Selector1_1;
291
	Out2_2 = Selector1_2;
292
	Out3_1 = Selector2_1;
293
	Out4_1 = Selector3_1;
294
	Out4_2 = Selector3_2;
295
	Out4_3 = Selector3_3;
296
	Out4_4 = Selector3_4;
297
	Out4_5 = Selector3_5;
298
	Out4_6 = Selector3_6;
299
	Out5_1 = Selector4_1;
300
	Out5_2 = Selector4_2;
301
	Out5_3 = Selector4_3;
302
	Out5_4 = Selector4_4;
303
	Out5_5 = Selector4_5;
304
	Out5_6 = Selector4_6;
305
	Out6_1 = Selector5_1;
306
	Out6_2 = Selector5_2;
307
	Out6_3 = Selector5_3;
308
	Out6_4 = Selector5_4;
309
	Out6_5 = Selector5_5;
310
	Out6_6 = Selector5_6;
311
	Out7_1 = Selector6_1;
312
	Out7_2 = Selector6_2;
313
	Out7_3 = Selector6_3;
314
	Out7_4 = Selector6_4;
315
	Out7_5 = Selector6_5;
316
	Out7_6 = Selector6_6;
317
	Out8_1 = Selector7_1;
318
	Out8_2 = Selector7_2;
319
	Out9_1 = Selector8_1;
320
	Out10_1 = Selector9_1;
321
	Out10_2 = Selector9_2;
322
	Out10_3 = Selector9_3;
323
	Out11_1 = Selector10_1;
324
	Out12_1 = Selector11_1;
325
	Out12_2 = Selector11_2;
326
	Out13_1 = Selector12_1;
327
	Out13_2 = Selector12_2;
328
	Out13_3 = Selector12_3;
329
	Out14_1 = Selector13_1;
330
	Out14_2 = Selector13_2;
331
	Out14_3 = Selector13_3;
332
	Out14_4 = Selector13_4;
333
	Out15_1 = Selector14_1;
334
	Out15_2 = Selector14_2;
335
	Out15_3 = Selector14_3;
336
	Out15_4 = Selector14_4;
337
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
338
	__nb_step = (0 -> ((pre __nb_step) + 1));
339
tel