Project

General

Profile

Download (21.2 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:06:18
5
(*
6
Original block name: if_test_PP/IfActionSubsystem
7
*)
8
node  IfActionSubsystem_228_008_automaton(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
let
20
	pre_Out2_1 = if (__nb_step > 0) then
21
		(pre Out2_1)
22
	    else false;
23
	pre_Out3_1 = if (__nb_step > 0) then
24
		(pre Out3_1)
25
	    else 0.000000000000000;
26
	pre_Out4_1 = if (__nb_step > 0) then
27
		(pre Out4_1)
28
	    else false;
29
	automaton enabled_IfActionSubsystem_228_008
30
	state Active_IfActionSubsystem_228_008:
31
	unless (not _isEnabled) restart Inactive_IfActionSubsystem_228_008
32
	let
33
		(Out2_1, Out3_1, Out4_1) = IfActionSubsystem_228_008(In2_1, In3_1, __time_step, __nb_step);
34
	tel
35

    
36
	state Inactive_IfActionSubsystem_228_008:
37
	unless _isEnabled resume Active_IfActionSubsystem_228_008
38
	let
39
		Out2_1 = pre_Out2_1;
40
		Out3_1 = pre_Out3_1;
41
		Out4_1 = pre_Out4_1;
42
	tel
43

    
44

    
45
tel
46

    
47
(*
48
Original block name: if_test_PP/IfActionSubsystem
49
*)
50
node  IfActionSubsystem_228_008(In2_1 : real;
51
	In3_1 : bool;
52
	__time_step : real;
53
	__nb_step : int;)
54
returns(Out2_1 : bool;
55
	Out3_1 : real;
56
	Out4_1 : bool;);
57
var LogicalOperator_1 : bool;
58
	RelationalOperator_1 : bool;
59
let
60
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
61
	RelationalOperator_1 = (In2_1 <= In2_1);
62
	Out2_1 = RelationalOperator_1;
63
	Out3_1 = In2_1;
64
	Out4_1 = LogicalOperator_1;
65
tel
66

    
67
(*
68
Original block name: if_test_PP/IfActionSubsystem1
69
*)
70
node  IfActionSubsystem1_247_012_automaton(In1_1 : real;
71
	_isEnabled : bool;
72
	__time_step : real;
73
	__nb_step : int;)
74
returns(Out1_1 : real;);
75
var pre_Out1_1 : real;
76
let
77
	pre_Out1_1 = if (__nb_step > 0) then
78
		(pre Out1_1)
79
	    else 0.000000000000000;
80
	automaton enabled_IfActionSubsystem1_247_012
81
	state Active_IfActionSubsystem1_247_012:
82
	unless (not _isEnabled) restart Inactive_IfActionSubsystem1_247_012
83
	let
84
		Out1_1 = IfActionSubsystem1_247_012(In1_1, __time_step, __nb_step);
85
	tel
86

    
87
	state Inactive_IfActionSubsystem1_247_012:
88
	unless _isEnabled resume Active_IfActionSubsystem1_247_012
89
	let
90
		Out1_1 = pre_Out1_1;
91
	tel
92

    
93

    
94
tel
95

    
96
(*
97
Original block name: if_test_PP/IfActionSubsystem1
98
*)
99
node  IfActionSubsystem1_247_012(In1_1 : real;
100
	__time_step : real;
101
	__nb_step : int;)
102
returns(Out1_1 : real;);
103
let
104
	Out1_1 = In1_1;
105
tel
106

    
107
(*
108
Original block name: if_test_PP/IfActionSubsystem10
109
*)
110
node  IfActionSubsystem10_252_009_automaton(In1_1 : bool;
111
	_isEnabled : bool;
112
	__time_step : real;
113
	__nb_step : int;)
114
returns(Out1_1 : bool;);
115
var pre_Out1_1 : bool;
116
let
117
	pre_Out1_1 = if (__nb_step > 0) then
118
		(pre Out1_1)
119
	    else false;
120
	automaton enabled_IfActionSubsystem10_252_009
121
	state Active_IfActionSubsystem10_252_009:
122
	unless (not _isEnabled) restart Inactive_IfActionSubsystem10_252_009
123
	let
124
		Out1_1 = IfActionSubsystem10_252_009(In1_1, __time_step, __nb_step);
125
	tel
126

    
127
	state Inactive_IfActionSubsystem10_252_009:
128
	unless _isEnabled resume Active_IfActionSubsystem10_252_009
129
	let
130
		Out1_1 = pre_Out1_1;
131
	tel
132

    
133

    
134
tel
135

    
136
(*
137
Original block name: if_test_PP/IfActionSubsystem10
138
*)
139
node  IfActionSubsystem10_252_009(In1_1 : bool;
140
	__time_step : real;
141
	__nb_step : int;)
142
returns(Out1_1 : bool;);
143
let
144
	Out1_1 = In1_1;
145
tel
146

    
147
(*
148
Original block name: if_test_PP/IfActionSubsystem11
149
*)
150
node  IfActionSubsystem11_257_008_automaton(In2_1 : real;
151
	In3_1 : bool;
152
	_isEnabled : bool;
153
	__time_step : real;
154
	__nb_step : int;)
155
returns(Out2_1 : bool;
156
	Out3_1 : real;
157
	Out4_1 : bool;);
158
var pre_Out2_1 : bool;
159
	pre_Out3_1 : real;
160
	pre_Out4_1 : bool;
161
let
162
	pre_Out2_1 = if (__nb_step > 0) then
163
		(pre Out2_1)
164
	    else false;
165
	pre_Out3_1 = if (__nb_step > 0) then
166
		(pre Out3_1)
167
	    else 0.000000000000000;
168
	pre_Out4_1 = if (__nb_step > 0) then
169
		(pre Out4_1)
170
	    else false;
171
	automaton enabled_IfActionSubsystem11_257_008
172
	state Active_IfActionSubsystem11_257_008:
173
	unless (not _isEnabled) restart Inactive_IfActionSubsystem11_257_008
174
	let
175
		(Out2_1, Out3_1, Out4_1) = IfActionSubsystem11_257_008(In2_1, In3_1, __time_step, __nb_step);
176
	tel
177

    
178
	state Inactive_IfActionSubsystem11_257_008:
179
	unless _isEnabled resume Active_IfActionSubsystem11_257_008
180
	let
181
		Out2_1 = pre_Out2_1;
182
		Out3_1 = pre_Out3_1;
183
		Out4_1 = pre_Out4_1;
184
	tel
185

    
186

    
187
tel
188

    
189
(*
190
Original block name: if_test_PP/IfActionSubsystem11
191
*)
192
node  IfActionSubsystem11_257_008(In2_1 : real;
193
	In3_1 : bool;
194
	__time_step : real;
195
	__nb_step : int;)
196
returns(Out2_1 : bool;
197
	Out3_1 : real;
198
	Out4_1 : bool;);
199
var LogicalOperator_1 : bool;
200
	RelationalOperator_1 : bool;
201
let
202
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
203
	RelationalOperator_1 = (In2_1 <= In2_1);
204
	Out2_1 = RelationalOperator_1;
205
	Out3_1 = In2_1;
206
	Out4_1 = LogicalOperator_1;
207
tel
208

    
209
(*
210
Original block name: if_test_PP/IfActionSubsystem2
211
*)
212
node  IfActionSubsystem2_276_008_automaton(In1_1 : bool;
213
	_isEnabled : bool;
214
	__time_step : real;
215
	__nb_step : int;)
216
returns(Out1_1 : bool;);
217
var pre_Out1_1 : bool;
218
let
219
	pre_Out1_1 = if (__nb_step > 0) then
220
		(pre Out1_1)
221
	    else false;
222
	automaton enabled_IfActionSubsystem2_276_008
223
	state Active_IfActionSubsystem2_276_008:
224
	unless (not _isEnabled) restart Inactive_IfActionSubsystem2_276_008
225
	let
226
		Out1_1 = IfActionSubsystem2_276_008(In1_1, __time_step, __nb_step);
227
	tel
228

    
229
	state Inactive_IfActionSubsystem2_276_008:
230
	unless _isEnabled resume Active_IfActionSubsystem2_276_008
231
	let
232
		Out1_1 = pre_Out1_1;
233
	tel
234

    
235

    
236
tel
237

    
238
(*
239
Original block name: if_test_PP/IfActionSubsystem2
240
*)
241
node  IfActionSubsystem2_276_008(In1_1 : bool;
242
	__time_step : real;
243
	__nb_step : int;)
244
returns(Out1_1 : bool;);
245
let
246
	Out1_1 = In1_1;
247
tel
248

    
249
(*
250
Original block name: if_test_PP/IfActionSubsystem3
251
*)
252
node  IfActionSubsystem3_281_007_automaton(In1_1 : real;
253
	_isEnabled : bool;
254
	__time_step : real;
255
	__nb_step : int;)
256
returns(Out1_1 : real;);
257
var pre_Out1_1 : real;
258
let
259
	pre_Out1_1 = if (__nb_step > 0) then
260
		(pre Out1_1)
261
	    else 0.000000000000000;
262
	automaton enabled_IfActionSubsystem3_281_007
263
	state Active_IfActionSubsystem3_281_007:
264
	unless (not _isEnabled) restart Inactive_IfActionSubsystem3_281_007
265
	let
266
		Out1_1 = IfActionSubsystem3_281_007(In1_1, __time_step, __nb_step);
267
	tel
268

    
269
	state Inactive_IfActionSubsystem3_281_007:
270
	unless _isEnabled resume Active_IfActionSubsystem3_281_007
271
	let
272
		Out1_1 = pre_Out1_1;
273
	tel
274

    
275

    
276
tel
277

    
278
(*
279
Original block name: if_test_PP/IfActionSubsystem3
280
*)
281
node  IfActionSubsystem3_281_007(In1_1 : real;
282
	__time_step : real;
283
	__nb_step : int;)
284
returns(Out1_1 : real;);
285
let
286
	Out1_1 = In1_1;
287
tel
288

    
289
(*
290
Original block name: if_test_PP/IfActionSubsystem4
291
*)
292
node  IfActionSubsystem4_286_006_automaton(In2_1 : real;
293
	In2_2 : real;
294
	In2_3 : real;
295
	In3_1 : bool;
296
	_isEnabled : bool;
297
	__time_step : real;
298
	__nb_step : int;)
299
returns(Out2_1 : bool;
300
	Out2_2 : bool;
301
	Out2_3 : bool;
302
	Out3_1 : real;
303
	Out3_2 : real;
304
	Out3_3 : real;
305
	Out4_1 : bool;
306
	Out4_2 : bool;
307
	Out4_3 : bool;);
308
var pre_Out2_1 : bool;
309
	pre_Out2_2 : bool;
310
	pre_Out2_3 : bool;
311
	pre_Out3_1 : real;
312
	pre_Out3_2 : real;
313
	pre_Out3_3 : real;
314
	pre_Out4_1 : bool;
315
	pre_Out4_2 : bool;
316
	pre_Out4_3 : bool;
317
let
318
	pre_Out2_1 = if (__nb_step > 0) then
319
		(pre Out2_1)
320
	    else false;
321
	pre_Out2_2 = if (__nb_step > 0) then
322
		(pre Out2_2)
323
	    else false;
324
	pre_Out2_3 = if (__nb_step > 0) then
325
		(pre Out2_3)
326
	    else false;
327
	pre_Out3_1 = if (__nb_step > 0) then
328
		(pre Out3_1)
329
	    else 0.000000000000000;
330
	pre_Out3_2 = if (__nb_step > 0) then
331
		(pre Out3_2)
332
	    else 0.000000000000000;
333
	pre_Out3_3 = if (__nb_step > 0) then
334
		(pre Out3_3)
335
	    else 0.000000000000000;
336
	pre_Out4_1 = if (__nb_step > 0) then
337
		(pre Out4_1)
338
	    else false;
339
	pre_Out4_2 = if (__nb_step > 0) then
340
		(pre Out4_2)
341
	    else false;
342
	pre_Out4_3 = if (__nb_step > 0) then
343
		(pre Out4_3)
344
	    else false;
345
	automaton enabled_IfActionSubsystem4_286_006
346
	state Active_IfActionSubsystem4_286_006:
347
	unless (not _isEnabled) restart Inactive_IfActionSubsystem4_286_006
348
	let
349
		(Out2_1, Out2_2, Out2_3, Out3_1, Out3_2, Out3_3, Out4_1, Out4_2, Out4_3) = IfActionSubsystem4_286_006(In2_1, In2_2, In2_3, In3_1, __time_step, __nb_step);
350
	tel
351

    
352
	state Inactive_IfActionSubsystem4_286_006:
353
	unless _isEnabled resume Active_IfActionSubsystem4_286_006
354
	let
355
		Out2_1 = pre_Out2_1;
356
		Out2_2 = pre_Out2_2;
357
		Out2_3 = pre_Out2_3;
358
		Out3_1 = pre_Out3_1;
359
		Out3_2 = pre_Out3_2;
360
		Out3_3 = pre_Out3_3;
361
		Out4_1 = pre_Out4_1;
362
		Out4_2 = pre_Out4_2;
363
		Out4_3 = pre_Out4_3;
364
	tel
365

    
366

    
367
tel
368

    
369
(*
370
Original block name: if_test_PP/IfActionSubsystem4
371
*)
372
node  IfActionSubsystem4_286_006(In2_1 : real;
373
	In2_2 : real;
374
	In2_3 : real;
375
	In3_1 : bool;
376
	__time_step : real;
377
	__nb_step : int;)
378
returns(Out2_1 : bool;
379
	Out2_2 : bool;
380
	Out2_3 : bool;
381
	Out3_1 : real;
382
	Out3_2 : real;
383
	Out3_3 : real;
384
	Out4_1 : bool;
385
	Out4_2 : bool;
386
	Out4_3 : bool;);
387
var LogicalOperator_1 : bool;
388
	LogicalOperator_2 : bool;
389
	LogicalOperator_3 : bool;
390
	RelationalOperator_1 : bool;
391
	RelationalOperator_2 : bool;
392
	RelationalOperator_3 : bool;
393
let
394
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
395
	LogicalOperator_2 = ( RelationalOperator_2 and In3_1 );
396
	LogicalOperator_3 = ( RelationalOperator_3 and In3_1 );
397
	RelationalOperator_1 = (In2_1 <= In2_1);
398
	RelationalOperator_2 = (In2_2 <= In2_2);
399
	RelationalOperator_3 = (In2_3 <= In2_3);
400
	Out2_1 = RelationalOperator_1;
401
	Out2_2 = RelationalOperator_2;
402
	Out2_3 = RelationalOperator_3;
403
	Out3_1 = In2_1;
404
	Out3_2 = In2_2;
405
	Out3_3 = In2_3;
406
	Out4_1 = LogicalOperator_1;
407
	Out4_2 = LogicalOperator_2;
408
	Out4_3 = LogicalOperator_3;
409
tel
410

    
411
(*
412
Original block name: if_test_PP/IfActionSubsystem5
413
*)
414
node  IfActionSubsystem5_305_009_automaton(In1_1 : real;
415
	In1_2 : real;
416
	In1_3 : real;
417
	_isEnabled : bool;
418
	__time_step : real;
419
	__nb_step : int;)
420
returns(Out1_1 : real;
421
	Out1_2 : real;
422
	Out1_3 : real;);
423
var pre_Out1_1 : real;
424
	pre_Out1_2 : real;
425
	pre_Out1_3 : real;
426
let
427
	pre_Out1_1 = if (__nb_step > 0) then
428
		(pre Out1_1)
429
	    else 0.000000000000000;
430
	pre_Out1_2 = if (__nb_step > 0) then
431
		(pre Out1_2)
432
	    else 0.000000000000000;
433
	pre_Out1_3 = if (__nb_step > 0) then
434
		(pre Out1_3)
435
	    else 0.000000000000000;
436
	automaton enabled_IfActionSubsystem5_305_009
437
	state Active_IfActionSubsystem5_305_009:
438
	unless (not _isEnabled) restart Inactive_IfActionSubsystem5_305_009
439
	let
440
		(Out1_1, Out1_2, Out1_3) = IfActionSubsystem5_305_009(In1_1, In1_2, In1_3, __time_step, __nb_step);
441
	tel
442

    
443
	state Inactive_IfActionSubsystem5_305_009:
444
	unless _isEnabled resume Active_IfActionSubsystem5_305_009
445
	let
446
		Out1_1 = pre_Out1_1;
447
		Out1_2 = pre_Out1_2;
448
		Out1_3 = pre_Out1_3;
449
	tel
450

    
451

    
452
tel
453

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

    
471
(*
472
Original block name: if_test_PP/IfActionSubsystem6
473
*)
474
node  IfActionSubsystem6_310_010_automaton(In1_1 : bool;
475
	_isEnabled : bool;
476
	__time_step : real;
477
	__nb_step : int;)
478
returns(Out1_1 : bool;);
479
var pre_Out1_1 : bool;
480
let
481
	pre_Out1_1 = if (__nb_step > 0) then
482
		(pre Out1_1)
483
	    else false;
484
	automaton enabled_IfActionSubsystem6_310_010
485
	state Active_IfActionSubsystem6_310_010:
486
	unless (not _isEnabled) restart Inactive_IfActionSubsystem6_310_010
487
	let
488
		Out1_1 = IfActionSubsystem6_310_010(In1_1, __time_step, __nb_step);
489
	tel
490

    
491
	state Inactive_IfActionSubsystem6_310_010:
492
	unless _isEnabled resume Active_IfActionSubsystem6_310_010
493
	let
494
		Out1_1 = pre_Out1_1;
495
	tel
496

    
497

    
498
tel
499

    
500
(*
501
Original block name: if_test_PP/IfActionSubsystem6
502
*)
503
node  IfActionSubsystem6_310_010(In1_1 : bool;
504
	__time_step : real;
505
	__nb_step : int;)
506
returns(Out1_1 : bool;);
507
let
508
	Out1_1 = In1_1;
509
tel
510

    
511
(*
512
Original block name: if_test_PP/IfActionSubsystem7
513
*)
514
node  IfActionSubsystem7_315_013_automaton(In1_1 : real;
515
	In1_2 : real;
516
	In1_3 : real;
517
	In1_4 : real;
518
	_isEnabled : bool;
519
	__time_step : real;
520
	__nb_step : int;)
521
returns(Out1_1 : real;
522
	Out1_2 : real;
523
	Out1_3 : real;
524
	Out1_4 : real;);
525
var pre_Out1_1 : real;
526
	pre_Out1_2 : real;
527
	pre_Out1_3 : real;
528
	pre_Out1_4 : real;
529
let
530
	pre_Out1_1 = if (__nb_step > 0) then
531
		(pre Out1_1)
532
	    else 0.000000000000000;
533
	pre_Out1_2 = if (__nb_step > 0) then
534
		(pre Out1_2)
535
	    else 0.000000000000000;
536
	pre_Out1_3 = if (__nb_step > 0) then
537
		(pre Out1_3)
538
	    else 0.000000000000000;
539
	pre_Out1_4 = if (__nb_step > 0) then
540
		(pre Out1_4)
541
	    else 0.000000000000000;
542
	automaton enabled_IfActionSubsystem7_315_013
543
	state Active_IfActionSubsystem7_315_013:
544
	unless (not _isEnabled) restart Inactive_IfActionSubsystem7_315_013
545
	let
546
		(Out1_1, Out1_2, Out1_3, Out1_4) = IfActionSubsystem7_315_013(In1_1, In1_2, In1_3, In1_4, __time_step, __nb_step);
547
	tel
548

    
549
	state Inactive_IfActionSubsystem7_315_013:
550
	unless _isEnabled resume Active_IfActionSubsystem7_315_013
551
	let
552
		Out1_1 = pre_Out1_1;
553
		Out1_2 = pre_Out1_2;
554
		Out1_3 = pre_Out1_3;
555
		Out1_4 = pre_Out1_4;
556
	tel
557

    
558

    
559
tel
560

    
561
(*
562
Original block name: if_test_PP/IfActionSubsystem7
563
*)
564
node  IfActionSubsystem7_315_013(In1_1 : real;
565
	In1_2 : real;
566
	In1_3 : real;
567
	In1_4 : real;
568
	__time_step : real;
569
	__nb_step : int;)
570
returns(Out1_1 : real;
571
	Out1_2 : real;
572
	Out1_3 : real;
573
	Out1_4 : real;);
574
let
575
	Out1_1 = In1_1;
576
	Out1_2 = In1_2;
577
	Out1_3 = In1_3;
578
	Out1_4 = In1_4;
579
tel
580

    
581
(*
582
Original block name: if_test_PP/IfActionSubsystem8
583
*)
584
node  IfActionSubsystem8_320_011_automaton(In2_1 : real;
585
	In3_1 : bool;
586
	_isEnabled : bool;
587
	__time_step : real;
588
	__nb_step : int;)
589
returns(Out2_1 : bool;
590
	Out3_1 : real;
591
	Out4_1 : bool;);
592
var pre_Out2_1 : bool;
593
	pre_Out3_1 : real;
594
	pre_Out4_1 : bool;
595
let
596
	pre_Out2_1 = if (__nb_step > 0) then
597
		(pre Out2_1)
598
	    else false;
599
	pre_Out3_1 = if (__nb_step > 0) then
600
		(pre Out3_1)
601
	    else 0.000000000000000;
602
	pre_Out4_1 = if (__nb_step > 0) then
603
		(pre Out4_1)
604
	    else false;
605
	automaton enabled_IfActionSubsystem8_320_011
606
	state Active_IfActionSubsystem8_320_011:
607
	unless (not _isEnabled) restart Inactive_IfActionSubsystem8_320_011
608
	let
609
		(Out2_1, Out3_1, Out4_1) = IfActionSubsystem8_320_011(In2_1, In3_1, __time_step, __nb_step);
610
	tel
611

    
612
	state Inactive_IfActionSubsystem8_320_011:
613
	unless _isEnabled resume Active_IfActionSubsystem8_320_011
614
	let
615
		Out2_1 = pre_Out2_1;
616
		Out3_1 = pre_Out3_1;
617
		Out4_1 = pre_Out4_1;
618
	tel
619

    
620

    
621
tel
622

    
623
(*
624
Original block name: if_test_PP/IfActionSubsystem8
625
*)
626
node  IfActionSubsystem8_320_011(In2_1 : real;
627
	In3_1 : bool;
628
	__time_step : real;
629
	__nb_step : int;)
630
returns(Out2_1 : bool;
631
	Out3_1 : real;
632
	Out4_1 : bool;);
633
var LogicalOperator_1 : bool;
634
	RelationalOperator_1 : bool;
635
let
636
	LogicalOperator_1 = ( RelationalOperator_1 and In3_1 );
637
	RelationalOperator_1 = (In2_1 <= In2_1);
638
	Out2_1 = RelationalOperator_1;
639
	Out3_1 = In2_1;
640
	Out4_1 = LogicalOperator_1;
641
tel
642

    
643
(*
644
Original block name: if_test_PP
645
*)
646
node  if_test_PP(In1_1 : real;
647
	In7_1 : bool;
648
	In2_1 : real;
649
	In3_1 : real;
650
	In3_2 : real;
651
	In3_3 : real;
652
	In4_1 : bool;
653
	In5_1 : real;
654
	In5_2 : real;
655
	In5_3 : real;
656
	In5_4 : real;
657
	In6_1 : real;
658
	In8_1 : bool;
659
	In9_1 : real;
660
	In10_1 : real;
661
	In11_1 : bool;
662
	In12_1 : real;)
663
returns(Out1_1 : bool;
664
	Out2_1 : real;
665
	Out14_1 : real;
666
	Out15_1 : bool;
667
	Out3_1 : bool;
668
	Out4_1 : real;
669
	Out5_1 : bool;
670
	Out5_2 : bool;
671
	Out5_3 : bool;
672
	Out6_1 : real;
673
	Out6_2 : real;
674
	Out6_3 : real;
675
	Out7_1 : real;
676
	Out7_2 : real;
677
	Out7_3 : real;
678
	Out8_1 : bool;
679
	Out8_2 : bool;
680
	Out8_3 : bool;
681
	Out9_1 : bool;
682
	Out10_1 : real;
683
	Out10_2 : real;
684
	Out10_3 : real;
685
	Out10_4 : real;
686
	Out11_1 : bool;
687
	Out13_1 : real;
688
	Out16_1 : bool;
689
	Out17_1 : bool;
690
	Out12_1 : bool;
691
	Out18_1 : real;
692
	Out19_1 : bool;);
693
var If_1 : bool;
694
	If_2 : bool;
695
	If_3 : bool;
696
	If_4 : bool;
697
	If1_1 : bool;
698
	If1_2 : bool;
699
	If1_3 : bool;
700
	If1_4 : bool;
701
	If2_1 : bool;
702
	If2_2 : bool;
703
	If3_1 : bool;
704
	ExecutionCond_of_IfActionSubsystem_228_008 : bool;
705
	IfActionSubsystem_1 : bool;
706
	IfActionSubsystem_2 : real;
707
	IfActionSubsystem_3 : bool;
708
	ExecutionCond_of_IfActionSubsystem1_247_012 : bool;
709
	IfActionSubsystem1_1 : real;
710
	ExecutionCond_of_IfActionSubsystem10_252_009 : bool;
711
	IfActionSubsystem10_1 : bool;
712
	ExecutionCond_of_IfActionSubsystem11_257_008 : bool;
713
	IfActionSubsystem11_1 : bool;
714
	IfActionSubsystem11_2 : real;
715
	IfActionSubsystem11_3 : bool;
716
	ExecutionCond_of_IfActionSubsystem2_276_008 : bool;
717
	IfActionSubsystem2_1 : bool;
718
	ExecutionCond_of_IfActionSubsystem3_281_007 : bool;
719
	IfActionSubsystem3_1 : real;
720
	ExecutionCond_of_IfActionSubsystem4_286_006 : bool;
721
	IfActionSubsystem4_1 : bool;
722
	IfActionSubsystem4_2 : bool;
723
	IfActionSubsystem4_3 : bool;
724
	IfActionSubsystem4_4 : real;
725
	IfActionSubsystem4_5 : real;
726
	IfActionSubsystem4_6 : real;
727
	IfActionSubsystem4_7 : bool;
728
	IfActionSubsystem4_8 : bool;
729
	IfActionSubsystem4_9 : bool;
730
	ExecutionCond_of_IfActionSubsystem5_305_009 : bool;
731
	IfActionSubsystem5_1 : real;
732
	IfActionSubsystem5_2 : real;
733
	IfActionSubsystem5_3 : real;
734
	ExecutionCond_of_IfActionSubsystem6_310_010 : bool;
735
	IfActionSubsystem6_1 : bool;
736
	ExecutionCond_of_IfActionSubsystem7_315_013 : bool;
737
	IfActionSubsystem7_1 : real;
738
	IfActionSubsystem7_2 : real;
739
	IfActionSubsystem7_3 : real;
740
	IfActionSubsystem7_4 : real;
741
	ExecutionCond_of_IfActionSubsystem8_320_011 : bool;
742
	IfActionSubsystem8_1 : bool;
743
	IfActionSubsystem8_2 : real;
744
	IfActionSubsystem8_3 : bool;
745
	__time_step : real;
746
	__nb_step : int;
747
let
748
	(If_1, If_2, If_3, If_4) = if In2_1 <> 0.000000000000000 then
749
		(true, false, false, false)
750
	    else if In2_1 < 3.000000000000000 then
751
		(false, true, false, false)
752
	    else if ( - In2_1 > In1_1 ) and In2_1 > 0.000000000000000 then
753
		(false, false, true, false)
754
	    else (false, false, false, true);
755
	(If1_1, If1_2, If1_3, If1_4) = if In3_2 = 0.000000000000000 then
756
		(true, false, false, false)
757
	    else if In5_2 < 3.000000000000000 then
758
		(false, true, false, false)
759
	    else if ( - In5_1 > In3_3 ) and In5_2 > 0.000000000000000 then
760
		(false, false, true, false)
761
	    else (false, false, false, true);
762
	(If2_1, If2_2) = if In9_1 <> 0.000000000000000 then
763
		(true, false)
764
	    else if ( - In9_1 > In6_1 ) or In9_1 > 0.000000000000000 then
765
		(false, true)
766
	    else (false, false);
767
	If3_1 = if In12_1 <> 0.000000000000000 then
768
		(true)
769
	    else (false);
770
	ExecutionCond_of_IfActionSubsystem_228_008 = If_1;
771
	(IfActionSubsystem_1, IfActionSubsystem_2, IfActionSubsystem_3) = IfActionSubsystem_228_008_automaton(In1_1, In7_1, ExecutionCond_of_IfActionSubsystem_228_008, __time_step, __nb_step);
772
	ExecutionCond_of_IfActionSubsystem1_247_012 = If_4;
773
	IfActionSubsystem1_1 = IfActionSubsystem1_247_012_automaton(In1_1, ExecutionCond_of_IfActionSubsystem1_247_012, __time_step, __nb_step);
774
	ExecutionCond_of_IfActionSubsystem10_252_009 = If2_2;
775
	IfActionSubsystem10_1 = IfActionSubsystem10_252_009_automaton(In8_1, ExecutionCond_of_IfActionSubsystem10_252_009, __time_step, __nb_step);
776
	ExecutionCond_of_IfActionSubsystem11_257_008 = If3_1;
777
	(IfActionSubsystem11_1, IfActionSubsystem11_2, IfActionSubsystem11_3) = IfActionSubsystem11_257_008_automaton(In10_1, In11_1, ExecutionCond_of_IfActionSubsystem11_257_008, __time_step, __nb_step);
778
	ExecutionCond_of_IfActionSubsystem2_276_008 = If_2;
779
	IfActionSubsystem2_1 = IfActionSubsystem2_276_008_automaton(In7_1, ExecutionCond_of_IfActionSubsystem2_276_008, __time_step, __nb_step);
780
	ExecutionCond_of_IfActionSubsystem3_281_007 = If_3;
781
	IfActionSubsystem3_1 = IfActionSubsystem3_281_007_automaton(In2_1, ExecutionCond_of_IfActionSubsystem3_281_007, __time_step, __nb_step);
782
	ExecutionCond_of_IfActionSubsystem4_286_006 = If1_1;
783
	(IfActionSubsystem4_1, IfActionSubsystem4_2, IfActionSubsystem4_3, IfActionSubsystem4_4, IfActionSubsystem4_5, IfActionSubsystem4_6, IfActionSubsystem4_7, IfActionSubsystem4_8, IfActionSubsystem4_9) = IfActionSubsystem4_286_006_automaton(In3_1, In3_2, In3_3, In4_1, ExecutionCond_of_IfActionSubsystem4_286_006, __time_step, __nb_step);
784
	ExecutionCond_of_IfActionSubsystem5_305_009 = If1_4;
785
	(IfActionSubsystem5_1, IfActionSubsystem5_2, IfActionSubsystem5_3) = IfActionSubsystem5_305_009_automaton(In3_1, In3_2, In3_3, ExecutionCond_of_IfActionSubsystem5_305_009, __time_step, __nb_step);
786
	ExecutionCond_of_IfActionSubsystem6_310_010 = If1_2;
787
	IfActionSubsystem6_1 = IfActionSubsystem6_310_010_automaton(In4_1, ExecutionCond_of_IfActionSubsystem6_310_010, __time_step, __nb_step);
788
	ExecutionCond_of_IfActionSubsystem7_315_013 = If1_3;
789
	(IfActionSubsystem7_1, IfActionSubsystem7_2, IfActionSubsystem7_3, IfActionSubsystem7_4) = IfActionSubsystem7_315_013_automaton(In5_1, In5_2, In5_3, In5_4, ExecutionCond_of_IfActionSubsystem7_315_013, __time_step, __nb_step);
790
	ExecutionCond_of_IfActionSubsystem8_320_011 = If2_1;
791
	(IfActionSubsystem8_1, IfActionSubsystem8_2, IfActionSubsystem8_3) = IfActionSubsystem8_320_011_automaton(In6_1, In8_1, ExecutionCond_of_IfActionSubsystem8_320_011, __time_step, __nb_step);
792
	Out1_1 = IfActionSubsystem_1;
793
	Out2_1 = IfActionSubsystem1_1;
794
	Out14_1 = IfActionSubsystem_2;
795
	Out15_1 = IfActionSubsystem_3;
796
	Out3_1 = IfActionSubsystem2_1;
797
	Out4_1 = IfActionSubsystem3_1;
798
	Out5_1 = IfActionSubsystem4_1;
799
	Out5_2 = IfActionSubsystem4_2;
800
	Out5_3 = IfActionSubsystem4_3;
801
	Out6_1 = IfActionSubsystem5_1;
802
	Out6_2 = IfActionSubsystem5_2;
803
	Out6_3 = IfActionSubsystem5_3;
804
	Out7_1 = IfActionSubsystem4_4;
805
	Out7_2 = IfActionSubsystem4_5;
806
	Out7_3 = IfActionSubsystem4_6;
807
	Out8_1 = IfActionSubsystem4_7;
808
	Out8_2 = IfActionSubsystem4_8;
809
	Out8_3 = IfActionSubsystem4_9;
810
	Out9_1 = IfActionSubsystem6_1;
811
	Out10_1 = IfActionSubsystem7_1;
812
	Out10_2 = IfActionSubsystem7_2;
813
	Out10_3 = IfActionSubsystem7_3;
814
	Out10_4 = IfActionSubsystem7_4;
815
	Out11_1 = IfActionSubsystem8_1;
816
	Out13_1 = IfActionSubsystem8_2;
817
	Out16_1 = IfActionSubsystem8_3;
818
	Out17_1 = IfActionSubsystem10_1;
819
	Out12_1 = IfActionSubsystem11_1;
820
	Out18_1 = IfActionSubsystem11_2;
821
	Out19_1 = IfActionSubsystem11_3;
822
	__time_step = (0.0 -> ((pre __time_step) + 0.020000000000000));
823
	__nb_step = (0 -> ((pre __nb_step) + 1));
824
tel
825

    
(1072-1072/1153)