Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / if_test_PP.LUSTREC.lus @ b58cc410

History | View | Annotate | Download (20.1 KB)

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

    
3
-- Compiler: Lustre compiler 2 (nasa_toLustre.ToLustre.m)
4
-- Time: 19-Mar-2019 21:17:59
5
(*
6
Original block name: if_test_PP/IfActionSubsystem
7
*)
8
node  IfActionSubsystem_21_232_condExecSS(In2_1 : real;
9
	In3_1 : bool;
10
	_isEnabled : bool;
11
	__time_step : real;
12
	__nb_step : int;)
13
returns(Out2_1 : bool;
14
	Out3_1 : real;
15
	Out4_1 : bool;);
16
var pre_Out2_1 : bool;
17
	pre_Out3_1 : real;
18
	pre_Out4_1 : bool;
19
	_isEnabled_clock : bool clock;
20
let
21
	pre_Out2_1 = if (__nb_step > 0) then
22
		(pre Out2_1)
23
	    else false;
24
	pre_Out3_1 = if (__nb_step > 0) then
25
		(pre Out3_1)
26
	    else 0.0;
27
	pre_Out4_1 = if (__nb_step > 0) then
28
		(pre Out4_1)
29
	    else false;
30
	_isEnabled_clock = _isEnabled;
31
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
32
		(true -> IfActionSubsystem_21_232((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
33
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
34
tel
35

    
36
(*
37
Original block name: if_test_PP/IfActionSubsystem
38
*)
39
node  IfActionSubsystem_21_232(In2_1 : real;
40
	In3_1 : bool;
41
	__time_step : real;
42
	__nb_step : int;)
43
returns(Out2_1 : bool;
44
	Out3_1 : real;
45
	Out4_1 : bool;);
46
var LogicalOperator_1 : bool;
47
	RelationalOperator_1 : bool;
48
let
49
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
50
	RelationalOperator_1 = (In2_1 <= In2_1);
51
	Out2_1 = RelationalOperator_1;
52
	Out3_1 = In2_1;
53
	Out4_1 = LogicalOperator_1;
54
tel
55

    
56
(*
57
Original block name: if_test_PP/IfActionSubsystem1
58
*)
59
node  IfActionSubsystem1_40_024_condExecSS(In1_1 : real;
60
	_isEnabled : bool;
61
	__time_step : real;
62
	__nb_step : int;)
63
returns(Out1_1 : real;);
64
var pre_Out1_1 : real;
65
	_isEnabled_clock : bool clock;
66
let
67
	pre_Out1_1 = if (__nb_step > 0) then
68
		(pre Out1_1)
69
	    else 0.0;
70
	_isEnabled_clock = _isEnabled;
71
	Out1_1 = (merge _isEnabled_clock 
72
		(true -> IfActionSubsystem1_40_024((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
73
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
74
tel
75

    
76
(*
77
Original block name: if_test_PP/IfActionSubsystem1
78
*)
79
node  IfActionSubsystem1_40_024(In1_1 : real;
80
	__time_step : real;
81
	__nb_step : int;)
82
returns(Out1_1 : real;);
83
let
84
	Out1_1 = In1_1;
85
tel
86

    
87
(*
88
Original block name: if_test_PP/IfActionSubsystem10
89
*)
90
node  IfActionSubsystem10_45_022_condExecSS(In1_1 : bool;
91
	_isEnabled : bool;
92
	__time_step : real;
93
	__nb_step : int;)
94
returns(Out1_1 : bool;);
95
var pre_Out1_1 : bool;
96
	_isEnabled_clock : bool clock;
97
let
98
	pre_Out1_1 = if (__nb_step > 0) then
99
		(pre Out1_1)
100
	    else false;
101
	_isEnabled_clock = _isEnabled;
102
	Out1_1 = (merge _isEnabled_clock 
103
		(true -> IfActionSubsystem10_45_022((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
104
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
105
tel
106

    
107
(*
108
Original block name: if_test_PP/IfActionSubsystem10
109
*)
110
node  IfActionSubsystem10_45_022(In1_1 : bool;
111
	__time_step : real;
112
	__nb_step : int;)
113
returns(Out1_1 : bool;);
114
let
115
	Out1_1 = In1_1;
116
tel
117

    
118
(*
119
Original block name: if_test_PP/IfActionSubsystem11
120
*)
121
node  IfActionSubsystem11_50_020_condExecSS(In2_1 : real;
122
	In3_1 : bool;
123
	_isEnabled : bool;
124
	__time_step : real;
125
	__nb_step : int;)
126
returns(Out2_1 : bool;
127
	Out3_1 : real;
128
	Out4_1 : bool;);
129
var pre_Out2_1 : bool;
130
	pre_Out3_1 : real;
131
	pre_Out4_1 : bool;
132
	_isEnabled_clock : bool clock;
133
let
134
	pre_Out2_1 = if (__nb_step > 0) then
135
		(pre Out2_1)
136
	    else false;
137
	pre_Out3_1 = if (__nb_step > 0) then
138
		(pre Out3_1)
139
	    else 0.0;
140
	pre_Out4_1 = if (__nb_step > 0) then
141
		(pre Out4_1)
142
	    else false;
143
	_isEnabled_clock = _isEnabled;
144
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
145
		(true -> IfActionSubsystem11_50_020((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
146
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
147
tel
148

    
149
(*
150
Original block name: if_test_PP/IfActionSubsystem11
151
*)
152
node  IfActionSubsystem11_50_020(In2_1 : real;
153
	In3_1 : bool;
154
	__time_step : real;
155
	__nb_step : int;)
156
returns(Out2_1 : bool;
157
	Out3_1 : real;
158
	Out4_1 : bool;);
159
var LogicalOperator_1 : bool;
160
	RelationalOperator_1 : bool;
161
let
162
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
163
	RelationalOperator_1 = (In2_1 <= In2_1);
164
	Out2_1 = RelationalOperator_1;
165
	Out3_1 = In2_1;
166
	Out4_1 = LogicalOperator_1;
167
tel
168

    
169
(*
170
Original block name: if_test_PP/IfActionSubsystem2
171
*)
172
node  IfActionSubsystem2_69_020_condExecSS(In1_1 : bool;
173
	_isEnabled : bool;
174
	__time_step : real;
175
	__nb_step : int;)
176
returns(Out1_1 : bool;);
177
var pre_Out1_1 : bool;
178
	_isEnabled_clock : bool clock;
179
let
180
	pre_Out1_1 = if (__nb_step > 0) then
181
		(pre Out1_1)
182
	    else false;
183
	_isEnabled_clock = _isEnabled;
184
	Out1_1 = (merge _isEnabled_clock 
185
		(true -> IfActionSubsystem2_69_020((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
186
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
187
tel
188

    
189
(*
190
Original block name: if_test_PP/IfActionSubsystem2
191
*)
192
node  IfActionSubsystem2_69_020(In1_1 : bool;
193
	__time_step : real;
194
	__nb_step : int;)
195
returns(Out1_1 : bool;);
196
let
197
	Out1_1 = In1_1;
198
tel
199

    
200
(*
201
Original block name: if_test_PP/IfActionSubsystem3
202
*)
203
node  IfActionSubsystem3_75_016_condExecSS(In1_1 : real;
204
	_isEnabled : bool;
205
	__time_step : real;
206
	__nb_step : int;)
207
returns(Out1_1 : real;);
208
var pre_Out1_1 : real;
209
	_isEnabled_clock : bool clock;
210
let
211
	pre_Out1_1 = if (__nb_step > 0) then
212
		(pre Out1_1)
213
	    else 0.0;
214
	_isEnabled_clock = _isEnabled;
215
	Out1_1 = (merge _isEnabled_clock 
216
		(true -> IfActionSubsystem3_75_016((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
217
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
218
tel
219

    
220
(*
221
Original block name: if_test_PP/IfActionSubsystem3
222
*)
223
node  IfActionSubsystem3_75_016(In1_1 : real;
224
	__time_step : real;
225
	__nb_step : int;)
226
returns(Out1_1 : real;);
227
let
228
	Out1_1 = In1_1;
229
tel
230

    
231
(*
232
Original block name: if_test_PP/IfActionSubsystem4
233
*)
234
node  IfActionSubsystem4_80_016_condExecSS(In2_1 : real;
235
	In2_2 : real;
236
	In2_3 : real;
237
	In3_1 : bool;
238
	_isEnabled : bool;
239
	__time_step : real;
240
	__nb_step : int;)
241
returns(Out2_1 : bool;
242
	Out2_2 : bool;
243
	Out2_3 : bool;
244
	Out3_1 : real;
245
	Out3_2 : real;
246
	Out3_3 : real;
247
	Out4_1 : bool;
248
	Out4_2 : bool;
249
	Out4_3 : bool;);
250
var pre_Out2_1 : bool;
251
	pre_Out2_2 : bool;
252
	pre_Out2_3 : bool;
253
	pre_Out3_1 : real;
254
	pre_Out3_2 : real;
255
	pre_Out3_3 : real;
256
	pre_Out4_1 : bool;
257
	pre_Out4_2 : bool;
258
	pre_Out4_3 : bool;
259
	_isEnabled_clock : bool clock;
260
let
261
	pre_Out2_1 = if (__nb_step > 0) then
262
		(pre Out2_1)
263
	    else false;
264
	pre_Out2_2 = if (__nb_step > 0) then
265
		(pre Out2_2)
266
	    else false;
267
	pre_Out2_3 = if (__nb_step > 0) then
268
		(pre Out2_3)
269
	    else false;
270
	pre_Out3_1 = if (__nb_step > 0) then
271
		(pre Out3_1)
272
	    else 0.0;
273
	pre_Out3_2 = if (__nb_step > 0) then
274
		(pre Out3_2)
275
	    else 0.0;
276
	pre_Out3_3 = if (__nb_step > 0) then
277
		(pre Out3_3)
278
	    else 0.0;
279
	pre_Out4_1 = if (__nb_step > 0) then
280
		(pre Out4_1)
281
	    else false;
282
	pre_Out4_2 = if (__nb_step > 0) then
283
		(pre Out4_2)
284
	    else false;
285
	pre_Out4_3 = if (__nb_step > 0) then
286
		(pre Out4_3)
287
	    else false;
288
	_isEnabled_clock = _isEnabled;
289
	(Out2_1, Out2_2, Out2_3, Out3_1, Out3_2, Out3_3, Out4_1, Out4_2, Out4_3) = (merge _isEnabled_clock 
290
		(true -> IfActionSubsystem4_80_016((In2_1 when _isEnabled_clock), (In2_2 when _isEnabled_clock), (In2_3 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
291
		(false -> (pre_Out2_1, pre_Out2_2, pre_Out2_3, pre_Out3_1, pre_Out3_2, pre_Out3_3, pre_Out4_1, pre_Out4_2, pre_Out4_3) when false(_isEnabled_clock)));
292
tel
293

    
294
(*
295
Original block name: if_test_PP/IfActionSubsystem4
296
*)
297
node  IfActionSubsystem4_80_016(In2_1 : real;
298
	In2_2 : real;
299
	In2_3 : real;
300
	In3_1 : bool;
301
	__time_step : real;
302
	__nb_step : int;)
303
returns(Out2_1 : bool;
304
	Out2_2 : bool;
305
	Out2_3 : bool;
306
	Out3_1 : real;
307
	Out3_2 : real;
308
	Out3_3 : real;
309
	Out4_1 : bool;
310
	Out4_2 : bool;
311
	Out4_3 : bool;);
312
var LogicalOperator_1 : bool;
313
	LogicalOperator_2 : bool;
314
	LogicalOperator_3 : bool;
315
	RelationalOperator_1 : bool;
316
	RelationalOperator_2 : bool;
317
	RelationalOperator_3 : bool;
318
let
319
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
320
	LogicalOperator_2 = ( RelationalOperator_2 and In3_1 );
321
	LogicalOperator_3 = ( RelationalOperator_3 and In3_1 );
322
	RelationalOperator_1 = (In2_1 <= In2_1);
323
	RelationalOperator_2 = (In2_2 <= In2_2);
324
	RelationalOperator_3 = (In2_3 <= In2_3);
325
	Out2_1 = RelationalOperator_1;
326
	Out2_2 = RelationalOperator_2;
327
	Out2_3 = RelationalOperator_3;
328
	Out3_1 = In2_1;
329
	Out3_2 = In2_2;
330
	Out3_3 = In2_3;
331
	Out4_1 = LogicalOperator_1;
332
	Out4_2 = LogicalOperator_2;
333
	Out4_3 = LogicalOperator_3;
334
tel
335

    
336
(*
337
Original block name: if_test_PP/IfActionSubsystem5
338
*)
339
node  IfActionSubsystem5_99_015_condExecSS(In1_1 : real;
340
	In1_2 : real;
341
	In1_3 : real;
342
	_isEnabled : bool;
343
	__time_step : real;
344
	__nb_step : int;)
345
returns(Out1_1 : real;
346
	Out1_2 : real;
347
	Out1_3 : real;);
348
var pre_Out1_1 : real;
349
	pre_Out1_2 : real;
350
	pre_Out1_3 : real;
351
	_isEnabled_clock : bool clock;
352
let
353
	pre_Out1_1 = if (__nb_step > 0) then
354
		(pre Out1_1)
355
	    else 0.0;
356
	pre_Out1_2 = if (__nb_step > 0) then
357
		(pre Out1_2)
358
	    else 0.0;
359
	pre_Out1_3 = if (__nb_step > 0) then
360
		(pre Out1_3)
361
	    else 0.0;
362
	_isEnabled_clock = _isEnabled;
363
	(Out1_1, Out1_2, Out1_3) = (merge _isEnabled_clock 
364
		(true -> IfActionSubsystem5_99_015((In1_1 when _isEnabled_clock), (In1_2 when _isEnabled_clock), (In1_3 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
365
		(false -> (pre_Out1_1, pre_Out1_2, pre_Out1_3) when false(_isEnabled_clock)));
366
tel
367

    
368
(*
369
Original block name: if_test_PP/IfActionSubsystem5
370
*)
371
node  IfActionSubsystem5_99_015(In1_1 : real;
372
	In1_2 : real;
373
	In1_3 : real;
374
	__time_step : real;
375
	__nb_step : int;)
376
returns(Out1_1 : real;
377
	Out1_2 : real;
378
	Out1_3 : real;);
379
let
380
	Out1_1 = In1_1;
381
	Out1_2 = In1_2;
382
	Out1_3 = In1_3;
383
tel
384

    
385
(*
386
Original block name: if_test_PP/IfActionSubsystem6
387
*)
388
node  IfActionSubsystem6_104_015_condExecSS(In1_1 : bool;
389
	_isEnabled : bool;
390
	__time_step : real;
391
	__nb_step : int;)
392
returns(Out1_1 : bool;);
393
var pre_Out1_1 : bool;
394
	_isEnabled_clock : bool clock;
395
let
396
	pre_Out1_1 = if (__nb_step > 0) then
397
		(pre Out1_1)
398
	    else false;
399
	_isEnabled_clock = _isEnabled;
400
	Out1_1 = (merge _isEnabled_clock 
401
		(true -> IfActionSubsystem6_104_015((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
402
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
403
tel
404

    
405
(*
406
Original block name: if_test_PP/IfActionSubsystem6
407
*)
408
node  IfActionSubsystem6_104_015(In1_1 : bool;
409
	__time_step : real;
410
	__nb_step : int;)
411
returns(Out1_1 : bool;);
412
let
413
	Out1_1 = In1_1;
414
tel
415

    
416
(*
417
Original block name: if_test_PP/IfActionSubsystem7
418
*)
419
node  IfActionSubsystem7_109_017_condExecSS(In1_1 : real;
420
	In1_2 : real;
421
	In1_3 : real;
422
	In1_4 : real;
423
	_isEnabled : bool;
424
	__time_step : real;
425
	__nb_step : int;)
426
returns(Out1_1 : real;
427
	Out1_2 : real;
428
	Out1_3 : real;
429
	Out1_4 : real;);
430
var pre_Out1_1 : real;
431
	pre_Out1_2 : real;
432
	pre_Out1_3 : real;
433
	pre_Out1_4 : real;
434
	_isEnabled_clock : bool clock;
435
let
436
	pre_Out1_1 = if (__nb_step > 0) then
437
		(pre Out1_1)
438
	    else 0.0;
439
	pre_Out1_2 = if (__nb_step > 0) then
440
		(pre Out1_2)
441
	    else 0.0;
442
	pre_Out1_3 = if (__nb_step > 0) then
443
		(pre Out1_3)
444
	    else 0.0;
445
	pre_Out1_4 = if (__nb_step > 0) then
446
		(pre Out1_4)
447
	    else 0.0;
448
	_isEnabled_clock = _isEnabled;
449
	(Out1_1, Out1_2, Out1_3, Out1_4) = (merge _isEnabled_clock 
450
		(true -> IfActionSubsystem7_109_017((In1_1 when _isEnabled_clock), (In1_2 when _isEnabled_clock), (In1_3 when _isEnabled_clock), (In1_4 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
451
		(false -> (pre_Out1_1, pre_Out1_2, pre_Out1_3, pre_Out1_4) when false(_isEnabled_clock)));
452
tel
453

    
454
(*
455
Original block name: if_test_PP/IfActionSubsystem7
456
*)
457
node  IfActionSubsystem7_109_017(In1_1 : real;
458
	In1_2 : real;
459
	In1_3 : real;
460
	In1_4 : real;
461
	__time_step : real;
462
	__nb_step : int;)
463
returns(Out1_1 : real;
464
	Out1_2 : real;
465
	Out1_3 : real;
466
	Out1_4 : real;);
467
let
468
	Out1_1 = In1_1;
469
	Out1_2 = In1_2;
470
	Out1_3 = In1_3;
471
	Out1_4 = In1_4;
472
tel
473

    
474
(*
475
Original block name: if_test_PP/IfActionSubsystem8
476
*)
477
node  IfActionSubsystem8_114_016_condExecSS(In2_1 : real;
478
	In3_1 : bool;
479
	_isEnabled : bool;
480
	__time_step : real;
481
	__nb_step : int;)
482
returns(Out2_1 : bool;
483
	Out3_1 : real;
484
	Out4_1 : bool;);
485
var pre_Out2_1 : bool;
486
	pre_Out3_1 : real;
487
	pre_Out4_1 : bool;
488
	_isEnabled_clock : bool clock;
489
let
490
	pre_Out2_1 = if (__nb_step > 0) then
491
		(pre Out2_1)
492
	    else false;
493
	pre_Out3_1 = if (__nb_step > 0) then
494
		(pre Out3_1)
495
	    else 0.0;
496
	pre_Out4_1 = if (__nb_step > 0) then
497
		(pre Out4_1)
498
	    else false;
499
	_isEnabled_clock = _isEnabled;
500
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
501
		(true -> IfActionSubsystem8_114_016((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
502
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
503
tel
504

    
505
(*
506
Original block name: if_test_PP/IfActionSubsystem8
507
*)
508
node  IfActionSubsystem8_114_016(In2_1 : real;
509
	In3_1 : bool;
510
	__time_step : real;
511
	__nb_step : int;)
512
returns(Out2_1 : bool;
513
	Out3_1 : real;
514
	Out4_1 : bool;);
515
var LogicalOperator_1 : bool;
516
	RelationalOperator_1 : bool;
517
let
518
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
519
	RelationalOperator_1 = (In2_1 <= In2_1);
520
	Out2_1 = RelationalOperator_1;
521
	Out3_1 = In2_1;
522
	Out4_1 = LogicalOperator_1;
523
tel
524

    
525
(*
526
Original block name: if_test_PP
527
*)
528
node  if_test_PP(In1_1 : real;
529
	In7_1 : bool;
530
	In2_1 : real;
531
	In3_1 : real;
532
	In3_2 : real;
533
	In3_3 : real;
534
	In4_1 : bool;
535
	In5_1 : real;
536
	In5_2 : real;
537
	In5_3 : real;
538
	In5_4 : real;
539
	In6_1 : real;
540
	In8_1 : bool;
541
	In9_1 : real;
542
	In10_1 : real;
543
	In11_1 : bool;
544
	In12_1 : real;)
545
returns(Out1_1 : bool;
546
	Out2_1 : real;
547
	Out14_1 : real;
548
	Out15_1 : bool;
549
	Out3_1 : bool;
550
	Out4_1 : real;
551
	Out5_1 : bool;
552
	Out5_2 : bool;
553
	Out5_3 : bool;
554
	Out6_1 : real;
555
	Out6_2 : real;
556
	Out6_3 : real;
557
	Out7_1 : real;
558
	Out7_2 : real;
559
	Out7_3 : real;
560
	Out8_1 : bool;
561
	Out8_2 : bool;
562
	Out8_3 : bool;
563
	Out9_1 : bool;
564
	Out10_1 : real;
565
	Out10_2 : real;
566
	Out10_3 : real;
567
	Out10_4 : real;
568
	Out11_1 : bool;
569
	Out13_1 : real;
570
	Out16_1 : bool;
571
	Out17_1 : bool;
572
	Out12_1 : bool;
573
	Out18_1 : real;
574
	Out19_1 : bool;);
575
var If_1 : bool;
576
	If_2 : bool;
577
	If_3 : bool;
578
	If_4 : bool;
579
	If1_1 : bool;
580
	If1_2 : bool;
581
	If1_3 : bool;
582
	If1_4 : bool;
583
	If2_1 : bool;
584
	If2_2 : bool;
585
	If3_1 : bool;
586
	ExecutionCond_of_IfActionSubsystem_21_232 : bool;
587
	IfActionSubsystem_1 : bool;
588
	IfActionSubsystem_2 : real;
589
	IfActionSubsystem_3 : bool;
590
	ExecutionCond_of_IfActionSubsystem1_40_024 : bool;
591
	IfActionSubsystem1_1 : real;
592
	ExecutionCond_of_IfActionSubsystem10_45_022 : bool;
593
	IfActionSubsystem10_1 : bool;
594
	ExecutionCond_of_IfActionSubsystem11_50_020 : bool;
595
	IfActionSubsystem11_1 : bool;
596
	IfActionSubsystem11_2 : real;
597
	IfActionSubsystem11_3 : bool;
598
	ExecutionCond_of_IfActionSubsystem2_69_020 : bool;
599
	IfActionSubsystem2_1 : bool;
600
	ExecutionCond_of_IfActionSubsystem3_75_016 : bool;
601
	IfActionSubsystem3_1 : real;
602
	ExecutionCond_of_IfActionSubsystem4_80_016 : bool;
603
	IfActionSubsystem4_1 : bool;
604
	IfActionSubsystem4_2 : bool;
605
	IfActionSubsystem4_3 : bool;
606
	IfActionSubsystem4_4 : real;
607
	IfActionSubsystem4_5 : real;
608
	IfActionSubsystem4_6 : real;
609
	IfActionSubsystem4_7 : bool;
610
	IfActionSubsystem4_8 : bool;
611
	IfActionSubsystem4_9 : bool;
612
	ExecutionCond_of_IfActionSubsystem5_99_015 : bool;
613
	IfActionSubsystem5_1 : real;
614
	IfActionSubsystem5_2 : real;
615
	IfActionSubsystem5_3 : real;
616
	ExecutionCond_of_IfActionSubsystem6_104_015 : bool;
617
	IfActionSubsystem6_1 : bool;
618
	ExecutionCond_of_IfActionSubsystem7_109_017 : bool;
619
	IfActionSubsystem7_1 : real;
620
	IfActionSubsystem7_2 : real;
621
	IfActionSubsystem7_3 : real;
622
	IfActionSubsystem7_4 : real;
623
	ExecutionCond_of_IfActionSubsystem8_114_016 : bool;
624
	IfActionSubsystem8_1 : bool;
625
	IfActionSubsystem8_2 : real;
626
	IfActionSubsystem8_3 : bool;
627
	__time_step : real;
628
	__nb_step : int;
629
let
630
	(If_1, If_2, If_3, If_4) = if In2_1 <> 0.0 then
631
		(true, false, false, false)
632
	    else if In2_1 < 3.0 then
633
		(false, true, false, false)
634
	    else if ( - In2_1 > In1_1 ) and In2_1 > 0.0 then
635
		(false, false, true, false)
636
	    else (false, false, false, true);
637
	(If1_1, If1_2, If1_3, If1_4) = if In3_2 = 0.0 then
638
		(true, false, false, false)
639
	    else if In5_2 < 3.0 then
640
		(false, true, false, false)
641
	    else if ( - In5_1 > In3_3 ) and In5_2 > 0.0 then
642
		(false, false, true, false)
643
	    else (false, false, false, true);
644
	(If2_1, If2_2) = if In9_1 <> 0.0 then
645
		(true, false)
646
	    else if ( - In9_1 > In6_1 ) or In9_1 > 0.0 then
647
		(false, true)
648
	    else (false, false);
649
	If3_1 = if In12_1 <> 0.0 then
650
		(true)
651
	    else (false);
652
	ExecutionCond_of_IfActionSubsystem_21_232 = If_1;
653
	(IfActionSubsystem_1, IfActionSubsystem_2, IfActionSubsystem_3) = IfActionSubsystem_21_232_condExecSS(In1_1, In7_1, ExecutionCond_of_IfActionSubsystem_21_232, __time_step, __nb_step);
654
	ExecutionCond_of_IfActionSubsystem1_40_024 = If_4;
655
	IfActionSubsystem1_1 = IfActionSubsystem1_40_024_condExecSS(In1_1, ExecutionCond_of_IfActionSubsystem1_40_024, __time_step, __nb_step);
656
	ExecutionCond_of_IfActionSubsystem10_45_022 = If2_2;
657
	IfActionSubsystem10_1 = IfActionSubsystem10_45_022_condExecSS(In8_1, ExecutionCond_of_IfActionSubsystem10_45_022, __time_step, __nb_step);
658
	ExecutionCond_of_IfActionSubsystem11_50_020 = If3_1;
659
	(IfActionSubsystem11_1, IfActionSubsystem11_2, IfActionSubsystem11_3) = IfActionSubsystem11_50_020_condExecSS(In10_1, In11_1, ExecutionCond_of_IfActionSubsystem11_50_020, __time_step, __nb_step);
660
	ExecutionCond_of_IfActionSubsystem2_69_020 = If_2;
661
	IfActionSubsystem2_1 = IfActionSubsystem2_69_020_condExecSS(In7_1, ExecutionCond_of_IfActionSubsystem2_69_020, __time_step, __nb_step);
662
	ExecutionCond_of_IfActionSubsystem3_75_016 = If_3;
663
	IfActionSubsystem3_1 = IfActionSubsystem3_75_016_condExecSS(In2_1, ExecutionCond_of_IfActionSubsystem3_75_016, __time_step, __nb_step);
664
	ExecutionCond_of_IfActionSubsystem4_80_016 = If1_1;
665
	(IfActionSubsystem4_1, IfActionSubsystem4_2, IfActionSubsystem4_3, IfActionSubsystem4_4, IfActionSubsystem4_5, IfActionSubsystem4_6, IfActionSubsystem4_7, IfActionSubsystem4_8, IfActionSubsystem4_9) = IfActionSubsystem4_80_016_condExecSS(In3_1, In3_2, In3_3, In4_1, ExecutionCond_of_IfActionSubsystem4_80_016, __time_step, __nb_step);
666
	ExecutionCond_of_IfActionSubsystem5_99_015 = If1_4;
667
	(IfActionSubsystem5_1, IfActionSubsystem5_2, IfActionSubsystem5_3) = IfActionSubsystem5_99_015_condExecSS(In3_1, In3_2, In3_3, ExecutionCond_of_IfActionSubsystem5_99_015, __time_step, __nb_step);
668
	ExecutionCond_of_IfActionSubsystem6_104_015 = If1_2;
669
	IfActionSubsystem6_1 = IfActionSubsystem6_104_015_condExecSS(In4_1, ExecutionCond_of_IfActionSubsystem6_104_015, __time_step, __nb_step);
670
	ExecutionCond_of_IfActionSubsystem7_109_017 = If1_3;
671
	(IfActionSubsystem7_1, IfActionSubsystem7_2, IfActionSubsystem7_3, IfActionSubsystem7_4) = IfActionSubsystem7_109_017_condExecSS(In5_1, In5_2, In5_3, In5_4, ExecutionCond_of_IfActionSubsystem7_109_017, __time_step, __nb_step);
672
	ExecutionCond_of_IfActionSubsystem8_114_016 = If2_1;
673
	(IfActionSubsystem8_1, IfActionSubsystem8_2, IfActionSubsystem8_3) = IfActionSubsystem8_114_016_condExecSS(In6_1, In8_1, ExecutionCond_of_IfActionSubsystem8_114_016, __time_step, __nb_step);
674
	Out1_1 = IfActionSubsystem_1;
675
	Out2_1 = IfActionSubsystem1_1;
676
	Out14_1 = IfActionSubsystem_2;
677
	Out15_1 = IfActionSubsystem_3;
678
	Out3_1 = IfActionSubsystem2_1;
679
	Out4_1 = IfActionSubsystem3_1;
680
	Out5_1 = IfActionSubsystem4_1;
681
	Out5_2 = IfActionSubsystem4_2;
682
	Out5_3 = IfActionSubsystem4_3;
683
	Out6_1 = IfActionSubsystem5_1;
684
	Out6_2 = IfActionSubsystem5_2;
685
	Out6_3 = IfActionSubsystem5_3;
686
	Out7_1 = IfActionSubsystem4_4;
687
	Out7_2 = IfActionSubsystem4_5;
688
	Out7_3 = IfActionSubsystem4_6;
689
	Out8_1 = IfActionSubsystem4_7;
690
	Out8_2 = IfActionSubsystem4_8;
691
	Out8_3 = IfActionSubsystem4_9;
692
	Out9_1 = IfActionSubsystem6_1;
693
	Out10_1 = IfActionSubsystem7_1;
694
	Out10_2 = IfActionSubsystem7_2;
695
	Out10_3 = IfActionSubsystem7_3;
696
	Out10_4 = IfActionSubsystem7_4;
697
	Out11_1 = IfActionSubsystem8_1;
698
	Out13_1 = IfActionSubsystem8_2;
699
	Out16_1 = IfActionSubsystem8_3;
700
	Out17_1 = IfActionSubsystem10_1;
701
	Out12_1 = IfActionSubsystem11_1;
702
	Out18_1 = IfActionSubsystem11_2;
703
	Out19_1 = IfActionSubsystem11_3;
704
	__time_step = (0.0 -> ((pre __time_step) + 0.020));
705
	__nb_step = (0 -> ((pre __nb_step) + 1));
706
tel
707