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:54
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_rise_test_PP/Detect Rise
15
Nonnegative/Nonnegative
16
*)
17
node  Nonnegative_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_rise_test_PP/Detect Rise
31
Nonnegative
32
*)
33
node  DetectRiseNonnegative_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
	Nonnegative_1 : bool;
40
let
41
	DelayInput1_1 = (false -> (pre Nonnegative_1));
42
	FixPtRelationalOperator_1 = (bool_to_int(Nonnegative_1) > bool_to_int(DelayInput1_1));
43
	Nonnegative_1 = Nonnegative_287_003(U_1, __time_step, __nb_step);
44
	Y_1 = FixPtRelationalOperator_1;
45
tel
46

    
47
(*
48
Original block name: detect_rise_test_PP/Detect Rise
49
Nonnegative1/Nonnegative
50
*)
51
node  Nonnegative_308_004(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_rise_test_PP/Detect Rise
85
Nonnegative1
86
*)
87
node  DetectRiseNonnegative1_304_004(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
	Nonnegative_1 : bool;
110
	Nonnegative_2 : bool;
111
	Nonnegative_3 : bool;
112
	Nonnegative_4 : bool;
113
	Nonnegative_5 : bool;
114
let
115
	DelayInput1_1 = (false -> (pre Nonnegative_1));
116
	DelayInput1_2 = (false -> (pre Nonnegative_2));
117
	DelayInput1_3 = (false -> (pre Nonnegative_3));
118
	DelayInput1_4 = (false -> (pre Nonnegative_4));
119
	DelayInput1_5 = (false -> (pre Nonnegative_5));
120
	FixPtRelationalOperator_1 = (bool_to_int(Nonnegative_1) > bool_to_int(DelayInput1_1));
121
	FixPtRelationalOperator_2 = (bool_to_int(Nonnegative_2) > bool_to_int(DelayInput1_2));
122
	FixPtRelationalOperator_3 = (bool_to_int(Nonnegative_3) > bool_to_int(DelayInput1_3));
123
	FixPtRelationalOperator_4 = (bool_to_int(Nonnegative_4) > bool_to_int(DelayInput1_4));
124
	FixPtRelationalOperator_5 = (bool_to_int(Nonnegative_5) > bool_to_int(DelayInput1_5));
125
	(Nonnegative_1, Nonnegative_2, Nonnegative_3, Nonnegative_4, Nonnegative_5) = Nonnegative_308_004(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_rise_test_PP/Detect Rise
135
Nonnegative2/Nonnegative
136
*)
137
node  Nonnegative_329_005(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_rise_test_PP/Detect Rise
176
Nonnegative2
177
*)
178
node  DetectRiseNonnegative2_325_005(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
	Nonnegative_1 : bool;
205
	Nonnegative_2 : bool;
206
	Nonnegative_3 : bool;
207
	Nonnegative_4 : bool;
208
	Nonnegative_5 : bool;
209
	Nonnegative_6 : bool;
210
let
211
	DelayInput1_1 = (false -> (pre Nonnegative_1));
212
	DelayInput1_2 = (false -> (pre Nonnegative_2));
213
	DelayInput1_3 = (false -> (pre Nonnegative_3));
214
	DelayInput1_4 = (false -> (pre Nonnegative_4));
215
	DelayInput1_5 = (false -> (pre Nonnegative_5));
216
	DelayInput1_6 = (false -> (pre Nonnegative_6));
217
	FixPtRelationalOperator_1 = (bool_to_int(Nonnegative_1) > bool_to_int(DelayInput1_1));
218
	FixPtRelationalOperator_2 = (bool_to_int(Nonnegative_2) > bool_to_int(DelayInput1_2));
219
	FixPtRelationalOperator_3 = (bool_to_int(Nonnegative_3) > bool_to_int(DelayInput1_3));
220
	FixPtRelationalOperator_4 = (bool_to_int(Nonnegative_4) > bool_to_int(DelayInput1_4));
221
	FixPtRelationalOperator_5 = (bool_to_int(Nonnegative_5) > bool_to_int(DelayInput1_5));
222
	FixPtRelationalOperator_6 = (bool_to_int(Nonnegative_6) > bool_to_int(DelayInput1_6));
223
	(Nonnegative_1, Nonnegative_2, Nonnegative_3, Nonnegative_4, Nonnegative_5, Nonnegative_6) = Nonnegative_329_005(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_rise_test_PP/Detect Rise
234
Nonnegative3/Nonnegative
235
*)
236
node  Nonnegative_350_005(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_rise_test_PP/Detect Rise
250
Nonnegative3
251
*)
252
node  DetectRiseNonnegative3_346_005(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
	Nonnegative_1 : bool;
259
let
260
	DelayInput1_1 = (false -> (pre Nonnegative_1));
261
	FixPtRelationalOperator_1 = (bool_to_int(Nonnegative_1) > bool_to_int(DelayInput1_1));
262
	Nonnegative_1 = Nonnegative_350_005(U_1, __time_step, __nb_step);
263
	Y_1 = FixPtRelationalOperator_1;
264
tel
265

    
266
(*
267
Original block name: detect_rise_test_PP/Detect Rise
268
Positive/Positive
269
*)
270
node  Positive_371_004(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_rise_test_PP/Detect Rise
284
Positive
285
*)
286
node  DetectRisePositive_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
	Positive_1 : bool;
293
let
294
	DelayInput1_1 = (false -> (pre Positive_1));
295
	FixPtRelationalOperator_1 = (bool_to_int(Positive_1) > bool_to_int(DelayInput1_1));
296
	Positive_1 = Positive_371_004(U_1, __time_step, __nb_step);
297
	Y_1 = FixPtRelationalOperator_1;
298
tel
299

    
300
(*
301
Original block name: detect_rise_test_PP/Detect Rise
302
Positive1/Positive
303
*)
304
node  Positive_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_rise_test_PP/Detect Rise
338
Positive1
339
*)
340
node  DetectRisePositive1_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
	Positive_1 : bool;
363
	Positive_2 : bool;
364
	Positive_3 : bool;
365
	Positive_4 : bool;
366
	Positive_5 : bool;
367
let
368
	DelayInput1_1 = (false -> (pre Positive_1));
369
	DelayInput1_2 = (false -> (pre Positive_2));
370
	DelayInput1_3 = (false -> (pre Positive_3));
371
	DelayInput1_4 = (false -> (pre Positive_4));
372
	DelayInput1_5 = (false -> (pre Positive_5));
373
	FixPtRelationalOperator_1 = (bool_to_int(Positive_1) > bool_to_int(DelayInput1_1));
374
	FixPtRelationalOperator_2 = (bool_to_int(Positive_2) > bool_to_int(DelayInput1_2));
375
	FixPtRelationalOperator_3 = (bool_to_int(Positive_3) > bool_to_int(DelayInput1_3));
376
	FixPtRelationalOperator_4 = (bool_to_int(Positive_4) > bool_to_int(DelayInput1_4));
377
	FixPtRelationalOperator_5 = (bool_to_int(Positive_5) > bool_to_int(DelayInput1_5));
378
	(Positive_1, Positive_2, Positive_3, Positive_4, Positive_5) = Positive_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_rise_test_PP/Detect Rise
388
Positive2/Positive
389
*)
390
node  Positive_413_004(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_rise_test_PP/Detect Rise
429
Positive2
430
*)
431
node  DetectRisePositive2_409_006(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
	Positive_1 : bool;
458
	Positive_2 : bool;
459
	Positive_3 : bool;
460
	Positive_4 : bool;
461
	Positive_5 : bool;
462
	Positive_6 : bool;
463
let
464
	DelayInput1_1 = (false -> (pre Positive_1));
465
	DelayInput1_2 = (false -> (pre Positive_2));
466
	DelayInput1_3 = (false -> (pre Positive_3));
467
	DelayInput1_4 = (false -> (pre Positive_4));
468
	DelayInput1_5 = (false -> (pre Positive_5));
469
	DelayInput1_6 = (false -> (pre Positive_6));
470
	FixPtRelationalOperator_1 = (bool_to_int(Positive_1) > bool_to_int(DelayInput1_1));
471
	FixPtRelationalOperator_2 = (bool_to_int(Positive_2) > bool_to_int(DelayInput1_2));
472
	FixPtRelationalOperator_3 = (bool_to_int(Positive_3) > bool_to_int(DelayInput1_3));
473
	FixPtRelationalOperator_4 = (bool_to_int(Positive_4) > bool_to_int(DelayInput1_4));
474
	FixPtRelationalOperator_5 = (bool_to_int(Positive_5) > bool_to_int(DelayInput1_5));
475
	FixPtRelationalOperator_6 = (bool_to_int(Positive_6) > bool_to_int(DelayInput1_6));
476
	(Positive_1, Positive_2, Positive_3, Positive_4, Positive_5, Positive_6) = Positive_413_004(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_rise_test_PP/Detect Rise
487
Positive3/Positive
488
*)
489
node  Positive_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_rise_test_PP/Detect Rise
503
Positive3
504
*)
505
node  DetectRisePositive3_430_004(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
	Positive_1 : bool;
512
let
513
	DelayInput1_1 = (false -> (pre Positive_1));
514
	FixPtRelationalOperator_1 = (bool_to_int(Positive_1) > bool_to_int(DelayInput1_1));
515
	Positive_1 = Positive_434_003(U_1, __time_step, __nb_step);
516
	Y_1 = FixPtRelationalOperator_1;
517
tel
518

    
519
(*
520
Original block name: detect_rise_test_PP
521
*)
522
node  detect_rise_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 DetectRiseNonnegative_1 : bool;
575
	DetectRiseNonnegative1_1 : bool;
576
	DetectRiseNonnegative1_2 : bool;
577
	DetectRiseNonnegative1_3 : bool;
578
	DetectRiseNonnegative1_4 : bool;
579
	DetectRiseNonnegative1_5 : bool;
580
	DetectRiseNonnegative2_1 : bool;
581
	DetectRiseNonnegative2_2 : bool;
582
	DetectRiseNonnegative2_3 : bool;
583
	DetectRiseNonnegative2_4 : bool;
584
	DetectRiseNonnegative2_5 : bool;
585
	DetectRiseNonnegative2_6 : bool;
586
	DetectRiseNonnegative3_1 : bool;
587
	DetectRisePositive_1 : bool;
588
	DetectRisePositive1_1 : bool;
589
	DetectRisePositive1_2 : bool;
590
	DetectRisePositive1_3 : bool;
591
	DetectRisePositive1_4 : bool;
592
	DetectRisePositive1_5 : bool;
593
	DetectRisePositive2_1 : bool;
594
	DetectRisePositive2_2 : bool;
595
	DetectRisePositive2_3 : bool;
596
	DetectRisePositive2_4 : bool;
597
	DetectRisePositive2_5 : bool;
598
	DetectRisePositive2_6 : bool;
599
	DetectRisePositive3_1 : bool;
600
	__time_step : real;
601
	__nb_step : int;
602
let
603
	DetectRiseNonnegative_1 = DetectRiseNonnegative_283_003(In4_1, __time_step, __nb_step);
604
	(DetectRiseNonnegative1_1, DetectRiseNonnegative1_2, DetectRiseNonnegative1_3, DetectRiseNonnegative1_4, DetectRiseNonnegative1_5) = DetectRiseNonnegative1_304_004(In5_1, In5_2, In5_3, In5_4, In5_5, __time_step, __nb_step);
605
	(DetectRiseNonnegative2_1, DetectRiseNonnegative2_2, DetectRiseNonnegative2_3, DetectRiseNonnegative2_4, DetectRiseNonnegative2_5, DetectRiseNonnegative2_6) = DetectRiseNonnegative2_325_005(In6_1, In6_2, In6_3, In6_4, In6_5, In6_6, __time_step, __nb_step);
606
	DetectRiseNonnegative3_1 = DetectRiseNonnegative3_346_005(In8_1, __time_step, __nb_step);
607
	DetectRisePositive_1 = DetectRisePositive_367_003(In1_1, __time_step, __nb_step);
608
	(DetectRisePositive1_1, DetectRisePositive1_2, DetectRisePositive1_3, DetectRisePositive1_4, DetectRisePositive1_5) = DetectRisePositive1_388_008(In2_1, In2_2, In2_3, In2_4, In2_5, __time_step, __nb_step);
609
	(DetectRisePositive2_1, DetectRisePositive2_2, DetectRisePositive2_3, DetectRisePositive2_4, DetectRisePositive2_5, DetectRisePositive2_6) = DetectRisePositive2_409_006(In3_1, In3_2, In3_3, In3_4, In3_5, In3_6, __time_step, __nb_step);
610
	DetectRisePositive3_1 = DetectRisePositive3_430_004(In7_1, __time_step, __nb_step);
611
	Out1_1 = DetectRisePositive_1;
612
	Out2_1 = DetectRisePositive1_1;
613
	Out2_2 = DetectRisePositive1_2;
614
	Out2_3 = DetectRisePositive1_3;
615
	Out2_4 = DetectRisePositive1_4;
616
	Out2_5 = DetectRisePositive1_5;
617
	Out3_1 = DetectRisePositive2_1;
618
	Out3_2 = DetectRisePositive2_2;
619
	Out3_3 = DetectRisePositive2_3;
620
	Out3_4 = DetectRisePositive2_4;
621
	Out3_5 = DetectRisePositive2_5;
622
	Out3_6 = DetectRisePositive2_6;
623
	Out4_1 = DetectRiseNonnegative_1;
624
	Out5_1 = DetectRiseNonnegative1_1;
625
	Out5_2 = DetectRiseNonnegative1_2;
626
	Out5_3 = DetectRiseNonnegative1_3;
627
	Out5_4 = DetectRiseNonnegative1_4;
628
	Out5_5 = DetectRiseNonnegative1_5;
629
	Out6_1 = DetectRiseNonnegative2_1;
630
	Out6_2 = DetectRiseNonnegative2_2;
631
	Out6_3 = DetectRiseNonnegative2_3;
632
	Out6_4 = DetectRiseNonnegative2_4;
633
	Out6_5 = DetectRiseNonnegative2_5;
634
	Out6_6 = DetectRiseNonnegative2_6;
635
	Out7_1 = DetectRisePositive3_1;
636
	Out8_1 = DetectRiseNonnegative3_1;
637
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
638
	__nb_step = (0 -> ((pre __nb_step) + 1));
639
tel
640

    
(1051-1051/1153)