Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events7 / Events7.lus @ eb639349

History | View | Annotate | Download (14.2 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5

    
6

    
7

    
8

    
9

    
10

    
11

    
12

    
13

    
14

    
15
-- Entry action for state :T2_D
16
node T2_D_en(idEvents7_T2_1:int;
17
	sT2_1:real;
18
	isInner:bool)
19

    
20
returns (idEvents7_T2:int;
21
	sT2:real);
22

    
23

    
24
var 	idEvents7_T2_2:int;
25
	sT2_2:real;
26

    
27

    
28
let
29

    
30

    
31

    
32
	-- set state as active 
33
	idEvents7_T2_2 
34
	= 680;
35
	
36

    
37
	sT2_2 
38
	= if (not isInner) then 2.
39
	 else sT2_1;
40
	
41

    
42
	(idEvents7_T2, sT2) 
43
	= (idEvents7_T2_2, sT2_2);
44
	
45

    
46
tel
47

    
48

    
49

    
50

    
51

    
52
-- Exit action for state :T2_D
53
node T2_D_ex(idEvents7_T2_1:int;
54
	isInner:bool)
55

    
56
returns (idEvents7_T2:int);
57

    
58

    
59
var 	idEvents7_T2_2:int;
60

    
61

    
62
let
63

    
64

    
65

    
66
	-- set state as inactive 
67
	idEvents7_T2_2
68
	 = if (not isInner) then 0 else idEvents7_T2_1;
69

    
70

    
71
	(idEvents7_T2) 
72
	= (idEvents7_T2_1);
73
	
74

    
75
tel
76

    
77

    
78

    
79

    
80

    
81

    
82
-- Entry action for state :T2_C
83
node T2_C_en(idEvents7_T2_1:int;
84
	sT2_1:real;
85
	isInner:bool)
86

    
87
returns (idEvents7_T2:int;
88
	sT2:real);
89

    
90

    
91
var 	idEvents7_T2_2:int;
92
	sT2_2:real;
93

    
94

    
95
let
96

    
97

    
98

    
99
	-- set state as active 
100
	idEvents7_T2_2 
101
	= 679;
102
	
103

    
104
	sT2_2 
105
	= if (not isInner) then 1.
106
	 else sT2_1;
107
	
108

    
109
	(idEvents7_T2, sT2) 
110
	= (idEvents7_T2_2, sT2_2);
111
	
112

    
113
tel
114

    
115

    
116

    
117

    
118

    
119
-- Exit action for state :T2_C
120
node T2_C_ex(idEvents7_T2_1:int;
121
	isInner:bool)
122

    
123
returns (idEvents7_T2:int);
124

    
125

    
126
var 	idEvents7_T2_2:int;
127

    
128

    
129
let
130

    
131

    
132

    
133
	-- set state as inactive 
134
	idEvents7_T2_2
135
	 = if (not isInner) then 0 else idEvents7_T2_1;
136

    
137

    
138
	(idEvents7_T2) 
139
	= (idEvents7_T2_1);
140
	
141

    
142
tel
143

    
144

    
145

    
146

    
147

    
148

    
149
-- Entry action for state :Events7_T2
150
node Events7_T2_en(idEvents7_T2_1:int;
151
	idEvents7_Events7_1:int;
152
	sT2_1:real;
153
	isInner:bool)
154

    
155
returns (idEvents7_T2:int;
156
	idEvents7_Events7:int;
157
	sT2:real);
158

    
159

    
160
var 	idEvents7_T2_2, idEvents7_T2_3, idEvents7_T2_4, idEvents7_T2_5, idEvents7_T2_6:int;
161
	idEvents7_Events7_2, idEvents7_Events7_3, idEvents7_Events7_4:int;
162
	sT2_2, sT2_3, sT2_4, sT2_5, sT2_6:real;
163

    
164

    
165
let
166

    
167

    
168

    
169
	-- set state as active 
170
	idEvents7_Events7_2 
171
	= 678;
172
	
173

    
174
	
175
-- transition trace :
176
	--POINT__To__T2_C_1
177
		(idEvents7_T2_2, sT2_2) 
178
	= T2_C_en(idEvents7_T2_1, sT2_1, false);
179
		
180

    
181
	(idEvents7_T2_3, idEvents7_Events7_3, sT2_3) 
182
	= 
183

    
184
	if ( idEvents7_T2_1 = 0) then
185

    
186
	 (idEvents7_T2_2, idEvents7_Events7_2, sT2_2)
187

    
188
	 else(idEvents7_T2_1, idEvents7_Events7_2, sT2_1);
189

    
190
	
191

    
192
	(idEvents7_T2_4, sT2_4) 
193
	= 
194
	if ( idEvents7_T2_1 = 679) then
195
	T2_C_en(idEvents7_T2_1, sT2_1, false)
196
	 else (idEvents7_T2_1, sT2_1);
197

    
198
	
199

    
200
	(idEvents7_T2_5, sT2_5) 
201
	= 
202
	if ( idEvents7_T2_1 = 680) then
203
	T2_D_en(idEvents7_T2_1, sT2_1, false)
204
	 else (idEvents7_T2_1, sT2_1);
205

    
206
	
207

    
208
	(idEvents7_T2_6, idEvents7_Events7_4, sT2_6) 
209
	= 
210
		 if ( idEvents7_T2_1 = 0) then 
211
		(idEvents7_T2_3, idEvents7_Events7_3, sT2_3)
212
		 else
213
		 if ( idEvents7_T2_1 = 679) then 
214
		(idEvents7_T2_4, idEvents7_Events7_3, sT2_4)
215
		 else
216
		 if ( idEvents7_T2_1 = 680) then 
217
		(idEvents7_T2_5, idEvents7_Events7_3, sT2_5)
218
		 else (idEvents7_T2_1, idEvents7_Events7_2, sT2_1);
219

    
220

    
221
	(idEvents7_T2, idEvents7_Events7, sT2) 
222
	= (idEvents7_T2_6, idEvents7_Events7_4, sT2_6);
223
	
224

    
225
tel
226

    
227

    
228

    
229

    
230

    
231
-- Exit action for state :Events7_T2
232
node Events7_T2_ex(idEvents7_T2_1:int;
233
	idEvents7_Events7_1:int;
234
	isInner:bool)
235

    
236
returns (idEvents7_T2:int;
237
	idEvents7_Events7:int);
238

    
239

    
240
var 	idEvents7_T2_2, idEvents7_T2_3, idEvents7_T2_4, idEvents7_T2_5:int;
241
	idEvents7_Events7_2:int;
242

    
243

    
244
let
245

    
246

    
247

    
248
	
249
	(idEvents7_T2_2) 
250
	= 
251
	if ( idEvents7_T2_1 = 679) then
252
	T2_C_ex(idEvents7_T2_1, false)
253
	 else (idEvents7_T2_1);
254

    
255
	
256

    
257
	(idEvents7_T2_3) 
258
	= 
259
	if ( idEvents7_T2_1 = 680) then
260
	T2_D_ex(idEvents7_T2_1, false)
261
	 else (idEvents7_T2_1);
262

    
263
	
264

    
265
	(idEvents7_T2_4) 
266
	= 
267
		 if ( idEvents7_T2_1 = 679) then 
268
		(idEvents7_T2_2)
269
		 else
270
		 if ( idEvents7_T2_1 = 680) then 
271
		(idEvents7_T2_3)
272
		 else (idEvents7_T2_1);
273

    
274

    
275
	-- set state as inactive 
276
	idEvents7_Events7_2
277
	 = if (not isInner) then 0 else idEvents7_Events7_1;
278

    
279
	idEvents7_T2_5 
280
	= 0;
281
	
282

    
283
	(idEvents7_T2, idEvents7_Events7) 
284
	= (idEvents7_T2_5, idEvents7_Events7_1);
285
	
286

    
287
tel
288

    
289

    
290

    
291

    
292

    
293

    
294
-- Entry action for state :T1_B
295
node T1_B_en(idEvents7_T1_1:int;
296
	sT1_1:real;
297
	isInner:bool)
298

    
299
returns (idEvents7_T1:int;
300
	sT1:real);
301

    
302

    
303
var 	idEvents7_T1_2:int;
304
	sT1_2:real;
305

    
306

    
307
let
308

    
309

    
310

    
311
	-- set state as active 
312
	idEvents7_T1_2 
313
	= 677;
314
	
315

    
316
	sT1_2 
317
	= if (not isInner) then 2.
318
	 else sT1_1;
319
	
320

    
321
	(idEvents7_T1, sT1) 
322
	= (idEvents7_T1_2, sT1_2);
323
	
324

    
325
tel
326

    
327

    
328

    
329

    
330

    
331
-- Exit action for state :T1_B
332
node T1_B_ex(idEvents7_T1_1:int;
333
	isInner:bool)
334

    
335
returns (idEvents7_T1:int);
336

    
337

    
338
var 	idEvents7_T1_2:int;
339

    
340

    
341
let
342

    
343

    
344

    
345
	-- set state as inactive 
346
	idEvents7_T1_2
347
	 = if (not isInner) then 0 else idEvents7_T1_1;
348

    
349

    
350
	(idEvents7_T1) 
351
	= (idEvents7_T1_1);
352
	
353

    
354
tel
355

    
356

    
357

    
358

    
359

    
360

    
361
-- Entry action for state :T1_A
362
node T1_A_en(idEvents7_T1_1:int;
363
	sT1_1:real;
364
	isInner:bool)
365

    
366
returns (idEvents7_T1:int;
367
	sT1:real);
368

    
369

    
370
var 	idEvents7_T1_2:int;
371
	sT1_2:real;
372

    
373

    
374
let
375

    
376

    
377

    
378
	-- set state as active 
379
	idEvents7_T1_2 
380
	= 676;
381
	
382

    
383
	sT1_2 
384
	= if (not isInner) then 1.
385
	 else sT1_1;
386
	
387

    
388
	(idEvents7_T1, sT1) 
389
	= (idEvents7_T1_2, sT1_2);
390
	
391

    
392
tel
393

    
394

    
395

    
396

    
397

    
398
-- Exit action for state :T1_A
399
node T1_A_ex(idEvents7_T1_1:int;
400
	isInner:bool)
401

    
402
returns (idEvents7_T1:int);
403

    
404

    
405
var 	idEvents7_T1_2:int;
406

    
407

    
408
let
409

    
410

    
411

    
412
	-- set state as inactive 
413
	idEvents7_T1_2
414
	 = if (not isInner) then 0 else idEvents7_T1_1;
415

    
416

    
417
	(idEvents7_T1) 
418
	= (idEvents7_T1_1);
419
	
420

    
421
tel
422

    
423

    
424

    
425

    
426

    
427

    
428
-- Entry action for state :Events7_T1
429
node Events7_T1_en(idEvents7_T1_1:int;
430
	idEvents7_Events7_1:int;
431
	sT1_1:real;
432
	isInner:bool)
433

    
434
returns (idEvents7_T1:int;
435
	idEvents7_Events7:int;
436
	sT1:real);
437

    
438

    
439
var 	idEvents7_T1_2, idEvents7_T1_3, idEvents7_T1_4, idEvents7_T1_5, idEvents7_T1_6:int;
440
	idEvents7_Events7_2, idEvents7_Events7_3, idEvents7_Events7_4:int;
441
	sT1_2, sT1_3, sT1_4, sT1_5, sT1_6:real;
442

    
443

    
444
let
445

    
446

    
447

    
448
	-- set state as active 
449
	idEvents7_Events7_2 
450
	= 675;
451
	
452

    
453
	
454
-- transition trace :
455
	--POINT__To__T1_A_1
456
		(idEvents7_T1_2, sT1_2) 
457
	= T1_A_en(idEvents7_T1_1, sT1_1, false);
458
		
459

    
460
	(idEvents7_T1_3, idEvents7_Events7_3, sT1_3) 
461
	= 
462

    
463
	if ( idEvents7_T1_1 = 0) then
464

    
465
	 (idEvents7_T1_2, idEvents7_Events7_2, sT1_2)
466

    
467
	 else(idEvents7_T1_1, idEvents7_Events7_2, sT1_1);
468

    
469
	
470

    
471
	(idEvents7_T1_4, sT1_4) 
472
	= 
473
	if ( idEvents7_T1_1 = 676) then
474
	T1_A_en(idEvents7_T1_1, sT1_1, false)
475
	 else (idEvents7_T1_1, sT1_1);
476

    
477
	
478

    
479
	(idEvents7_T1_5, sT1_5) 
480
	= 
481
	if ( idEvents7_T1_1 = 677) then
482
	T1_B_en(idEvents7_T1_1, sT1_1, false)
483
	 else (idEvents7_T1_1, sT1_1);
484

    
485
	
486

    
487
	(idEvents7_T1_6, idEvents7_Events7_4, sT1_6) 
488
	= 
489
		 if ( idEvents7_T1_1 = 0) then 
490
		(idEvents7_T1_3, idEvents7_Events7_3, sT1_3)
491
		 else
492
		 if ( idEvents7_T1_1 = 676) then 
493
		(idEvents7_T1_4, idEvents7_Events7_3, sT1_4)
494
		 else
495
		 if ( idEvents7_T1_1 = 677) then 
496
		(idEvents7_T1_5, idEvents7_Events7_3, sT1_5)
497
		 else (idEvents7_T1_1, idEvents7_Events7_2, sT1_1);
498

    
499

    
500
	(idEvents7_T1, idEvents7_Events7, sT1) 
501
	= (idEvents7_T1_6, idEvents7_Events7_4, sT1_6);
502
	
503

    
504
tel
505

    
506

    
507

    
508

    
509

    
510
-- Exit action for state :Events7_T1
511
node Events7_T1_ex(idEvents7_T1_1:int;
512
	idEvents7_Events7_1:int;
513
	isInner:bool)
514

    
515
returns (idEvents7_T1:int;
516
	idEvents7_Events7:int);
517

    
518

    
519
var 	idEvents7_T1_2, idEvents7_T1_3, idEvents7_T1_4, idEvents7_T1_5:int;
520
	idEvents7_Events7_2:int;
521

    
522

    
523
let
524

    
525

    
526

    
527
	
528
	(idEvents7_T1_2) 
529
	= 
530
	if ( idEvents7_T1_1 = 676) then
531
	T1_A_ex(idEvents7_T1_1, false)
532
	 else (idEvents7_T1_1);
533

    
534
	
535

    
536
	(idEvents7_T1_3) 
537
	= 
538
	if ( idEvents7_T1_1 = 677) then
539
	T1_B_ex(idEvents7_T1_1, false)
540
	 else (idEvents7_T1_1);
541

    
542
	
543

    
544
	(idEvents7_T1_4) 
545
	= 
546
		 if ( idEvents7_T1_1 = 676) then 
547
		(idEvents7_T1_2)
548
		 else
549
		 if ( idEvents7_T1_1 = 677) then 
550
		(idEvents7_T1_3)
551
		 else (idEvents7_T1_1);
552

    
553

    
554
	-- set state as inactive 
555
	idEvents7_Events7_2
556
	 = if (not isInner) then 0 else idEvents7_Events7_1;
557

    
558
	idEvents7_T1_5 
559
	= 0;
560
	
561

    
562
	(idEvents7_T1, idEvents7_Events7) 
563
	= (idEvents7_T1_5, idEvents7_Events7_1);
564
	
565

    
566
tel
567

    
568

    
569
--***************************************************State :Events7_T2 Automaton***************************************************
570

    
571
node Events7_T2_node(idEvents7_T2_1:int;
572
	sT2_1:real;
573
	idEvents7_T1_1:int)
574

    
575
returns (idEvents7_T2:int;
576
	sT2:real);
577

    
578

    
579
let
580

    
581
	 automaton events7_t2
582

    
583
	state POINTEvents7_T2:
584
	unless (idEvents7_T2_1=0) restart POINT__TO__T2_C_1
585

    
586

    
587

    
588
	unless (idEvents7_T2_1=679) and idEvents7_T1_1 = 677 restart T2_C__TO__T2_D_1
589

    
590

    
591

    
592
	unless (idEvents7_T2_1=680) and idEvents7_T1_1 = 676 restart T2_D__TO__T2_C_1
593

    
594

    
595

    
596
	unless (idEvents7_T2_1=679) restart T2_C_IDL
597

    
598
	unless (idEvents7_T2_1=680) restart T2_D_IDL
599

    
600
	let
601

    
602
		(idEvents7_T2, sT2) 
603
	= (idEvents7_T2_1, sT2_1);
604
	
605

    
606
	tel
607

    
608

    
609

    
610
	state POINT__TO__T2_C_1:
611

    
612
	 var 	idEvents7_T2_2:int;
613
	sT2_2:real;
614
	let
615

    
616
		-- transition trace :
617
	--POINT__To__T2_C_1
618
		(idEvents7_T2_2, sT2_2) 
619
	= T2_C_en(idEvents7_T2_1, sT2_1, false);
620
		
621

    
622
	(idEvents7_T2, sT2) 
623
	=  (idEvents7_T2_2, sT2_2);
624

    
625

    
626
	tel
627

    
628
	until true restart POINTEvents7_T2
629

    
630

    
631

    
632
	state T2_C__TO__T2_D_1:
633

    
634
	 var 	idEvents7_T2_2, idEvents7_T2_3:int;
635
	sT2_2:real;
636
	let
637

    
638
		-- transition trace :
639
	--T2_C__To__T2_D_1
640
		(idEvents7_T2_2) 
641
	= T2_C_ex(idEvents7_T2_1, false);
642
		
643

    
644
		(idEvents7_T2_3, sT2_2) 
645
	= T2_D_en(idEvents7_T2_2, sT2_1, false);
646
		
647

    
648
	(idEvents7_T2, sT2) 
649
	=  (idEvents7_T2_3, sT2_2);
650

    
651

    
652
	tel
653

    
654
	until true restart POINTEvents7_T2
655

    
656

    
657

    
658
	state T2_D__TO__T2_C_1:
659

    
660
	 var 	idEvents7_T2_2, idEvents7_T2_3:int;
661
	sT2_2:real;
662
	let
663

    
664
		-- transition trace :
665
	--T2_D__To__T2_C_1
666
		(idEvents7_T2_2) 
667
	= T2_D_ex(idEvents7_T2_1, false);
668
		
669

    
670
		(idEvents7_T2_3, sT2_2) 
671
	= T2_C_en(idEvents7_T2_2, sT2_1, false);
672
		
673

    
674
	(idEvents7_T2, sT2) 
675
	=  (idEvents7_T2_3, sT2_2);
676

    
677

    
678
	tel
679

    
680
	until true restart POINTEvents7_T2
681

    
682

    
683

    
684
	state T2_C_IDL:
685

    
686
	 	let
687

    
688
		
689

    
690
	(idEvents7_T2, sT2) 
691
	= (idEvents7_T2_1, sT2_1);
692
	
693

    
694
	tel
695

    
696
	until true restart POINTEvents7_T2
697

    
698

    
699

    
700
	state T2_D_IDL:
701

    
702
	 	let
703

    
704
		
705

    
706
	(idEvents7_T2, sT2) 
707
	= (idEvents7_T2_1, sT2_1);
708
	
709

    
710
	tel
711

    
712
	until true restart POINTEvents7_T2
713

    
714

    
715

    
716
tel
717

    
718

    
719
--***************************************************State :Events7_T1 Automaton***************************************************
720

    
721
node Events7_T1_node(idEvents7_T1_1:int;
722
	sT1_1:real;
723
	E:bool)
724

    
725
returns (idEvents7_T1:int;
726
	sT1:real);
727

    
728

    
729
let
730

    
731
	 automaton events7_t1
732

    
733
	state POINTEvents7_T1:
734
	unless (idEvents7_T1_1=0) restart POINT__TO__T1_A_1
735

    
736

    
737

    
738
	unless (idEvents7_T1_1=676) and E restart T1_A__TO__T1_B_1
739

    
740

    
741

    
742
	unless (idEvents7_T1_1=677) and E restart T1_B__TO__T1_A_1
743

    
744

    
745

    
746
	unless (idEvents7_T1_1=676) restart T1_A_IDL
747

    
748
	unless (idEvents7_T1_1=677) restart T1_B_IDL
749

    
750
	let
751

    
752
		(idEvents7_T1, sT1) 
753
	= (idEvents7_T1_1, sT1_1);
754
	
755

    
756
	tel
757

    
758

    
759

    
760
	state POINT__TO__T1_A_1:
761

    
762
	 var 	idEvents7_T1_2:int;
763
	sT1_2:real;
764
	let
765

    
766
		-- transition trace :
767
	--POINT__To__T1_A_1
768
		(idEvents7_T1_2, sT1_2) 
769
	= T1_A_en(idEvents7_T1_1, sT1_1, false);
770
		
771

    
772
	(idEvents7_T1, sT1) 
773
	=  (idEvents7_T1_2, sT1_2);
774

    
775

    
776
	tel
777

    
778
	until true restart POINTEvents7_T1
779

    
780

    
781

    
782
	state T1_A__TO__T1_B_1:
783

    
784
	 var 	idEvents7_T1_2, idEvents7_T1_3:int;
785
	sT1_2:real;
786
	let
787

    
788
		-- transition trace :
789
	--T1_A__To__T1_B_1
790
		(idEvents7_T1_2) 
791
	= T1_A_ex(idEvents7_T1_1, false);
792
		
793

    
794
		(idEvents7_T1_3, sT1_2) 
795
	= T1_B_en(idEvents7_T1_2, sT1_1, false);
796
		
797

    
798
	(idEvents7_T1, sT1) 
799
	=  (idEvents7_T1_3, sT1_2);
800

    
801

    
802
	tel
803

    
804
	until true restart POINTEvents7_T1
805

    
806

    
807

    
808
	state T1_B__TO__T1_A_1:
809

    
810
	 var 	idEvents7_T1_2, idEvents7_T1_3:int;
811
	sT1_2:real;
812
	let
813

    
814
		-- transition trace :
815
	--T1_B__To__T1_A_1
816
		(idEvents7_T1_2) 
817
	= T1_B_ex(idEvents7_T1_1, false);
818
		
819

    
820
		(idEvents7_T1_3, sT1_2) 
821
	= T1_A_en(idEvents7_T1_2, sT1_1, false);
822
		
823

    
824
	(idEvents7_T1, sT1) 
825
	=  (idEvents7_T1_3, sT1_2);
826

    
827

    
828
	tel
829

    
830
	until true restart POINTEvents7_T1
831

    
832

    
833

    
834
	state T1_A_IDL:
835

    
836
	 	let
837

    
838
		
839

    
840
	(idEvents7_T1, sT1) 
841
	= (idEvents7_T1_1, sT1_1);
842
	
843

    
844
	tel
845

    
846
	until true restart POINTEvents7_T1
847

    
848

    
849

    
850
	state T1_B_IDL:
851

    
852
	 	let
853

    
854
		
855

    
856
	(idEvents7_T1, sT1) 
857
	= (idEvents7_T1_1, sT1_1);
858
	
859

    
860
	tel
861

    
862
	until true restart POINTEvents7_T1
863

    
864

    
865

    
866
tel
867

    
868

    
869
--***************************************************State :Events7_Events7 Automaton***************************************************
870

    
871
node Events7_Events7_node(idEvents7_Events7_1:int;
872
	idEvents7_T1_1:int;
873
	sT1_1:real;
874
	idEvents7_T2_1:int;
875
	sT2_1:real;
876
	E:bool)
877

    
878
returns (idEvents7_Events7:int;
879
	idEvents7_T1:int;
880
	sT1:real;
881
	idEvents7_T2:int;
882
	sT2:real);
883

    
884

    
885
let
886

    
887
	 automaton events7_events7
888

    
889
	state POINTEvents7_Events7:
890
	unless (idEvents7_Events7_1=0) restart EVENTS7_EVENTS7_PARALLEL_ENTRY
891
	unless true  restart EVENTS7_EVENTS7_PARALLEL_IDL
892

    
893
	let
894

    
895
		(idEvents7_Events7, idEvents7_T1, sT1, idEvents7_T2, sT2) 
896
	= (idEvents7_Events7_1, idEvents7_T1_1, sT1_1, idEvents7_T2_1, sT2_1);
897
	
898

    
899
	tel
900

    
901

    
902

    
903
	state EVENTS7_EVENTS7_PARALLEL_ENTRY:
904

    
905
	 var 	idEvents7_Events7_2, idEvents7_Events7_3:int;
906
	idEvents7_T1_2:int;
907
	sT1_2:real;
908
	idEvents7_T2_2:int;
909
	sT2_2:real;
910
	let
911

    
912
		
913
	(idEvents7_T1_2, idEvents7_Events7_2, sT1_2) 
914
	= Events7_T1_en(idEvents7_T1_1, idEvents7_Events7_1, sT1_1, false);
915

    
916
	(idEvents7_T2_2, idEvents7_Events7_3, sT2_2) 
917
	= Events7_T2_en(idEvents7_T2_1, idEvents7_Events7_2, sT2_1, false);
918

    
919

    
920
	(idEvents7_Events7, idEvents7_T1, sT1, idEvents7_T2, sT2) 
921
	= (idEvents7_Events7_3, idEvents7_T1_2, sT1_2, idEvents7_T2_2, sT2_2);
922
	
923

    
924
	tel
925

    
926
	until true restart POINTEvents7_Events7
927

    
928

    
929

    
930
	state EVENTS7_EVENTS7_PARALLEL_IDL:
931

    
932
	 var 	idEvents7_T1_2:int;
933
	sT1_2:real;
934
	idEvents7_T2_2:int;
935
	sT2_2:real;
936
	let
937

    
938
		
939

    
940
		(idEvents7_T1_2, sT1_2)
941
	= if not (idEvents7_T1_1= 0 ) then Events7_T1_node(idEvents7_T1_1, sT1_1, E)
942

    
943
		 else (idEvents7_T1_1, sT1_1);
944

    
945
		
946

    
947
		
948

    
949
		(idEvents7_T2_2, sT2_2)
950
	= if not (idEvents7_T2_1= 0 ) then Events7_T2_node(idEvents7_T2_1, sT2_1, idEvents7_T1_2)
951

    
952
		 else (idEvents7_T2_1, sT2_1);
953

    
954
		
955

    
956
		
957

    
958
	(idEvents7_Events7, idEvents7_T1, sT1, idEvents7_T2, sT2) 
959
	= (idEvents7_Events7_1, idEvents7_T1_2, sT1_2, idEvents7_T2_2, sT2_2);
960
	
961

    
962
	tel
963

    
964
	until true restart POINTEvents7_Events7
965

    
966

    
967

    
968
tel
969

    
970

    
971
--***************************************************State :Events7_Events7 Automaton***************************************************
972

    
973
node Events7_Events7(E:bool)
974

    
975
returns (sT1:real;
976
	sT2:real);
977

    
978

    
979
var sT1_1: real;
980

    
981
	sT2_1: real;
982

    
983
	idEvents7_Events7, idEvents7_Events7_1: int;
984

    
985
	idEvents7_T2, idEvents7_T2_1: int;
986

    
987
	idEvents7_T1, idEvents7_T1_1: int;
988

    
989
	let
990

    
991
	sT1_1 = 0.0 -> pre sT1;
992

    
993
	sT2_1 = 0.0 -> pre sT2;
994

    
995
	idEvents7_Events7_1 = 0 -> pre idEvents7_Events7;
996

    
997
	idEvents7_T2_1 = 0 -> pre idEvents7_T2;
998

    
999
	idEvents7_T1_1 = 0 -> pre idEvents7_T1;
1000

    
1001
	
1002

    
1003

    
1004

    
1005
	(idEvents7_Events7, idEvents7_T1, sT1, idEvents7_T2, sT2)
1006
	 = 
1007

    
1008
	 if E then Events7_Events7_node(idEvents7_Events7_1, idEvents7_T1_1, sT1_1, idEvents7_T2_1, sT2_1, E)
1009

    
1010
	 else (idEvents7_Events7_1, idEvents7_T1_1, sT1_1, idEvents7_T2_1, sT2_1);
1011

    
1012
	
1013

    
1014

    
1015
--unused outputs
1016
	
1017

    
1018
tel
1019

    
1020

    
1021

    
1022
node Events7 (E_1_1 : real)
1023
returns (sT1_1_1 : real;
1024
	sT2_2_1 : real); 
1025
var
1026
	Events7_1_1 : real; Events7_2_1 : real;
1027
	i_virtual_local : real;
1028
	Events7E_1_1_event: bool;
1029
let 
1030
	Events7E_1_1_event = false -> ((pre(E_1_1) > 0.0 and E_1_1 <= 0.0) or (pre(E_1_1) <= 0.0 and E_1_1 > 0.0));
1031
	(Events7_1_1, Events7_2_1) =  Events7_Events7(Events7E_1_1_event);
1032
	sT1_1_1 = Events7_1_1;
1033
	sT2_2_1 = Events7_2_1;
1034
	i_virtual_local= 0.0 -> 1.0;
1035
tel
1036