Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super11V2 / Super11V2.lus @ eb639349

History | View | Annotate | Download (14.8 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
	= 1895;
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
	= 1894;
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 = 1895) 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 = 1895) 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 = 1895) 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 = 1895) 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
	= 1893;
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
	= 1892;
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 = 1893) 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 = 1894) 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 = 1893) then 
430
		(idSuper11_B_4, idSuper11_Super11_3, idB_B2_1)
431
		 else
432
		 if ( idSuper11_B_1 = 1894) 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 = 1893) 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 = 1894) 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 = 1893) then 
487
		(idSuper11_B_2, idB_B2_1)
488
		 else
489
		 if ( idSuper11_B_1 = 1894) 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
	= 1891;
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
	x:int;
599
	idSuper11_B_1:int;
600
	idSuper11_Super11_1:int;
601
	y_1:int)
602

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

    
608

    
609
let
610

    
611
	 automaton b_b2
612

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

    
616

    
617

    
618
	unless (idB_B2_1=1895) restart B2_B2A__TO__SUPER11_SUPER11JUNCTION1899_1
619

    
620

    
621

    
622
	unless (idB_B2_1=1895) restart B2_B2A_IDL
623

    
624
	let
625

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

    
630
	tel
631

    
632

    
633

    
634
	state POINT__TO__B2_B2A_1:
635

    
636
	 var 	idB_B2_2:int;
637
	let
638

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

    
645
	(idB_B2) 
646
	=  (idB_B2_2);
647

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

    
653
	tel
654

    
655
	until true restart POINTB_B2
656

    
657

    
658

    
659
	state B2_B2A__TO__SUPER11_SUPER11JUNCTION1899_1:
660

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

    
666
		
667

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

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

    
684

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

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

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

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

    
715
	tel
716

    
717
	until true restart POINTB_B2
718

    
719

    
720

    
721
	state B2_B2A_IDL:
722

    
723
	 var 	y_2:int;
724
	let
725

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

    
730
		
731

    
732

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

    
737
	tel
738

    
739
	until true restart POINTB_B2
740

    
741

    
742

    
743
tel
744

    
745

    
746
--***************************************************State :Super11_B Automaton***************************************************
747

    
748
node Super11_B_node(idSuper11_B_1:int;
749
	idB_B2_1:int;
750
	y_1:int;
751
	idSuper11_Super11_1:int;
752
	x:int)
753

    
754
returns (idSuper11_B:int;
755
	idB_B2:int;
756
	y:int;
757
	idSuper11_Super11:int);
758

    
759

    
760
let
761

    
762
	 automaton super11_b
763

    
764
	state POINTSuper11_B:
765
	unless (idSuper11_B_1=0) restart POINT__TO__B_B1_1
766

    
767

    
768

    
769
	unless (idSuper11_B_1=1893) restart B_B1__TO__B_B2_1
770

    
771

    
772

    
773
	unless (idSuper11_B_1=1893) restart B_B1_IDL
774

    
775
	unless (idSuper11_B_1=1894) restart B_B2_IDL
776

    
777
	let
778

    
779
		(idSuper11_B, idB_B2, y, idSuper11_Super11) 
780
	= (idSuper11_B_1, idB_B2_1, y_1, idSuper11_Super11_1);
781
	
782

    
783
	tel
784

    
785

    
786

    
787
	state POINT__TO__B_B1_1:
788

    
789
	 var 	idSuper11_B_2:int;
790
	let
791

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

    
798
	(idSuper11_B) 
799
	=  (idSuper11_B_2);
800

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

    
806
	tel
807

    
808
	until true restart POINTSuper11_B
809

    
810

    
811

    
812
	state B_B1__TO__B_B2_1:
813

    
814
	 var 	idSuper11_B_2, idSuper11_B_3:int;
815
	idB_B2_2:int;
816
	let
817

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

    
824
		(idB_B2_2, idSuper11_B_3) 
825
	= B_B2_en(idB_B2_1, idSuper11_B_2, false);
826
		
827

    
828
	(idSuper11_B, idB_B2) 
829
	=  (idSuper11_B_3, idB_B2_2);
830

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

    
836
	tel
837

    
838
	until true restart POINTSuper11_B
839

    
840

    
841

    
842
	state B_B1_IDL:
843

    
844
	 var 	y_2:int;
845
	let
846

    
847
		
848
	(y_2) 
849
	= B_B1_du(y_1);
850

    
851
		
852

    
853

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

    
862
	tel
863

    
864
	until true restart POINTSuper11_B
865

    
866

    
867

    
868
	state B_B2_IDL:
869

    
870
	 var 	idSuper11_B_2:int;
871
	idB_B2_2:int;
872
	y_2, y_3:int;
873
	idSuper11_Super11_2:int;
874
	let
875

    
876
		
877
	(y_2) 
878
	= B_B2_du(y_1);
879

    
880
		
881

    
882
	(idB_B2_2, idSuper11_B_2, idSuper11_Super11_2, y_3) 
883
	= B_B2_node(idB_B2_1, x, idSuper11_B_1, idSuper11_Super11_1, y_2);
884

    
885
		
886

    
887

    
888
	(idSuper11_B, idB_B2, y, idSuper11_Super11) 
889
	= (idSuper11_B_2, idB_B2_2, y_3, idSuper11_Super11_2);
890
	
891

    
892
	tel
893

    
894
	until true restart POINTSuper11_B
895

    
896

    
897

    
898
tel
899

    
900

    
901
--***************************************************State :Super11_Super11 Automaton***************************************************
902

    
903
node Super11_Super11_node(idSuper11_Super11_1:int;
904
	x:int;
905
	idB_B2_1:int;
906
	idSuper11_B_1:int;
907
	y_1:int)
908

    
909
returns (idSuper11_Super11:int;
910
	idB_B2:int;
911
	idSuper11_B:int;
912
	y:int);
913

    
914

    
915
let
916

    
917
	 automaton super11_super11
918

    
919
	state POINTSuper11_Super11:
920
	unless (idSuper11_Super11_1=0) restart POINT__TO__SUPER11_A_1
921

    
922

    
923

    
924
	unless (idSuper11_Super11_1=1891) restart SUPER11_A__TO__SUPER11_SUPER11JUNCTION1904_1
925

    
926

    
927

    
928
	unless (idSuper11_Super11_1=1891) restart SUPER11_A_IDL
929

    
930
	unless (idSuper11_Super11_1=1892) restart SUPER11_B_IDL
931

    
932
	let
933

    
934
		(idSuper11_Super11, idB_B2, idSuper11_B, y) 
935
	= (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1, y_1);
936
	
937

    
938
	tel
939

    
940

    
941

    
942
	state POINT__TO__SUPER11_A_1:
943

    
944
	 var 	idSuper11_Super11_2:int;
945
	let
946

    
947
		-- transition trace :
948
	--POINT__To__Super11_A_1
949
		(idSuper11_Super11_2) 
950
	= Super11_A_en(idSuper11_Super11_1, false);
951
		
952

    
953
	(idSuper11_Super11) 
954
	=  (idSuper11_Super11_2);
955

    
956
	--add unused variables
957
	(idB_B2, idSuper11_B, y) 
958
	= (idB_B2_1, idSuper11_B_1, y_1);
959
	
960

    
961
	tel
962

    
963
	until true restart POINTSuper11_Super11
964

    
965

    
966

    
967
	state SUPER11_A__TO__SUPER11_SUPER11JUNCTION1904_1:
968

    
969
	 var 	idSuper11_Super11_2, idSuper11_Super11_3, idSuper11_Super11_4, idSuper11_Super11_5:int;
970
	idB_B2_2, idB_B2_3, idB_B2_4:int;
971
	idSuper11_B_2, idSuper11_B_3, idSuper11_B_4:int;
972
	let
973

    
974
		
975

    
976
-- transition trace :
977
	--Super11_A__To__Junction1904_1, Junction1904__To__Super11_B_1
978
		(idSuper11_Super11_2) 
979
	= 
980
		 if (( x=0 )) then 
981
		Super11_A_ex(idSuper11_Super11_1, false)
982
		 else (idSuper11_Super11_1);
983
		
984

    
985
		(idSuper11_B_2, idSuper11_Super11_3, idB_B2_2) 
986
	= 
987
		 if (( x=0 )) then 
988
		Super11_B_en(idSuper11_B_1, idSuper11_Super11_2, idB_B2_1, false)
989
		 else (idSuper11_B_1, idSuper11_Super11_2, idB_B2_1);
990
		
991

    
992

    
993
-- transition trace :
994
	--Super11_A__To__Junction1904_1, Junction1904__To__B2_B2a_2
995
		(idSuper11_Super11_4) 
996
	= 
997
		 if (( x!=0 )) then 
998
		Super11_A_ex(idSuper11_Super11_1, false)
999
		 else (idSuper11_Super11_1);
1000
		
1001

    
1002
		idB_B2_3 
1003
	= 1895;
1004
	
1005
		idSuper11_B_3 
1006
	= 1894;
1007
	
1008
		(idSuper11_B_4, idSuper11_Super11_5, idB_B2_4) 
1009
	= 
1010
		 if (( x!=0 )) then 
1011
		Super11_B_en(idSuper11_B_3, idSuper11_Super11_4, idB_B2_3, false)
1012
		 else (idSuper11_B_3, idSuper11_Super11_4, idB_B2_3);
1013
		
1014

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

    
1024
	--add unused variables
1025
	(y) 
1026
	= (y_1);
1027
	
1028

    
1029
	tel
1030

    
1031
	until true restart POINTSuper11_Super11
1032

    
1033

    
1034

    
1035
	state SUPER11_A_IDL:
1036

    
1037
	 var 	y_2:int;
1038
	let
1039

    
1040
		
1041
	(y_2) 
1042
	= Super11_A_du(y_1);
1043

    
1044
		
1045

    
1046

    
1047
	(idSuper11_Super11, idB_B2, idSuper11_B, y) 
1048
	= (idSuper11_Super11_1, idB_B2_1, idSuper11_B_1, y_2);
1049
	
1050

    
1051
	tel
1052

    
1053
	until true restart POINTSuper11_Super11
1054

    
1055

    
1056

    
1057
	state SUPER11_B_IDL:
1058

    
1059
	 var 	idSuper11_Super11_2:int;
1060
	idB_B2_2:int;
1061
	idSuper11_B_2:int;
1062
	y_2, y_3:int;
1063
	let
1064

    
1065
		
1066
	(y_2) 
1067
	= Super11_B_du(y_1);
1068

    
1069
		
1070

    
1071
	(idSuper11_B_2, idB_B2_2, y_3, idSuper11_Super11_2) 
1072
	= Super11_B_node(idSuper11_B_1, idB_B2_1, y_2, idSuper11_Super11_1, x);
1073

    
1074
		
1075

    
1076

    
1077
	(idSuper11_Super11, idB_B2, idSuper11_B, y) 
1078
	= (idSuper11_Super11_2, idB_B2_2, idSuper11_B_2, y_3);
1079
	
1080

    
1081
	tel
1082

    
1083
	until true restart POINTSuper11_Super11
1084

    
1085

    
1086

    
1087
tel
1088

    
1089

    
1090
--***************************************************State :Super11_Super11 Automaton***************************************************
1091

    
1092
node Super11V2_Super11(x:int)
1093

    
1094
returns (y:int);
1095

    
1096

    
1097
var y_1: int;
1098

    
1099
	idSuper11_Super11, idSuper11_Super11_1: int;
1100

    
1101
	idB_B2, idB_B2_1: int;
1102

    
1103
	idSuper11_B, idSuper11_B_1: int;
1104

    
1105
	let
1106

    
1107
	y_1 = 0 -> pre y;
1108

    
1109
	idSuper11_Super11_1 = 0 -> pre idSuper11_Super11;
1110

    
1111
	idB_B2_1 = 0 -> pre idB_B2;
1112

    
1113
	idSuper11_B_1 = 0 -> pre idSuper11_B;
1114

    
1115
	
1116

    
1117

    
1118

    
1119
	(idSuper11_Super11, idB_B2, idSuper11_B, y)
1120
	 = Super11_Super11_node(idSuper11_Super11_1, x, idB_B2_1, idSuper11_B_1, y_1);
1121

    
1122

    
1123
--unused outputs
1124
	
1125

    
1126
tel
1127

    
1128

    
1129

    
1130
node Super11V2 (x_1_1 : int)
1131
returns (y_1_1 : int); 
1132
var
1133
	Super11_1_1 : int;
1134
	i_virtual_local : real;
1135
let 
1136
	Super11_1_1 =  Super11V2_Super11(x_1_1);
1137
	y_1_1 = Super11_1_1;
1138
	i_virtual_local= 0.0 -> 1.0;
1139
tel
1140