Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super11 / Super11.lus @ eb639349

History | View | Annotate | Download (15.1 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

    
16

    
17

    
18

    
19
--During action for state :B2_B2a
20
node B2_B2a_du(y_1:int)
21

    
22
returns (y:int);
23

    
24

    
25
var 	y_2:int;
26

    
27

    
28
let
29

    
30

    
31

    
32
	y_2 
33
	=  y_1  + 1;
34
	
35

    
36
	(y) 
37
	= (y_2);
38
	
39

    
40
tel
41

    
42

    
43

    
44

    
45

    
46
-- Entry action for state :B2_B2a
47
node B2_B2a_en(idB_B2_1:int;
48
	isInner:bool)
49

    
50
returns (idB_B2:int);
51

    
52

    
53
var 	idB_B2_2:int;
54

    
55

    
56
let
57

    
58

    
59

    
60
	-- set state as active 
61
	idB_B2_2 
62
	= 1871;
63
	
64

    
65
	(idB_B2) 
66
	= (idB_B2_2);
67
	
68

    
69
tel
70

    
71

    
72

    
73

    
74

    
75
-- Exit action for state :B2_B2a
76
node B2_B2a_ex(idB_B2_1:int;
77
	isInner:bool)
78

    
79
returns (idB_B2:int);
80

    
81

    
82
var 	idB_B2_2:int;
83

    
84

    
85
let
86

    
87

    
88

    
89
	-- set state as inactive 
90
	idB_B2_2
91
	 = if (not isInner) then 0 else idB_B2_1;
92

    
93

    
94
	(idB_B2) 
95
	= (idB_B2_1);
96
	
97

    
98
tel
99

    
100

    
101

    
102

    
103

    
104

    
105
--During action for state :B_B2
106
node B_B2_du(y_1:int)
107

    
108
returns (y:int);
109

    
110

    
111
var 	y_2:int;
112

    
113

    
114
let
115

    
116

    
117

    
118
	y_2 
119
	=  y_1  + 1;
120
	
121

    
122
	(y) 
123
	= (y_2);
124
	
125

    
126
tel
127

    
128

    
129

    
130

    
131

    
132
-- Entry action for state :B_B2
133
node B_B2_en(idB_B2_1:int;
134
	idSuper11_B_1:int;
135
	isInner:bool)
136

    
137
returns (idB_B2:int;
138
	idSuper11_B:int);
139

    
140

    
141
var 	idB_B2_2, idB_B2_3, idB_B2_4, idB_B2_5:int;
142
	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4:int;
143

    
144

    
145
let
146

    
147

    
148

    
149
	-- set state as active 
150
	idSuper11_B_2 
151
	= 1870;
152
	
153

    
154
	
155
-- transition trace :
156
	--POINT__To__B2_B2a_1
157
		(idB_B2_2) 
158
	= B2_B2a_en(idB_B2_1, false);
159
		
160

    
161
	(idB_B2_3, idSuper11_B_3) 
162
	= 
163

    
164
	if ( idB_B2_1 = 0) then
165

    
166
	 (idB_B2_2, idSuper11_B_2)
167

    
168
	 else(idB_B2_1, idSuper11_B_2);
169

    
170
	
171

    
172
	(idB_B2_4) 
173
	= 
174
	if ( idB_B2_1 = 1871) then
175
	B2_B2a_en(idB_B2_1, false)
176
	 else (idB_B2_1);
177

    
178
	
179

    
180
	(idB_B2_5, idSuper11_B_4) 
181
	= 
182
		 if ( idB_B2_1 = 0) then 
183
		(idB_B2_3, idSuper11_B_3)
184
		 else
185
		 if ( idB_B2_1 = 1871) then 
186
		(idB_B2_4, idSuper11_B_3)
187
		 else (idB_B2_1, idSuper11_B_2);
188

    
189

    
190
	(idB_B2, idSuper11_B) 
191
	= (idB_B2_5, idSuper11_B_4);
192
	
193

    
194
tel
195

    
196

    
197

    
198

    
199

    
200
-- Exit action for state :B_B2
201
node B_B2_ex(idB_B2_1:int;
202
	idSuper11_B_1:int;
203
	isInner:bool)
204

    
205
returns (idB_B2:int;
206
	idSuper11_B:int);
207

    
208

    
209
var 	idB_B2_2, idB_B2_3, idB_B2_4:int;
210
	idSuper11_B_2:int;
211

    
212

    
213
let
214

    
215

    
216

    
217
	
218
	(idB_B2_2) 
219
	= 
220
	if ( idB_B2_1 = 1871) then
221
	B2_B2a_ex(idB_B2_1, false)
222
	 else (idB_B2_1);
223

    
224
	
225

    
226
	(idB_B2_3) 
227
	= 
228
		 if ( idB_B2_1 = 1871) then 
229
		(idB_B2_2)
230
		 else (idB_B2_1);
231

    
232

    
233
	-- set state as inactive 
234
	idSuper11_B_2
235
	 = if (not isInner) then 0 else idSuper11_B_1;
236

    
237
	idB_B2_4 
238
	= 0;
239
	
240

    
241
	(idB_B2, idSuper11_B) 
242
	= (idB_B2_4, idSuper11_B_1);
243
	
244

    
245
tel
246

    
247

    
248

    
249

    
250

    
251

    
252
--During action for state :B_B1
253
node B_B1_du(y_1:int)
254

    
255
returns (y:int);
256

    
257

    
258
var 	y_2:int;
259

    
260

    
261
let
262

    
263

    
264

    
265
	y_2 
266
	=  y_1  + 1;
267
	
268

    
269
	(y) 
270
	= (y_2);
271
	
272

    
273
tel
274

    
275

    
276

    
277

    
278

    
279
-- Entry action for state :B_B1
280
node B_B1_en(idSuper11_B_1:int;
281
	isInner:bool)
282

    
283
returns (idSuper11_B:int);
284

    
285

    
286
var 	idSuper11_B_2:int;
287

    
288

    
289
let
290

    
291

    
292

    
293
	-- set state as active 
294
	idSuper11_B_2 
295
	= 1869;
296
	
297

    
298
	(idSuper11_B) 
299
	= (idSuper11_B_2);
300
	
301

    
302
tel
303

    
304

    
305

    
306

    
307

    
308
-- Exit action for state :B_B1
309
node B_B1_ex(idSuper11_B_1:int;
310
	isInner:bool)
311

    
312
returns (idSuper11_B:int);
313

    
314

    
315
var 	idSuper11_B_2:int;
316

    
317

    
318
let
319

    
320

    
321

    
322
	-- set state as inactive 
323
	idSuper11_B_2
324
	 = if (not isInner) then 0 else idSuper11_B_1;
325

    
326

    
327
	(idSuper11_B) 
328
	= (idSuper11_B_1);
329
	
330

    
331
tel
332

    
333

    
334

    
335

    
336

    
337

    
338
--During action for state :Super11_B
339
node Super11_B_du(y_1:int)
340

    
341
returns (y:int);
342

    
343

    
344
var 	y_2:int;
345

    
346

    
347
let
348

    
349

    
350

    
351
	y_2 
352
	=  y_1  + 1;
353
	
354

    
355
	(y) 
356
	= (y_2);
357
	
358

    
359
tel
360

    
361

    
362

    
363

    
364

    
365
-- Entry action for state :Super11_B
366
node Super11_B_en(idSuper11_B_1:int;
367
	idSuper11_Super11_1:int;
368
	idB_B2_1:int;
369
	isInner:bool)
370

    
371
returns (idSuper11_B:int;
372
	idSuper11_Super11:int;
373
	idB_B2:int);
374

    
375

    
376
var 	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4, idSuper11_B_5, idSuper11_B_6:int;
377
	idSuper11_Super11_2, idSuper11_Super11_3, idSuper11_Super11_4:int;
378
	idB_B2_2, idB_B2_3:int;
379

    
380

    
381
let
382

    
383

    
384

    
385
	-- set state as active 
386
	idSuper11_Super11_2 
387
	= 1868;
388
	
389

    
390
	
391
-- transition trace :
392
	--POINT__To__B_B1_1
393
		(idSuper11_B_2) 
394
	= B_B1_en(idSuper11_B_1, false);
395
		
396

    
397
	(idSuper11_B_3, idSuper11_Super11_3) 
398
	= 
399

    
400
	if ( idSuper11_B_1 = 0) then
401

    
402
	 (idSuper11_B_2, idSuper11_Super11_2)
403

    
404
	 else(idSuper11_B_1, idSuper11_Super11_2);
405

    
406
	
407

    
408
	(idSuper11_B_4) 
409
	= 
410
	if ( idSuper11_B_1 = 1869) then
411
	B_B1_en(idSuper11_B_1, false)
412
	 else (idSuper11_B_1);
413

    
414
	
415

    
416
	(idB_B2_2, idSuper11_B_5) 
417
	= 
418
	if ( idSuper11_B_1 = 1870) then
419
	B_B2_en(idB_B2_1, idSuper11_B_1, false)
420
	 else (idB_B2_1, idSuper11_B_1);
421

    
422
	
423

    
424
	(idSuper11_B_6, idSuper11_Super11_4, idB_B2_3) 
425
	= 
426
		 if ( idSuper11_B_1 = 0) then 
427
		(idSuper11_B_3, idSuper11_Super11_3, idB_B2_1)
428
		 else
429
		 if ( idSuper11_B_1 = 1869) then 
430
		(idSuper11_B_4, idSuper11_Super11_3, idB_B2_1)
431
		 else
432
		 if ( idSuper11_B_1 = 1870) then 
433
		(idSuper11_B_5, idSuper11_Super11_3, idB_B2_2)
434
		 else (idSuper11_B_1, idSuper11_Super11_2, idB_B2_1);
435

    
436

    
437
	(idSuper11_B, idSuper11_Super11, idB_B2) 
438
	= (idSuper11_B_6, idSuper11_Super11_4, idB_B2_3);
439
	
440

    
441
tel
442

    
443

    
444

    
445

    
446

    
447
-- Exit action for state :Super11_B
448
node Super11_B_ex(idSuper11_B_1:int;
449
	idB_B2_1:int;
450
	idSuper11_Super11_1:int;
451
	isInner:bool)
452

    
453
returns (idSuper11_B:int;
454
	idB_B2:int;
455
	idSuper11_Super11:int);
456

    
457

    
458
var 	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4, idSuper11_B_5:int;
459
	idB_B2_2, idB_B2_3:int;
460
	idSuper11_Super11_2:int;
461

    
462

    
463
let
464

    
465

    
466

    
467
	
468
	(idSuper11_B_2) 
469
	= 
470
	if ( idSuper11_B_1 = 1869) then
471
	B_B1_ex(idSuper11_B_1, false)
472
	 else (idSuper11_B_1);
473

    
474
	
475

    
476
	(idB_B2_2, idSuper11_B_3) 
477
	= 
478
	if ( idSuper11_B_1 = 1870) then
479
	B_B2_ex(idB_B2_1, idSuper11_B_1, false)
480
	 else (idB_B2_1, idSuper11_B_1);
481

    
482
	
483

    
484
	(idSuper11_B_4, idB_B2_3) 
485
	= 
486
		 if ( idSuper11_B_1 = 1869) then 
487
		(idSuper11_B_2, idB_B2_1)
488
		 else
489
		 if ( idSuper11_B_1 = 1870) then 
490
		(idSuper11_B_3, idB_B2_2)
491
		 else (idSuper11_B_1, idB_B2_1);
492

    
493

    
494
	-- set state as inactive 
495
	idSuper11_Super11_2
496
	 = if (not isInner) then 0 else idSuper11_Super11_1;
497

    
498
	idSuper11_B_5 
499
	= 0;
500
	
501

    
502
	(idSuper11_B, idB_B2, idSuper11_Super11) 
503
	= (idSuper11_B_5, idB_B2_3, idSuper11_Super11_1);
504
	
505

    
506
tel
507

    
508

    
509

    
510

    
511

    
512

    
513
--During action for state :Super11_A
514
node Super11_A_du(y_1:int)
515

    
516
returns (y:int);
517

    
518

    
519
var 	y_2:int;
520

    
521

    
522
let
523

    
524

    
525

    
526
	y_2 
527
	=  y_1  + 1;
528
	
529

    
530
	(y) 
531
	= (y_2);
532
	
533

    
534
tel
535

    
536

    
537

    
538

    
539

    
540
-- Entry action for state :Super11_A
541
node Super11_A_en(idSuper11_Super11_1:int;
542
	isInner:bool)
543

    
544
returns (idSuper11_Super11:int);
545

    
546

    
547
var 	idSuper11_Super11_2:int;
548

    
549

    
550
let
551

    
552

    
553

    
554
	-- set state as active 
555
	idSuper11_Super11_2 
556
	= 1867;
557
	
558

    
559
	(idSuper11_Super11) 
560
	= (idSuper11_Super11_2);
561
	
562

    
563
tel
564

    
565

    
566

    
567

    
568

    
569
-- Exit action for state :Super11_A
570
node Super11_A_ex(idSuper11_Super11_1:int;
571
	isInner:bool)
572

    
573
returns (idSuper11_Super11:int);
574

    
575

    
576
var 	idSuper11_Super11_2:int;
577

    
578

    
579
let
580

    
581

    
582

    
583
	-- set state as inactive 
584
	idSuper11_Super11_2
585
	 = if (not isInner) then 0 else idSuper11_Super11_1;
586

    
587

    
588
	(idSuper11_Super11) 
589
	= (idSuper11_Super11_1);
590
	
591

    
592
tel
593

    
594

    
595
--***************************************************State :B_B2 Automaton***************************************************
596

    
597
node B_B2_node(idB_B2_1:int;
598
	E:bool;
599
	x:int;
600
	idSuper11_B_1:int;
601
	idSuper11_Super11_1:int;
602
	y_1:int)
603

    
604
returns (idB_B2:int;
605
	idSuper11_B:int;
606
	idSuper11_Super11:int;
607
	y:int);
608

    
609

    
610
let
611

    
612
	 automaton b_b2
613

    
614
	state POINTB_B2:
615
	unless (idB_B2_1=0) restart POINT__TO__B2_B2A_1
616

    
617

    
618

    
619
	unless (idB_B2_1=1871) and E restart B2_B2A__TO__SUPER11_SUPER11JUNCTION1875_1
620

    
621

    
622

    
623
	unless (idB_B2_1=1871) restart B2_B2A_IDL
624

    
625
	let
626

    
627
		(idB_B2, idSuper11_B, idSuper11_Super11, y) 
628
	= (idB_B2_1, idSuper11_B_1, idSuper11_Super11_1, y_1);
629
	
630

    
631
	tel
632

    
633

    
634

    
635
	state POINT__TO__B2_B2A_1:
636

    
637
	 var 	idB_B2_2:int;
638
	let
639

    
640
		-- transition trace :
641
	--POINT__To__B2_B2a_1
642
		(idB_B2_2) 
643
	= B2_B2a_en(idB_B2_1, false);
644
		
645

    
646
	(idB_B2) 
647
	=  (idB_B2_2);
648

    
649
	--add unused variables
650
	(idSuper11_B, idSuper11_Super11, y) 
651
	= (idSuper11_B_1, idSuper11_Super11_1, y_1);
652
	
653

    
654
	tel
655

    
656
	until true restart POINTB_B2
657

    
658

    
659

    
660
	state B2_B2A__TO__SUPER11_SUPER11JUNCTION1875_1:
661

    
662
	 var 	idB_B2_2, idB_B2_3:int;
663
	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4:int;
664
	idSuper11_Super11_2, idSuper11_Super11_3:int;
665
	let
666

    
667
		
668

    
669
-- transition trace :
670
	--B2_B2a__To__Junction1875_1, Junction1875__To__Super11_A_1
671
		(idSuper11_B_2, idB_B2_2, idSuper11_Super11_2) 
672
	= 
673
		 if (( x=0 )) then 
674
		Super11_B_ex(idSuper11_B_1, idB_B2_1, idSuper11_Super11_1, false)
675
		 else (idSuper11_B_1, idB_B2_1, idSuper11_Super11_1);
676
		
677

    
678
		(idSuper11_Super11_3) 
679
	= 
680
		 if (( x=0 )) then 
681
		Super11_A_en(idSuper11_Super11_2, false)
682
		 else (idSuper11_Super11_2);
683
		
684

    
685

    
686
-- transition trace :
687
	--B2_B2a__To__Junction1875_1, Junction1875__To__B_B1_2
688
		(idB_B2_3, idSuper11_B_3) 
689
	= 
690
		 if (( x!=0 )) then 
691
		B_B2_ex(idB_B2_1, idSuper11_B_1, false)
692
		 else (idB_B2_1, idSuper11_B_1);
693
		
694

    
695
		(idSuper11_B_4) 
696
	= 
697
		 if (( x!=0 )) then 
698
		B_B1_en(idSuper11_B_3, false)
699
		 else (idSuper11_B_3);
700
		
701

    
702
	(idB_B2, idSuper11_B, idSuper11_Super11) 
703
	= 
704
		 if (( x=0 )) then 
705
		(idB_B2_2, idSuper11_B_2, idSuper11_Super11_3)
706
		 else
707
		 if (( x!=0 )) then 
708
		(idB_B2_3, idSuper11_B_4, idSuper11_Super11_1)
709
		 else (idB_B2_1, idSuper11_B_1, idSuper11_Super11_1);
710

    
711
	--add unused variables
712
	(y) 
713
	= (y_1);
714
	
715

    
716
	tel
717

    
718
	until true restart POINTB_B2
719

    
720

    
721

    
722
	state B2_B2A_IDL:
723

    
724
	 var 	y_2:int;
725
	let
726

    
727
		
728
	(y_2) 
729
	= B2_B2a_du(y_1);
730

    
731
		
732

    
733

    
734
	(idB_B2, idSuper11_B, idSuper11_Super11, y) 
735
	= (idB_B2_1, idSuper11_B_1, idSuper11_Super11_1, y_2);
736
	
737

    
738
	tel
739

    
740
	until true restart POINTB_B2
741

    
742

    
743

    
744
tel
745

    
746

    
747
--***************************************************State :Super11_B Automaton***************************************************
748

    
749
node Super11_B_node(idSuper11_B_1:int;
750
	E:bool;
751
	idB_B2_1:int;
752
	y_1:int;
753
	idSuper11_Super11_1:int;
754
	x:int)
755

    
756
returns (idSuper11_B:int;
757
	idB_B2:int;
758
	y:int;
759
	idSuper11_Super11:int);
760

    
761

    
762
let
763

    
764
	 automaton super11_b
765

    
766
	state POINTSuper11_B:
767
	unless (idSuper11_B_1=0) restart POINT__TO__B_B1_1
768

    
769

    
770

    
771
	unless (idSuper11_B_1=1869) and E restart B_B1__TO__B_B2_1
772

    
773

    
774

    
775
	unless (idSuper11_B_1=1869) restart B_B1_IDL
776

    
777
	unless (idSuper11_B_1=1870) restart B_B2_IDL
778

    
779
	let
780

    
781
		(idSuper11_B, idB_B2, y, idSuper11_Super11) 
782
	= (idSuper11_B_1, idB_B2_1, y_1, idSuper11_Super11_1);
783
	
784

    
785
	tel
786

    
787

    
788

    
789
	state POINT__TO__B_B1_1:
790

    
791
	 var 	idSuper11_B_2:int;
792
	let
793

    
794
		-- transition trace :
795
	--POINT__To__B_B1_1
796
		(idSuper11_B_2) 
797
	= B_B1_en(idSuper11_B_1, false);
798
		
799

    
800
	(idSuper11_B) 
801
	=  (idSuper11_B_2);
802

    
803
	--add unused variables
804
	(idB_B2, idSuper11_Super11, y) 
805
	= (idB_B2_1, idSuper11_Super11_1, y_1);
806
	
807

    
808
	tel
809

    
810
	until true restart POINTSuper11_B
811

    
812

    
813

    
814
	state B_B1__TO__B_B2_1:
815

    
816
	 var 	idSuper11_B_2, idSuper11_B_3:int;
817
	idB_B2_2:int;
818
	let
819

    
820
		-- transition trace :
821
	--B_B1__To__B_B2_1
822
		(idSuper11_B_2) 
823
	= B_B1_ex(idSuper11_B_1, false);
824
		
825

    
826
		(idB_B2_2, idSuper11_B_3) 
827
	= B_B2_en(idB_B2_1, idSuper11_B_2, false);
828
		
829

    
830
	(idSuper11_B, idB_B2) 
831
	=  (idSuper11_B_3, idB_B2_2);
832

    
833
	--add unused variables
834
	(idSuper11_Super11, y) 
835
	= (idSuper11_Super11_1, y_1);
836
	
837

    
838
	tel
839

    
840
	until true restart POINTSuper11_B
841

    
842

    
843

    
844
	state B_B1_IDL:
845

    
846
	 var 	y_2:int;
847
	let
848

    
849
		
850
	(y_2) 
851
	= B_B1_du(y_1);
852

    
853
		
854

    
855

    
856
	(idSuper11_B, idB_B2, y) 
857
	= (idSuper11_B_1, idB_B2_1, y_2);
858
	
859
	--add unused variables
860
	(idSuper11_Super11) 
861
	= (idSuper11_Super11_1);
862
	
863

    
864
	tel
865

    
866
	until true restart POINTSuper11_B
867

    
868

    
869

    
870
	state B_B2_IDL:
871

    
872
	 var 	idSuper11_B_2:int;
873
	idB_B2_2:int;
874
	y_2, y_3:int;
875
	idSuper11_Super11_2:int;
876
	let
877

    
878
		
879
	(y_2) 
880
	= B_B2_du(y_1);
881

    
882
		
883

    
884
	(idB_B2_2, idSuper11_B_2, idSuper11_Super11_2, y_3) 
885
	= B_B2_node(idB_B2_1, E, x, idSuper11_B_1, idSuper11_Super11_1, y_2);
886

    
887
		
888

    
889

    
890
	(idSuper11_B, idB_B2, y, idSuper11_Super11) 
891
	= (idSuper11_B_2, idB_B2_2, y_3, idSuper11_Super11_2);
892
	
893

    
894
	tel
895

    
896
	until true restart POINTSuper11_B
897

    
898

    
899

    
900
tel
901

    
902

    
903
--***************************************************State :Super11_Super11 Automaton***************************************************
904

    
905
node Super11_Super11_node(idSuper11_Super11_1:int;
906
	E:bool;
907
	x:int;
908
	idB_B2_1:int;
909
	idSuper11_B_1:int;
910
	y_1:int)
911

    
912
returns (idSuper11_Super11:int;
913
	idB_B2:int;
914
	idSuper11_B:int;
915
	y:int);
916

    
917

    
918
let
919

    
920
	 automaton super11_super11
921

    
922
	state POINTSuper11_Super11:
923
	unless (idSuper11_Super11_1=0) restart POINT__TO__SUPER11_A_1
924

    
925

    
926

    
927
	unless (idSuper11_Super11_1=1867) and E restart SUPER11_A__TO__SUPER11_SUPER11JUNCTION1881_1
928

    
929

    
930

    
931
	unless (idSuper11_Super11_1=1867) restart SUPER11_A_IDL
932

    
933
	unless (idSuper11_Super11_1=1868) restart SUPER11_B_IDL
934

    
935
	let
936

    
937
		(idSuper11_Super11, idB_B2, idSuper11_B, y) 
938
	= (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1, y_1);
939
	
940

    
941
	tel
942

    
943

    
944

    
945
	state POINT__TO__SUPER11_A_1:
946

    
947
	 var 	idSuper11_Super11_2:int;
948
	let
949

    
950
		-- transition trace :
951
	--POINT__To__Super11_A_1
952
		(idSuper11_Super11_2) 
953
	= Super11_A_en(idSuper11_Super11_1, false);
954
		
955

    
956
	(idSuper11_Super11) 
957
	=  (idSuper11_Super11_2);
958

    
959
	--add unused variables
960
	(idB_B2, idSuper11_B, y) 
961
	= (idB_B2_1, idSuper11_B_1, y_1);
962
	
963

    
964
	tel
965

    
966
	until true restart POINTSuper11_Super11
967

    
968

    
969

    
970
	state SUPER11_A__TO__SUPER11_SUPER11JUNCTION1881_1:
971

    
972
	 var 	idSuper11_Super11_2, idSuper11_Super11_3, idSuper11_Super11_4, idSuper11_Super11_5:int;
973
	idB_B2_2, idB_B2_3, idB_B2_4:int;
974
	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4:int;
975
	let
976

    
977
		
978

    
979
-- transition trace :
980
	--Super11_A__To__Junction1881_1, Junction1881__To__Super11_B_1
981
		(idSuper11_Super11_2) 
982
	= 
983
		 if (( x=0 )) then 
984
		Super11_A_ex(idSuper11_Super11_1, false)
985
		 else (idSuper11_Super11_1);
986
		
987

    
988
		(idSuper11_B_2, idSuper11_Super11_3, idB_B2_2) 
989
	= 
990
		 if (( x=0 )) then 
991
		Super11_B_en(idSuper11_B_1, idSuper11_Super11_2, idB_B2_1, false)
992
		 else (idSuper11_B_1, idSuper11_Super11_2, idB_B2_1);
993
		
994

    
995

    
996
-- transition trace :
997
	--Super11_A__To__Junction1881_1, Junction1881__To__B2_B2a_2
998
		(idSuper11_Super11_4) 
999
	= 
1000
		 if (( x!=0 )) then 
1001
		Super11_A_ex(idSuper11_Super11_1, false)
1002
		 else (idSuper11_Super11_1);
1003
		
1004

    
1005
		idB_B2_3 
1006
	= 1871;
1007
	
1008
		idSuper11_B_3 
1009
	= 1870;
1010
	
1011
		(idSuper11_B_4, idSuper11_Super11_5, idB_B2_4) 
1012
	= 
1013
		 if (( x!=0 )) then 
1014
		Super11_B_en(idSuper11_B_3, idSuper11_Super11_4, idB_B2_3, false)
1015
		 else (idSuper11_B_3, idSuper11_Super11_4, idB_B2_3);
1016
		
1017

    
1018
	(idSuper11_Super11, idB_B2, idSuper11_B) 
1019
	= 
1020
		 if (( x=0 )) then 
1021
		(idSuper11_Super11_3, idB_B2_2, idSuper11_B_2)
1022
		 else
1023
		 if (( x!=0 )) then 
1024
		(idSuper11_Super11_5, idB_B2_4, idSuper11_B_4)
1025
		 else (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1);
1026

    
1027
	--add unused variables
1028
	(y) 
1029
	= (y_1);
1030
	
1031

    
1032
	tel
1033

    
1034
	until true restart POINTSuper11_Super11
1035

    
1036

    
1037

    
1038
	state SUPER11_A_IDL:
1039

    
1040
	 var 	y_2:int;
1041
	let
1042

    
1043
		
1044
	(y_2) 
1045
	= Super11_A_du(y_1);
1046

    
1047
		
1048

    
1049

    
1050
	(idSuper11_Super11, idB_B2, idSuper11_B, y) 
1051
	= (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1, y_2);
1052
	
1053

    
1054
	tel
1055

    
1056
	until true restart POINTSuper11_Super11
1057

    
1058

    
1059

    
1060
	state SUPER11_B_IDL:
1061

    
1062
	 var 	idSuper11_Super11_2:int;
1063
	idB_B2_2:int;
1064
	idSuper11_B_2:int;
1065
	y_2, y_3:int;
1066
	let
1067

    
1068
		
1069
	(y_2) 
1070
	= Super11_B_du(y_1);
1071

    
1072
		
1073

    
1074
	(idSuper11_B_2, idB_B2_2, y_3, idSuper11_Super11_2) 
1075
	= Super11_B_node(idSuper11_B_1, E, idB_B2_1, y_2, idSuper11_Super11_1, x);
1076

    
1077
		
1078

    
1079

    
1080
	(idSuper11_Super11, idB_B2, idSuper11_B, y) 
1081
	= (idSuper11_Super11_2, idB_B2_2, idSuper11_B_2, y_3);
1082
	
1083

    
1084
	tel
1085

    
1086
	until true restart POINTSuper11_Super11
1087

    
1088

    
1089

    
1090
tel
1091

    
1092

    
1093
--***************************************************State :Super11_Super11 Automaton***************************************************
1094

    
1095
node Super11_Super11(x:int;
1096
	E:bool)
1097

    
1098
returns (y:int);
1099

    
1100

    
1101
var y_1: int;
1102

    
1103
	idSuper11_Super11, idSuper11_Super11_1: int;
1104

    
1105
	idB_B2, idB_B2_1: int;
1106

    
1107
	idSuper11_B, idSuper11_B_1: int;
1108

    
1109
	let
1110

    
1111
	y_1 = 0 -> pre y;
1112

    
1113
	idSuper11_Super11_1 = 0 -> pre idSuper11_Super11;
1114

    
1115
	idB_B2_1 = 0 -> pre idB_B2;
1116

    
1117
	idSuper11_B_1 = 0 -> pre idSuper11_B;
1118

    
1119
	
1120

    
1121

    
1122

    
1123
	(idSuper11_Super11, idB_B2, idSuper11_B, y)
1124
	 = 
1125

    
1126
	 if E then Super11_Super11_node(idSuper11_Super11_1, E, x, idB_B2_1, idSuper11_B_1, y_1)
1127

    
1128
	 else (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1, y_1);
1129

    
1130
	
1131

    
1132

    
1133
--unused outputs
1134
	
1135

    
1136
tel
1137

    
1138

    
1139

    
1140
node Super11 (x_1_1 : int; E_1_1 : real)
1141
returns (y_1_1 : int); 
1142
var
1143
	Super11_1_1 : int;
1144
	i_virtual_local : real;
1145
	Super11E_1_1_event: bool;
1146
let 
1147
	Super11E_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));
1148
	Super11_1_1 =  Super11_Super11(x_1_1, Super11E_1_1_event);
1149
	y_1_1 = Super11_1_1;
1150
	i_virtual_local= 0.0 -> 1.0;
1151
tel
1152