Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (14.7 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:01:31
5
node  bool_to_int(x : bool;)
6
returns(y : int;);
7
let
8
	y = if x then
9
		1
10
	    else 0;
11
tel
12
13
(*
14
Original block name: CompareTo2_PP/CompareToConstant
15
*)
16
node  CompareToConstant_218_001(u_1 : real;
17
	__time_step : real;
18
	__nb_step : int;)
19
returns(y_1 : bool;);
20
var Compare_1 : bool;
21
	Constant_1 : real;
22
let
23
	Compare_1 = (u_1 = Constant_1);
24
	Constant_1 = 3.000000000000000;
25
	y_1 = Compare_1;
26
tel
27
28
(*
29
Original block name: CompareTo2_PP/CompareToConstant1
30
*)
31
node  CompareToConstant1_219_001(u_1 : int;
32
	__time_step : real;
33
	__nb_step : int;)
34
returns(y_1 : bool;);
35
var Compare_1 : bool;
36
	Constant_1 : int;
37
let
38
	Compare_1 = (u_1 <> Constant_1);
39
	Constant_1 = 3;
40
	y_1 = Compare_1;
41
tel
42
43
(*
44
Original block name: CompareTo2_PP/CompareToConstant10
45
*)
46
node  CompareToConstant10_220_001(u_1 : real;
47
	__time_step : real;
48
	__nb_step : int;)
49
returns(y_1 : bool;
50
	y_2 : bool;
51
	y_3 : bool;
52
	y_4 : bool;
53
	y_5 : bool;
54
	y_6 : bool;);
55
var Compare_1 : bool;
56
	Compare_2 : bool;
57
	Compare_3 : bool;
58
	Compare_4 : bool;
59
	Compare_5 : bool;
60
	Compare_6 : bool;
61
	Constant_1 : real;
62
	Constant_2 : real;
63
	Constant_3 : real;
64
	Constant_4 : real;
65
	Constant_5 : real;
66
	Constant_6 : real;
67
let
68
	Compare_1 = (u_1 >= Constant_1);
69
	Compare_2 = (u_1 >= Constant_2);
70
	Compare_3 = (u_1 >= Constant_3);
71
	Compare_4 = (u_1 >= Constant_4);
72
	Compare_5 = (u_1 >= Constant_5);
73
	Compare_6 = (u_1 >= Constant_6);
74
	Constant_1 = 2.000000000000000;
75
	Constant_2 = 2.000000000000000;
76
	Constant_3 = 4.000000000000000;
77
	Constant_4 = 4.000000000000000;
78
	Constant_5 = 6.000000000000000;
79
	Constant_6 = 6.000000000000000;
80
	y_1 = Compare_1;
81
	y_2 = Compare_2;
82
	y_3 = Compare_3;
83
	y_4 = Compare_4;
84
	y_5 = Compare_5;
85
	y_6 = Compare_6;
86
tel
87
88
(*
89
Original block name: CompareTo2_PP/CompareToConstant11
90
*)
91
node  CompareToConstant11_221_001(u_1 : real;
92
	u_2 : real;
93
	u_3 : real;
94
	__time_step : real;
95
	__nb_step : int;)
96
returns(y_1 : bool;
97
	y_2 : bool;
98
	y_3 : bool;);
99
var Compare_1 : bool;
100
	Compare_2 : bool;
101
	Compare_3 : bool;
102
	Constant_1 : real;
103
	Constant_2 : real;
104
	Constant_3 : real;
105
let
106
	Compare_1 = (u_1 < Constant_1);
107
	Compare_2 = (u_2 < Constant_2);
108
	Compare_3 = (u_3 < Constant_3);
109
	Constant_1 = 2.000000000000000;
110
	Constant_2 = 4.000000000000000;
111
	Constant_3 = 6.000000000000000;
112
	y_1 = Compare_1;
113
	y_2 = Compare_2;
114
	y_3 = Compare_3;
115
tel
116
117
(*
118
Original block name: CompareTo2_PP/CompareToConstant12
119
*)
120
node  CompareToConstant12_222_001(u_1 : real;
121
	u_2 : real;
122
	u_3 : real;
123
	u_4 : real;
124
	u_5 : real;
125
	u_6 : real;
126
	__time_step : real;
127
	__nb_step : int;)
128
returns(y_1 : bool;
129
	y_2 : bool;
130
	y_3 : bool;
131
	y_4 : bool;
132
	y_5 : bool;
133
	y_6 : bool;);
134
var Compare_1 : bool;
135
	Compare_2 : bool;
136
	Compare_3 : bool;
137
	Compare_4 : bool;
138
	Compare_5 : bool;
139
	Compare_6 : bool;
140
	Constant_1 : real;
141
	Constant_2 : real;
142
	Constant_3 : real;
143
	Constant_4 : real;
144
	Constant_5 : real;
145
	Constant_6 : real;
146
let
147
	Compare_1 = (u_1 <= Constant_1);
148
	Compare_2 = (u_2 <= Constant_2);
149
	Compare_3 = (u_3 <= Constant_3);
150
	Compare_4 = (u_4 <= Constant_4);
151
	Compare_5 = (u_5 <= Constant_5);
152
	Compare_6 = (u_6 <= Constant_6);
153
	Constant_1 = 2.000000000000000;
154
	Constant_2 = 4.000000000000000;
155
	Constant_3 = 4.000000000000000;
156
	Constant_4 = 6.000000000000000;
157
	Constant_5 = 6.000000000000000;
158
	Constant_6 = 8.000000000000000;
159
	y_1 = Compare_1;
160
	y_2 = Compare_2;
161
	y_3 = Compare_3;
162
	y_4 = Compare_4;
163
	y_5 = Compare_5;
164
	y_6 = Compare_6;
165
tel
166
167
(*
168
Original block name: CompareTo2_PP/CompareToConstant2
169
*)
170
node  CompareToConstant2_223_001(u_1 : bool;
171
	__time_step : real;
172
	__nb_step : int;)
173
returns(y_1 : bool;);
174
var Compare_1 : bool;
175
	Constant_1 : bool;
176
let
177
	Compare_1 = (bool_to_int(u_1) < bool_to_int(Constant_1));
178
	Constant_1 = true;
179
	y_1 = Compare_1;
180
tel
181
182
(*
183
Original block name: CompareTo2_PP/CompareToConstant3
184
*)
185
node  CompareToConstant3_224_001(u_1 : real;
186
	u_2 : real;
187
	u_3 : real;
188
	__time_step : real;
189
	__nb_step : int;)
190
returns(y_1 : bool;
191
	y_2 : bool;
192
	y_3 : bool;);
193
var Compare_1 : bool;
194
	Compare_2 : bool;
195
	Compare_3 : bool;
196
	Constant_1 : real;
197
let
198
	Compare_1 = (u_1 > Constant_1);
199
	Compare_2 = (u_2 > Constant_1);
200
	Compare_3 = (u_3 > Constant_1);
201
	Constant_1 = 3.000000000000000;
202
	y_1 = Compare_1;
203
	y_2 = Compare_2;
204
	y_3 = Compare_3;
205
tel
206
207
(*
208
Original block name: CompareTo2_PP/CompareToConstant4
209
*)
210
node  CompareToConstant4_225_001(u_1 : int;
211
	u_2 : int;
212
	u_3 : int;
213
	__time_step : real;
214
	__nb_step : int;)
215
returns(y_1 : bool;
216
	y_2 : bool;
217
	y_3 : bool;);
218
var Compare_1 : bool;
219
	Compare_2 : bool;
220
	Compare_3 : bool;
221
	Constant_1 : int;
222
let
223
	Compare_1 = (u_1 = Constant_1);
224
	Compare_2 = (u_2 = Constant_1);
225
	Compare_3 = (u_3 = Constant_1);
226
	Constant_1 = 3;
227
	y_1 = Compare_1;
228
	y_2 = Compare_2;
229
	y_3 = Compare_3;
230
tel
231
232
(*
233
Original block name: CompareTo2_PP/CompareToConstant5
234
*)
235
node  CompareToConstant5_226_001(u_1 : bool;
236
	u_2 : bool;
237
	u_3 : bool;
238
	__time_step : real;
239
	__nb_step : int;)
240
returns(y_1 : bool;
241
	y_2 : bool;
242
	y_3 : bool;);
243
var Compare_1 : bool;
244
	Compare_2 : bool;
245
	Compare_3 : bool;
246
	Constant_1 : bool;
247
let
248
	Compare_1 = (bool_to_int(u_1) <> bool_to_int(Constant_1));
249
	Compare_2 = (bool_to_int(u_2) <> bool_to_int(Constant_1));
250
	Compare_3 = (bool_to_int(u_3) <> bool_to_int(Constant_1));
251
	Constant_1 = true;
252
	y_1 = Compare_1;
253
	y_2 = Compare_2;
254
	y_3 = Compare_3;
255
tel
256
257
(*
258
Original block name: CompareTo2_PP/CompareToConstant6
259
*)
260
node  CompareToConstant6_227_001(u_1 : real;
261
	u_2 : real;
262
	u_3 : real;
263
	u_4 : real;
264
	u_5 : real;
265
	u_6 : real;
266
	__time_step : real;
267
	__nb_step : int;)
268
returns(y_1 : bool;
269
	y_2 : bool;
270
	y_3 : bool;
271
	y_4 : bool;
272
	y_5 : bool;
273
	y_6 : bool;);
274
var Compare_1 : bool;
275
	Compare_2 : bool;
276
	Compare_3 : bool;
277
	Compare_4 : bool;
278
	Compare_5 : bool;
279
	Compare_6 : bool;
280
	Constant_1 : real;
281
let
282
	Compare_1 = (u_1 <= Constant_1);
283
	Compare_2 = (u_2 <= Constant_1);
284
	Compare_3 = (u_3 <= Constant_1);
285
	Compare_4 = (u_4 <= Constant_1);
286
	Compare_5 = (u_5 <= Constant_1);
287
	Compare_6 = (u_6 <= Constant_1);
288
	Constant_1 = 3.000000000000000;
289
	y_1 = Compare_1;
290
	y_2 = Compare_2;
291
	y_3 = Compare_3;
292
	y_4 = Compare_4;
293
	y_5 = Compare_5;
294
	y_6 = Compare_6;
295
tel
296
297
(*
298
Original block name: CompareTo2_PP/CompareToConstant7
299
*)
300
node  CompareToConstant7_228_001(u_1 : int;
301
	u_2 : int;
302
	u_3 : int;
303
	u_4 : int;
304
	u_5 : int;
305
	u_6 : int;
306
	__time_step : real;
307
	__nb_step : int;)
308
returns(y_1 : bool;
309
	y_2 : bool;
310
	y_3 : bool;
311
	y_4 : bool;
312
	y_5 : bool;
313
	y_6 : bool;);
314
var Compare_1 : bool;
315
	Compare_2 : bool;
316
	Compare_3 : bool;
317
	Compare_4 : bool;
318
	Compare_5 : bool;
319
	Compare_6 : bool;
320
	Constant_1 : int;
321
let
322
	Compare_1 = (u_1 >= Constant_1);
323
	Compare_2 = (u_2 >= Constant_1);
324
	Compare_3 = (u_3 >= Constant_1);
325
	Compare_4 = (u_4 >= Constant_1);
326
	Compare_5 = (u_5 >= Constant_1);
327
	Compare_6 = (u_6 >= Constant_1);
328
	Constant_1 = 3;
329
	y_1 = Compare_1;
330
	y_2 = Compare_2;
331
	y_3 = Compare_3;
332
	y_4 = Compare_4;
333
	y_5 = Compare_5;
334
	y_6 = Compare_6;
335
tel
336
337
(*
338
Original block name: CompareTo2_PP/CompareToConstant8
339
*)
340
node  CompareToConstant8_229_001(u_1 : bool;
341
	u_2 : bool;
342
	u_3 : bool;
343
	u_4 : bool;
344
	u_5 : bool;
345
	u_6 : bool;
346
	__time_step : real;
347
	__nb_step : int;)
348
returns(y_1 : bool;
349
	y_2 : bool;
350
	y_3 : bool;
351
	y_4 : bool;
352
	y_5 : bool;
353
	y_6 : bool;);
354
var Compare_1 : bool;
355
	Compare_2 : bool;
356
	Compare_3 : bool;
357
	Compare_4 : bool;
358
	Compare_5 : bool;
359
	Compare_6 : bool;
360
	Constant_1 : bool;
361
let
362
	Compare_1 = (bool_to_int(u_1) > bool_to_int(Constant_1));
363
	Compare_2 = (bool_to_int(u_2) > bool_to_int(Constant_1));
364
	Compare_3 = (bool_to_int(u_3) > bool_to_int(Constant_1));
365
	Compare_4 = (bool_to_int(u_4) > bool_to_int(Constant_1));
366
	Compare_5 = (bool_to_int(u_5) > bool_to_int(Constant_1));
367
	Compare_6 = (bool_to_int(u_6) > bool_to_int(Constant_1));
368
	Constant_1 = true;
369
	y_1 = Compare_1;
370
	y_2 = Compare_2;
371
	y_3 = Compare_3;
372
	y_4 = Compare_4;
373
	y_5 = Compare_5;
374
	y_6 = Compare_6;
375
tel
376
377
(*
378
Original block name: CompareTo2_PP/CompareToConstant9
379
*)
380
node  CompareToConstant9_230_001(u_1 : real;
381
	__time_step : real;
382
	__nb_step : int;)
383
returns(y_1 : bool;
384
	y_2 : bool;
385
	y_3 : bool;);
386
var Compare_1 : bool;
387
	Compare_2 : bool;
388
	Compare_3 : bool;
389
	Constant_1 : real;
390
	Constant_2 : real;
391
	Constant_3 : real;
392
let
393
	Compare_1 = (u_1 <= Constant_1);
394
	Compare_2 = (u_1 <= Constant_2);
395
	Compare_3 = (u_1 <= Constant_3);
396
	Constant_1 = 2.000000000000000;
397
	Constant_2 = 4.000000000000000;
398
	Constant_3 = 6.000000000000000;
399
	y_1 = Compare_1;
400
	y_2 = Compare_2;
401
	y_3 = Compare_3;
402
tel
403
404
(*
405
Original block name: CompareTo2_PP
406
*)
407
node  CompareTo2_PP(In2_1 : real;
408
	In3_1 : int;
409
	In4_1 : bool;
410
	In5_1 : real;
411
	In5_2 : real;
412
	In5_3 : real;
413
	In6_1 : int;
414
	In6_2 : int;
415
	In6_3 : int;
416
	In7_1 : bool;
417
	In7_2 : bool;
418
	In7_3 : bool;
419
	In8_1 : real;
420
	In8_2 : real;
421
	In8_3 : real;
422
	In8_4 : real;
423
	In8_5 : real;
424
	In8_6 : real;
425
	In9_1 : int;
426
	In9_2 : int;
427
	In9_3 : int;
428
	In9_4 : int;
429
	In9_5 : int;
430
	In9_6 : int;
431
	In10_1 : bool;
432
	In10_2 : bool;
433
	In10_3 : bool;
434
	In10_4 : bool;
435
	In10_5 : bool;
436
	In10_6 : bool;
437
	In12_1 : real;
438
	In12_2 : real;
439
	In12_3 : real;
440
	In13_1 : real;
441
	In13_2 : real;
442
	In13_3 : real;
443
	In13_4 : real;
444
	In13_5 : real;
445
	In13_6 : real;
446
	In1_1 : real;
447
	In11_1 : real;)
448
returns(Out2_1 : bool;
449
	Out3_1 : bool;
450
	Out4_1 : bool;
451
	Out5_1 : bool;
452
	Out5_2 : bool;
453
	Out5_3 : bool;
454
	Out6_1 : bool;
455
	Out6_2 : bool;
456
	Out6_3 : bool;
457
	Out7_1 : bool;
458
	Out7_2 : bool;
459
	Out7_3 : bool;
460
	Out8_1 : bool;
461
	Out8_2 : bool;
462
	Out8_3 : bool;
463
	Out8_4 : bool;
464
	Out8_5 : bool;
465
	Out8_6 : bool;
466
	Out9_1 : bool;
467
	Out9_2 : bool;
468
	Out9_3 : bool;
469
	Out9_4 : bool;
470
	Out9_5 : bool;
471
	Out9_6 : bool;
472
	Out10_1 : bool;
473
	Out10_2 : bool;
474
	Out10_3 : bool;
475
	Out10_4 : bool;
476
	Out10_5 : bool;
477
	Out10_6 : bool;
478
	Out12_1 : bool;
479
	Out12_2 : bool;
480
	Out12_3 : bool;
481
	Out13_1 : bool;
482
	Out13_2 : bool;
483
	Out13_3 : bool;
484
	Out13_4 : bool;
485
	Out13_5 : bool;
486
	Out13_6 : bool;
487
	Out1_1 : bool;
488
	Out1_2 : bool;
489
	Out1_3 : bool;
490
	Out11_1 : bool;
491
	Out11_2 : bool;
492
	Out11_3 : bool;
493
	Out11_4 : bool;
494
	Out11_5 : bool;
495
	Out11_6 : bool;);
496
var CompareToConstant_1 : bool;
497
	CompareToConstant1_1 : bool;
498
	CompareToConstant10_1 : bool;
499
	CompareToConstant10_2 : bool;
500
	CompareToConstant10_3 : bool;
501
	CompareToConstant10_4 : bool;
502
	CompareToConstant10_5 : bool;
503
	CompareToConstant10_6 : bool;
504
	CompareToConstant11_1 : bool;
505
	CompareToConstant11_2 : bool;
506
	CompareToConstant11_3 : bool;
507
	CompareToConstant12_1 : bool;
508
	CompareToConstant12_2 : bool;
509
	CompareToConstant12_3 : bool;
510
	CompareToConstant12_4 : bool;
511
	CompareToConstant12_5 : bool;
512
	CompareToConstant12_6 : bool;
513
	CompareToConstant2_1 : bool;
514
	CompareToConstant3_1 : bool;
515
	CompareToConstant3_2 : bool;
516
	CompareToConstant3_3 : bool;
517
	CompareToConstant4_1 : bool;
518
	CompareToConstant4_2 : bool;
519
	CompareToConstant4_3 : bool;
520
	CompareToConstant5_1 : bool;
521
	CompareToConstant5_2 : bool;
522
	CompareToConstant5_3 : bool;
523
	CompareToConstant6_1 : bool;
524
	CompareToConstant6_2 : bool;
525
	CompareToConstant6_3 : bool;
526
	CompareToConstant6_4 : bool;
527
	CompareToConstant6_5 : bool;
528
	CompareToConstant6_6 : bool;
529
	CompareToConstant7_1 : bool;
530
	CompareToConstant7_2 : bool;
531
	CompareToConstant7_3 : bool;
532
	CompareToConstant7_4 : bool;
533
	CompareToConstant7_5 : bool;
534
	CompareToConstant7_6 : bool;
535
	CompareToConstant8_1 : bool;
536
	CompareToConstant8_2 : bool;
537
	CompareToConstant8_3 : bool;
538
	CompareToConstant8_4 : bool;
539
	CompareToConstant8_5 : bool;
540
	CompareToConstant8_6 : bool;
541
	CompareToConstant9_1 : bool;
542
	CompareToConstant9_2 : bool;
543
	CompareToConstant9_3 : bool;
544
	__time_step : real;
545
	__nb_step : int;
546
let
547
	CompareToConstant_1 = CompareToConstant_218_001(In2_1, __time_step, __nb_step);
548
	CompareToConstant1_1 = CompareToConstant1_219_001(In3_1, __time_step, __nb_step);
549
	(CompareToConstant10_1, CompareToConstant10_2, CompareToConstant10_3, CompareToConstant10_4, CompareToConstant10_5, CompareToConstant10_6) = CompareToConstant10_220_001(In11_1, __time_step, __nb_step);
550
	(CompareToConstant11_1, CompareToConstant11_2, CompareToConstant11_3) = CompareToConstant11_221_001(In12_1, In12_2, In12_3, __time_step, __nb_step);
551
	(CompareToConstant12_1, CompareToConstant12_2, CompareToConstant12_3, CompareToConstant12_4, CompareToConstant12_5, CompareToConstant12_6) = CompareToConstant12_222_001(In13_1, In13_2, In13_3, In13_4, In13_5, In13_6, __time_step, __nb_step);
552
	CompareToConstant2_1 = CompareToConstant2_223_001(In4_1, __time_step, __nb_step);
553
	(CompareToConstant3_1, CompareToConstant3_2, CompareToConstant3_3) = CompareToConstant3_224_001(In5_1, In5_2, In5_3, __time_step, __nb_step);
554
	(CompareToConstant4_1, CompareToConstant4_2, CompareToConstant4_3) = CompareToConstant4_225_001(In6_1, In6_2, In6_3, __time_step, __nb_step);
555
	(CompareToConstant5_1, CompareToConstant5_2, CompareToConstant5_3) = CompareToConstant5_226_001(In7_1, In7_2, In7_3, __time_step, __nb_step);
556
	(CompareToConstant6_1, CompareToConstant6_2, CompareToConstant6_3, CompareToConstant6_4, CompareToConstant6_5, CompareToConstant6_6) = CompareToConstant6_227_001(In8_1, In8_2, In8_3, In8_4, In8_5, In8_6, __time_step, __nb_step);
557
	(CompareToConstant7_1, CompareToConstant7_2, CompareToConstant7_3, CompareToConstant7_4, CompareToConstant7_5, CompareToConstant7_6) = CompareToConstant7_228_001(In9_1, In9_2, In9_3, In9_4, In9_5, In9_6, __time_step, __nb_step);
558
	(CompareToConstant8_1, CompareToConstant8_2, CompareToConstant8_3, CompareToConstant8_4, CompareToConstant8_5, CompareToConstant8_6) = CompareToConstant8_229_001(In10_1, In10_2, In10_3, In10_4, In10_5, In10_6, __time_step, __nb_step);
559
	(CompareToConstant9_1, CompareToConstant9_2, CompareToConstant9_3) = CompareToConstant9_230_001(In1_1, __time_step, __nb_step);
560
	Out2_1 = CompareToConstant_1;
561
	Out3_1 = CompareToConstant1_1;
562
	Out4_1 = CompareToConstant2_1;
563
	Out5_1 = CompareToConstant3_1;
564
	Out5_2 = CompareToConstant3_2;
565
	Out5_3 = CompareToConstant3_3;
566
	Out6_1 = CompareToConstant4_1;
567
	Out6_2 = CompareToConstant4_2;
568
	Out6_3 = CompareToConstant4_3;
569
	Out7_1 = CompareToConstant5_1;
570
	Out7_2 = CompareToConstant5_2;
571
	Out7_3 = CompareToConstant5_3;
572
	Out8_1 = CompareToConstant6_1;
573
	Out8_2 = CompareToConstant6_2;
574
	Out8_3 = CompareToConstant6_3;
575
	Out8_4 = CompareToConstant6_4;
576
	Out8_5 = CompareToConstant6_5;
577
	Out8_6 = CompareToConstant6_6;
578
	Out9_1 = CompareToConstant7_1;
579
	Out9_2 = CompareToConstant7_2;
580
	Out9_3 = CompareToConstant7_3;
581
	Out9_4 = CompareToConstant7_4;
582
	Out9_5 = CompareToConstant7_5;
583
	Out9_6 = CompareToConstant7_6;
584
	Out10_1 = CompareToConstant8_1;
585
	Out10_2 = CompareToConstant8_2;
586
	Out10_3 = CompareToConstant8_3;
587
	Out10_4 = CompareToConstant8_4;
588
	Out10_5 = CompareToConstant8_5;
589
	Out10_6 = CompareToConstant8_6;
590
	Out12_1 = CompareToConstant11_1;
591
	Out12_2 = CompareToConstant11_2;
592
	Out12_3 = CompareToConstant11_3;
593
	Out13_1 = CompareToConstant12_1;
594
	Out13_2 = CompareToConstant12_2;
595
	Out13_3 = CompareToConstant12_3;
596
	Out13_4 = CompareToConstant12_4;
597
	Out13_5 = CompareToConstant12_5;
598
	Out13_6 = CompareToConstant12_6;
599
	Out1_1 = CompareToConstant9_1;
600
	Out1_2 = CompareToConstant9_2;
601
	Out1_3 = CompareToConstant9_3;
602
	Out11_1 = CompareToConstant10_1;
603
	Out11_2 = CompareToConstant10_2;
604
	Out11_3 = CompareToConstant10_3;
605
	Out11_4 = CompareToConstant10_4;
606
	Out11_5 = CompareToConstant10_5;
607
	Out11_6 = CompareToConstant10_6;
608
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
609
	__nb_step = (0 -> ((pre __nb_step) + 1));
610
tel