Project

General

Profile

Download (17.4 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:02:43
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: detect_fall_test_PP/Detect Fall
15
Negative/Negative
16
*)
17
node  Negative_287_003(u_1 : real;
18
	__time_step : real;
19
	__nb_step : int;)
20
returns(y_1 : bool;);
21
var Compare_1 : bool;
22
	Constant_1 : real;
23
let
24
	Compare_1 = (u_1 < Constant_1);
25
	Constant_1 = 0.000000000000000;
26
	y_1 = Compare_1;
27
tel
28

    
29
(*
30
Original block name: detect_fall_test_PP/Detect Fall
31
Negative
32
*)
33
node  DetectFallNegative_283_003(U_1 : real;
34
	__time_step : real;
35
	__nb_step : int;)
36
returns(Y_1 : bool;);
37
var DelayInput1_1 : bool;
38
	FixPtRelationalOperator_1 : bool;
39
	Negative_1 : bool;
40
let
41
	DelayInput1_1 = (false -> (pre Negative_1));
42
	FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));
43
	Negative_1 = Negative_287_003(U_1, __time_step, __nb_step);
44
	Y_1 = FixPtRelationalOperator_1;
45
tel
46

    
47
(*
48
Original block name: detect_fall_test_PP/Detect Fall
49
Negative1/Negative
50
*)
51
node  Negative_308_003(u_1 : real;
52
	u_2 : real;
53
	u_3 : real;
54
	u_4 : real;
55
	u_5 : real;
56
	__time_step : real;
57
	__nb_step : int;)
58
returns(y_1 : bool;
59
	y_2 : bool;
60
	y_3 : bool;
61
	y_4 : bool;
62
	y_5 : bool;);
63
var Compare_1 : bool;
64
	Compare_2 : bool;
65
	Compare_3 : bool;
66
	Compare_4 : bool;
67
	Compare_5 : bool;
68
	Constant_1 : real;
69
let
70
	Compare_1 = (u_1 < Constant_1);
71
	Compare_2 = (u_2 < Constant_1);
72
	Compare_3 = (u_3 < Constant_1);
73
	Compare_4 = (u_4 < Constant_1);
74
	Compare_5 = (u_5 < Constant_1);
75
	Constant_1 = 0.000000000000000;
76
	y_1 = Compare_1;
77
	y_2 = Compare_2;
78
	y_3 = Compare_3;
79
	y_4 = Compare_4;
80
	y_5 = Compare_5;
81
tel
82

    
83
(*
84
Original block name: detect_fall_test_PP/Detect Fall
85
Negative1
86
*)
87
node  DetectFallNegative1_304_003(U_1 : real;
88
	U_2 : real;
89
	U_3 : real;
90
	U_4 : real;
91
	U_5 : real;
92
	__time_step : real;
93
	__nb_step : int;)
94
returns(Y_1 : bool;
95
	Y_2 : bool;
96
	Y_3 : bool;
97
	Y_4 : bool;
98
	Y_5 : bool;);
99
var DelayInput1_1 : bool;
100
	DelayInput1_2 : bool;
101
	DelayInput1_3 : bool;
102
	DelayInput1_4 : bool;
103
	DelayInput1_5 : bool;
104
	FixPtRelationalOperator_1 : bool;
105
	FixPtRelationalOperator_2 : bool;
106
	FixPtRelationalOperator_3 : bool;
107
	FixPtRelationalOperator_4 : bool;
108
	FixPtRelationalOperator_5 : bool;
109
	Negative_1 : bool;
110
	Negative_2 : bool;
111
	Negative_3 : bool;
112
	Negative_4 : bool;
113
	Negative_5 : bool;
114
let
115
	DelayInput1_1 = (false -> (pre Negative_1));
116
	DelayInput1_2 = (false -> (pre Negative_2));
117
	DelayInput1_3 = (false -> (pre Negative_3));
118
	DelayInput1_4 = (false -> (pre Negative_4));
119
	DelayInput1_5 = (false -> (pre Negative_5));
120
	FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));
121
	FixPtRelationalOperator_2 = (bool_to_int(Negative_2) > bool_to_int(DelayInput1_2));
122
	FixPtRelationalOperator_3 = (bool_to_int(Negative_3) > bool_to_int(DelayInput1_3));
123
	FixPtRelationalOperator_4 = (bool_to_int(Negative_4) > bool_to_int(DelayInput1_4));
124
	FixPtRelationalOperator_5 = (bool_to_int(Negative_5) > bool_to_int(DelayInput1_5));
125
	(Negative_1, Negative_2, Negative_3, Negative_4, Negative_5) = Negative_308_003(U_1, U_2, U_3, U_4, U_5, __time_step, __nb_step);
126
	Y_1 = FixPtRelationalOperator_1;
127
	Y_2 = FixPtRelationalOperator_2;
128
	Y_3 = FixPtRelationalOperator_3;
129
	Y_4 = FixPtRelationalOperator_4;
130
	Y_5 = FixPtRelationalOperator_5;
131
tel
132

    
133
(*
134
Original block name: detect_fall_test_PP/Detect Fall
135
Negative2/Negative
136
*)
137
node  Negative_329_004(u_1 : int;
138
	u_2 : int;
139
	u_3 : int;
140
	u_4 : int;
141
	u_5 : int;
142
	u_6 : int;
143
	__time_step : real;
144
	__nb_step : int;)
145
returns(y_1 : bool;
146
	y_2 : bool;
147
	y_3 : bool;
148
	y_4 : bool;
149
	y_5 : bool;
150
	y_6 : bool;);
151
var Compare_1 : bool;
152
	Compare_2 : bool;
153
	Compare_3 : bool;
154
	Compare_4 : bool;
155
	Compare_5 : bool;
156
	Compare_6 : bool;
157
	Constant_1 : int;
158
let
159
	Compare_1 = (u_1 < Constant_1);
160
	Compare_2 = (u_2 < Constant_1);
161
	Compare_3 = (u_3 < Constant_1);
162
	Compare_4 = (u_4 < Constant_1);
163
	Compare_5 = (u_5 < Constant_1);
164
	Compare_6 = (u_6 < Constant_1);
165
	Constant_1 = 0;
166
	y_1 = Compare_1;
167
	y_2 = Compare_2;
168
	y_3 = Compare_3;
169
	y_4 = Compare_4;
170
	y_5 = Compare_5;
171
	y_6 = Compare_6;
172
tel
173

    
174
(*
175
Original block name: detect_fall_test_PP/Detect Fall
176
Negative2
177
*)
178
node  DetectFallNegative2_325_004(U_1 : int;
179
	U_2 : int;
180
	U_3 : int;
181
	U_4 : int;
182
	U_5 : int;
183
	U_6 : int;
184
	__time_step : real;
185
	__nb_step : int;)
186
returns(Y_1 : bool;
187
	Y_2 : bool;
188
	Y_3 : bool;
189
	Y_4 : bool;
190
	Y_5 : bool;
191
	Y_6 : bool;);
192
var DelayInput1_1 : bool;
193
	DelayInput1_2 : bool;
194
	DelayInput1_3 : bool;
195
	DelayInput1_4 : bool;
196
	DelayInput1_5 : bool;
197
	DelayInput1_6 : bool;
198
	FixPtRelationalOperator_1 : bool;
199
	FixPtRelationalOperator_2 : bool;
200
	FixPtRelationalOperator_3 : bool;
201
	FixPtRelationalOperator_4 : bool;
202
	FixPtRelationalOperator_5 : bool;
203
	FixPtRelationalOperator_6 : bool;
204
	Negative_1 : bool;
205
	Negative_2 : bool;
206
	Negative_3 : bool;
207
	Negative_4 : bool;
208
	Negative_5 : bool;
209
	Negative_6 : bool;
210
let
211
	DelayInput1_1 = (false -> (pre Negative_1));
212
	DelayInput1_2 = (false -> (pre Negative_2));
213
	DelayInput1_3 = (false -> (pre Negative_3));
214
	DelayInput1_4 = (false -> (pre Negative_4));
215
	DelayInput1_5 = (false -> (pre Negative_5));
216
	DelayInput1_6 = (false -> (pre Negative_6));
217
	FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));
218
	FixPtRelationalOperator_2 = (bool_to_int(Negative_2) > bool_to_int(DelayInput1_2));
219
	FixPtRelationalOperator_3 = (bool_to_int(Negative_3) > bool_to_int(DelayInput1_3));
220
	FixPtRelationalOperator_4 = (bool_to_int(Negative_4) > bool_to_int(DelayInput1_4));
221
	FixPtRelationalOperator_5 = (bool_to_int(Negative_5) > bool_to_int(DelayInput1_5));
222
	FixPtRelationalOperator_6 = (bool_to_int(Negative_6) > bool_to_int(DelayInput1_6));
223
	(Negative_1, Negative_2, Negative_3, Negative_4, Negative_5, Negative_6) = Negative_329_004(U_1, U_2, U_3, U_4, U_5, U_6, __time_step, __nb_step);
224
	Y_1 = FixPtRelationalOperator_1;
225
	Y_2 = FixPtRelationalOperator_2;
226
	Y_3 = FixPtRelationalOperator_3;
227
	Y_4 = FixPtRelationalOperator_4;
228
	Y_5 = FixPtRelationalOperator_5;
229
	Y_6 = FixPtRelationalOperator_6;
230
tel
231

    
232
(*
233
Original block name: detect_fall_test_PP/Detect Fall
234
Negative3/Negative
235
*)
236
node  Negative_350_004(u_1 : bool;
237
	__time_step : real;
238
	__nb_step : int;)
239
returns(y_1 : bool;);
240
var Compare_1 : bool;
241
	Constant_1 : bool;
242
let
243
	Compare_1 = (bool_to_int(u_1) < bool_to_int(Constant_1));
244
	Constant_1 = false;
245
	y_1 = Compare_1;
246
tel
247

    
248
(*
249
Original block name: detect_fall_test_PP/Detect Fall
250
Negative3
251
*)
252
node  DetectFallNegative3_346_004(U_1 : bool;
253
	__time_step : real;
254
	__nb_step : int;)
255
returns(Y_1 : bool;);
256
var DelayInput1_1 : bool;
257
	FixPtRelationalOperator_1 : bool;
258
	Negative_1 : bool;
259
let
260
	DelayInput1_1 = (false -> (pre Negative_1));
261
	FixPtRelationalOperator_1 = (bool_to_int(Negative_1) > bool_to_int(DelayInput1_1));
262
	Negative_1 = Negative_350_004(U_1, __time_step, __nb_step);
263
	Y_1 = FixPtRelationalOperator_1;
264
tel
265

    
266
(*
267
Original block name: detect_fall_test_PP/Detect Fall
268
Nonpositive/Nonpositive
269
*)
270
node  Nonpositive_371_003(u_1 : real;
271
	__time_step : real;
272
	__nb_step : int;)
273
returns(y_1 : bool;);
274
var Compare_1 : bool;
275
	Constant_1 : real;
276
let
277
	Compare_1 = (u_1 <= Constant_1);
278
	Constant_1 = 0.000000000000000;
279
	y_1 = Compare_1;
280
tel
281

    
282
(*
283
Original block name: detect_fall_test_PP/Detect Fall
284
Nonpositive
285
*)
286
node  DetectFallNonpositive_367_003(U_1 : real;
287
	__time_step : real;
288
	__nb_step : int;)
289
returns(Y_1 : bool;);
290
var DelayInput1_1 : bool;
291
	FixPtRelationalOperator_1 : bool;
292
	Nonpositive_1 : bool;
293
let
294
	DelayInput1_1 = (false -> (pre Nonpositive_1));
295
	FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));
296
	Nonpositive_1 = Nonpositive_371_003(U_1, __time_step, __nb_step);
297
	Y_1 = FixPtRelationalOperator_1;
298
tel
299

    
300
(*
301
Original block name: detect_fall_test_PP/Detect Fall
302
Nonpositive1/Nonpositive
303
*)
304
node  Nonpositive_392_003(u_1 : real;
305
	u_2 : real;
306
	u_3 : real;
307
	u_4 : real;
308
	u_5 : real;
309
	__time_step : real;
310
	__nb_step : int;)
311
returns(y_1 : bool;
312
	y_2 : bool;
313
	y_3 : bool;
314
	y_4 : bool;
315
	y_5 : bool;);
316
var Compare_1 : bool;
317
	Compare_2 : bool;
318
	Compare_3 : bool;
319
	Compare_4 : bool;
320
	Compare_5 : bool;
321
	Constant_1 : real;
322
let
323
	Compare_1 = (u_1 <= Constant_1);
324
	Compare_2 = (u_2 <= Constant_1);
325
	Compare_3 = (u_3 <= Constant_1);
326
	Compare_4 = (u_4 <= Constant_1);
327
	Compare_5 = (u_5 <= Constant_1);
328
	Constant_1 = 0.000000000000000;
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
tel
335

    
336
(*
337
Original block name: detect_fall_test_PP/Detect Fall
338
Nonpositive1
339
*)
340
node  DetectFallNonpositive1_388_008(U_1 : real;
341
	U_2 : real;
342
	U_3 : real;
343
	U_4 : real;
344
	U_5 : real;
345
	__time_step : real;
346
	__nb_step : int;)
347
returns(Y_1 : bool;
348
	Y_2 : bool;
349
	Y_3 : bool;
350
	Y_4 : bool;
351
	Y_5 : bool;);
352
var DelayInput1_1 : bool;
353
	DelayInput1_2 : bool;
354
	DelayInput1_3 : bool;
355
	DelayInput1_4 : bool;
356
	DelayInput1_5 : bool;
357
	FixPtRelationalOperator_1 : bool;
358
	FixPtRelationalOperator_2 : bool;
359
	FixPtRelationalOperator_3 : bool;
360
	FixPtRelationalOperator_4 : bool;
361
	FixPtRelationalOperator_5 : bool;
362
	Nonpositive_1 : bool;
363
	Nonpositive_2 : bool;
364
	Nonpositive_3 : bool;
365
	Nonpositive_4 : bool;
366
	Nonpositive_5 : bool;
367
let
368
	DelayInput1_1 = (false -> (pre Nonpositive_1));
369
	DelayInput1_2 = (false -> (pre Nonpositive_2));
370
	DelayInput1_3 = (false -> (pre Nonpositive_3));
371
	DelayInput1_4 = (false -> (pre Nonpositive_4));
372
	DelayInput1_5 = (false -> (pre Nonpositive_5));
373
	FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));
374
	FixPtRelationalOperator_2 = (bool_to_int(Nonpositive_2) > bool_to_int(DelayInput1_2));
375
	FixPtRelationalOperator_3 = (bool_to_int(Nonpositive_3) > bool_to_int(DelayInput1_3));
376
	FixPtRelationalOperator_4 = (bool_to_int(Nonpositive_4) > bool_to_int(DelayInput1_4));
377
	FixPtRelationalOperator_5 = (bool_to_int(Nonpositive_5) > bool_to_int(DelayInput1_5));
378
	(Nonpositive_1, Nonpositive_2, Nonpositive_3, Nonpositive_4, Nonpositive_5) = Nonpositive_392_003(U_1, U_2, U_3, U_4, U_5, __time_step, __nb_step);
379
	Y_1 = FixPtRelationalOperator_1;
380
	Y_2 = FixPtRelationalOperator_2;
381
	Y_3 = FixPtRelationalOperator_3;
382
	Y_4 = FixPtRelationalOperator_4;
383
	Y_5 = FixPtRelationalOperator_5;
384
tel
385

    
386
(*
387
Original block name: detect_fall_test_PP/Detect Fall
388
Nonpositive2/Nonpositive
389
*)
390
node  Nonpositive_413_003(u_1 : int;
391
	u_2 : int;
392
	u_3 : int;
393
	u_4 : int;
394
	u_5 : int;
395
	u_6 : int;
396
	__time_step : real;
397
	__nb_step : int;)
398
returns(y_1 : bool;
399
	y_2 : bool;
400
	y_3 : bool;
401
	y_4 : bool;
402
	y_5 : bool;
403
	y_6 : bool;);
404
var Compare_1 : bool;
405
	Compare_2 : bool;
406
	Compare_3 : bool;
407
	Compare_4 : bool;
408
	Compare_5 : bool;
409
	Compare_6 : bool;
410
	Constant_1 : int;
411
let
412
	Compare_1 = (u_1 <= Constant_1);
413
	Compare_2 = (u_2 <= Constant_1);
414
	Compare_3 = (u_3 <= Constant_1);
415
	Compare_4 = (u_4 <= Constant_1);
416
	Compare_5 = (u_5 <= Constant_1);
417
	Compare_6 = (u_6 <= Constant_1);
418
	Constant_1 = 0;
419
	y_1 = Compare_1;
420
	y_2 = Compare_2;
421
	y_3 = Compare_3;
422
	y_4 = Compare_4;
423
	y_5 = Compare_5;
424
	y_6 = Compare_6;
425
tel
426

    
427
(*
428
Original block name: detect_fall_test_PP/Detect Fall
429
Nonpositive2
430
*)
431
node  DetectFallNonpositive2_409_005(U_1 : int;
432
	U_2 : int;
433
	U_3 : int;
434
	U_4 : int;
435
	U_5 : int;
436
	U_6 : int;
437
	__time_step : real;
438
	__nb_step : int;)
439
returns(Y_1 : bool;
440
	Y_2 : bool;
441
	Y_3 : bool;
442
	Y_4 : bool;
443
	Y_5 : bool;
444
	Y_6 : bool;);
445
var DelayInput1_1 : bool;
446
	DelayInput1_2 : bool;
447
	DelayInput1_3 : bool;
448
	DelayInput1_4 : bool;
449
	DelayInput1_5 : bool;
450
	DelayInput1_6 : bool;
451
	FixPtRelationalOperator_1 : bool;
452
	FixPtRelationalOperator_2 : bool;
453
	FixPtRelationalOperator_3 : bool;
454
	FixPtRelationalOperator_4 : bool;
455
	FixPtRelationalOperator_5 : bool;
456
	FixPtRelationalOperator_6 : bool;
457
	Nonpositive_1 : bool;
458
	Nonpositive_2 : bool;
459
	Nonpositive_3 : bool;
460
	Nonpositive_4 : bool;
461
	Nonpositive_5 : bool;
462
	Nonpositive_6 : bool;
463
let
464
	DelayInput1_1 = (false -> (pre Nonpositive_1));
465
	DelayInput1_2 = (false -> (pre Nonpositive_2));
466
	DelayInput1_3 = (false -> (pre Nonpositive_3));
467
	DelayInput1_4 = (false -> (pre Nonpositive_4));
468
	DelayInput1_5 = (false -> (pre Nonpositive_5));
469
	DelayInput1_6 = (false -> (pre Nonpositive_6));
470
	FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));
471
	FixPtRelationalOperator_2 = (bool_to_int(Nonpositive_2) > bool_to_int(DelayInput1_2));
472
	FixPtRelationalOperator_3 = (bool_to_int(Nonpositive_3) > bool_to_int(DelayInput1_3));
473
	FixPtRelationalOperator_4 = (bool_to_int(Nonpositive_4) > bool_to_int(DelayInput1_4));
474
	FixPtRelationalOperator_5 = (bool_to_int(Nonpositive_5) > bool_to_int(DelayInput1_5));
475
	FixPtRelationalOperator_6 = (bool_to_int(Nonpositive_6) > bool_to_int(DelayInput1_6));
476
	(Nonpositive_1, Nonpositive_2, Nonpositive_3, Nonpositive_4, Nonpositive_5, Nonpositive_6) = Nonpositive_413_003(U_1, U_2, U_3, U_4, U_5, U_6, __time_step, __nb_step);
477
	Y_1 = FixPtRelationalOperator_1;
478
	Y_2 = FixPtRelationalOperator_2;
479
	Y_3 = FixPtRelationalOperator_3;
480
	Y_4 = FixPtRelationalOperator_4;
481
	Y_5 = FixPtRelationalOperator_5;
482
	Y_6 = FixPtRelationalOperator_6;
483
tel
484

    
485
(*
486
Original block name: detect_fall_test_PP/Detect Fall
487
Nonpositive3/Nonpositive
488
*)
489
node  Nonpositive_434_003(u_1 : bool;
490
	__time_step : real;
491
	__nb_step : int;)
492
returns(y_1 : bool;);
493
var Compare_1 : bool;
494
	Constant_1 : bool;
495
let
496
	Compare_1 = (bool_to_int(u_1) <= bool_to_int(Constant_1));
497
	Constant_1 = false;
498
	y_1 = Compare_1;
499
tel
500

    
501
(*
502
Original block name: detect_fall_test_PP/Detect Fall
503
Nonpositive3
504
*)
505
node  DetectFallNonpositive3_430_003(U_1 : bool;
506
	__time_step : real;
507
	__nb_step : int;)
508
returns(Y_1 : bool;);
509
var DelayInput1_1 : bool;
510
	FixPtRelationalOperator_1 : bool;
511
	Nonpositive_1 : bool;
512
let
513
	DelayInput1_1 = (false -> (pre Nonpositive_1));
514
	FixPtRelationalOperator_1 = (bool_to_int(Nonpositive_1) > bool_to_int(DelayInput1_1));
515
	Nonpositive_1 = Nonpositive_434_003(U_1, __time_step, __nb_step);
516
	Y_1 = FixPtRelationalOperator_1;
517
tel
518

    
519
(*
520
Original block name: detect_fall_test_PP
521
*)
522
node  detect_fall_test_PP(In1_1 : real;
523
	In2_1 : real;
524
	In2_2 : real;
525
	In2_3 : real;
526
	In2_4 : real;
527
	In2_5 : real;
528
	In3_1 : int;
529
	In3_2 : int;
530
	In3_3 : int;
531
	In3_4 : int;
532
	In3_5 : int;
533
	In3_6 : int;
534
	In4_1 : real;
535
	In5_1 : real;
536
	In5_2 : real;
537
	In5_3 : real;
538
	In5_4 : real;
539
	In5_5 : real;
540
	In6_1 : int;
541
	In6_2 : int;
542
	In6_3 : int;
543
	In6_4 : int;
544
	In6_5 : int;
545
	In6_6 : int;
546
	In7_1 : bool;
547
	In8_1 : bool;)
548
returns(Out1_1 : bool;
549
	Out2_1 : bool;
550
	Out2_2 : bool;
551
	Out2_3 : bool;
552
	Out2_4 : bool;
553
	Out2_5 : bool;
554
	Out3_1 : bool;
555
	Out3_2 : bool;
556
	Out3_3 : bool;
557
	Out3_4 : bool;
558
	Out3_5 : bool;
559
	Out3_6 : bool;
560
	Out4_1 : bool;
561
	Out5_1 : bool;
562
	Out5_2 : bool;
563
	Out5_3 : bool;
564
	Out5_4 : bool;
565
	Out5_5 : bool;
566
	Out6_1 : bool;
567
	Out6_2 : bool;
568
	Out6_3 : bool;
569
	Out6_4 : bool;
570
	Out6_5 : bool;
571
	Out6_6 : bool;
572
	Out7_1 : bool;
573
	Out8_1 : bool;);
574
var DetectFallNegative_1 : bool;
575
	DetectFallNegative1_1 : bool;
576
	DetectFallNegative1_2 : bool;
577
	DetectFallNegative1_3 : bool;
578
	DetectFallNegative1_4 : bool;
579
	DetectFallNegative1_5 : bool;
580
	DetectFallNegative2_1 : bool;
581
	DetectFallNegative2_2 : bool;
582
	DetectFallNegative2_3 : bool;
583
	DetectFallNegative2_4 : bool;
584
	DetectFallNegative2_5 : bool;
585
	DetectFallNegative2_6 : bool;
586
	DetectFallNegative3_1 : bool;
587
	DetectFallNonpositive_1 : bool;
588
	DetectFallNonpositive1_1 : bool;
589
	DetectFallNonpositive1_2 : bool;
590
	DetectFallNonpositive1_3 : bool;
591
	DetectFallNonpositive1_4 : bool;
592
	DetectFallNonpositive1_5 : bool;
593
	DetectFallNonpositive2_1 : bool;
594
	DetectFallNonpositive2_2 : bool;
595
	DetectFallNonpositive2_3 : bool;
596
	DetectFallNonpositive2_4 : bool;
597
	DetectFallNonpositive2_5 : bool;
598
	DetectFallNonpositive2_6 : bool;
599
	DetectFallNonpositive3_1 : bool;
600
	__time_step : real;
601
	__nb_step : int;
602
let
603
	DetectFallNegative_1 = DetectFallNegative_283_003(In1_1, __time_step, __nb_step);
604
	(DetectFallNegative1_1, DetectFallNegative1_2, DetectFallNegative1_3, DetectFallNegative1_4, DetectFallNegative1_5) = DetectFallNegative1_304_003(In2_1, In2_2, In2_3, In2_4, In2_5, __time_step, __nb_step);
605
	(DetectFallNegative2_1, DetectFallNegative2_2, DetectFallNegative2_3, DetectFallNegative2_4, DetectFallNegative2_5, DetectFallNegative2_6) = DetectFallNegative2_325_004(In3_1, In3_2, In3_3, In3_4, In3_5, In3_6, __time_step, __nb_step);
606
	DetectFallNegative3_1 = DetectFallNegative3_346_004(In7_1, __time_step, __nb_step);
607
	DetectFallNonpositive_1 = DetectFallNonpositive_367_003(In4_1, __time_step, __nb_step);
608
	(DetectFallNonpositive1_1, DetectFallNonpositive1_2, DetectFallNonpositive1_3, DetectFallNonpositive1_4, DetectFallNonpositive1_5) = DetectFallNonpositive1_388_008(In5_1, In5_2, In5_3, In5_4, In5_5, __time_step, __nb_step);
609
	(DetectFallNonpositive2_1, DetectFallNonpositive2_2, DetectFallNonpositive2_3, DetectFallNonpositive2_4, DetectFallNonpositive2_5, DetectFallNonpositive2_6) = DetectFallNonpositive2_409_005(In6_1, In6_2, In6_3, In6_4, In6_5, In6_6, __time_step, __nb_step);
610
	DetectFallNonpositive3_1 = DetectFallNonpositive3_430_003(In8_1, __time_step, __nb_step);
611
	Out1_1 = DetectFallNegative_1;
612
	Out2_1 = DetectFallNegative1_1;
613
	Out2_2 = DetectFallNegative1_2;
614
	Out2_3 = DetectFallNegative1_3;
615
	Out2_4 = DetectFallNegative1_4;
616
	Out2_5 = DetectFallNegative1_5;
617
	Out3_1 = DetectFallNegative2_1;
618
	Out3_2 = DetectFallNegative2_2;
619
	Out3_3 = DetectFallNegative2_3;
620
	Out3_4 = DetectFallNegative2_4;
621
	Out3_5 = DetectFallNegative2_5;
622
	Out3_6 = DetectFallNegative2_6;
623
	Out4_1 = DetectFallNonpositive_1;
624
	Out5_1 = DetectFallNonpositive1_1;
625
	Out5_2 = DetectFallNonpositive1_2;
626
	Out5_3 = DetectFallNonpositive1_3;
627
	Out5_4 = DetectFallNonpositive1_4;
628
	Out5_5 = DetectFallNonpositive1_5;
629
	Out6_1 = DetectFallNonpositive2_1;
630
	Out6_2 = DetectFallNonpositive2_2;
631
	Out6_3 = DetectFallNonpositive2_3;
632
	Out6_4 = DetectFallNonpositive2_4;
633
	Out6_5 = DetectFallNonpositive2_5;
634
	Out6_6 = DetectFallNonpositive2_6;
635
	Out7_1 = DetectFallNegative3_1;
636
	Out8_1 = DetectFallNonpositive3_1;
637
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
638
	__nb_step = (0 -> ((pre __nb_step) + 1));
639
tel
640

    
(1050-1050/1153)