Project

General

Profile

Download (15.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:02:30
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_change_test_PP/Detect
15
Change
16
*)
17
node  DetectChange_279_003(U_1 : real;
18
	__time_step : real;
19
	__nb_step : int;)
20
returns(Y_1 : bool;);
21
var DelayInput1_1 : real;
22
	FixPtRelationalOperator_1 : bool;
23
let
24
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
25
	FixPtRelationalOperator_1 = (U_1 <> DelayInput1_1);
26
	Y_1 = FixPtRelationalOperator_1;
27
tel
28

    
29
(*
30
Original block name: detect_change_test_PP/Detect
31
Change1
32
*)
33
node  DetectChange1_291_003(U_1 : real;
34
	U_2 : real;
35
	U_3 : real;
36
	U_4 : real;
37
	U_5 : real;
38
	__time_step : real;
39
	__nb_step : int;)
40
returns(Y_1 : bool;
41
	Y_2 : bool;
42
	Y_3 : bool;
43
	Y_4 : bool;
44
	Y_5 : bool;);
45
var DelayInput1_1 : real;
46
	DelayInput1_2 : real;
47
	DelayInput1_3 : real;
48
	DelayInput1_4 : real;
49
	DelayInput1_5 : real;
50
	FixPtRelationalOperator_1 : bool;
51
	FixPtRelationalOperator_2 : bool;
52
	FixPtRelationalOperator_3 : bool;
53
	FixPtRelationalOperator_4 : bool;
54
	FixPtRelationalOperator_5 : bool;
55
let
56
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
57
	DelayInput1_2 = (0.000000000000000 -> (pre U_2));
58
	DelayInput1_3 = (0.000000000000000 -> (pre U_3));
59
	DelayInput1_4 = (0.000000000000000 -> (pre U_4));
60
	DelayInput1_5 = (0.000000000000000 -> (pre U_5));
61
	FixPtRelationalOperator_1 = (U_1 <> DelayInput1_1);
62
	FixPtRelationalOperator_2 = (U_2 <> DelayInput1_2);
63
	FixPtRelationalOperator_3 = (U_3 <> DelayInput1_3);
64
	FixPtRelationalOperator_4 = (U_4 <> DelayInput1_4);
65
	FixPtRelationalOperator_5 = (U_5 <> DelayInput1_5);
66
	Y_1 = FixPtRelationalOperator_1;
67
	Y_2 = FixPtRelationalOperator_2;
68
	Y_3 = FixPtRelationalOperator_3;
69
	Y_4 = FixPtRelationalOperator_4;
70
	Y_5 = FixPtRelationalOperator_5;
71
tel
72

    
73
(*
74
Original block name: detect_change_test_PP/Detect
75
Change2
76
*)
77
node  DetectChange2_303_003(U_1 : int;
78
	U_2 : int;
79
	U_3 : int;
80
	U_4 : int;
81
	U_5 : int;
82
	U_6 : int;
83
	__time_step : real;
84
	__nb_step : int;)
85
returns(Y_1 : bool;
86
	Y_2 : bool;
87
	Y_3 : bool;
88
	Y_4 : bool;
89
	Y_5 : bool;
90
	Y_6 : bool;);
91
var DelayInput1_1 : int;
92
	DelayInput1_2 : int;
93
	DelayInput1_3 : int;
94
	DelayInput1_4 : int;
95
	DelayInput1_5 : int;
96
	DelayInput1_6 : int;
97
	FixPtRelationalOperator_1 : bool;
98
	FixPtRelationalOperator_2 : bool;
99
	FixPtRelationalOperator_3 : bool;
100
	FixPtRelationalOperator_4 : bool;
101
	FixPtRelationalOperator_5 : bool;
102
	FixPtRelationalOperator_6 : bool;
103
let
104
	DelayInput1_1 = (0 -> (pre U_1));
105
	DelayInput1_2 = (0 -> (pre U_2));
106
	DelayInput1_3 = (0 -> (pre U_3));
107
	DelayInput1_4 = (0 -> (pre U_4));
108
	DelayInput1_5 = (0 -> (pre U_5));
109
	DelayInput1_6 = (0 -> (pre U_6));
110
	FixPtRelationalOperator_1 = (U_1 <> DelayInput1_1);
111
	FixPtRelationalOperator_2 = (U_2 <> DelayInput1_2);
112
	FixPtRelationalOperator_3 = (U_3 <> DelayInput1_3);
113
	FixPtRelationalOperator_4 = (U_4 <> DelayInput1_4);
114
	FixPtRelationalOperator_5 = (U_5 <> DelayInput1_5);
115
	FixPtRelationalOperator_6 = (U_6 <> DelayInput1_6);
116
	Y_1 = FixPtRelationalOperator_1;
117
	Y_2 = FixPtRelationalOperator_2;
118
	Y_3 = FixPtRelationalOperator_3;
119
	Y_4 = FixPtRelationalOperator_4;
120
	Y_5 = FixPtRelationalOperator_5;
121
	Y_6 = FixPtRelationalOperator_6;
122
tel
123

    
124
(*
125
Original block name: detect_change_test_PP/Detect
126
Change3
127
*)
128
node  DetectChange3_315_003(U_1 : bool;
129
	__time_step : real;
130
	__nb_step : int;)
131
returns(Y_1 : bool;);
132
var DelayInput1_1 : bool;
133
	FixPtRelationalOperator_1 : bool;
134
let
135
	DelayInput1_1 = (false -> (pre U_1));
136
	FixPtRelationalOperator_1 = (bool_to_int(U_1) <> bool_to_int(DelayInput1_1));
137
	Y_1 = FixPtRelationalOperator_1;
138
tel
139

    
140
(*
141
Original block name: detect_change_test_PP/Detect
142
Decrease
143
*)
144
node  DetectDecrease_327_005(U_1 : real;
145
	__time_step : real;
146
	__nb_step : int;)
147
returns(Y_1 : bool;);
148
var DelayInput1_1 : real;
149
	FixPtRelationalOperator_1 : bool;
150
let
151
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
152
	FixPtRelationalOperator_1 = (U_1 < DelayInput1_1);
153
	Y_1 = FixPtRelationalOperator_1;
154
tel
155

    
156
(*
157
Original block name: detect_change_test_PP/Detect
158
Decrease1
159
*)
160
node  DetectDecrease1_339_003(U_1 : real;
161
	U_2 : real;
162
	U_3 : real;
163
	U_4 : real;
164
	U_5 : real;
165
	__time_step : real;
166
	__nb_step : int;)
167
returns(Y_1 : bool;
168
	Y_2 : bool;
169
	Y_3 : bool;
170
	Y_4 : bool;
171
	Y_5 : bool;);
172
var DelayInput1_1 : real;
173
	DelayInput1_2 : real;
174
	DelayInput1_3 : real;
175
	DelayInput1_4 : real;
176
	DelayInput1_5 : real;
177
	FixPtRelationalOperator_1 : bool;
178
	FixPtRelationalOperator_2 : bool;
179
	FixPtRelationalOperator_3 : bool;
180
	FixPtRelationalOperator_4 : bool;
181
	FixPtRelationalOperator_5 : bool;
182
let
183
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
184
	DelayInput1_2 = (0.000000000000000 -> (pre U_2));
185
	DelayInput1_3 = (0.000000000000000 -> (pre U_3));
186
	DelayInput1_4 = (0.000000000000000 -> (pre U_4));
187
	DelayInput1_5 = (0.000000000000000 -> (pre U_5));
188
	FixPtRelationalOperator_1 = (U_1 < DelayInput1_1);
189
	FixPtRelationalOperator_2 = (U_2 < DelayInput1_2);
190
	FixPtRelationalOperator_3 = (U_3 < DelayInput1_3);
191
	FixPtRelationalOperator_4 = (U_4 < DelayInput1_4);
192
	FixPtRelationalOperator_5 = (U_5 < DelayInput1_5);
193
	Y_1 = FixPtRelationalOperator_1;
194
	Y_2 = FixPtRelationalOperator_2;
195
	Y_3 = FixPtRelationalOperator_3;
196
	Y_4 = FixPtRelationalOperator_4;
197
	Y_5 = FixPtRelationalOperator_5;
198
tel
199

    
200
(*
201
Original block name: detect_change_test_PP/Detect
202
Decrease2
203
*)
204
node  DetectDecrease2_351_003(U_1 : int;
205
	U_2 : int;
206
	U_3 : int;
207
	U_4 : int;
208
	U_5 : int;
209
	U_6 : int;
210
	__time_step : real;
211
	__nb_step : int;)
212
returns(Y_1 : bool;
213
	Y_2 : bool;
214
	Y_3 : bool;
215
	Y_4 : bool;
216
	Y_5 : bool;
217
	Y_6 : bool;);
218
var DelayInput1_1 : int;
219
	DelayInput1_2 : int;
220
	DelayInput1_3 : int;
221
	DelayInput1_4 : int;
222
	DelayInput1_5 : int;
223
	DelayInput1_6 : int;
224
	FixPtRelationalOperator_1 : bool;
225
	FixPtRelationalOperator_2 : bool;
226
	FixPtRelationalOperator_3 : bool;
227
	FixPtRelationalOperator_4 : bool;
228
	FixPtRelationalOperator_5 : bool;
229
	FixPtRelationalOperator_6 : bool;
230
let
231
	DelayInput1_1 = (0 -> (pre U_1));
232
	DelayInput1_2 = (0 -> (pre U_2));
233
	DelayInput1_3 = (0 -> (pre U_3));
234
	DelayInput1_4 = (0 -> (pre U_4));
235
	DelayInput1_5 = (0 -> (pre U_5));
236
	DelayInput1_6 = (0 -> (pre U_6));
237
	FixPtRelationalOperator_1 = (U_1 < DelayInput1_1);
238
	FixPtRelationalOperator_2 = (U_2 < DelayInput1_2);
239
	FixPtRelationalOperator_3 = (U_3 < DelayInput1_3);
240
	FixPtRelationalOperator_4 = (U_4 < DelayInput1_4);
241
	FixPtRelationalOperator_5 = (U_5 < DelayInput1_5);
242
	FixPtRelationalOperator_6 = (U_6 < DelayInput1_6);
243
	Y_1 = FixPtRelationalOperator_1;
244
	Y_2 = FixPtRelationalOperator_2;
245
	Y_3 = FixPtRelationalOperator_3;
246
	Y_4 = FixPtRelationalOperator_4;
247
	Y_5 = FixPtRelationalOperator_5;
248
	Y_6 = FixPtRelationalOperator_6;
249
tel
250

    
251
(*
252
Original block name: detect_change_test_PP/Detect
253
Decrease3
254
*)
255
node  DetectDecrease3_363_003(U_1 : bool;
256
	__time_step : real;
257
	__nb_step : int;)
258
returns(Y_1 : bool;);
259
var DelayInput1_1 : bool;
260
	FixPtRelationalOperator_1 : bool;
261
let
262
	DelayInput1_1 = (false -> (pre U_1));
263
	FixPtRelationalOperator_1 = (bool_to_int(U_1) < bool_to_int(DelayInput1_1));
264
	Y_1 = FixPtRelationalOperator_1;
265
tel
266

    
267
(*
268
Original block name: detect_change_test_PP/Detect
269
Increase
270
*)
271
node  DetectIncrease_375_002(U_1 : real;
272
	__time_step : real;
273
	__nb_step : int;)
274
returns(Y_1 : bool;);
275
var DelayInput1_1 : real;
276
	FixPtRelationalOperator_1 : bool;
277
let
278
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
279
	FixPtRelationalOperator_1 = (U_1 > DelayInput1_1);
280
	Y_1 = FixPtRelationalOperator_1;
281
tel
282

    
283
(*
284
Original block name: detect_change_test_PP/Detect
285
Increase1
286
*)
287
node  DetectIncrease1_387_218(U_1 : real;
288
	U_2 : real;
289
	U_3 : real;
290
	U_4 : real;
291
	U_5 : real;
292
	__time_step : real;
293
	__nb_step : int;)
294
returns(Y_1 : bool;
295
	Y_2 : bool;
296
	Y_3 : bool;
297
	Y_4 : bool;
298
	Y_5 : bool;);
299
var DelayInput1_1 : real;
300
	DelayInput1_2 : real;
301
	DelayInput1_3 : real;
302
	DelayInput1_4 : real;
303
	DelayInput1_5 : real;
304
	FixPtRelationalOperator_1 : bool;
305
	FixPtRelationalOperator_2 : bool;
306
	FixPtRelationalOperator_3 : bool;
307
	FixPtRelationalOperator_4 : bool;
308
	FixPtRelationalOperator_5 : bool;
309
let
310
	DelayInput1_1 = (0.000000000000000 -> (pre U_1));
311
	DelayInput1_2 = (0.000000000000000 -> (pre U_2));
312
	DelayInput1_3 = (0.000000000000000 -> (pre U_3));
313
	DelayInput1_4 = (0.000000000000000 -> (pre U_4));
314
	DelayInput1_5 = (0.000000000000000 -> (pre U_5));
315
	FixPtRelationalOperator_1 = (U_1 > DelayInput1_1);
316
	FixPtRelationalOperator_2 = (U_2 > DelayInput1_2);
317
	FixPtRelationalOperator_3 = (U_3 > DelayInput1_3);
318
	FixPtRelationalOperator_4 = (U_4 > DelayInput1_4);
319
	FixPtRelationalOperator_5 = (U_5 > DelayInput1_5);
320
	Y_1 = FixPtRelationalOperator_1;
321
	Y_2 = FixPtRelationalOperator_2;
322
	Y_3 = FixPtRelationalOperator_3;
323
	Y_4 = FixPtRelationalOperator_4;
324
	Y_5 = FixPtRelationalOperator_5;
325
tel
326

    
327
(*
328
Original block name: detect_change_test_PP/Detect
329
Increase2
330
*)
331
node  DetectIncrease2_399_003(U_1 : int;
332
	U_2 : int;
333
	U_3 : int;
334
	U_4 : int;
335
	U_5 : int;
336
	U_6 : int;
337
	__time_step : real;
338
	__nb_step : int;)
339
returns(Y_1 : bool;
340
	Y_2 : bool;
341
	Y_3 : bool;
342
	Y_4 : bool;
343
	Y_5 : bool;
344
	Y_6 : bool;);
345
var DelayInput1_1 : int;
346
	DelayInput1_2 : int;
347
	DelayInput1_3 : int;
348
	DelayInput1_4 : int;
349
	DelayInput1_5 : int;
350
	DelayInput1_6 : int;
351
	FixPtRelationalOperator_1 : bool;
352
	FixPtRelationalOperator_2 : bool;
353
	FixPtRelationalOperator_3 : bool;
354
	FixPtRelationalOperator_4 : bool;
355
	FixPtRelationalOperator_5 : bool;
356
	FixPtRelationalOperator_6 : bool;
357
let
358
	DelayInput1_1 = (0 -> (pre U_1));
359
	DelayInput1_2 = (0 -> (pre U_2));
360
	DelayInput1_3 = (0 -> (pre U_3));
361
	DelayInput1_4 = (0 -> (pre U_4));
362
	DelayInput1_5 = (0 -> (pre U_5));
363
	DelayInput1_6 = (0 -> (pre U_6));
364
	FixPtRelationalOperator_1 = (U_1 > DelayInput1_1);
365
	FixPtRelationalOperator_2 = (U_2 > DelayInput1_2);
366
	FixPtRelationalOperator_3 = (U_3 > DelayInput1_3);
367
	FixPtRelationalOperator_4 = (U_4 > DelayInput1_4);
368
	FixPtRelationalOperator_5 = (U_5 > DelayInput1_5);
369
	FixPtRelationalOperator_6 = (U_6 > DelayInput1_6);
370
	Y_1 = FixPtRelationalOperator_1;
371
	Y_2 = FixPtRelationalOperator_2;
372
	Y_3 = FixPtRelationalOperator_3;
373
	Y_4 = FixPtRelationalOperator_4;
374
	Y_5 = FixPtRelationalOperator_5;
375
	Y_6 = FixPtRelationalOperator_6;
376
tel
377

    
378
(*
379
Original block name: detect_change_test_PP/Detect
380
Increase3
381
*)
382
node  DetectIncrease3_411_003(U_1 : bool;
383
	__time_step : real;
384
	__nb_step : int;)
385
returns(Y_1 : bool;);
386
var DelayInput1_1 : bool;
387
	FixPtRelationalOperator_1 : bool;
388
let
389
	DelayInput1_1 = (false -> (pre U_1));
390
	FixPtRelationalOperator_1 = (bool_to_int(U_1) > bool_to_int(DelayInput1_1));
391
	Y_1 = FixPtRelationalOperator_1;
392
tel
393

    
394
(*
395
Original block name: detect_change_test_PP
396
*)
397
node  detect_change_test_PP(In1_1 : real;
398
	In2_1 : real;
399
	In2_2 : real;
400
	In2_3 : real;
401
	In2_4 : real;
402
	In2_5 : real;
403
	In3_1 : int;
404
	In3_2 : int;
405
	In3_3 : int;
406
	In3_4 : int;
407
	In3_5 : int;
408
	In3_6 : int;
409
	In4_1 : real;
410
	In5_1 : real;
411
	In5_2 : real;
412
	In5_3 : real;
413
	In5_4 : real;
414
	In5_5 : real;
415
	In6_1 : int;
416
	In6_2 : int;
417
	In6_3 : int;
418
	In6_4 : int;
419
	In6_5 : int;
420
	In6_6 : int;
421
	In7_1 : real;
422
	In8_1 : real;
423
	In8_2 : real;
424
	In8_3 : real;
425
	In8_4 : real;
426
	In8_5 : real;
427
	In9_1 : int;
428
	In9_2 : int;
429
	In9_3 : int;
430
	In9_4 : int;
431
	In9_5 : int;
432
	In9_6 : int;
433
	In10_1 : bool;
434
	In11_1 : bool;
435
	In12_1 : bool;)
436
returns(Out1_1 : bool;
437
	Out2_1 : bool;
438
	Out2_2 : bool;
439
	Out2_3 : bool;
440
	Out2_4 : bool;
441
	Out2_5 : bool;
442
	Out3_1 : bool;
443
	Out3_2 : bool;
444
	Out3_3 : bool;
445
	Out3_4 : bool;
446
	Out3_5 : bool;
447
	Out3_6 : bool;
448
	Out4_1 : bool;
449
	Out5_1 : bool;
450
	Out5_2 : bool;
451
	Out5_3 : bool;
452
	Out5_4 : bool;
453
	Out5_5 : bool;
454
	Out6_1 : bool;
455
	Out6_2 : bool;
456
	Out6_3 : bool;
457
	Out6_4 : bool;
458
	Out6_5 : bool;
459
	Out6_6 : bool;
460
	Out7_1 : bool;
461
	Out8_1 : bool;
462
	Out8_2 : bool;
463
	Out8_3 : bool;
464
	Out8_4 : bool;
465
	Out8_5 : bool;
466
	Out9_1 : bool;
467
	Out9_2 : bool;
468
	Out9_3 : bool;
469
	Out9_4 : bool;
470
	Out9_5 : bool;
471
	Out9_6 : bool;
472
	Out10_1 : bool;
473
	Out11_1 : bool;
474
	Out12_1 : bool;);
475
var DetectChange_1 : bool;
476
	DetectChange1_1 : bool;
477
	DetectChange1_2 : bool;
478
	DetectChange1_3 : bool;
479
	DetectChange1_4 : bool;
480
	DetectChange1_5 : bool;
481
	DetectChange2_1 : bool;
482
	DetectChange2_2 : bool;
483
	DetectChange2_3 : bool;
484
	DetectChange2_4 : bool;
485
	DetectChange2_5 : bool;
486
	DetectChange2_6 : bool;
487
	DetectChange3_1 : bool;
488
	DetectDecrease_1 : bool;
489
	DetectDecrease1_1 : bool;
490
	DetectDecrease1_2 : bool;
491
	DetectDecrease1_3 : bool;
492
	DetectDecrease1_4 : bool;
493
	DetectDecrease1_5 : bool;
494
	DetectDecrease2_1 : bool;
495
	DetectDecrease2_2 : bool;
496
	DetectDecrease2_3 : bool;
497
	DetectDecrease2_4 : bool;
498
	DetectDecrease2_5 : bool;
499
	DetectDecrease2_6 : bool;
500
	DetectDecrease3_1 : bool;
501
	DetectIncrease_1 : bool;
502
	DetectIncrease1_1 : bool;
503
	DetectIncrease1_2 : bool;
504
	DetectIncrease1_3 : bool;
505
	DetectIncrease1_4 : bool;
506
	DetectIncrease1_5 : bool;
507
	DetectIncrease2_1 : bool;
508
	DetectIncrease2_2 : bool;
509
	DetectIncrease2_3 : bool;
510
	DetectIncrease2_4 : bool;
511
	DetectIncrease2_5 : bool;
512
	DetectIncrease2_6 : bool;
513
	DetectIncrease3_1 : bool;
514
	__time_step : real;
515
	__nb_step : int;
516
let
517
	DetectChange_1 = DetectChange_279_003(In1_1, __time_step, __nb_step);
518
	(DetectChange1_1, DetectChange1_2, DetectChange1_3, DetectChange1_4, DetectChange1_5) = DetectChange1_291_003(In2_1, In2_2, In2_3, In2_4, In2_5, __time_step, __nb_step);
519
	(DetectChange2_1, DetectChange2_2, DetectChange2_3, DetectChange2_4, DetectChange2_5, DetectChange2_6) = DetectChange2_303_003(In3_1, In3_2, In3_3, In3_4, In3_5, In3_6, __time_step, __nb_step);
520
	DetectChange3_1 = DetectChange3_315_003(In10_1, __time_step, __nb_step);
521
	DetectDecrease_1 = DetectDecrease_327_005(In4_1, __time_step, __nb_step);
522
	(DetectDecrease1_1, DetectDecrease1_2, DetectDecrease1_3, DetectDecrease1_4, DetectDecrease1_5) = DetectDecrease1_339_003(In5_1, In5_2, In5_3, In5_4, In5_5, __time_step, __nb_step);
523
	(DetectDecrease2_1, DetectDecrease2_2, DetectDecrease2_3, DetectDecrease2_4, DetectDecrease2_5, DetectDecrease2_6) = DetectDecrease2_351_003(In6_1, In6_2, In6_3, In6_4, In6_5, In6_6, __time_step, __nb_step);
524
	DetectDecrease3_1 = DetectDecrease3_363_003(In11_1, __time_step, __nb_step);
525
	DetectIncrease_1 = DetectIncrease_375_002(In7_1, __time_step, __nb_step);
526
	(DetectIncrease1_1, DetectIncrease1_2, DetectIncrease1_3, DetectIncrease1_4, DetectIncrease1_5) = DetectIncrease1_387_218(In8_1, In8_2, In8_3, In8_4, In8_5, __time_step, __nb_step);
527
	(DetectIncrease2_1, DetectIncrease2_2, DetectIncrease2_3, DetectIncrease2_4, DetectIncrease2_5, DetectIncrease2_6) = DetectIncrease2_399_003(In9_1, In9_2, In9_3, In9_4, In9_5, In9_6, __time_step, __nb_step);
528
	DetectIncrease3_1 = DetectIncrease3_411_003(In12_1, __time_step, __nb_step);
529
	Out1_1 = DetectChange_1;
530
	Out2_1 = DetectChange1_1;
531
	Out2_2 = DetectChange1_2;
532
	Out2_3 = DetectChange1_3;
533
	Out2_4 = DetectChange1_4;
534
	Out2_5 = DetectChange1_5;
535
	Out3_1 = DetectChange2_1;
536
	Out3_2 = DetectChange2_2;
537
	Out3_3 = DetectChange2_3;
538
	Out3_4 = DetectChange2_4;
539
	Out3_5 = DetectChange2_5;
540
	Out3_6 = DetectChange2_6;
541
	Out4_1 = DetectDecrease_1;
542
	Out5_1 = DetectDecrease1_1;
543
	Out5_2 = DetectDecrease1_2;
544
	Out5_3 = DetectDecrease1_3;
545
	Out5_4 = DetectDecrease1_4;
546
	Out5_5 = DetectDecrease1_5;
547
	Out6_1 = DetectDecrease2_1;
548
	Out6_2 = DetectDecrease2_2;
549
	Out6_3 = DetectDecrease2_3;
550
	Out6_4 = DetectDecrease2_4;
551
	Out6_5 = DetectDecrease2_5;
552
	Out6_6 = DetectDecrease2_6;
553
	Out7_1 = DetectIncrease_1;
554
	Out8_1 = DetectIncrease1_1;
555
	Out8_2 = DetectIncrease1_2;
556
	Out8_3 = DetectIncrease1_3;
557
	Out8_4 = DetectIncrease1_4;
558
	Out8_5 = DetectIncrease1_5;
559
	Out9_1 = DetectIncrease2_1;
560
	Out9_2 = DetectIncrease2_2;
561
	Out9_3 = DetectIncrease2_3;
562
	Out9_4 = DetectIncrease2_4;
563
	Out9_5 = DetectIncrease2_5;
564
	Out9_6 = DetectIncrease2_6;
565
	Out10_1 = DetectChange3_1;
566
	Out11_1 = DetectDecrease3_1;
567
	Out12_1 = DetectIncrease3_1;
568
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
569
	__nb_step = (0 -> ((pre __nb_step) + 1));
570
tel
571

    
(1049-1049/1153)