Project

General

Profile

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

View differences:

regression_tests/lustre_files/success/Simulink/src_many_files/trigger_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:14:26
3
-- Compiler: Lustre compiler 2 (nasa_toLustre.ToLustre.m)
4
-- Time: 20-Mar-2019 11:53:11
5 5
node  real_to_bool(x : real;)
6 6
returns(y : bool;);
7 7
let
......
11 11
(*
12 12
Original block name: trigger_test_PP/TriggeredSubsystem
13 13
*)
14
node  TriggeredSubsystem_141_027_automaton(In1_1 : real;
14
node  TriggeredSubsystem_19_528_condExecSS(In1_1 : real;
15 15
	Trigger_1 : real;
16 16
	_isEnabled : bool;
17 17
	__time_step : real;
18 18
	__nb_step : int;)
19 19
returns(Out1_1 : bool;);
20 20
var pre_Out1_1 : bool;
21
	_isEnabled_clock : bool clock;
21 22
let
22 23
	pre_Out1_1 = if (__nb_step > 0) then
23 24
		(pre Out1_1)
24 25
	    else false;
25
	automaton enabled_TriggeredSubsystem_141_027
26
	state Active_TriggeredSubsystem_141_027:
27
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem_141_027
28
	let
29
		Out1_1 = TriggeredSubsystem_141_027(In1_1, Trigger_1, __time_step, __nb_step);
30
	tel
31

  
32
	state Inactive_TriggeredSubsystem_141_027:
33
	unless _isEnabled resume Active_TriggeredSubsystem_141_027
34
	let
35
		Out1_1 = pre_Out1_1;
36
	tel
37

  
38

  
26
	_isEnabled_clock = _isEnabled;
27
	Out1_1 = (merge _isEnabled_clock 
28
		(true -> TriggeredSubsystem_19_528((In1_1 when _isEnabled_clock), (Trigger_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
29
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
39 30
tel
40 31

  
41 32
(*
42 33
Original block name: trigger_test_PP/TriggeredSubsystem
43 34
*)
44
node  TriggeredSubsystem_141_027(In1_1 : real;
35
node  TriggeredSubsystem_19_528(In1_1 : real;
45 36
	Trigger_1 : real;
46 37
	__time_step : real;
47 38
	__nb_step : int;)
......
55 46
(*
56 47
Original block name: trigger_test_PP/TriggeredSubsystem1
57 48
*)
58
node  TriggeredSubsystem1_149_453_automaton(In2_1 : real;
49
node  TriggeredSubsystem1_27_281_condExecSS(In2_1 : real;
59 50
	Trigger_1 : real;
60 51
	_isEnabled : bool;
61 52
	__time_step : real;
62 53
	__nb_step : int;)
63 54
returns(Out2_1 : real;);
64 55
var pre_Out2_1 : real;
56
	_isEnabled_clock : bool clock;
65 57
let
66 58
	pre_Out2_1 = if (__nb_step > 0) then
67 59
		(pre Out2_1)
68
	    else 0.000000000000000;
69
	automaton enabled_TriggeredSubsystem1_149_453
70
	state Active_TriggeredSubsystem1_149_453:
71
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem1_149_453
72
	let
73
		Out2_1 = TriggeredSubsystem1_149_453(In2_1, Trigger_1, __time_step, __nb_step);
74
	tel
75

  
76
	state Inactive_TriggeredSubsystem1_149_453:
77
	unless _isEnabled resume Active_TriggeredSubsystem1_149_453
78
	let
79
		Out2_1 = pre_Out2_1;
80
	tel
81

  
82

  
60
	    else 0.0;
61
	_isEnabled_clock = _isEnabled;
62
	Out2_1 = (merge _isEnabled_clock 
63
		(true -> TriggeredSubsystem1_27_281((In2_1 when _isEnabled_clock), (Trigger_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
64
		(false -> (pre_Out2_1) when false(_isEnabled_clock)));
83 65
tel
84 66

  
85 67
(*
86 68
Original block name: trigger_test_PP/TriggeredSubsystem1
87 69
*)
88
node  TriggeredSubsystem1_149_453(In2_1 : real;
70
node  TriggeredSubsystem1_27_281(In2_1 : real;
89 71
	Trigger_1 : real;
90 72
	__time_step : real;
91 73
	__nb_step : int;)
......
99 81
(*
100 82
Original block name: trigger_test_PP/TriggeredSubsystem2
101 83
*)
102
node  TriggeredSubsystem2_157_031_automaton(In1_1 : real;
84
node  TriggeredSubsystem2_35_290_condExecSS(In1_1 : real;
103 85
	Trigger_1 : real;
104 86
	_isEnabled : bool;
105 87
	__time_step : real;
106 88
	__nb_step : int;)
107 89
returns(Out1_1 : real;);
108 90
var pre_Out1_1 : real;
91
	_isEnabled_clock : bool clock;
109 92
let
110 93
	pre_Out1_1 = if (__nb_step > 0) then
111 94
		(pre Out1_1)
112
	    else 0.000000000000000;
113
	automaton enabled_TriggeredSubsystem2_157_031
114
	state Active_TriggeredSubsystem2_157_031:
115
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem2_157_031
116
	let
117
		Out1_1 = TriggeredSubsystem2_157_031(In1_1, Trigger_1, __time_step, __nb_step);
118
	tel
119

  
120
	state Inactive_TriggeredSubsystem2_157_031:
121
	unless _isEnabled resume Active_TriggeredSubsystem2_157_031
122
	let
123
		Out1_1 = pre_Out1_1;
124
	tel
125

  
126

  
95
	    else 0.0;
96
	_isEnabled_clock = _isEnabled;
97
	Out1_1 = (merge _isEnabled_clock 
98
		(true -> TriggeredSubsystem2_35_290((In1_1 when _isEnabled_clock), (Trigger_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
99
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
127 100
tel
128 101

  
129 102
(*
130 103
Original block name: trigger_test_PP/TriggeredSubsystem2
131 104
*)
132
node  TriggeredSubsystem2_157_031(In1_1 : real;
105
node  TriggeredSubsystem2_35_290(In1_1 : real;
133 106
	Trigger_1 : real;
134 107
	__time_step : real;
135 108
	__nb_step : int;)
......
143 116
(*
144 117
Original block name: trigger_test_PP/TriggeredSubsystem3
145 118
*)
146
node  TriggeredSubsystem3_165_021_automaton(In1_1 : real;
119
node  TriggeredSubsystem3_43_085_condExecSS(In1_1 : real;
147 120
	_isEnabled : bool;
148 121
	__time_step : real;
149 122
	__nb_step : int;)
150 123
returns(Out1_1 : real;);
151 124
var pre_Out1_1 : real;
125
	_isEnabled_clock : bool clock;
152 126
let
153 127
	pre_Out1_1 = if (__nb_step > 0) then
154 128
		(pre Out1_1)
155
	    else 0.000000000000000;
156
	automaton enabled_TriggeredSubsystem3_165_021
157
	state Active_TriggeredSubsystem3_165_021:
158
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem3_165_021
159
	let
160
		Out1_1 = TriggeredSubsystem3_165_021(In1_1, __time_step, __nb_step);
161
	tel
162

  
163
	state Inactive_TriggeredSubsystem3_165_021:
164
	unless _isEnabled resume Active_TriggeredSubsystem3_165_021
165
	let
166
		Out1_1 = pre_Out1_1;
167
	tel
168

  
169

  
129
	    else 0.0;
130
	_isEnabled_clock = _isEnabled;
131
	Out1_1 = (merge _isEnabled_clock 
132
		(true -> TriggeredSubsystem3_43_085((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
133
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
170 134
tel
171 135

  
172 136
(*
173 137
Original block name: trigger_test_PP/TriggeredSubsystem3
174 138
*)
175
node  TriggeredSubsystem3_165_021(In1_1 : real;
139
node  TriggeredSubsystem3_43_085(In1_1 : real;
176 140
	__time_step : real;
177 141
	__nb_step : int;)
178 142
returns(Out1_1 : real;);
......
183 147
(*
184 148
Original block name: trigger_test_PP/TriggeredSubsystem4
185 149
*)
186
node  TriggeredSubsystem4_170_018_automaton(In1_1 : real;
150
node  TriggeredSubsystem4_48_103_condExecSS(In1_1 : real;
187 151
	_isEnabled : bool;
188 152
	__time_step : real;
189 153
	__nb_step : int;)
190 154
returns(Out1_1 : real;);
191 155
var pre_Out1_1 : real;
156
	_isEnabled_clock : bool clock;
192 157
let
193 158
	pre_Out1_1 = if (__nb_step > 0) then
194 159
		(pre Out1_1)
195
	    else 0.000000000000000;
196
	automaton enabled_TriggeredSubsystem4_170_018
197
	state Active_TriggeredSubsystem4_170_018:
198
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem4_170_018
199
	let
200
		Out1_1 = TriggeredSubsystem4_170_018(In1_1, __time_step, __nb_step);
201
	tel
202

  
203
	state Inactive_TriggeredSubsystem4_170_018:
204
	unless _isEnabled resume Active_TriggeredSubsystem4_170_018
205
	let
206
		Out1_1 = pre_Out1_1;
207
	tel
208

  
209

  
160
	    else 0.0;
161
	_isEnabled_clock = _isEnabled;
162
	Out1_1 = (merge _isEnabled_clock 
163
		(true -> TriggeredSubsystem4_48_103((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
164
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
210 165
tel
211 166

  
212 167
(*
213 168
Original block name: trigger_test_PP/TriggeredSubsystem4
214 169
*)
215
node  TriggeredSubsystem4_170_018(In1_1 : real;
170
node  TriggeredSubsystem4_48_103(In1_1 : real;
216 171
	__time_step : real;
217 172
	__nb_step : int;)
218 173
returns(Out1_1 : real;);
......
223 178
(*
224 179
Original block name: trigger_test_PP/TriggeredSubsystem5
225 180
*)
226
node  TriggeredSubsystem5_175_020_automaton(In1_1 : real;
181
node  TriggeredSubsystem5_53_287_condExecSS(In1_1 : real;
227 182
	Trigger_1 : real;
228 183
	_isEnabled : bool;
229 184
	__time_step : real;
230 185
	__nb_step : int;)
231 186
returns(Out1_1 : real;);
232 187
var pre_Out1_1 : real;
188
	_isEnabled_clock : bool clock;
233 189
let
234 190
	pre_Out1_1 = if (__nb_step > 0) then
235 191
		(pre Out1_1)
236
	    else 0.000000000000000;
237
	automaton enabled_TriggeredSubsystem5_175_020
238
	state Active_TriggeredSubsystem5_175_020:
239
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem5_175_020
240
	let
241
		Out1_1 = TriggeredSubsystem5_175_020(In1_1, Trigger_1, __time_step, __nb_step);
242
	tel
243

  
244
	state Inactive_TriggeredSubsystem5_175_020:
245
	unless _isEnabled resume Active_TriggeredSubsystem5_175_020
246
	let
247
		Out1_1 = pre_Out1_1;
248
	tel
249

  
250

  
192
	    else 0.0;
193
	_isEnabled_clock = _isEnabled;
194
	Out1_1 = (merge _isEnabled_clock 
195
		(true -> TriggeredSubsystem5_53_287((In1_1 when _isEnabled_clock), (Trigger_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
196
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
251 197
tel
252 198

  
253 199
(*
254 200
Original block name: trigger_test_PP/TriggeredSubsystem5
255 201
*)
256
node  TriggeredSubsystem5_175_020(In1_1 : real;
202
node  TriggeredSubsystem5_53_287(In1_1 : real;
257 203
	Trigger_1 : real;
258 204
	__time_step : real;
259 205
	__nb_step : int;)
......
267 213
(*
268 214
Original block name: trigger_test_PP/TriggeredSubsystem6
269 215
*)
270
node  TriggeredSubsystem6_183_020_automaton(In1_1 : real;
216
node  TriggeredSubsystem6_61_280_condExecSS(In1_1 : real;
271 217
	_isEnabled : bool;
272 218
	__time_step : real;
273 219
	__nb_step : int;)
274 220
returns(Out1_1 : real;);
275 221
var pre_Out1_1 : real;
222
	_isEnabled_clock : bool clock;
276 223
let
277 224
	pre_Out1_1 = if (__nb_step > 0) then
278 225
		(pre Out1_1)
279
	    else 0.000000000000000;
280
	automaton enabled_TriggeredSubsystem6_183_020
281
	state Active_TriggeredSubsystem6_183_020:
282
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem6_183_020
283
	let
284
		Out1_1 = TriggeredSubsystem6_183_020(In1_1, __time_step, __nb_step);
285
	tel
286

  
287
	state Inactive_TriggeredSubsystem6_183_020:
288
	unless _isEnabled resume Active_TriggeredSubsystem6_183_020
289
	let
290
		Out1_1 = pre_Out1_1;
291
	tel
292

  
293

  
226
	    else 0.0;
227
	_isEnabled_clock = _isEnabled;
228
	Out1_1 = (merge _isEnabled_clock 
229
		(true -> TriggeredSubsystem6_61_280((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
230
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
294 231
tel
295 232

  
296 233
(*
297 234
Original block name: trigger_test_PP/TriggeredSubsystem6
298 235
*)
299
node  TriggeredSubsystem6_183_020(In1_1 : real;
236
node  TriggeredSubsystem6_61_280(In1_1 : real;
300 237
	__time_step : real;
301 238
	__nb_step : int;)
302 239
returns(Out1_1 : real;);
......
307 244
(*
308 245
Original block name: trigger_test_PP/TriggeredSubsystem7
309 246
*)
310
node  TriggeredSubsystem7_188_018_automaton(In1_1 : real;
247
node  TriggeredSubsystem7_66_290_condExecSS(In1_1 : real;
311 248
	_isEnabled : bool;
312 249
	__time_step : real;
313 250
	__nb_step : int;)
314 251
returns(Out1_1 : real;);
315 252
var pre_Out1_1 : real;
253
	_isEnabled_clock : bool clock;
316 254
let
317 255
	pre_Out1_1 = if (__nb_step > 0) then
318 256
		(pre Out1_1)
319
	    else 0.000000000000000;
320
	automaton enabled_TriggeredSubsystem7_188_018
321
	state Active_TriggeredSubsystem7_188_018:
322
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem7_188_018
323
	let
324
		Out1_1 = TriggeredSubsystem7_188_018(In1_1, __time_step, __nb_step);
325
	tel
326

  
327
	state Inactive_TriggeredSubsystem7_188_018:
328
	unless _isEnabled resume Active_TriggeredSubsystem7_188_018
329
	let
330
		Out1_1 = pre_Out1_1;
331
	tel
332

  
333

  
257
	    else 0.0;
258
	_isEnabled_clock = _isEnabled;
259
	Out1_1 = (merge _isEnabled_clock 
260
		(true -> TriggeredSubsystem7_66_290((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
261
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
334 262
tel
335 263

  
336 264
(*
337 265
Original block name: trigger_test_PP/TriggeredSubsystem7
338 266
*)
339
node  TriggeredSubsystem7_188_018(In1_1 : real;
267
node  TriggeredSubsystem7_66_290(In1_1 : real;
340 268
	__time_step : real;
341 269
	__nb_step : int;)
342 270
returns(Out1_1 : real;);
......
347 275
(*
348 276
Original block name: trigger_test_PP/TriggeredSubsystem8
349 277
*)
350
node  TriggeredSubsystem8_193_020_automaton(In1_1 : real;
278
node  TriggeredSubsystem8_72_286_condExecSS(In1_1 : real;
351 279
	_isEnabled : bool;
352 280
	__time_step : real;
353 281
	__nb_step : int;)
354 282
returns(Out1_1 : real;);
355 283
var pre_Out1_1 : real;
284
	_isEnabled_clock : bool clock;
356 285
let
357 286
	pre_Out1_1 = if (__nb_step > 0) then
358 287
		(pre Out1_1)
359
	    else 0.000000000000000;
360
	automaton enabled_TriggeredSubsystem8_193_020
361
	state Active_TriggeredSubsystem8_193_020:
362
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem8_193_020
363
	let
364
		Out1_1 = TriggeredSubsystem8_193_020(In1_1, __time_step, __nb_step);
365
	tel
366

  
367
	state Inactive_TriggeredSubsystem8_193_020:
368
	unless _isEnabled resume Active_TriggeredSubsystem8_193_020
369
	let
370
		Out1_1 = pre_Out1_1;
371
	tel
372

  
373

  
288
	    else 0.0;
289
	_isEnabled_clock = _isEnabled;
290
	Out1_1 = (merge _isEnabled_clock 
291
		(true -> TriggeredSubsystem8_72_286((In1_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
292
		(false -> (pre_Out1_1) when false(_isEnabled_clock)));
374 293
tel
375 294

  
376 295
(*
377 296
Original block name: trigger_test_PP/TriggeredSubsystem8
378 297
*)
379
node  TriggeredSubsystem8_193_020(In1_1 : real;
298
node  TriggeredSubsystem8_72_286(In1_1 : real;
380 299
	__time_step : real;
381 300
	__nb_step : int;)
382 301
returns(Out1_1 : real;);
......
387 306
(*
388 307
Original block name: trigger_test_PP/TriggeredSubsystem9
389 308
*)
390
node  TriggeredSubsystem9_198_022_automaton(In1_1 : real;
309
node  TriggeredSubsystem9_77_062_condExecSS(In1_1 : real;
391 310
	In1_2 : real;
392 311
	In1_3 : real;
393 312
	Trigger_1 : real;
......
400 319
var pre_Out1_1 : real;
401 320
	pre_Out1_2 : real;
402 321
	pre_Out1_3 : real;
322
	_isEnabled_clock : bool clock;
403 323
let
404 324
	pre_Out1_1 = if (__nb_step > 0) then
405 325
		(pre Out1_1)
406
	    else 0.000000000000000;
326
	    else 0.0;
407 327
	pre_Out1_2 = if (__nb_step > 0) then
408 328
		(pre Out1_2)
409
	    else 0.000000000000000;
329
	    else 0.0;
410 330
	pre_Out1_3 = if (__nb_step > 0) then
411 331
		(pre Out1_3)
412
	    else 0.000000000000000;
413
	automaton enabled_TriggeredSubsystem9_198_022
414
	state Active_TriggeredSubsystem9_198_022:
415
	unless (not _isEnabled) restart Inactive_TriggeredSubsystem9_198_022
416
	let
417
		(Out1_1, Out1_2, Out1_3) = TriggeredSubsystem9_198_022(In1_1, In1_2, In1_3, Trigger_1, __time_step, __nb_step);
418
	tel
419

  
420
	state Inactive_TriggeredSubsystem9_198_022:
421
	unless _isEnabled resume Active_TriggeredSubsystem9_198_022
422
	let
423
		Out1_1 = pre_Out1_1;
424
		Out1_2 = pre_Out1_2;
425
		Out1_3 = pre_Out1_3;
426
	tel
427

  
428

  
332
	    else 0.0;
333
	_isEnabled_clock = _isEnabled;
334
	(Out1_1, Out1_2, Out1_3) = (merge _isEnabled_clock 
335
		(true -> TriggeredSubsystem9_77_062((In1_1 when _isEnabled_clock), (In1_2 when _isEnabled_clock), (In1_3 when _isEnabled_clock), (Trigger_1 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
336
		(false -> (pre_Out1_1, pre_Out1_2, pre_Out1_3) when false(_isEnabled_clock)));
429 337
tel
430 338

  
431 339
(*
432 340
Original block name: trigger_test_PP/TriggeredSubsystem9
433 341
*)
434
node  TriggeredSubsystem9_198_022(In1_1 : real;
342
node  TriggeredSubsystem9_77_062(In1_1 : real;
435 343
	In1_2 : real;
436 344
	In1_3 : real;
437 345
	Trigger_1 : real;
......
477 385
	Out10_1 : real;
478 386
	Out10_2 : real;
479 387
	Out10_3 : real;);
480
var ExecutionCond_of_TriggeredSubsystem_141_027 : bool;
388
var ExecutionCond_of_TriggeredSubsystem_19_528 : bool;
481 389
	TriggeredSubsystem_1 : bool;
482
	ExecutionCond_of_TriggeredSubsystem1_149_453 : bool;
390
	ExecutionCond_of_TriggeredSubsystem1_27_281 : bool;
483 391
	TriggeredSubsystem1_1 : real;
484
	ExecutionCond_of_TriggeredSubsystem2_157_031 : bool;
392
	ExecutionCond_of_TriggeredSubsystem2_35_290 : bool;
485 393
	TriggeredSubsystem2_1 : real;
486
	ExecutionCond_of_TriggeredSubsystem3_165_021 : bool;
394
	ExecutionCond_of_TriggeredSubsystem3_43_085 : bool;
487 395
	TriggeredSubsystem3_1 : real;
488
	ExecutionCond_of_TriggeredSubsystem4_170_018 : bool;
396
	ExecutionCond_of_TriggeredSubsystem4_48_103 : bool;
489 397
	TriggeredSubsystem4_1 : real;
490
	ExecutionCond_of_TriggeredSubsystem5_175_020 : bool;
398
	ExecutionCond_of_TriggeredSubsystem5_53_287 : bool;
491 399
	TriggeredSubsystem5_1 : real;
492
	ExecutionCond_of_TriggeredSubsystem6_183_020 : bool;
400
	ExecutionCond_of_TriggeredSubsystem6_61_280 : bool;
493 401
	TriggeredSubsystem6_1 : real;
494
	ExecutionCond_of_TriggeredSubsystem7_188_018 : bool;
402
	ExecutionCond_of_TriggeredSubsystem7_66_290 : bool;
495 403
	TriggeredSubsystem7_1 : real;
496
	ExecutionCond_of_TriggeredSubsystem8_193_020 : bool;
404
	ExecutionCond_of_TriggeredSubsystem8_72_286 : bool;
497 405
	TriggeredSubsystem8_1 : real;
498
	ExecutionCond_of_TriggeredSubsystem9_198_022 : bool;
406
	ExecutionCond_of_TriggeredSubsystem9_77_062 : bool;
499 407
	TriggeredSubsystem9_1 : real;
500 408
	TriggeredSubsystem9_2 : real;
501 409
	TriggeredSubsystem9_3 : real;
502 410
	__time_step : real;
503 411
	__nb_step : int;
504 412
let
505
	ExecutionCond_of_TriggeredSubsystem_141_027 = (false -> (In2_1 and (not (pre In2_1))));
506
	TriggeredSubsystem_1 = TriggeredSubsystem_141_027_automaton(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem_141_027 then
413
	ExecutionCond_of_TriggeredSubsystem_19_528 = (false -> (In2_1 and (not (pre In2_1))));
414
	TriggeredSubsystem_1 = TriggeredSubsystem_19_528_condExecSS(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem_19_528 then
507 415
		1.0
508
	    else 0.0), ExecutionCond_of_TriggeredSubsystem_141_027, __time_step, __nb_step);
509
	ExecutionCond_of_TriggeredSubsystem1_149_453 = (false -> ((not In2_1) and (pre In2_1)));
510
	TriggeredSubsystem1_1 = TriggeredSubsystem1_149_453_automaton(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem1_149_453 then
416
	    else 0.0), ExecutionCond_of_TriggeredSubsystem_19_528, __time_step, __nb_step);
417
	ExecutionCond_of_TriggeredSubsystem1_27_281 = (false -> ((not In2_1) and (pre In2_1)));
418
	TriggeredSubsystem1_1 = TriggeredSubsystem1_27_281_condExecSS(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem1_27_281 then
511 419
		(- 1.0)
512
	    else 0.0), ExecutionCond_of_TriggeredSubsystem1_149_453, __time_step, __nb_step);
513
	ExecutionCond_of_TriggeredSubsystem2_157_031 = (false -> ((In2_1 and (not (pre In2_1))) or ((not In2_1) and (pre In2_1))));
514
	TriggeredSubsystem2_1 = TriggeredSubsystem2_157_031_automaton(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem2_157_031 then
420
	    else 0.0), ExecutionCond_of_TriggeredSubsystem1_27_281, __time_step, __nb_step);
421
	ExecutionCond_of_TriggeredSubsystem2_35_290 = (false -> ((In2_1 and (not (pre In2_1))) or ((not In2_1) and (pre In2_1))));
422
	TriggeredSubsystem2_1 = TriggeredSubsystem2_35_290_condExecSS(In1_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem2_35_290 then
515 423
		if (false -> (In2_1 and (not (pre In2_1)))) then
516 424
		1.0
517 425
	    else (- 1.0)
518
	    else 0.0), ExecutionCond_of_TriggeredSubsystem2_157_031, __time_step, __nb_step);
519
	ExecutionCond_of_TriggeredSubsystem3_165_021 = (false -> ((In4_1 > 0) and (not (pre (In4_1 > 0)))));
520
	TriggeredSubsystem3_1 = TriggeredSubsystem3_165_021_automaton(In3_1, ExecutionCond_of_TriggeredSubsystem3_165_021, __time_step, __nb_step);
521
	ExecutionCond_of_TriggeredSubsystem4_170_018 = (false -> ((not (In4_1 > 0)) and (pre (In4_1 > 0))));
522
	TriggeredSubsystem4_1 = TriggeredSubsystem4_170_018_automaton(In3_1, ExecutionCond_of_TriggeredSubsystem4_170_018, __time_step, __nb_step);
523
	ExecutionCond_of_TriggeredSubsystem5_175_020 = (false -> (((In4_1 > 0) and (not (pre (In4_1 > 0)))) or ((not (In4_1 > 0)) and (pre (In4_1 > 0)))));
524
	TriggeredSubsystem5_1 = TriggeredSubsystem5_175_020_automaton(In3_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem5_175_020 then
426
	    else 0.0), ExecutionCond_of_TriggeredSubsystem2_35_290, __time_step, __nb_step);
427
	ExecutionCond_of_TriggeredSubsystem3_43_085 = (false -> ((In4_1 > 0) and (not (pre (In4_1 > 0)))));
428
	TriggeredSubsystem3_1 = TriggeredSubsystem3_43_085_condExecSS(In3_1, ExecutionCond_of_TriggeredSubsystem3_43_085, __time_step, __nb_step);
429
	ExecutionCond_of_TriggeredSubsystem4_48_103 = (false -> ((not (In4_1 > 0)) and (pre (In4_1 > 0))));
430
	TriggeredSubsystem4_1 = TriggeredSubsystem4_48_103_condExecSS(In3_1, ExecutionCond_of_TriggeredSubsystem4_48_103, __time_step, __nb_step);
431
	ExecutionCond_of_TriggeredSubsystem5_53_287 = (false -> (((In4_1 > 0) and (not (pre (In4_1 > 0)))) or ((not (In4_1 > 0)) and (pre (In4_1 > 0)))));
432
	TriggeredSubsystem5_1 = TriggeredSubsystem5_53_287_condExecSS(In3_1, (0.0 -> if ExecutionCond_of_TriggeredSubsystem5_53_287 then
525 433
		if (false -> ((In4_1 > 0) and (not (pre (In4_1 > 0))))) then
526 434
		1.0
527 435
	    else (- 1.0)
528
	    else 0.0), ExecutionCond_of_TriggeredSubsystem5_175_020, __time_step, __nb_step);
529
	ExecutionCond_of_TriggeredSubsystem6_183_020 = (false -> ((In6_1 > 0.0) and (not (pre (In6_1 > 0.0)))));
530
	TriggeredSubsystem6_1 = TriggeredSubsystem6_183_020_automaton(In5_1, ExecutionCond_of_TriggeredSubsystem6_183_020, __time_step, __nb_step);
531
	ExecutionCond_of_TriggeredSubsystem7_188_018 = (false -> ((not (In6_1 > 0.0)) and (pre (In6_1 > 0.0))));
532
	TriggeredSubsystem7_1 = TriggeredSubsystem7_188_018_automaton(In5_1, ExecutionCond_of_TriggeredSubsystem7_188_018, __time_step, __nb_step);
533
	ExecutionCond_of_TriggeredSubsystem8_193_020 = (false -> (((In6_1 > 0.0) and (not (pre (In6_1 > 0.0)))) or ((not (In6_1 > 0.0)) and (pre (In6_1 > 0.0)))));
534
	TriggeredSubsystem8_1 = TriggeredSubsystem8_193_020_automaton(In5_1, ExecutionCond_of_TriggeredSubsystem8_193_020, __time_step, __nb_step);
535
	ExecutionCond_of_TriggeredSubsystem9_198_022 = (false -> ((In8_1 and (not (pre In8_1))) or ((not In8_1) and (pre In8_1))));
536
	(TriggeredSubsystem9_1, TriggeredSubsystem9_2, TriggeredSubsystem9_3) = TriggeredSubsystem9_198_022_automaton(In7_1, In7_2, In7_3, (0.0 -> if ExecutionCond_of_TriggeredSubsystem9_198_022 then
436
	    else 0.0), ExecutionCond_of_TriggeredSubsystem5_53_287, __time_step, __nb_step);
437
	ExecutionCond_of_TriggeredSubsystem6_61_280 = (false -> ((In6_1 > 0.0) and (not (pre (In6_1 > 0.0)))));
438
	TriggeredSubsystem6_1 = TriggeredSubsystem6_61_280_condExecSS(In5_1, ExecutionCond_of_TriggeredSubsystem6_61_280, __time_step, __nb_step);
439
	ExecutionCond_of_TriggeredSubsystem7_66_290 = (false -> ((not (In6_1 > 0.0)) and (pre (In6_1 > 0.0))));
440
	TriggeredSubsystem7_1 = TriggeredSubsystem7_66_290_condExecSS(In5_1, ExecutionCond_of_TriggeredSubsystem7_66_290, __time_step, __nb_step);
441
	ExecutionCond_of_TriggeredSubsystem8_72_286 = (false -> (((In6_1 > 0.0) and (not (pre (In6_1 > 0.0)))) or ((not (In6_1 > 0.0)) and (pre (In6_1 > 0.0)))));
442
	TriggeredSubsystem8_1 = TriggeredSubsystem8_72_286_condExecSS(In5_1, ExecutionCond_of_TriggeredSubsystem8_72_286, __time_step, __nb_step);
443
	ExecutionCond_of_TriggeredSubsystem9_77_062 = (false -> ((In8_1 and (not (pre In8_1))) or ((not In8_1) and (pre In8_1))));
444
	(TriggeredSubsystem9_1, TriggeredSubsystem9_2, TriggeredSubsystem9_3) = TriggeredSubsystem9_77_062_condExecSS(In7_1, In7_2, In7_3, (0.0 -> if ExecutionCond_of_TriggeredSubsystem9_77_062 then
537 445
		if (false -> (In8_1 and (not (pre In8_1)))) then
538 446
		1.0
539 447
	    else (- 1.0)
540
	    else 0.0), ExecutionCond_of_TriggeredSubsystem9_198_022, __time_step, __nb_step);
448
	    else 0.0), ExecutionCond_of_TriggeredSubsystem9_77_062, __time_step, __nb_step);
541 449
	Out1_1 = TriggeredSubsystem_1;
542 450
	Out2_1 = TriggeredSubsystem1_1;
543 451
	Out3_1 = TriggeredSubsystem2_1;
......
550 458
	Out10_1 = TriggeredSubsystem9_1;
551 459
	Out10_2 = TriggeredSubsystem9_2;
552 460
	Out10_3 = TriggeredSubsystem9_3;
553
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
461
	__time_step = (0.0 -> ((pre __time_step) + 1.0));
554 462
	__nb_step = (0 -> ((pre __nb_step) + 1));
555 463
tel
556 464

  

Also available in: Unified diff