Project

General

Profile

Revision b58cc410 regression_tests/lustre_files/success/Simulink/src_many_files/if_test_PP.LUSTREC.lus

View differences:

regression_tests/lustre_files/success/Simulink/src_many_files/if_test_PP.LUSTREC.lus
1 1
-- This file has been generated by CoCoSim2.
2 2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:06:18
3
-- Compiler: Lustre compiler 2 (nasa_toLustre.ToLustre.m)
4
-- Time: 19-Mar-2019 21:17:59
5 5
(*
6 6
Original block name: if_test_PP/IfActionSubsystem
7 7
*)
8
node  IfActionSubsystem_228_008_automaton(In2_1 : real;
8
node  IfActionSubsystem_21_232_condExecSS(In2_1 : real;
9 9
	In3_1 : bool;
10 10
	_isEnabled : bool;
11 11
	__time_step : real;
......
16 16
var pre_Out2_1 : bool;
17 17
	pre_Out3_1 : real;
18 18
	pre_Out4_1 : bool;
19
	_isEnabled_clock : bool clock;
19 20
let
20 21
	pre_Out2_1 = if (__nb_step > 0) then
21 22
		(pre Out2_1)
22 23
	    else false;
23 24
	pre_Out3_1 = if (__nb_step > 0) then
24 25
		(pre Out3_1)
25
	    else 0.000000000000000;
26
	    else 0.0;
26 27
	pre_Out4_1 = if (__nb_step > 0) then
27 28
		(pre Out4_1)
28 29
	    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

  
30
	_isEnabled_clock = _isEnabled;
31
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
32
		(true -> IfActionSubsystem_21_232((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
33
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
45 34
tel
46 35

  
47 36
(*
48 37
Original block name: if_test_PP/IfActionSubsystem
49 38
*)
50
node  IfActionSubsystem_228_008(In2_1 : real;
39
node  IfActionSubsystem_21_232(In2_1 : real;
51 40
	In3_1 : bool;
52 41
	__time_step : real;
53 42
	__nb_step : int;)
......
67 56
(*
68 57
Original block name: if_test_PP/IfActionSubsystem1
69 58
*)
70
node  IfActionSubsystem1_247_012_automaton(In1_1 : real;
59
node  IfActionSubsystem1_40_024_condExecSS(In1_1 : real;
71 60
	_isEnabled : bool;
72 61
	__time_step : real;
73 62
	__nb_step : int;)
74 63
returns(Out1_1 : real;);
75 64
var pre_Out1_1 : real;
65
	_isEnabled_clock : bool clock;
76 66
let
77 67
	pre_Out1_1 = if (__nb_step > 0) then
78 68
		(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

  
69
	    else 0.0;
70
	_isEnabled_clock = _isEnabled;
71
	Out1_1 = (merge _isEnabled_clock 
72
		(true -> IfActionSubsystem1_40_024((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
73
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
94 74
tel
95 75

  
96 76
(*
97 77
Original block name: if_test_PP/IfActionSubsystem1
98 78
*)
99
node  IfActionSubsystem1_247_012(In1_1 : real;
79
node  IfActionSubsystem1_40_024(In1_1 : real;
100 80
	__time_step : real;
101 81
	__nb_step : int;)
102 82
returns(Out1_1 : real;);
......
107 87
(*
108 88
Original block name: if_test_PP/IfActionSubsystem10
109 89
*)
110
node  IfActionSubsystem10_252_009_automaton(In1_1 : bool;
90
node  IfActionSubsystem10_45_022_condExecSS(In1_1 : bool;
111 91
	_isEnabled : bool;
112 92
	__time_step : real;
113 93
	__nb_step : int;)
114 94
returns(Out1_1 : bool;);
115 95
var pre_Out1_1 : bool;
96
	_isEnabled_clock : bool clock;
116 97
let
117 98
	pre_Out1_1 = if (__nb_step > 0) then
118 99
		(pre Out1_1)
119 100
	    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

  
101
	_isEnabled_clock = _isEnabled;
102
	Out1_1 = (merge _isEnabled_clock 
103
		(true -> IfActionSubsystem10_45_022((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
104
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
134 105
tel
135 106

  
136 107
(*
137 108
Original block name: if_test_PP/IfActionSubsystem10
138 109
*)
139
node  IfActionSubsystem10_252_009(In1_1 : bool;
110
node  IfActionSubsystem10_45_022(In1_1 : bool;
140 111
	__time_step : real;
141 112
	__nb_step : int;)
142 113
returns(Out1_1 : bool;);
......
147 118
(*
148 119
Original block name: if_test_PP/IfActionSubsystem11
149 120
*)
150
node  IfActionSubsystem11_257_008_automaton(In2_1 : real;
121
node  IfActionSubsystem11_50_020_condExecSS(In2_1 : real;
151 122
	In3_1 : bool;
152 123
	_isEnabled : bool;
153 124
	__time_step : real;
......
158 129
var pre_Out2_1 : bool;
159 130
	pre_Out3_1 : real;
160 131
	pre_Out4_1 : bool;
132
	_isEnabled_clock : bool clock;
161 133
let
162 134
	pre_Out2_1 = if (__nb_step > 0) then
163 135
		(pre Out2_1)
164 136
	    else false;
165 137
	pre_Out3_1 = if (__nb_step > 0) then
166 138
		(pre Out3_1)
167
	    else 0.000000000000000;
139
	    else 0.0;
168 140
	pre_Out4_1 = if (__nb_step > 0) then
169 141
		(pre Out4_1)
170 142
	    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

  
143
	_isEnabled_clock = _isEnabled;
144
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
145
		(true -> IfActionSubsystem11_50_020((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
146
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
187 147
tel
188 148

  
189 149
(*
190 150
Original block name: if_test_PP/IfActionSubsystem11
191 151
*)
192
node  IfActionSubsystem11_257_008(In2_1 : real;
152
node  IfActionSubsystem11_50_020(In2_1 : real;
193 153
	In3_1 : bool;
194 154
	__time_step : real;
195 155
	__nb_step : int;)
......
209 169
(*
210 170
Original block name: if_test_PP/IfActionSubsystem2
211 171
*)
212
node  IfActionSubsystem2_276_008_automaton(In1_1 : bool;
172
node  IfActionSubsystem2_69_020_condExecSS(In1_1 : bool;
213 173
	_isEnabled : bool;
214 174
	__time_step : real;
215 175
	__nb_step : int;)
216 176
returns(Out1_1 : bool;);
217 177
var pre_Out1_1 : bool;
178
	_isEnabled_clock : bool clock;
218 179
let
219 180
	pre_Out1_1 = if (__nb_step > 0) then
220 181
		(pre Out1_1)
221 182
	    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

  
183
	_isEnabled_clock = _isEnabled;
184
	Out1_1 = (merge _isEnabled_clock 
185
		(true -> IfActionSubsystem2_69_020((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
186
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
236 187
tel
237 188

  
238 189
(*
239 190
Original block name: if_test_PP/IfActionSubsystem2
240 191
*)
241
node  IfActionSubsystem2_276_008(In1_1 : bool;
192
node  IfActionSubsystem2_69_020(In1_1 : bool;
242 193
	__time_step : real;
243 194
	__nb_step : int;)
244 195
returns(Out1_1 : bool;);
......
249 200
(*
250 201
Original block name: if_test_PP/IfActionSubsystem3
251 202
*)
252
node  IfActionSubsystem3_281_007_automaton(In1_1 : real;
203
node  IfActionSubsystem3_75_016_condExecSS(In1_1 : real;
253 204
	_isEnabled : bool;
254 205
	__time_step : real;
255 206
	__nb_step : int;)
256 207
returns(Out1_1 : real;);
257 208
var pre_Out1_1 : real;
209
	_isEnabled_clock : bool clock;
258 210
let
259 211
	pre_Out1_1 = if (__nb_step > 0) then
260 212
		(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

  
213
	    else 0.0;
214
	_isEnabled_clock = _isEnabled;
215
	Out1_1 = (merge _isEnabled_clock 
216
		(true -> IfActionSubsystem3_75_016((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
217
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
276 218
tel
277 219

  
278 220
(*
279 221
Original block name: if_test_PP/IfActionSubsystem3
280 222
*)
281
node  IfActionSubsystem3_281_007(In1_1 : real;
223
node  IfActionSubsystem3_75_016(In1_1 : real;
282 224
	__time_step : real;
283 225
	__nb_step : int;)
284 226
returns(Out1_1 : real;);
......
289 231
(*
290 232
Original block name: if_test_PP/IfActionSubsystem4
291 233
*)
292
node  IfActionSubsystem4_286_006_automaton(In2_1 : real;
234
node  IfActionSubsystem4_80_016_condExecSS(In2_1 : real;
293 235
	In2_2 : real;
294 236
	In2_3 : real;
295 237
	In3_1 : bool;
......
314 256
	pre_Out4_1 : bool;
315 257
	pre_Out4_2 : bool;
316 258
	pre_Out4_3 : bool;
259
	_isEnabled_clock : bool clock;
317 260
let
318 261
	pre_Out2_1 = if (__nb_step > 0) then
319 262
		(pre Out2_1)
......
326 269
	    else false;
327 270
	pre_Out3_1 = if (__nb_step > 0) then
328 271
		(pre Out3_1)
329
	    else 0.000000000000000;
272
	    else 0.0;
330 273
	pre_Out3_2 = if (__nb_step > 0) then
331 274
		(pre Out3_2)
332
	    else 0.000000000000000;
275
	    else 0.0;
333 276
	pre_Out3_3 = if (__nb_step > 0) then
334 277
		(pre Out3_3)
335
	    else 0.000000000000000;
278
	    else 0.0;
336 279
	pre_Out4_1 = if (__nb_step > 0) then
337 280
		(pre Out4_1)
338 281
	    else false;
......
342 285
	pre_Out4_3 = if (__nb_step > 0) then
343 286
		(pre Out4_3)
344 287
	    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

  
288
	_isEnabled_clock = _isEnabled;
289
	(Out2_1, Out2_2, Out2_3, Out3_1, Out3_2, Out3_3, Out4_1, Out4_2, Out4_3) = (merge _isEnabled_clock 
290
		(true -> IfActionSubsystem4_80_016((In2_1 when _isEnabled_clock), (In2_2 when _isEnabled_clock), (In2_3 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
291
		(false -> (pre_Out2_1, pre_Out2_2, pre_Out2_3, pre_Out3_1, pre_Out3_2, pre_Out3_3, pre_Out4_1, pre_Out4_2, pre_Out4_3) when false(_isEnabled_clock)));
367 292
tel
368 293

  
369 294
(*
370 295
Original block name: if_test_PP/IfActionSubsystem4
371 296
*)
372
node  IfActionSubsystem4_286_006(In2_1 : real;
297
node  IfActionSubsystem4_80_016(In2_1 : real;
373 298
	In2_2 : real;
374 299
	In2_3 : real;
375 300
	In3_1 : bool;
......
411 336
(*
412 337
Original block name: if_test_PP/IfActionSubsystem5
413 338
*)
414
node  IfActionSubsystem5_305_009_automaton(In1_1 : real;
339
node  IfActionSubsystem5_99_015_condExecSS(In1_1 : real;
415 340
	In1_2 : real;
416 341
	In1_3 : real;
417 342
	_isEnabled : bool;
......
423 348
var pre_Out1_1 : real;
424 349
	pre_Out1_2 : real;
425 350
	pre_Out1_3 : real;
351
	_isEnabled_clock : bool clock;
426 352
let
427 353
	pre_Out1_1 = if (__nb_step > 0) then
428 354
		(pre Out1_1)
429
	    else 0.000000000000000;
355
	    else 0.0;
430 356
	pre_Out1_2 = if (__nb_step > 0) then
431 357
		(pre Out1_2)
432
	    else 0.000000000000000;
358
	    else 0.0;
433 359
	pre_Out1_3 = if (__nb_step > 0) then
434 360
		(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

  
361
	    else 0.0;
362
	_isEnabled_clock = _isEnabled;
363
	(Out1_1, Out1_2, Out1_3) = (merge _isEnabled_clock 
364
		(true -> IfActionSubsystem5_99_015((In1_1 when _isEnabled_clock), (In1_2 when _isEnabled_clock), (In1_3 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
365
		(false -> (pre_Out1_1, pre_Out1_2, pre_Out1_3) when false(_isEnabled_clock)));
452 366
tel
453 367

  
454 368
(*
455 369
Original block name: if_test_PP/IfActionSubsystem5
456 370
*)
457
node  IfActionSubsystem5_305_009(In1_1 : real;
371
node  IfActionSubsystem5_99_015(In1_1 : real;
458 372
	In1_2 : real;
459 373
	In1_3 : real;
460 374
	__time_step : real;
......
471 385
(*
472 386
Original block name: if_test_PP/IfActionSubsystem6
473 387
*)
474
node  IfActionSubsystem6_310_010_automaton(In1_1 : bool;
388
node  IfActionSubsystem6_104_015_condExecSS(In1_1 : bool;
475 389
	_isEnabled : bool;
476 390
	__time_step : real;
477 391
	__nb_step : int;)
478 392
returns(Out1_1 : bool;);
479 393
var pre_Out1_1 : bool;
394
	_isEnabled_clock : bool clock;
480 395
let
481 396
	pre_Out1_1 = if (__nb_step > 0) then
482 397
		(pre Out1_1)
483 398
	    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

  
399
	_isEnabled_clock = _isEnabled;
400
	Out1_1 = (merge _isEnabled_clock 
401
		(true -> IfActionSubsystem6_104_015((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
402
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
498 403
tel
499 404

  
500 405
(*
501 406
Original block name: if_test_PP/IfActionSubsystem6
502 407
*)
503
node  IfActionSubsystem6_310_010(In1_1 : bool;
408
node  IfActionSubsystem6_104_015(In1_1 : bool;
504 409
	__time_step : real;
505 410
	__nb_step : int;)
506 411
returns(Out1_1 : bool;);
......
511 416
(*
512 417
Original block name: if_test_PP/IfActionSubsystem7
513 418
*)
514
node  IfActionSubsystem7_315_013_automaton(In1_1 : real;
419
node  IfActionSubsystem7_109_017_condExecSS(In1_1 : real;
515 420
	In1_2 : real;
516 421
	In1_3 : real;
517 422
	In1_4 : real;
......
526 431
	pre_Out1_2 : real;
527 432
	pre_Out1_3 : real;
528 433
	pre_Out1_4 : real;
434
	_isEnabled_clock : bool clock;
529 435
let
530 436
	pre_Out1_1 = if (__nb_step > 0) then
531 437
		(pre Out1_1)
532
	    else 0.000000000000000;
438
	    else 0.0;
533 439
	pre_Out1_2 = if (__nb_step > 0) then
534 440
		(pre Out1_2)
535
	    else 0.000000000000000;
441
	    else 0.0;
536 442
	pre_Out1_3 = if (__nb_step > 0) then
537 443
		(pre Out1_3)
538
	    else 0.000000000000000;
444
	    else 0.0;
539 445
	pre_Out1_4 = if (__nb_step > 0) then
540 446
		(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

  
447
	    else 0.0;
448
	_isEnabled_clock = _isEnabled;
449
	(Out1_1, Out1_2, Out1_3, Out1_4) = (merge _isEnabled_clock 
450
		(true -> IfActionSubsystem7_109_017((In1_1 when _isEnabled_clock), (In1_2 when _isEnabled_clock), (In1_3 when _isEnabled_clock), (In1_4 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
451
		(false -> (pre_Out1_1, pre_Out1_2, pre_Out1_3, pre_Out1_4) when false(_isEnabled_clock)));
559 452
tel
560 453

  
561 454
(*
562 455
Original block name: if_test_PP/IfActionSubsystem7
563 456
*)
564
node  IfActionSubsystem7_315_013(In1_1 : real;
457
node  IfActionSubsystem7_109_017(In1_1 : real;
565 458
	In1_2 : real;
566 459
	In1_3 : real;
567 460
	In1_4 : real;
......
581 474
(*
582 475
Original block name: if_test_PP/IfActionSubsystem8
583 476
*)
584
node  IfActionSubsystem8_320_011_automaton(In2_1 : real;
477
node  IfActionSubsystem8_114_016_condExecSS(In2_1 : real;
585 478
	In3_1 : bool;
586 479
	_isEnabled : bool;
587 480
	__time_step : real;
......
592 485
var pre_Out2_1 : bool;
593 486
	pre_Out3_1 : real;
594 487
	pre_Out4_1 : bool;
488
	_isEnabled_clock : bool clock;
595 489
let
596 490
	pre_Out2_1 = if (__nb_step > 0) then
597 491
		(pre Out2_1)
598 492
	    else false;
599 493
	pre_Out3_1 = if (__nb_step > 0) then
600 494
		(pre Out3_1)
601
	    else 0.000000000000000;
495
	    else 0.0;
602 496
	pre_Out4_1 = if (__nb_step > 0) then
603 497
		(pre Out4_1)
604 498
	    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

  
499
	_isEnabled_clock = _isEnabled;
500
	(Out2_1, Out3_1, Out4_1) = (merge _isEnabled_clock 
501
		(true -> IfActionSubsystem8_114_016((In2_1 when _isEnabled_clock), (In3_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
502
		(false -> (pre_Out2_1, pre_Out3_1, pre_Out4_1) when false(_isEnabled_clock)));
621 503
tel
622 504

  
623 505
(*
624 506
Original block name: if_test_PP/IfActionSubsystem8
625 507
*)
626
node  IfActionSubsystem8_320_011(In2_1 : real;
508
node  IfActionSubsystem8_114_016(In2_1 : real;
627 509
	In3_1 : bool;
628 510
	__time_step : real;
629 511
	__nb_step : int;)
......
701 583
	If2_1 : bool;
702 584
	If2_2 : bool;
703 585
	If3_1 : bool;
704
	ExecutionCond_of_IfActionSubsystem_228_008 : bool;
586
	ExecutionCond_of_IfActionSubsystem_21_232 : bool;
705 587
	IfActionSubsystem_1 : bool;
706 588
	IfActionSubsystem_2 : real;
707 589
	IfActionSubsystem_3 : bool;
708
	ExecutionCond_of_IfActionSubsystem1_247_012 : bool;
590
	ExecutionCond_of_IfActionSubsystem1_40_024 : bool;
709 591
	IfActionSubsystem1_1 : real;
710
	ExecutionCond_of_IfActionSubsystem10_252_009 : bool;
592
	ExecutionCond_of_IfActionSubsystem10_45_022 : bool;
711 593
	IfActionSubsystem10_1 : bool;
712
	ExecutionCond_of_IfActionSubsystem11_257_008 : bool;
594
	ExecutionCond_of_IfActionSubsystem11_50_020 : bool;
713 595
	IfActionSubsystem11_1 : bool;
714 596
	IfActionSubsystem11_2 : real;
715 597
	IfActionSubsystem11_3 : bool;
716
	ExecutionCond_of_IfActionSubsystem2_276_008 : bool;
598
	ExecutionCond_of_IfActionSubsystem2_69_020 : bool;
717 599
	IfActionSubsystem2_1 : bool;
718
	ExecutionCond_of_IfActionSubsystem3_281_007 : bool;
600
	ExecutionCond_of_IfActionSubsystem3_75_016 : bool;
719 601
	IfActionSubsystem3_1 : real;
720
	ExecutionCond_of_IfActionSubsystem4_286_006 : bool;
602
	ExecutionCond_of_IfActionSubsystem4_80_016 : bool;
721 603
	IfActionSubsystem4_1 : bool;
722 604
	IfActionSubsystem4_2 : bool;
723 605
	IfActionSubsystem4_3 : bool;
......
727 609
	IfActionSubsystem4_7 : bool;
728 610
	IfActionSubsystem4_8 : bool;
729 611
	IfActionSubsystem4_9 : bool;
730
	ExecutionCond_of_IfActionSubsystem5_305_009 : bool;
612
	ExecutionCond_of_IfActionSubsystem5_99_015 : bool;
731 613
	IfActionSubsystem5_1 : real;
732 614
	IfActionSubsystem5_2 : real;
733 615
	IfActionSubsystem5_3 : real;
734
	ExecutionCond_of_IfActionSubsystem6_310_010 : bool;
616
	ExecutionCond_of_IfActionSubsystem6_104_015 : bool;
735 617
	IfActionSubsystem6_1 : bool;
736
	ExecutionCond_of_IfActionSubsystem7_315_013 : bool;
618
	ExecutionCond_of_IfActionSubsystem7_109_017 : bool;
737 619
	IfActionSubsystem7_1 : real;
738 620
	IfActionSubsystem7_2 : real;
739 621
	IfActionSubsystem7_3 : real;
740 622
	IfActionSubsystem7_4 : real;
741
	ExecutionCond_of_IfActionSubsystem8_320_011 : bool;
623
	ExecutionCond_of_IfActionSubsystem8_114_016 : bool;
742 624
	IfActionSubsystem8_1 : bool;
743 625
	IfActionSubsystem8_2 : real;
744 626
	IfActionSubsystem8_3 : bool;
745 627
	__time_step : real;
746 628
	__nb_step : int;
747 629
let
748
	(If_1, If_2, If_3, If_4) = if In2_1 <> 0.000000000000000 then
630
	(If_1, If_2, If_3, If_4) = if In2_1 <> 0.0 then
749 631
		(true, false, false, false)
750
	    else if In2_1 < 3.000000000000000 then
632
	    else if In2_1 < 3.0 then
751 633
		(false, true, false, false)
752
	    else if ( - In2_1 > In1_1 ) and In2_1 > 0.000000000000000 then
634
	    else if ( - In2_1 > In1_1 ) and In2_1 > 0.0 then
753 635
		(false, false, true, false)
754 636
	    else (false, false, false, true);
755
	(If1_1, If1_2, If1_3, If1_4) = if In3_2 = 0.000000000000000 then
637
	(If1_1, If1_2, If1_3, If1_4) = if In3_2 = 0.0 then
756 638
		(true, false, false, false)
757
	    else if In5_2 < 3.000000000000000 then
639
	    else if In5_2 < 3.0 then
758 640
		(false, true, false, false)
759
	    else if ( - In5_1 > In3_3 ) and In5_2 > 0.000000000000000 then
641
	    else if ( - In5_1 > In3_3 ) and In5_2 > 0.0 then
760 642
		(false, false, true, false)
761 643
	    else (false, false, false, true);
762
	(If2_1, If2_2) = if In9_1 <> 0.000000000000000 then
644
	(If2_1, If2_2) = if In9_1 <> 0.0 then
763 645
		(true, false)
764
	    else if ( - In9_1 > In6_1 ) or In9_1 > 0.000000000000000 then
646
	    else if ( - In9_1 > In6_1 ) or In9_1 > 0.0 then
765 647
		(false, true)
766 648
	    else (false, false);
767
	If3_1 = if In12_1 <> 0.000000000000000 then
649
	If3_1 = if In12_1 <> 0.0 then
768 650
		(true)
769 651
	    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);
652
	ExecutionCond_of_IfActionSubsystem_21_232 = If_1;
653
	(IfActionSubsystem_1, IfActionSubsystem_2, IfActionSubsystem_3) = IfActionSubsystem_21_232_condExecSS(In1_1, In7_1, ExecutionCond_of_IfActionSubsystem_21_232, __time_step, __nb_step);
654
	ExecutionCond_of_IfActionSubsystem1_40_024 = If_4;
655
	IfActionSubsystem1_1 = IfActionSubsystem1_40_024_condExecSS(In1_1, ExecutionCond_of_IfActionSubsystem1_40_024, __time_step, __nb_step);
656
	ExecutionCond_of_IfActionSubsystem10_45_022 = If2_2;
657
	IfActionSubsystem10_1 = IfActionSubsystem10_45_022_condExecSS(In8_1, ExecutionCond_of_IfActionSubsystem10_45_022, __time_step, __nb_step);
658
	ExecutionCond_of_IfActionSubsystem11_50_020 = If3_1;
659
	(IfActionSubsystem11_1, IfActionSubsystem11_2, IfActionSubsystem11_3) = IfActionSubsystem11_50_020_condExecSS(In10_1, In11_1, ExecutionCond_of_IfActionSubsystem11_50_020, __time_step, __nb_step);
660
	ExecutionCond_of_IfActionSubsystem2_69_020 = If_2;
661
	IfActionSubsystem2_1 = IfActionSubsystem2_69_020_condExecSS(In7_1, ExecutionCond_of_IfActionSubsystem2_69_020, __time_step, __nb_step);
662
	ExecutionCond_of_IfActionSubsystem3_75_016 = If_3;
663
	IfActionSubsystem3_1 = IfActionSubsystem3_75_016_condExecSS(In2_1, ExecutionCond_of_IfActionSubsystem3_75_016, __time_step, __nb_step);
664
	ExecutionCond_of_IfActionSubsystem4_80_016 = If1_1;
665
	(IfActionSubsystem4_1, IfActionSubsystem4_2, IfActionSubsystem4_3, IfActionSubsystem4_4, IfActionSubsystem4_5, IfActionSubsystem4_6, IfActionSubsystem4_7, IfActionSubsystem4_8, IfActionSubsystem4_9) = IfActionSubsystem4_80_016_condExecSS(In3_1, In3_2, In3_3, In4_1, ExecutionCond_of_IfActionSubsystem4_80_016, __time_step, __nb_step);
666
	ExecutionCond_of_IfActionSubsystem5_99_015 = If1_4;
667
	(IfActionSubsystem5_1, IfActionSubsystem5_2, IfActionSubsystem5_3) = IfActionSubsystem5_99_015_condExecSS(In3_1, In3_2, In3_3, ExecutionCond_of_IfActionSubsystem5_99_015, __time_step, __nb_step);
668
	ExecutionCond_of_IfActionSubsystem6_104_015 = If1_2;
669
	IfActionSubsystem6_1 = IfActionSubsystem6_104_015_condExecSS(In4_1, ExecutionCond_of_IfActionSubsystem6_104_015, __time_step, __nb_step);
670
	ExecutionCond_of_IfActionSubsystem7_109_017 = If1_3;
671
	(IfActionSubsystem7_1, IfActionSubsystem7_2, IfActionSubsystem7_3, IfActionSubsystem7_4) = IfActionSubsystem7_109_017_condExecSS(In5_1, In5_2, In5_3, In5_4, ExecutionCond_of_IfActionSubsystem7_109_017, __time_step, __nb_step);
672
	ExecutionCond_of_IfActionSubsystem8_114_016 = If2_1;
673
	(IfActionSubsystem8_1, IfActionSubsystem8_2, IfActionSubsystem8_3) = IfActionSubsystem8_114_016_condExecSS(In6_1, In8_1, ExecutionCond_of_IfActionSubsystem8_114_016, __time_step, __nb_step);
792 674
	Out1_1 = IfActionSubsystem_1;
793 675
	Out2_1 = IfActionSubsystem1_1;
794 676
	Out14_1 = IfActionSubsystem_2;
......
819 701
	Out12_1 = IfActionSubsystem11_1;
820 702
	Out18_1 = IfActionSubsystem11_2;
821 703
	Out19_1 = IfActionSubsystem11_3;
822
	__time_step = (0.0 -> ((pre __time_step) + 0.020000000000000));
704
	__time_step = (0.0 -> ((pre __time_step) + 0.020));
823 705
	__nb_step = (0 -> ((pre __nb_step) + 1));
824 706
tel
825 707

  

Also available in: Unified diff