Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (16.3 KB)

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

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:30:00
5
node  abs_int(x : int;)
6
returns(y : int;);
7
let
8
	y = if (x >= 0) then
9
		x
10
	    else (- x);
11
tel
12

    
13
node  rem_int_int(x : int;
14
	y : int;)
15
returns(z : int;);
16
let
17
	z = if ((y = 0) or (x = 0)) then
18
		0
19
	    else ((x mod y) - (if (((x mod y) <> 0) and (x <= 0)) then abs_int(y) else 0));
20
tel
21

    
22
node  bool_to_real(x : bool;)
23
returns(y : real;);
24
let
25
	y = if x then
26
		1.0
27
	    else 0.0;
28
tel
29

    
30
node  int_to_uint16(x : int;)
31
returns(y : int;);
32
let
33
	y = if (x > 65535) then
34
		(0 + rem_int_int(( x - 65535 - 1 ), 65536))
35
	    else if (x < 0) then
36
		(65535 + rem_int_int(( x + 0 + 1 ), 65536))
37
	    else x;
38
tel
39

    
40
(*
41
Original block name: Detector1_PP/Detector1/Detector Delayed Fixed Duration Reset False
42
*)
43
node  DetectorDelayedFixedDurationResetFalse_495_049(u_1 : bool;
44
	reset_1 : bool;
45
	w_1 : int;
46
	d_1 : int;
47
	r_1 : int;
48
	__time_step : real;
49
	__nb_step : int;)
50
returns(Out1_1 : bool;);
51
var Constant_1 : int;
52
	Constant1_1 : int;
53
	Constant2_1 : int;
54
	Constant3_1 : int;
55
	LogicalOperator_1 : bool;
56
	LogicalOperator1_1 : bool;
57
	LogicalOperator2_1 : bool;
58
	LogicalOperator3_1 : bool;
59
	LogicalOperator4_1 : bool;
60
	LogicalOperator5_1 : bool;
61
	LogicalOperator6_1 : bool;
62
	LogicalOperator7_1 : bool;
63
	LogicalOperator8_1 : bool;
64
	LogicalOperator9_1 : bool;
65
	RelationalOperator_1 : bool;
66
	RelationalOperator3_1 : bool;
67
	RelationalOperator4_1 : bool;
68
	Sum_1 : int;
69
	Switch_1 : int;
70
	Switch1_1 : int;
71
	Switch2_1 : int;
72
	Switch3_1 : int;
73
	Switch4_1 : bool;
74
	Switch5_1 : bool;
75
	UnitDelay_1 : int;
76
	UnitDelay1_1 : bool;
77
let
78
	Constant_1 = 1;
79
	Constant1_1 = 0;
80
	Constant2_1 = 1;
81
	Constant3_1 = 0;
82
	LogicalOperator_1 = ( u_1 and LogicalOperator1_1 );
83
	LogicalOperator1_1 = (not reset_1);
84
	LogicalOperator2_1 = ( LogicalOperator1_1 and UnitDelay1_1 );
85
	LogicalOperator3_1 = ( LogicalOperator4_1 and LogicalOperator2_1 );
86
	LogicalOperator4_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
87
	LogicalOperator5_1 = ( LogicalOperator6_1 and LogicalOperator2_1 );
88
	LogicalOperator6_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
89
	LogicalOperator7_1 = ( LogicalOperator8_1 and LogicalOperator9_1 and RelationalOperator4_1 and LogicalOperator2_1 );
90
	LogicalOperator8_1 = (not RelationalOperator_1);
91
	LogicalOperator9_1 = (not RelationalOperator3_1);
92
	RelationalOperator_1 = (UnitDelay_1 < w_1);
93
	RelationalOperator3_1 = (UnitDelay_1 < d_1);
94
	RelationalOperator4_1 = (UnitDelay_1 < r_1);
95
	Sum_1 = int_to_uint16(0 + UnitDelay_1 + Constant_1);
96
	Switch_1 = if RelationalOperator_1 then
97
		Switch1_1
98
	    else Switch2_1;
99
	Switch1_1 = if LogicalOperator_1 then
100
		Sum_1
101
	    else Constant1_1;
102
	Switch2_1 = if LogicalOperator3_1 then
103
		Sum_1
104
	    else Switch3_1;
105
	Switch3_1 = if LogicalOperator_1 then
106
		Constant2_1
107
	    else Constant3_1;
108
	Switch4_1 = if RelationalOperator_1 then
109
		LogicalOperator_1
110
	    else Switch5_1;
111
	Switch5_1 = if LogicalOperator5_1 then
112
		UnitDelay1_1
113
	    else LogicalOperator_1;
114
	UnitDelay_1 = (0 -> (pre Switch_1));
115
	UnitDelay1_1 = (false -> (pre Switch4_1));
116
	Out1_1 = LogicalOperator7_1;
117
tel
118

    
119
(*
120
Original block name: Detector1_PP/Detector1
121
*)
122
node  Detector1_437_045(In_1 : bool;
123
	__time_step : real;
124
	__nb_step : int;)
125
returns(Out_1 : bool;);
126
var Constant1_1 : int;
127
	Constant2_1 : int;
128
	Constant3_1 : int;
129
	DetectorDelayedFixedDurationResetFalse_1 : bool;
130
	Reset_1 : bool;
131
let
132
	Constant1_1 = 1;
133
	Constant2_1 = 1;
134
	Constant3_1 = 6;
135
	DetectorDelayedFixedDurationResetFalse_1 = DetectorDelayedFixedDurationResetFalse_495_049(In_1, Reset_1, Constant1_1, Constant2_1, Constant3_1, __time_step, __nb_step);
136
	Reset_1 = false;
137
	Out_1 = DetectorDelayedFixedDurationResetFalse_1;
138
tel
139

    
140
(*
141
Original block name: Detector1_PP/Detector2/Detector Delayed Fixed Duration Reset False
142
*)
143
node  DetectorDelayedFixedDurationResetFalse_15377_476(u_1 : bool;
144
	reset_1 : bool;
145
	w_1 : int;
146
	d_1 : int;
147
	r_1 : int;
148
	__time_step : real;
149
	__nb_step : int;)
150
returns(Out1_1 : bool;);
151
var Constant_1 : int;
152
	Constant1_1 : int;
153
	Constant2_1 : int;
154
	Constant3_1 : int;
155
	LogicalOperator_1 : bool;
156
	LogicalOperator1_1 : bool;
157
	LogicalOperator2_1 : bool;
158
	LogicalOperator3_1 : bool;
159
	LogicalOperator4_1 : bool;
160
	LogicalOperator5_1 : bool;
161
	LogicalOperator6_1 : bool;
162
	LogicalOperator7_1 : bool;
163
	LogicalOperator8_1 : bool;
164
	LogicalOperator9_1 : bool;
165
	RelationalOperator_1 : bool;
166
	RelationalOperator3_1 : bool;
167
	RelationalOperator4_1 : bool;
168
	Sum_1 : int;
169
	Switch_1 : int;
170
	Switch1_1 : int;
171
	Switch2_1 : int;
172
	Switch3_1 : int;
173
	Switch4_1 : bool;
174
	Switch5_1 : bool;
175
	UnitDelay_1 : int;
176
	UnitDelay1_1 : bool;
177
let
178
	Constant_1 = 1;
179
	Constant1_1 = 0;
180
	Constant2_1 = 1;
181
	Constant3_1 = 0;
182
	LogicalOperator_1 = ( u_1 and LogicalOperator1_1 );
183
	LogicalOperator1_1 = (not reset_1);
184
	LogicalOperator2_1 = ( LogicalOperator1_1 and UnitDelay1_1 );
185
	LogicalOperator3_1 = ( LogicalOperator4_1 and LogicalOperator2_1 );
186
	LogicalOperator4_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
187
	LogicalOperator5_1 = ( LogicalOperator6_1 and LogicalOperator2_1 );
188
	LogicalOperator6_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
189
	LogicalOperator7_1 = ( LogicalOperator8_1 and LogicalOperator9_1 and RelationalOperator4_1 and LogicalOperator2_1 );
190
	LogicalOperator8_1 = (not RelationalOperator_1);
191
	LogicalOperator9_1 = (not RelationalOperator3_1);
192
	RelationalOperator_1 = (UnitDelay_1 < w_1);
193
	RelationalOperator3_1 = (UnitDelay_1 < d_1);
194
	RelationalOperator4_1 = (UnitDelay_1 < r_1);
195
	Sum_1 = int_to_uint16(0 + UnitDelay_1 + Constant_1);
196
	Switch_1 = if RelationalOperator_1 then
197
		Switch1_1
198
	    else Switch2_1;
199
	Switch1_1 = if LogicalOperator_1 then
200
		Sum_1
201
	    else Constant1_1;
202
	Switch2_1 = if LogicalOperator3_1 then
203
		Sum_1
204
	    else Switch3_1;
205
	Switch3_1 = if LogicalOperator_1 then
206
		Constant2_1
207
	    else Constant3_1;
208
	Switch4_1 = if RelationalOperator_1 then
209
		LogicalOperator_1
210
	    else Switch5_1;
211
	Switch5_1 = if LogicalOperator5_1 then
212
		UnitDelay1_1
213
	    else LogicalOperator_1;
214
	UnitDelay_1 = (0 -> (pre Switch_1));
215
	UnitDelay1_1 = (false -> (pre Switch4_1));
216
	Out1_1 = LogicalOperator7_1;
217
tel
218

    
219
(*
220
Original block name: Detector1_PP/Detector2
221
*)
222
node  Detector2_438_043(In_1 : bool;
223
	__time_step : real;
224
	__nb_step : int;)
225
returns(Out_1 : bool;);
226
var Constant1_1 : int;
227
	Constant2_1 : int;
228
	Constant3_1 : int;
229
	DetectorDelayedFixedDurationResetFalse_1 : bool;
230
	Reset_1 : bool;
231
let
232
	Constant1_1 = 1;
233
	Constant2_1 = 6;
234
	Constant3_1 = 7;
235
	DetectorDelayedFixedDurationResetFalse_1 = DetectorDelayedFixedDurationResetFalse_15377_476(In_1, Reset_1, Constant1_1, Constant2_1, Constant3_1, __time_step, __nb_step);
236
	Reset_1 = false;
237
	Out_1 = DetectorDelayedFixedDurationResetFalse_1;
238
tel
239

    
240
(*
241
Original block name: Detector1_PP/Detector3/Detector Synchronized Reset False
242
*)
243
node  DetectorSynchronizedResetFalse_15410_476(u_1 : bool;
244
	reset_1 : bool;
245
	inW_1 : int;
246
	__time_step : real;
247
	__nb_step : int;)
248
returns(Out1_1 : bool;);
249
var Constant_1 : int;
250
	Constant3_1 : int;
251
	Constant4_1 : int;
252
	LogicalOperator_1 : bool;
253
	LogicalOperator1_1 : bool;
254
	LogicalOperator7_1 : bool;
255
	RelationalOperator_1 : bool;
256
	Sum_1 : int;
257
	Sum1_1 : int;
258
	Switch_1 : int;
259
	Switch1_1 : int;
260
	UnitDelay_1 : int;
261
let
262
	Constant_1 = 1;
263
	Constant3_1 = 0;
264
	Constant4_1 = 1;
265
	LogicalOperator_1 = ( u_1 and LogicalOperator1_1 );
266
	LogicalOperator1_1 = (not reset_1);
267
	LogicalOperator7_1 = ( RelationalOperator_1 and LogicalOperator_1 );
268
	RelationalOperator_1 = (UnitDelay_1 >= Sum1_1);
269
	Sum_1 = int_to_uint16(0 + UnitDelay_1 + Constant_1);
270
	Sum1_1 = int_to_uint16(0 + inW_1 - Constant4_1);
271
	Switch_1 = if LogicalOperator_1 then
272
		Switch1_1
273
	    else Constant3_1;
274
	Switch1_1 = if RelationalOperator_1 then
275
		UnitDelay_1
276
	    else Sum_1;
277
	UnitDelay_1 = (0 -> (pre Switch_1));
278
	Out1_1 = LogicalOperator7_1;
279
tel
280

    
281
(*
282
Original block name: Detector1_PP/Detector3
283
*)
284
node  Detector3_439_043(In_1 : bool;
285
	reset_1 : bool;
286
	__time_step : real;
287
	__nb_step : int;)
288
returns(Out_1 : bool;);
289
var Constant1_1 : int;
290
	DetectorSynchronizedResetFalse_1 : bool;
291
let
292
	Constant1_1 = 7;
293
	DetectorSynchronizedResetFalse_1 = DetectorSynchronizedResetFalse_15410_476(In_1, reset_1, Constant1_1, __time_step, __nb_step);
294
	Out_1 = DetectorSynchronizedResetFalse_1;
295
tel
296

    
297
(*
298
Original block name: Detector1_PP/Detector5/Detector Delayed Fixed Duration Reset False
299
*)
300
node  DetectorDelayedFixedDurationResetFalse_15445_476(u_1 : bool;
301
	reset_1 : bool;
302
	w_1 : int;
303
	d_1 : int;
304
	r_1 : int;
305
	__time_step : real;
306
	__nb_step : int;)
307
returns(Out1_1 : bool;);
308
var Constant_1 : int;
309
	Constant1_1 : int;
310
	Constant2_1 : int;
311
	Constant3_1 : int;
312
	LogicalOperator_1 : bool;
313
	LogicalOperator1_1 : bool;
314
	LogicalOperator2_1 : bool;
315
	LogicalOperator3_1 : bool;
316
	LogicalOperator4_1 : bool;
317
	LogicalOperator5_1 : bool;
318
	LogicalOperator6_1 : bool;
319
	LogicalOperator7_1 : bool;
320
	LogicalOperator8_1 : bool;
321
	LogicalOperator9_1 : bool;
322
	RelationalOperator_1 : bool;
323
	RelationalOperator3_1 : bool;
324
	RelationalOperator4_1 : bool;
325
	Sum_1 : int;
326
	Switch_1 : int;
327
	Switch1_1 : int;
328
	Switch2_1 : int;
329
	Switch3_1 : int;
330
	Switch4_1 : bool;
331
	Switch5_1 : bool;
332
	UnitDelay_1 : int;
333
	UnitDelay1_1 : bool;
334
let
335
	Constant_1 = 1;
336
	Constant1_1 = 0;
337
	Constant2_1 = 1;
338
	Constant3_1 = 0;
339
	LogicalOperator_1 = ( u_1 and LogicalOperator1_1 );
340
	LogicalOperator1_1 = (not reset_1);
341
	LogicalOperator2_1 = ( LogicalOperator1_1 and UnitDelay1_1 );
342
	LogicalOperator3_1 = ( LogicalOperator4_1 and LogicalOperator2_1 );
343
	LogicalOperator4_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
344
	LogicalOperator5_1 = ( LogicalOperator6_1 and LogicalOperator2_1 );
345
	LogicalOperator6_1 = ( RelationalOperator3_1 or RelationalOperator4_1 );
346
	LogicalOperator7_1 = ( LogicalOperator8_1 and LogicalOperator9_1 and RelationalOperator4_1 and LogicalOperator2_1 );
347
	LogicalOperator8_1 = (not RelationalOperator_1);
348
	LogicalOperator9_1 = (not RelationalOperator3_1);
349
	RelationalOperator_1 = (UnitDelay_1 < w_1);
350
	RelationalOperator3_1 = (UnitDelay_1 < d_1);
351
	RelationalOperator4_1 = (UnitDelay_1 < r_1);
352
	Sum_1 = int_to_uint16(0 + UnitDelay_1 + Constant_1);
353
	Switch_1 = if RelationalOperator_1 then
354
		Switch1_1
355
	    else Switch2_1;
356
	Switch1_1 = if LogicalOperator_1 then
357
		Sum_1
358
	    else Constant1_1;
359
	Switch2_1 = if LogicalOperator3_1 then
360
		Sum_1
361
	    else Switch3_1;
362
	Switch3_1 = if LogicalOperator_1 then
363
		Constant2_1
364
	    else Constant3_1;
365
	Switch4_1 = if RelationalOperator_1 then
366
		LogicalOperator_1
367
	    else Switch5_1;
368
	Switch5_1 = if LogicalOperator5_1 then
369
		UnitDelay1_1
370
	    else LogicalOperator_1;
371
	UnitDelay_1 = (0 -> (pre Switch_1));
372
	UnitDelay1_1 = (false -> (pre Switch4_1));
373
	Out1_1 = LogicalOperator7_1;
374
tel
375

    
376
(*
377
Original block name: Detector1_PP/Detector5
378
*)
379
node  Detector5_440_042(In_1 : bool;
380
	__time_step : real;
381
	__nb_step : int;)
382
returns(Out_1 : bool;);
383
var Constant1_1 : int;
384
	Constant2_1 : int;
385
	Constant3_1 : int;
386
	DetectorDelayedFixedDurationResetFalse_1 : bool;
387
	Reset_1 : bool;
388
let
389
	Constant1_1 = 1;
390
	Constant2_1 = 3;
391
	Constant3_1 = 6;
392
	DetectorDelayedFixedDurationResetFalse_1 = DetectorDelayedFixedDurationResetFalse_15445_476(In_1, Reset_1, Constant1_1, Constant2_1, Constant3_1, __time_step, __nb_step);
393
	Reset_1 = false;
394
	Out_1 = DetectorDelayedFixedDurationResetFalse_1;
395
tel
396

    
397
(*
398
Original block name: Detector1_PP/Implies1
399
*)
400
node  Implies1_441_042(A_1 : bool;
401
	B_1 : bool;
402
	__time_step : real;
403
	__nb_step : int;)
404
returns(A_equal__equal__gt_B_1 : bool;);
405
var LogicalOperator_1 : bool;
406
	LogicalOperator1_1 : bool;
407
let
408
	LogicalOperator_1 = ( LogicalOperator1_1 or B_1 );
409
	LogicalOperator1_1 = (not A_1);
410
	A_equal__equal__gt_B_1 = LogicalOperator_1;
411
tel
412

    
413
(*
414
Original block name: Detector1_PP/Implies3
415
*)
416
node  Implies3_442_042(A_1 : bool;
417
	B_1 : bool;
418
	__time_step : real;
419
	__nb_step : int;)
420
returns(A_equal__equal__gt_B_1 : bool;);
421
var LogicalOperator_1 : bool;
422
	LogicalOperator1_1 : bool;
423
let
424
	LogicalOperator_1 = ( LogicalOperator1_1 or B_1 );
425
	LogicalOperator1_1 = (not A_1);
426
	A_equal__equal__gt_B_1 = LogicalOperator_1;
427
tel
428

    
429
(*
430
Original block name: Detector1_PP/Implies4
431
*)
432
node  Implies4_443_043(A_1 : bool;
433
	B_1 : bool;
434
	__time_step : real;
435
	__nb_step : int;)
436
returns(A_equal__equal__gt_B_1 : bool;);
437
var LogicalOperator_1 : bool;
438
	LogicalOperator1_1 : bool;
439
let
440
	LogicalOperator_1 = ( LogicalOperator1_1 or B_1 );
441
	LogicalOperator1_1 = (not A_1);
442
	A_equal__equal__gt_B_1 = LogicalOperator_1;
443
tel
444

    
445
(*
446
Original block name: Detector1_PP/WithinImplies/Subsystem
447
*)
448
node  Subsystem_15505_477(In_1 : bool;
449
	reset_1 : bool;
450
	Obs_1 : bool;
451
	__time_step : real;
452
	__nb_step : int;)
453
returns(Out1_1 : bool;);
454
var Constant_1 : bool;
455
	Constant1_1 : bool;
456
	Constant2_1 : bool;
457
	Constant3_1 : bool;
458
	Constant4_1 : bool;
459
	Constant5_1 : bool;
460
	LogicalOperator_1 : bool;
461
	LogicalOperator1_1 : bool;
462
	LogicalOperator2_1 : bool;
463
	LogicalOperator3_1 : bool;
464
	LogicalOperator4_1 : bool;
465
	LogicalOperator5_1 : bool;
466
	LogicalOperator6_1 : bool;
467
	LogicalOperator7_1 : bool;
468
	LogicalOperator8_1 : bool;
469
	LogicalOperator9_1 : bool;
470
	Switch_1 : bool;
471
	Switch1_1 : bool;
472
	Switch2_1 : bool;
473
	Switch3_1 : bool;
474
	Switch4_1 : bool;
475
	Switch6_1 : bool;
476
	UnitDelay_1 : bool;
477
	UnitDelay1_1 : bool;
478
let
479
	Constant_1 = true;
480
	Constant1_1 = true;
481
	Constant2_1 = true;
482
	Constant3_1 = true;
483
	Constant4_1 = false;
484
	Constant5_1 = false;
485
	LogicalOperator_1 = ( In_1 and LogicalOperator1_1 );
486
	LogicalOperator1_1 = (not reset_1);
487
	LogicalOperator2_1 = ( LogicalOperator3_1 and UnitDelay_1 );
488
	LogicalOperator3_1 = (not In_1);
489
	LogicalOperator4_1 = ( In_1 and LogicalOperator5_1 );
490
	LogicalOperator5_1 = (not reset_1);
491
	LogicalOperator6_1 = ( LogicalOperator7_1 and UnitDelay_1 );
492
	LogicalOperator7_1 = (not In_1);
493
	LogicalOperator8_1 = ( In_1 and LogicalOperator9_1 );
494
	LogicalOperator9_1 = (not reset_1);
495
	Switch_1 = if LogicalOperator_1 then
496
		Constant_1
497
	    else Switch1_1;
498
	Switch1_1 = if LogicalOperator2_1 then
499
		UnitDelay1_1
500
	    else Constant1_1;
501
	Switch2_1 = if LogicalOperator4_1 then
502
		Constant2_1
503
	    else Switch3_1;
504
	Switch3_1 = if LogicalOperator6_1 then
505
		Constant4_1
506
	    else UnitDelay_1;
507
	Switch4_1 = if LogicalOperator8_1 then
508
		Switch6_1
509
	    else Constant5_1;
510
	Switch6_1 = if Obs_1 then
511
		Constant3_1
512
	    else UnitDelay1_1;
513
	UnitDelay_1 = (false -> (pre Switch2_1));
514
	UnitDelay1_1 = (false -> (pre Switch4_1));
515
	Out1_1 = Switch_1;
516
tel
517

    
518
(*
519
Original block name: Detector1_PP/WithinImplies
520
*)
521
node  WithinImplies_450_042(In_1 : bool;
522
	Obs_1 : bool;
523
	__time_step : real;
524
	__nb_step : int;)
525
returns(Out1_1 : bool;);
526
var Reset_1 : bool;
527
	Subsystem_1 : bool;
528
let
529
	Reset_1 = false;
530
	Subsystem_1 = Subsystem_15505_477(In_1, Reset_1, Obs_1, __time_step, __nb_step);
531
	Out1_1 = Subsystem_1;
532
tel
533

    
534
(*
535
Original block name: Detector1_PP
536
*)
537
node  Detector1_PP(In3_1 : bool;
538
	In4_1 : real;
539
	In2_1 : real;
540
	In1_1 : real;
541
	In5_1 : bool;
542
	SENSOR_HIGH_1 : bool;
543
	CMD_1 : bool;
544
	MANUAL_RESET_1 : bool;)
545
returns(Out1_1 : bool;
546
	Out2_1 : bool;
547
	Out3_1 : bool;
548
	Out4_1 : bool;);
549
var Constant_1 : real;
550
	Constant1_1 : real;
551
	Constant2_1 : real;
552
	Constant4_1 : real;
553
	Constant5_1 : real;
554
	Detector1_1 : bool;
555
	Detector2_1 : bool;
556
	Detector3_1 : bool;
557
	Detector5_1 : bool;
558
	Implies1_1 : bool;
559
	Implies3_1 : bool;
560
	Implies4_1 : bool;
561
	LogicalOperator_1 : bool;
562
	RelationalOperator_1 : bool;
563
	RelationalOperator1_1 : bool;
564
	RelationalOperator2_1 : bool;
565
	RelationalOperator4_1 : bool;
566
	RelationalOperator5_1 : bool;
567
	WithinImplies_1 : bool;
568
	__time_step : real;
569
	__nb_step : int;
570
let
571
	Constant_1 = 1.000000000000000;
572
	Constant1_1 = 0.300000000000000;
573
	Constant2_1 = 0.000000000000000;
574
	Constant4_1 = 1.000000000000000;
575
	Constant5_1 = 0.000000000000000;
576
	Detector1_1 = Detector1_437_045(LogicalOperator_1, __time_step, __nb_step);
577
	Detector2_1 = Detector2_438_043(RelationalOperator4_1, __time_step, __nb_step);
578
	Detector3_1 = Detector3_439_043(SENSOR_HIGH_1, MANUAL_RESET_1, __time_step, __nb_step);
579
	Detector5_1 = Detector5_440_042(In5_1, __time_step, __nb_step);
580
	Implies1_1 = Implies1_441_042(Detector2_1, RelationalOperator5_1, __time_step, __nb_step);
581
	Implies3_1 = Implies3_442_042(Detector5_1, In5_1, __time_step, __nb_step);
582
	Implies4_1 = Implies4_443_043(Detector3_1, CMD_1, __time_step, __nb_step);
583
	LogicalOperator_1 = ( RelationalOperator1_1 and RelationalOperator_1 );
584
	RelationalOperator_1 = (Constant_1 = bool_to_real(In3_1));
585
	RelationalOperator1_1 = (In4_1 < Constant1_1);
586
	RelationalOperator2_1 = (bool_to_real(In3_1) = Constant2_1);
587
	RelationalOperator4_1 = (In1_1 = Constant4_1);
588
	RelationalOperator5_1 = (In2_1 = Constant5_1);
589
	WithinImplies_1 = WithinImplies_450_042(Detector1_1, RelationalOperator2_1, __time_step, __nb_step);
590
	Out1_1 = Implies3_1;
591
	Out2_1 = Implies1_1;
592
	Out3_1 = Implies4_1;
593
	Out4_1 = WithinImplies_1;
594
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
595
	__nb_step = (0 -> ((pre __nb_step) + 1));
596
tel
597