Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (6.25 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:51:05
5
(*
6
Original block name: Mux_Demux2_PP
7
*)
8
node  Mux_Demux2_PP(_virtual : bool;)
9
returns(Out1_1 : real;
10
	Out1_2 : real;
11
	Out1_3 : real;
12
	Out1_4 : real;
13
	Out1_5 : real;
14
	Out1_6 : real;
15
	Out1_7 : real;
16
	Out1_8 : real;
17
	Out2_1 : int;
18
	Out2_2 : int;
19
	Out2_3 : int;
20
	Out2_4 : int;
21
	Out2_5 : int;
22
	Out2_6 : int;
23
	Out2_7 : int;
24
	Out2_8 : int;
25
	Out3_1 : real;
26
	Out3_2 : real;
27
	Out3_3 : real;
28
	Out3_4 : real;
29
	Out3_5 : real;
30
	Out3_6 : real;
31
	Out3_7 : real;
32
	Out3_8 : real;
33
	Out4_1 : real;
34
	Out4_2 : real;
35
	Out4_3 : real;
36
	Out4_4 : real;
37
	Out4_5 : real;
38
	Out5_1 : real;
39
	Out5_2 : real;
40
	Out5_3 : real;
41
	Out5_4 : real;
42
	Out6_1 : real;
43
	Out6_2 : real;
44
	Out6_3 : real;
45
	Out6_4 : real;
46
	Out7_1 : int;
47
	Out7_2 : int;
48
	Out7_3 : int;
49
	Out8_1 : int;
50
	Out8_2 : int;
51
	Out8_3 : int;
52
	Out9_1 : int;
53
	Out9_2 : int;
54
	Out10_1 : real;
55
	Out10_2 : real;
56
	Out11_1 : real;
57
	Out11_2 : real;
58
	Out12_1 : real;
59
	Out13_1 : real;
60
	Out14_1 : real;
61
	Out15_1 : real;
62
	Out16_1 : real;
63
	Out16_2 : real;
64
	Out17_1 : real;
65
	Out17_2 : real;
66
	Out17_3 : real;
67
	Out18_1 : real;
68
	Out18_2 : real;
69
	Out18_3 : real;
70
	Out19_1 : real;
71
	Out19_2 : real;);
72
var Constant_1 : real;
73
	Constant_2 : real;
74
	Constant_3 : real;
75
	Constant1_1 : real;
76
	Constant1_2 : real;
77
	Constant10_1 : real;
78
	Constant10_2 : real;
79
	Constant2_1 : real;
80
	Constant2_2 : real;
81
	Constant2_3 : real;
82
	Constant3_1 : int;
83
	Constant3_2 : int;
84
	Constant3_3 : int;
85
	Constant4_1 : int;
86
	Constant4_2 : int;
87
	Constant5_1 : int;
88
	Constant5_2 : int;
89
	Constant5_3 : int;
90
	Constant6_1 : real;
91
	Constant6_2 : real;
92
	Constant6_3 : real;
93
	Constant7_1 : real;
94
	Constant7_2 : real;
95
	Constant8_1 : real;
96
	Constant8_2 : real;
97
	Constant8_3 : real;
98
	Constant9_1 : real;
99
	Constant9_2 : real;
100
	Constant9_3 : real;
101
	Demux_1 : real;
102
	Demux_2 : real;
103
	Demux_3 : real;
104
	Demux_4 : real;
105
	Demux_5 : real;
106
	Demux_6 : real;
107
	Demux_7 : real;
108
	Demux_8 : real;
109
	Demux1_1 : int;
110
	Demux1_2 : int;
111
	Demux1_3 : int;
112
	Demux1_4 : int;
113
	Demux1_5 : int;
114
	Demux1_6 : int;
115
	Demux1_7 : int;
116
	Demux1_8 : int;
117
	Demux2_1 : real;
118
	Demux2_2 : real;
119
	Demux2_3 : real;
120
	Demux2_4 : real;
121
	Demux2_5 : real;
122
	Demux2_6 : real;
123
	Demux2_7 : real;
124
	Demux2_8 : real;
125
	Demux3_1 : real;
126
	Demux3_2 : real;
127
	Demux3_3 : real;
128
	Demux3_4 : real;
129
	Demux3_5 : real;
130
	Demux4_1 : real;
131
	Demux4_2 : real;
132
	Demux4_3 : real;
133
	Demux4_4 : real;
134
	Demux4_5 : real;
135
	Mux_1 : real;
136
	Mux_2 : real;
137
	Mux_3 : real;
138
	Mux_4 : real;
139
	Mux_5 : real;
140
	Mux_6 : real;
141
	Mux_7 : real;
142
	Mux_8 : real;
143
	Mux1_1 : int;
144
	Mux1_2 : int;
145
	Mux1_3 : int;
146
	Mux1_4 : int;
147
	Mux1_5 : int;
148
	Mux1_6 : int;
149
	Mux1_7 : int;
150
	Mux1_8 : int;
151
	Mux2_1 : real;
152
	Mux2_2 : real;
153
	Mux2_3 : real;
154
	Mux2_4 : real;
155
	Mux2_5 : real;
156
	Mux2_6 : real;
157
	Mux2_7 : real;
158
	Mux2_8 : real;
159
	Mux3_1 : real;
160
	Mux3_2 : real;
161
	Mux3_3 : real;
162
	Mux3_4 : real;
163
	Mux3_5 : real;
164
	__time_step : real;
165
	__nb_step : int;
166
let
167
	Constant_1 = 1.000000000000000;
168
	Constant_2 = 2.000000000000000;
169
	Constant_3 = 3.000000000000000;
170
	Constant1_1 = 5.000000000000000;
171
	Constant1_2 = 4.000000000000000;
172
	Constant10_1 = 5.000000000000000;
173
	Constant10_2 = 4.000000000000000;
174
	Constant2_1 = 6.000000000000000;
175
	Constant2_2 = 7.000000000000000;
176
	Constant2_3 = 8.000000000000000;
177
	Constant3_1 = 1;
178
	Constant3_2 = 2;
179
	Constant3_3 = 3;
180
	Constant4_1 = 5;
181
	Constant4_2 = 4;
182
	Constant5_1 = 6;
183
	Constant5_2 = 7;
184
	Constant5_3 = 8;
185
	Constant6_1 = 1.000000000000000;
186
	Constant6_2 = 2.000000000000000;
187
	Constant6_3 = 3.000000000000000;
188
	Constant7_1 = 5.000000000000000;
189
	Constant7_2 = 4.000000000000000;
190
	Constant8_1 = 6.000000000000000;
191
	Constant8_2 = 7.000000000000000;
192
	Constant8_3 = 8.000000000000000;
193
	Constant9_1 = 1.000000000000000;
194
	Constant9_2 = 2.000000000000000;
195
	Constant9_3 = 3.000000000000000;
196
	Demux_1 = Mux_1;
197
	Demux_2 = Mux_2;
198
	Demux_3 = Mux_3;
199
	Demux_4 = Mux_4;
200
	Demux_5 = Mux_5;
201
	Demux_6 = Mux_6;
202
	Demux_7 = Mux_7;
203
	Demux_8 = Mux_8;
204
	Demux1_1 = Mux1_1;
205
	Demux1_2 = Mux1_2;
206
	Demux1_3 = Mux1_3;
207
	Demux1_4 = Mux1_4;
208
	Demux1_5 = Mux1_5;
209
	Demux1_6 = Mux1_6;
210
	Demux1_7 = Mux1_7;
211
	Demux1_8 = Mux1_8;
212
	Demux2_1 = Mux2_1;
213
	Demux2_2 = Mux2_2;
214
	Demux2_3 = Mux2_3;
215
	Demux2_4 = Mux2_4;
216
	Demux2_5 = Mux2_5;
217
	Demux2_6 = Mux2_6;
218
	Demux2_7 = Mux2_7;
219
	Demux2_8 = Mux2_8;
220
	Demux3_1 = Mux3_1;
221
	Demux3_2 = Mux3_2;
222
	Demux3_3 = Mux3_3;
223
	Demux3_4 = Mux3_4;
224
	Demux3_5 = Mux3_5;
225
	Demux4_1 = Mux3_1;
226
	Demux4_2 = Mux3_2;
227
	Demux4_3 = Mux3_3;
228
	Demux4_4 = Mux3_4;
229
	Demux4_5 = Mux3_5;
230
	Mux_1 = Constant_1;
231
	Mux_2 = Constant_2;
232
	Mux_3 = Constant_3;
233
	Mux_4 = Constant1_1;
234
	Mux_5 = Constant1_2;
235
	Mux_6 = Constant2_1;
236
	Mux_7 = Constant2_2;
237
	Mux_8 = Constant2_3;
238
	Mux1_1 = Constant3_1;
239
	Mux1_2 = Constant3_2;
240
	Mux1_3 = Constant3_3;
241
	Mux1_4 = Constant4_1;
242
	Mux1_5 = Constant4_2;
243
	Mux1_6 = Constant5_1;
244
	Mux1_7 = Constant5_2;
245
	Mux1_8 = Constant5_3;
246
	Mux2_1 = Constant6_1;
247
	Mux2_2 = Constant6_2;
248
	Mux2_3 = Constant6_3;
249
	Mux2_4 = Constant7_1;
250
	Mux2_5 = Constant7_2;
251
	Mux2_6 = Constant8_1;
252
	Mux2_7 = Constant8_2;
253
	Mux2_8 = Constant8_3;
254
	Mux3_1 = Constant9_1;
255
	Mux3_2 = Constant9_2;
256
	Mux3_3 = Constant9_3;
257
	Mux3_4 = Constant10_1;
258
	Mux3_5 = Constant10_2;
259
	Out1_1 = Mux_1;
260
	Out1_2 = Mux_2;
261
	Out1_3 = Mux_3;
262
	Out1_4 = Mux_4;
263
	Out1_5 = Mux_5;
264
	Out1_6 = Mux_6;
265
	Out1_7 = Mux_7;
266
	Out1_8 = Mux_8;
267
	Out2_1 = Mux1_1;
268
	Out2_2 = Mux1_2;
269
	Out2_3 = Mux1_3;
270
	Out2_4 = Mux1_4;
271
	Out2_5 = Mux1_5;
272
	Out2_6 = Mux1_6;
273
	Out2_7 = Mux1_7;
274
	Out2_8 = Mux1_8;
275
	Out3_1 = Mux2_1;
276
	Out3_2 = Mux2_2;
277
	Out3_3 = Mux2_3;
278
	Out3_4 = Mux2_4;
279
	Out3_5 = Mux2_5;
280
	Out3_6 = Mux2_6;
281
	Out3_7 = Mux2_7;
282
	Out3_8 = Mux2_8;
283
	Out4_1 = Mux3_1;
284
	Out4_2 = Mux3_2;
285
	Out4_3 = Mux3_3;
286
	Out4_4 = Mux3_4;
287
	Out4_5 = Mux3_5;
288
	Out5_1 = Demux_1;
289
	Out5_2 = Demux_2;
290
	Out5_3 = Demux_3;
291
	Out5_4 = Demux_4;
292
	Out6_1 = Demux_5;
293
	Out6_2 = Demux_6;
294
	Out6_3 = Demux_7;
295
	Out6_4 = Demux_8;
296
	Out7_1 = Demux1_1;
297
	Out7_2 = Demux1_2;
298
	Out7_3 = Demux1_3;
299
	Out8_1 = Demux1_4;
300
	Out8_2 = Demux1_5;
301
	Out8_3 = Demux1_6;
302
	Out9_1 = Demux1_7;
303
	Out9_2 = Demux1_8;
304
	Out10_1 = Demux2_1;
305
	Out10_2 = Demux2_2;
306
	Out11_1 = Demux2_3;
307
	Out11_2 = Demux2_4;
308
	Out12_1 = Demux2_5;
309
	Out13_1 = Demux2_6;
310
	Out14_1 = Demux2_7;
311
	Out15_1 = Demux2_8;
312
	Out16_1 = Demux3_1;
313
	Out16_2 = Demux3_2;
314
	Out17_1 = Demux3_3;
315
	Out17_2 = Demux3_4;
316
	Out17_3 = Demux3_5;
317
	Out18_1 = Demux4_1;
318
	Out18_2 = Demux4_2;
319
	Out18_3 = Demux4_3;
320
	Out19_1 = Demux4_4;
321
	Out19_2 = Demux4_5;
322
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
323
	__nb_step = (0 -> ((pre __nb_step) + 1));
324
tel
325