Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super6 / Super6.lus @ eb639349

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

    
20

    
21

    
22

    
23

    
24
--During action for state :B1a_B1ai
25
node B1a_B1ai_du(y_1:int)
26

    
27
returns (y:int);
28

    
29

    
30
var 	y_2:int;
31

    
32

    
33
let
34

    
35

    
36

    
37
	y_2 
38
	=  y_1  + 1;
39
	
40

    
41
	(y) 
42
	= (y_2);
43
	
44

    
45
tel
46

    
47

    
48

    
49

    
50

    
51
-- Entry action for state :B1a_B1ai
52
node B1a_B1ai_en(idB1_B1a_1:int;
53
	isInner:bool)
54

    
55
returns (idB1_B1a:int);
56

    
57

    
58
var 	idB1_B1a_2:int;
59

    
60

    
61
let
62

    
63

    
64

    
65
	-- set state as active 
66
	idB1_B1a_2 
67
	= 97;
68
	
69

    
70
	(idB1_B1a) 
71
	= (idB1_B1a_2);
72
	
73

    
74
tel
75

    
76

    
77

    
78

    
79

    
80
-- Exit action for state :B1a_B1ai
81
node B1a_B1ai_ex(idB1_B1a_1:int;
82
	isInner:bool)
83

    
84
returns (idB1_B1a:int);
85

    
86

    
87
var 	idB1_B1a_2:int;
88

    
89

    
90
let
91

    
92

    
93

    
94
	-- set state as inactive 
95
	idB1_B1a_2
96
	 = if (not isInner) then 0 else idB1_B1a_1;
97

    
98

    
99
	(idB1_B1a) 
100
	= (idB1_B1a_1);
101
	
102

    
103
tel
104

    
105

    
106

    
107

    
108

    
109

    
110
--During action for state :B1_B1a
111
node B1_B1a_du(y_1:int)
112

    
113
returns (y:int);
114

    
115

    
116
var 	y_2:int;
117

    
118

    
119
let
120

    
121

    
122

    
123
	y_2 
124
	=  y_1  + 1;
125
	
126

    
127
	(y) 
128
	= (y_2);
129
	
130

    
131
tel
132

    
133

    
134

    
135

    
136

    
137
-- Entry action for state :B1_B1a
138
node B1_B1a_en(idB1_B1a_1:int;
139
	idB_B1_1:int;
140
	isInner:bool)
141

    
142
returns (idB1_B1a:int;
143
	idB_B1:int);
144

    
145

    
146
var 	idB1_B1a_2, idB1_B1a_3, idB1_B1a_4, idB1_B1a_5:int;
147
	idB_B1_2, idB_B1_3, idB_B1_4:int;
148

    
149

    
150
let
151

    
152

    
153

    
154
	-- set state as active 
155
	idB_B1_2 
156
	= 96;
157
	
158

    
159
	
160
-- transition trace :
161
	--POINT__To__B1a_B1ai_1
162
		(idB1_B1a_2) 
163
	= B1a_B1ai_en(idB1_B1a_1, false);
164
		
165

    
166
	(idB1_B1a_3, idB_B1_3) 
167
	= 
168

    
169
	if ( idB1_B1a_1 = 0) then
170

    
171
	 (idB1_B1a_2, idB_B1_2)
172

    
173
	 else(idB1_B1a_1, idB_B1_2);
174

    
175
	
176

    
177
	(idB1_B1a_4) 
178
	= 
179
	if ( idB1_B1a_1 = 97) then
180
	B1a_B1ai_en(idB1_B1a_1, false)
181
	 else (idB1_B1a_1);
182

    
183
	
184

    
185
	(idB1_B1a_5, idB_B1_4) 
186
	= 
187
		 if ( idB1_B1a_1 = 0) then 
188
		(idB1_B1a_3, idB_B1_3)
189
		 else
190
		 if ( idB1_B1a_1 = 97) then 
191
		(idB1_B1a_4, idB_B1_3)
192
		 else (idB1_B1a_1, idB_B1_2);
193

    
194

    
195
	(idB1_B1a, idB_B1) 
196
	= (idB1_B1a_5, idB_B1_4);
197
	
198

    
199
tel
200

    
201

    
202

    
203

    
204

    
205
-- Exit action for state :B1_B1a
206
node B1_B1a_ex(idB1_B1a_1:int;
207
	idB_B1_1:int;
208
	isInner:bool)
209

    
210
returns (idB1_B1a:int;
211
	idB_B1:int);
212

    
213

    
214
var 	idB1_B1a_2, idB1_B1a_3, idB1_B1a_4:int;
215
	idB_B1_2:int;
216

    
217

    
218
let
219

    
220

    
221

    
222
	
223
	(idB1_B1a_2) 
224
	= 
225
	if ( idB1_B1a_1 = 97) then
226
	B1a_B1ai_ex(idB1_B1a_1, false)
227
	 else (idB1_B1a_1);
228

    
229
	
230

    
231
	(idB1_B1a_3) 
232
	= 
233
		 if ( idB1_B1a_1 = 97) then 
234
		(idB1_B1a_2)
235
		 else (idB1_B1a_1);
236

    
237

    
238
	-- set state as inactive 
239
	idB_B1_2
240
	 = if (not isInner) then 0 else idB_B1_1;
241

    
242
	idB1_B1a_4 
243
	= 0;
244
	
245

    
246
	(idB1_B1a, idB_B1) 
247
	= (idB1_B1a_4, idB_B1_1);
248
	
249

    
250
tel
251

    
252

    
253

    
254

    
255

    
256

    
257
--During action for state :B_B1
258
node B_B1_du(y_1:int)
259

    
260
returns (y:int);
261

    
262

    
263
var 	y_2:int;
264

    
265

    
266
let
267

    
268

    
269

    
270
	y_2 
271
	=  y_1  + 1;
272
	
273

    
274
	(y) 
275
	= (y_2);
276
	
277

    
278
tel
279

    
280

    
281

    
282

    
283

    
284
-- Entry action for state :B_B1
285
node B_B1_en(idB_B1_1:int;
286
	idSuper6_B_1:int;
287
	idB1_B1a_1:int;
288
	isInner:bool)
289

    
290
returns (idB_B1:int;
291
	idSuper6_B:int;
292
	idB1_B1a:int);
293

    
294

    
295
var 	idB_B1_2, idB_B1_3, idB_B1_4, idB_B1_5:int;
296
	idSuper6_B_2, idSuper6_B_3, idSuper6_B_4:int;
297
	idB1_B1a_2, idB1_B1a_3, idB1_B1a_4, idB1_B1a_5:int;
298

    
299

    
300
let
301

    
302

    
303

    
304
	-- set state as active 
305
	idSuper6_B_2 
306
	= 95;
307
	
308

    
309
	
310
-- transition trace :
311
	--POINT__To__B1_B1a_1
312
		(idB1_B1a_2, idB_B1_2) 
313
	= B1_B1a_en(idB1_B1a_1, idB_B1_1, false);
314
		
315

    
316
	(idB_B1_3, idSuper6_B_3, idB1_B1a_3) 
317
	= 
318

    
319
	if ( idB_B1_1 = 0) then
320

    
321
	 (idB_B1_2, idSuper6_B_2, idB1_B1a_2)
322

    
323
	 else(idB_B1_1, idSuper6_B_2, idB1_B1a_1);
324

    
325
	
326

    
327
	(idB1_B1a_4, idB_B1_4) 
328
	= 
329
	if ( idB_B1_1 = 96) then
330
	B1_B1a_en(idB1_B1a_1, idB_B1_1, false)
331
	 else (idB1_B1a_1, idB_B1_1);
332

    
333
	
334

    
335
	(idB_B1_5, idSuper6_B_4, idB1_B1a_5) 
336
	= 
337
		 if ( idB_B1_1 = 0) then 
338
		(idB_B1_3, idSuper6_B_3, idB1_B1a_3)
339
		 else
340
		 if ( idB_B1_1 = 96) then 
341
		(idB_B1_4, idSuper6_B_3, idB1_B1a_4)
342
		 else (idB_B1_1, idSuper6_B_2, idB1_B1a_1);
343

    
344

    
345
	(idB_B1, idSuper6_B, idB1_B1a) 
346
	= (idB_B1_5, idSuper6_B_4, idB1_B1a_5);
347
	
348

    
349
tel
350

    
351

    
352

    
353

    
354

    
355
-- Exit action for state :B_B1
356
node B_B1_ex(idB1_B1a_1:int;
357
	idB_B1_1:int;
358
	idSuper6_B_1:int;
359
	isInner:bool)
360

    
361
returns (idB1_B1a:int;
362
	idB_B1:int;
363
	idSuper6_B:int);
364

    
365

    
366
var 	idB1_B1a_2, idB1_B1a_3:int;
367
	idB_B1_2, idB_B1_3, idB_B1_4:int;
368
	idSuper6_B_2:int;
369

    
370

    
371
let
372

    
373

    
374

    
375
	
376
	(idB1_B1a_2, idB_B1_2) 
377
	= 
378
	if ( idB_B1_1 = 96) then
379
	B1_B1a_ex(idB1_B1a_1, idB_B1_1, false)
380
	 else (idB1_B1a_1, idB_B1_1);
381

    
382
	
383

    
384
	(idB1_B1a_3, idB_B1_3) 
385
	= 
386
		 if ( idB_B1_1 = 96) then 
387
		(idB1_B1a_2, idB_B1_2)
388
		 else (idB1_B1a_1, idB_B1_1);
389

    
390

    
391
	-- set state as inactive 
392
	idSuper6_B_2
393
	 = if (not isInner) then 0 else idSuper6_B_1;
394

    
395
	idB_B1_4 
396
	= 0;
397
	
398

    
399
	(idB1_B1a, idB_B1, idSuper6_B) 
400
	= (idB1_B1a_3, idB_B1_4, idSuper6_B_1);
401
	
402

    
403
tel
404

    
405

    
406

    
407

    
408

    
409

    
410
--During action for state :Super6_B
411
node Super6_B_du(y_1:int)
412

    
413
returns (y:int);
414

    
415

    
416
var 	y_2:int;
417

    
418

    
419
let
420

    
421

    
422

    
423
	y_2 
424
	=  y_1  + 1;
425
	
426

    
427
	(y) 
428
	= (y_2);
429
	
430

    
431
tel
432

    
433

    
434

    
435

    
436

    
437
-- Entry action for state :Super6_B
438
node Super6_B_en(idSuper6_B_1:int;
439
	idSuper6_Super6_1:int;
440
	idB1_B1a_1:int;
441
	idB_B1_1:int;
442
	isInner:bool)
443

    
444
returns (idSuper6_B:int;
445
	idSuper6_Super6:int;
446
	idB1_B1a:int;
447
	idB_B1:int);
448

    
449

    
450
var 	idSuper6_B_2, idSuper6_B_3, idSuper6_B_4, idSuper6_B_5:int;
451
	idSuper6_Super6_2, idSuper6_Super6_3, idSuper6_Super6_4:int;
452
	idB1_B1a_2, idB1_B1a_3, idB1_B1a_4, idB1_B1a_5:int;
453
	idB_B1_2, idB_B1_3, idB_B1_4, idB_B1_5:int;
454

    
455

    
456
let
457

    
458

    
459

    
460
	-- set state as active 
461
	idSuper6_Super6_2 
462
	= 94;
463
	
464

    
465
	
466
-- transition trace :
467
	--POINT__To__B_B1_1
468
		(idB_B1_2, idSuper6_B_2, idB1_B1a_2) 
469
	= B_B1_en(idB_B1_1, idSuper6_B_1, idB1_B1a_1, false);
470
		
471

    
472
	(idSuper6_B_3, idSuper6_Super6_3, idB1_B1a_3, idB_B1_3) 
473
	= 
474

    
475
	if ( idSuper6_B_1 = 0) then
476

    
477
	 (idSuper6_B_2, idSuper6_Super6_2, idB1_B1a_2, idB_B1_2)
478

    
479
	 else(idSuper6_B_1, idSuper6_Super6_2, idB1_B1a_1, idB_B1_1);
480

    
481
	
482

    
483
	(idB_B1_4, idSuper6_B_4, idB1_B1a_4) 
484
	= 
485
	if ( idSuper6_B_1 = 95) then
486
	B_B1_en(idB_B1_1, idSuper6_B_1, idB1_B1a_1, false)
487
	 else (idB_B1_1, idSuper6_B_1, idB1_B1a_1);
488

    
489
	
490

    
491
	(idSuper6_B_5, idSuper6_Super6_4, idB1_B1a_5, idB_B1_5) 
492
	= 
493
		 if ( idSuper6_B_1 = 0) then 
494
		(idSuper6_B_3, idSuper6_Super6_3, idB1_B1a_3, idB_B1_3)
495
		 else
496
		 if ( idSuper6_B_1 = 95) then 
497
		(idSuper6_B_4, idSuper6_Super6_3, idB1_B1a_4, idB_B1_4)
498
		 else (idSuper6_B_1, idSuper6_Super6_2, idB1_B1a_1, idB_B1_1);
499

    
500

    
501
	(idSuper6_B, idSuper6_Super6, idB1_B1a, idB_B1) 
502
	= (idSuper6_B_5, idSuper6_Super6_4, idB1_B1a_5, idB_B1_5);
503
	
504

    
505
tel
506

    
507

    
508

    
509

    
510

    
511
-- Exit action for state :Super6_B
512
node Super6_B_ex(idB1_B1a_1:int;
513
	idB_B1_1:int;
514
	idSuper6_B_1:int;
515
	idSuper6_Super6_1:int;
516
	isInner:bool)
517

    
518
returns (idB1_B1a:int;
519
	idB_B1:int;
520
	idSuper6_B:int;
521
	idSuper6_Super6:int);
522

    
523

    
524
var 	idB1_B1a_2, idB1_B1a_3:int;
525
	idB_B1_2, idB_B1_3:int;
526
	idSuper6_B_2, idSuper6_B_3, idSuper6_B_4:int;
527
	idSuper6_Super6_2:int;
528

    
529

    
530
let
531

    
532

    
533

    
534
	
535
	(idB1_B1a_2, idB_B1_2, idSuper6_B_2) 
536
	= 
537
	if ( idSuper6_B_1 = 95) then
538
	B_B1_ex(idB1_B1a_1, idB_B1_1, idSuper6_B_1, false)
539
	 else (idB1_B1a_1, idB_B1_1, idSuper6_B_1);
540

    
541
	
542

    
543
	(idB1_B1a_3, idB_B1_3, idSuper6_B_3) 
544
	= 
545
		 if ( idSuper6_B_1 = 95) then 
546
		(idB1_B1a_2, idB_B1_2, idSuper6_B_2)
547
		 else (idB1_B1a_1, idB_B1_1, idSuper6_B_1);
548

    
549

    
550
	-- set state as inactive 
551
	idSuper6_Super6_2
552
	 = if (not isInner) then 0 else idSuper6_Super6_1;
553

    
554
	idSuper6_B_4 
555
	= 0;
556
	
557

    
558
	(idB1_B1a, idB_B1, idSuper6_B, idSuper6_Super6) 
559
	= (idB1_B1a_3, idB_B1_3, idSuper6_B_4, idSuper6_Super6_1);
560
	
561

    
562
tel
563

    
564

    
565

    
566

    
567

    
568

    
569
--During action for state :A1a_A1ai
570
node A1a_A1ai_du(y_1:int)
571

    
572
returns (y:int);
573

    
574

    
575
var 	y_2:int;
576

    
577

    
578
let
579

    
580

    
581

    
582
	y_2 
583
	=  y_1  + 1;
584
	
585

    
586
	(y) 
587
	= (y_2);
588
	
589

    
590
tel
591

    
592

    
593

    
594

    
595

    
596
-- Entry action for state :A1a_A1ai
597
node A1a_A1ai_en(idA1_A1a_1:int;
598
	isInner:bool)
599

    
600
returns (idA1_A1a:int);
601

    
602

    
603
var 	idA1_A1a_2:int;
604

    
605

    
606
let
607

    
608

    
609

    
610
	-- set state as active 
611
	idA1_A1a_2 
612
	= 93;
613
	
614

    
615
	(idA1_A1a) 
616
	= (idA1_A1a_2);
617
	
618

    
619
tel
620

    
621

    
622

    
623

    
624

    
625
-- Exit action for state :A1a_A1ai
626
node A1a_A1ai_ex(idA1_A1a_1:int;
627
	isInner:bool)
628

    
629
returns (idA1_A1a:int);
630

    
631

    
632
var 	idA1_A1a_2:int;
633

    
634

    
635
let
636

    
637

    
638

    
639
	-- set state as inactive 
640
	idA1_A1a_2
641
	 = if (not isInner) then 0 else idA1_A1a_1;
642

    
643

    
644
	(idA1_A1a) 
645
	= (idA1_A1a_1);
646
	
647

    
648
tel
649

    
650

    
651

    
652

    
653

    
654

    
655
--During action for state :A1_A1a
656
node A1_A1a_du(y_1:int)
657

    
658
returns (y:int);
659

    
660

    
661
var 	y_2:int;
662

    
663

    
664
let
665

    
666

    
667

    
668
	y_2 
669
	=  y_1  + 1;
670
	
671

    
672
	(y) 
673
	= (y_2);
674
	
675

    
676
tel
677

    
678

    
679

    
680

    
681

    
682
-- Entry action for state :A1_A1a
683
node A1_A1a_en(idA1_A1a_1:int;
684
	idA_A1_1:int;
685
	isInner:bool)
686

    
687
returns (idA1_A1a:int;
688
	idA_A1:int);
689

    
690

    
691
var 	idA1_A1a_2, idA1_A1a_3, idA1_A1a_4, idA1_A1a_5:int;
692
	idA_A1_2, idA_A1_3, idA_A1_4:int;
693

    
694

    
695
let
696

    
697

    
698

    
699
	-- set state as active 
700
	idA_A1_2 
701
	= 92;
702
	
703

    
704
	
705
-- transition trace :
706
	--POINT__To__A1a_A1ai_1
707
		(idA1_A1a_2) 
708
	= A1a_A1ai_en(idA1_A1a_1, false);
709
		
710

    
711
	(idA1_A1a_3, idA_A1_3) 
712
	= 
713

    
714
	if ( idA1_A1a_1 = 0) then
715

    
716
	 (idA1_A1a_2, idA_A1_2)
717

    
718
	 else(idA1_A1a_1, idA_A1_2);
719

    
720
	
721

    
722
	(idA1_A1a_4) 
723
	= 
724
	if ( idA1_A1a_1 = 93) then
725
	A1a_A1ai_en(idA1_A1a_1, false)
726
	 else (idA1_A1a_1);
727

    
728
	
729

    
730
	(idA1_A1a_5, idA_A1_4) 
731
	= 
732
		 if ( idA1_A1a_1 = 0) then 
733
		(idA1_A1a_3, idA_A1_3)
734
		 else
735
		 if ( idA1_A1a_1 = 93) then 
736
		(idA1_A1a_4, idA_A1_3)
737
		 else (idA1_A1a_1, idA_A1_2);
738

    
739

    
740
	(idA1_A1a, idA_A1) 
741
	= (idA1_A1a_5, idA_A1_4);
742
	
743

    
744
tel
745

    
746

    
747

    
748

    
749

    
750
-- Exit action for state :A1_A1a
751
node A1_A1a_ex(idA1_A1a_1:int;
752
	idA_A1_1:int;
753
	isInner:bool)
754

    
755
returns (idA1_A1a:int;
756
	idA_A1:int);
757

    
758

    
759
var 	idA1_A1a_2, idA1_A1a_3, idA1_A1a_4:int;
760
	idA_A1_2:int;
761

    
762

    
763
let
764

    
765

    
766

    
767
	
768
	(idA1_A1a_2) 
769
	= 
770
	if ( idA1_A1a_1 = 93) then
771
	A1a_A1ai_ex(idA1_A1a_1, false)
772
	 else (idA1_A1a_1);
773

    
774
	
775

    
776
	(idA1_A1a_3) 
777
	= 
778
		 if ( idA1_A1a_1 = 93) then 
779
		(idA1_A1a_2)
780
		 else (idA1_A1a_1);
781

    
782

    
783
	-- set state as inactive 
784
	idA_A1_2
785
	 = if (not isInner) then 0 else idA_A1_1;
786

    
787
	idA1_A1a_4 
788
	= 0;
789
	
790

    
791
	(idA1_A1a, idA_A1) 
792
	= (idA1_A1a_4, idA_A1_1);
793
	
794

    
795
tel
796

    
797

    
798

    
799

    
800

    
801

    
802
--During action for state :A_A1
803
node A_A1_du(y_1:int)
804

    
805
returns (y:int);
806

    
807

    
808
var 	y_2:int;
809

    
810

    
811
let
812

    
813

    
814

    
815
	y_2 
816
	=  y_1  + 1;
817
	
818

    
819
	(y) 
820
	= (y_2);
821
	
822

    
823
tel
824

    
825

    
826

    
827

    
828

    
829
-- Entry action for state :A_A1
830
node A_A1_en(idA_A1_1:int;
831
	idSuper6_A_1:int;
832
	idA1_A1a_1:int;
833
	isInner:bool)
834

    
835
returns (idA_A1:int;
836
	idSuper6_A:int;
837
	idA1_A1a:int);
838

    
839

    
840
var 	idA_A1_2, idA_A1_3, idA_A1_4, idA_A1_5:int;
841
	idSuper6_A_2, idSuper6_A_3, idSuper6_A_4:int;
842
	idA1_A1a_2, idA1_A1a_3, idA1_A1a_4, idA1_A1a_5:int;
843

    
844

    
845
let
846

    
847

    
848

    
849
	-- set state as active 
850
	idSuper6_A_2 
851
	= 91;
852
	
853

    
854
	
855
-- transition trace :
856
	--POINT__To__A1_A1a_1
857
		(idA1_A1a_2, idA_A1_2) 
858
	= A1_A1a_en(idA1_A1a_1, idA_A1_1, false);
859
		
860

    
861
	(idA_A1_3, idSuper6_A_3, idA1_A1a_3) 
862
	= 
863

    
864
	if ( idA_A1_1 = 0) then
865

    
866
	 (idA_A1_2, idSuper6_A_2, idA1_A1a_2)
867

    
868
	 else(idA_A1_1, idSuper6_A_2, idA1_A1a_1);
869

    
870
	
871

    
872
	(idA1_A1a_4, idA_A1_4) 
873
	= 
874
	if ( idA_A1_1 = 92) then
875
	A1_A1a_en(idA1_A1a_1, idA_A1_1, false)
876
	 else (idA1_A1a_1, idA_A1_1);
877

    
878
	
879

    
880
	(idA_A1_5, idSuper6_A_4, idA1_A1a_5) 
881
	= 
882
		 if ( idA_A1_1 = 0) then 
883
		(idA_A1_3, idSuper6_A_3, idA1_A1a_3)
884
		 else
885
		 if ( idA_A1_1 = 92) then 
886
		(idA_A1_4, idSuper6_A_3, idA1_A1a_4)
887
		 else (idA_A1_1, idSuper6_A_2, idA1_A1a_1);
888

    
889

    
890
	(idA_A1, idSuper6_A, idA1_A1a) 
891
	= (idA_A1_5, idSuper6_A_4, idA1_A1a_5);
892
	
893

    
894
tel
895

    
896

    
897

    
898

    
899

    
900
-- Exit action for state :A_A1
901
node A_A1_ex(idA1_A1a_1:int;
902
	idA_A1_1:int;
903
	idSuper6_A_1:int;
904
	isInner:bool)
905

    
906
returns (idA1_A1a:int;
907
	idA_A1:int;
908
	idSuper6_A:int);
909

    
910

    
911
var 	idA1_A1a_2, idA1_A1a_3:int;
912
	idA_A1_2, idA_A1_3, idA_A1_4:int;
913
	idSuper6_A_2:int;
914

    
915

    
916
let
917

    
918

    
919

    
920
	
921
	(idA1_A1a_2, idA_A1_2) 
922
	= 
923
	if ( idA_A1_1 = 92) then
924
	A1_A1a_ex(idA1_A1a_1, idA_A1_1, false)
925
	 else (idA1_A1a_1, idA_A1_1);
926

    
927
	
928

    
929
	(idA1_A1a_3, idA_A1_3) 
930
	= 
931
		 if ( idA_A1_1 = 92) then 
932
		(idA1_A1a_2, idA_A1_2)
933
		 else (idA1_A1a_1, idA_A1_1);
934

    
935

    
936
	-- set state as inactive 
937
	idSuper6_A_2
938
	 = if (not isInner) then 0 else idSuper6_A_1;
939

    
940
	idA_A1_4 
941
	= 0;
942
	
943

    
944
	(idA1_A1a, idA_A1, idSuper6_A) 
945
	= (idA1_A1a_3, idA_A1_4, idSuper6_A_1);
946
	
947

    
948
tel
949

    
950

    
951

    
952

    
953

    
954

    
955
--During action for state :Super6_A
956
node Super6_A_du(y_1:int)
957

    
958
returns (y:int);
959

    
960

    
961
var 	y_2:int;
962

    
963

    
964
let
965

    
966

    
967

    
968
	y_2 
969
	=  y_1  + 1;
970
	
971

    
972
	(y) 
973
	= (y_2);
974
	
975

    
976
tel
977

    
978

    
979

    
980

    
981

    
982
-- Entry action for state :Super6_A
983
node Super6_A_en(idSuper6_A_1:int;
984
	idSuper6_Super6_1:int;
985
	idA1_A1a_1:int;
986
	idA_A1_1:int;
987
	isInner:bool)
988

    
989
returns (idSuper6_A:int;
990
	idSuper6_Super6:int;
991
	idA1_A1a:int;
992
	idA_A1:int);
993

    
994

    
995
var 	idSuper6_A_2, idSuper6_A_3, idSuper6_A_4, idSuper6_A_5:int;
996
	idSuper6_Super6_2, idSuper6_Super6_3, idSuper6_Super6_4:int;
997
	idA1_A1a_2, idA1_A1a_3, idA1_A1a_4, idA1_A1a_5:int;
998
	idA_A1_2, idA_A1_3, idA_A1_4, idA_A1_5:int;
999

    
1000

    
1001
let
1002

    
1003

    
1004

    
1005
	-- set state as active 
1006
	idSuper6_Super6_2 
1007
	= 90;
1008
	
1009

    
1010
	
1011
-- transition trace :
1012
	--POINT__To__A_A1_1
1013
		(idA_A1_2, idSuper6_A_2, idA1_A1a_2) 
1014
	= A_A1_en(idA_A1_1, idSuper6_A_1, idA1_A1a_1, false);
1015
		
1016

    
1017
	(idSuper6_A_3, idSuper6_Super6_3, idA1_A1a_3, idA_A1_3) 
1018
	= 
1019

    
1020
	if ( idSuper6_A_1 = 0) then
1021

    
1022
	 (idSuper6_A_2, idSuper6_Super6_2, idA1_A1a_2, idA_A1_2)
1023

    
1024
	 else(idSuper6_A_1, idSuper6_Super6_2, idA1_A1a_1, idA_A1_1);
1025

    
1026
	
1027

    
1028
	(idA_A1_4, idSuper6_A_4, idA1_A1a_4) 
1029
	= 
1030
	if ( idSuper6_A_1 = 91) then
1031
	A_A1_en(idA_A1_1, idSuper6_A_1, idA1_A1a_1, false)
1032
	 else (idA_A1_1, idSuper6_A_1, idA1_A1a_1);
1033

    
1034
	
1035

    
1036
	(idSuper6_A_5, idSuper6_Super6_4, idA1_A1a_5, idA_A1_5) 
1037
	= 
1038
		 if ( idSuper6_A_1 = 0) then 
1039
		(idSuper6_A_3, idSuper6_Super6_3, idA1_A1a_3, idA_A1_3)
1040
		 else
1041
		 if ( idSuper6_A_1 = 91) then 
1042
		(idSuper6_A_4, idSuper6_Super6_3, idA1_A1a_4, idA_A1_4)
1043
		 else (idSuper6_A_1, idSuper6_Super6_2, idA1_A1a_1, idA_A1_1);
1044

    
1045

    
1046
	(idSuper6_A, idSuper6_Super6, idA1_A1a, idA_A1) 
1047
	= (idSuper6_A_5, idSuper6_Super6_4, idA1_A1a_5, idA_A1_5);
1048
	
1049

    
1050
tel
1051

    
1052

    
1053

    
1054

    
1055

    
1056
-- Exit action for state :Super6_A
1057
node Super6_A_ex(idA1_A1a_1:int;
1058
	idA_A1_1:int;
1059
	idSuper6_A_1:int;
1060
	idSuper6_Super6_1:int;
1061
	isInner:bool)
1062

    
1063
returns (idA1_A1a:int;
1064
	idA_A1:int;
1065
	idSuper6_A:int;
1066
	idSuper6_Super6:int);
1067

    
1068

    
1069
var 	idA1_A1a_2, idA1_A1a_3:int;
1070
	idA_A1_2, idA_A1_3:int;
1071
	idSuper6_A_2, idSuper6_A_3, idSuper6_A_4:int;
1072
	idSuper6_Super6_2:int;
1073

    
1074

    
1075
let
1076

    
1077

    
1078

    
1079
	
1080
	(idA1_A1a_2, idA_A1_2, idSuper6_A_2) 
1081
	= 
1082
	if ( idSuper6_A_1 = 91) then
1083
	A_A1_ex(idA1_A1a_1, idA_A1_1, idSuper6_A_1, false)
1084
	 else (idA1_A1a_1, idA_A1_1, idSuper6_A_1);
1085

    
1086
	
1087

    
1088
	(idA1_A1a_3, idA_A1_3, idSuper6_A_3) 
1089
	= 
1090
		 if ( idSuper6_A_1 = 91) then 
1091
		(idA1_A1a_2, idA_A1_2, idSuper6_A_2)
1092
		 else (idA1_A1a_1, idA_A1_1, idSuper6_A_1);
1093

    
1094

    
1095
	-- set state as inactive 
1096
	idSuper6_Super6_2
1097
	 = if (not isInner) then 0 else idSuper6_Super6_1;
1098

    
1099
	idSuper6_A_4 
1100
	= 0;
1101
	
1102

    
1103
	(idA1_A1a, idA_A1, idSuper6_A, idSuper6_Super6) 
1104
	= (idA1_A1a_3, idA_A1_3, idSuper6_A_4, idSuper6_Super6_1);
1105
	
1106

    
1107
tel
1108

    
1109

    
1110
--***************************************************State :B1_B1a Automaton***************************************************
1111

    
1112
node B1_B1a_node(idB1_B1a_1:int;
1113
	H:bool;
1114
	idB_B1_1:int;
1115
	idSuper6_B_1:int;
1116
	idSuper6_Super6_1:int;
1117
	idA1_A1a_1:int;
1118
	idA_A1_1:int;
1119
	idSuper6_A_1:int;
1120
	y_1:int)
1121

    
1122
returns (idB1_B1a:int;
1123
	idB_B1:int;
1124
	idSuper6_B:int;
1125
	idSuper6_Super6:int;
1126
	idA1_A1a:int;
1127
	idA_A1:int;
1128
	idSuper6_A:int;
1129
	y:int);
1130

    
1131

    
1132
let
1133

    
1134
	 automaton b1_b1a
1135

    
1136
	state POINTB1_B1a:
1137
	unless (idB1_B1a_1=0) restart POINT__TO__B1A_B1AI_1
1138

    
1139

    
1140

    
1141
	unless (idB1_B1a_1=97) and H restart B1A_B1AI__TO__A1A_A1AI_1
1142

    
1143

    
1144

    
1145
	unless (idB1_B1a_1=97) restart B1A_B1AI_IDL
1146

    
1147
	let
1148

    
1149
		(idB1_B1a, idB_B1, idSuper6_B, idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, y) 
1150
	= (idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, y_1);
1151
	
1152

    
1153
	tel
1154

    
1155

    
1156

    
1157
	state POINT__TO__B1A_B1AI_1:
1158

    
1159
	 var 	idB1_B1a_2:int;
1160
	let
1161

    
1162
		-- transition trace :
1163
	--POINT__To__B1a_B1ai_1
1164
		(idB1_B1a_2) 
1165
	= B1a_B1ai_en(idB1_B1a_1, false);
1166
		
1167

    
1168
	(idB1_B1a) 
1169
	=  (idB1_B1a_2);
1170

    
1171
	--add unused variables
1172
	(idA1_A1a, idA_A1, idB_B1, idSuper6_A, idSuper6_B, idSuper6_Super6, y) 
1173
	= (idA1_A1a_1, idA_A1_1, idB_B1_1, idSuper6_A_1, idSuper6_B_1, idSuper6_Super6_1, y_1);
1174
	
1175

    
1176
	tel
1177

    
1178
	until true restart POINTB1_B1a
1179

    
1180

    
1181

    
1182
	state B1A_B1AI__TO__A1A_A1AI_1:
1183

    
1184
	 var 	idB1_B1a_2:int;
1185
	idB_B1_2:int;
1186
	idSuper6_B_2:int;
1187
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1188
	idA1_A1a_2, idA1_A1a_3:int;
1189
	idA_A1_2, idA_A1_3:int;
1190
	idSuper6_A_2, idSuper6_A_3:int;
1191
	let
1192

    
1193
		-- transition trace :
1194
	--B1a_B1ai__To__A1a_A1ai_1
1195
		(idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_2) 
1196
	= Super6_B_ex(idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, false);
1197
		
1198

    
1199
		idA1_A1a_2 
1200
	= 93;
1201
	
1202
		idA_A1_2 
1203
	= 92;
1204
	
1205
		idSuper6_A_2 
1206
	= 91;
1207
	
1208
		(idSuper6_A_3, idSuper6_Super6_3, idA1_A1a_3, idA_A1_3) 
1209
	= Super6_A_en(idSuper6_A_2, idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, false);
1210
		
1211

    
1212
	(idB1_B1a, idB_B1, idSuper6_B, idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A) 
1213
	=  (idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_3, idA1_A1a_3, idA_A1_3, idSuper6_A_3);
1214

    
1215
	--add unused variables
1216
	(y) 
1217
	= (y_1);
1218
	
1219

    
1220
	tel
1221

    
1222
	until true restart POINTB1_B1a
1223

    
1224

    
1225

    
1226
	state B1A_B1AI_IDL:
1227

    
1228
	 var 	y_2:int;
1229
	let
1230

    
1231
		
1232
	(y_2) 
1233
	= B1a_B1ai_du(y_1);
1234

    
1235
		
1236

    
1237

    
1238
	(idB1_B1a, idB_B1, idSuper6_B, idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, y) 
1239
	= (idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, y_2);
1240
	
1241

    
1242
	tel
1243

    
1244
	until true restart POINTB1_B1a
1245

    
1246

    
1247

    
1248
tel
1249

    
1250

    
1251
--***************************************************State :B_B1 Automaton***************************************************
1252

    
1253
node B_B1_node(idB_B1_1:int;
1254
	idB1_B1a_1:int;
1255
	G:bool;
1256
	idSuper6_B_1:int;
1257
	idSuper6_Super6_1:int;
1258
	idA_A1_1:int;
1259
	idSuper6_A_1:int;
1260
	idA1_A1a_1:int;
1261
	y_1:int;
1262
	H:bool)
1263

    
1264
returns (idB_B1:int;
1265
	idB1_B1a:int;
1266
	idSuper6_B:int;
1267
	idSuper6_Super6:int;
1268
	idA_A1:int;
1269
	idSuper6_A:int;
1270
	idA1_A1a:int;
1271
	y:int);
1272

    
1273

    
1274
let
1275

    
1276
	 automaton b_b1
1277

    
1278
	state POINTB_B1:
1279
	unless (idB_B1_1=0) restart POINT__TO__B1_B1A_1
1280

    
1281

    
1282

    
1283
	unless (idB_B1_1=96) and G restart B1_B1A__TO__A1_A1A_1
1284

    
1285

    
1286

    
1287
	unless (idB_B1_1=96) restart B1_B1A_IDL
1288

    
1289
	let
1290

    
1291
		(idB_B1, idB1_B1a, idSuper6_B, idSuper6_Super6, idA_A1, idSuper6_A, idA1_A1a, y) 
1292
	= (idB_B1_1, idB1_B1a_1, idSuper6_B_1, idSuper6_Super6_1, idA_A1_1, idSuper6_A_1, idA1_A1a_1, y_1);
1293
	
1294

    
1295
	tel
1296

    
1297

    
1298

    
1299
	state POINT__TO__B1_B1A_1:
1300

    
1301
	 var 	idB_B1_2:int;
1302
	idB1_B1a_2:int;
1303
	let
1304

    
1305
		-- transition trace :
1306
	--POINT__To__B1_B1a_1
1307
		(idB1_B1a_2, idB_B1_2) 
1308
	= B1_B1a_en(idB1_B1a_1, idB_B1_1, false);
1309
		
1310

    
1311
	(idB_B1, idB1_B1a) 
1312
	=  (idB_B1_2, idB1_B1a_2);
1313

    
1314
	--add unused variables
1315
	(idA1_A1a, idA_A1, idSuper6_A, idSuper6_B, idSuper6_Super6, y) 
1316
	= (idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_B_1, idSuper6_Super6_1, y_1);
1317
	
1318

    
1319
	tel
1320

    
1321
	until true restart POINTB_B1
1322

    
1323

    
1324

    
1325
	state B1_B1A__TO__A1_A1A_1:
1326

    
1327
	 var 	idB_B1_2:int;
1328
	idB1_B1a_2:int;
1329
	idSuper6_B_2:int;
1330
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1331
	idA_A1_2, idA_A1_3:int;
1332
	idSuper6_A_2, idSuper6_A_3:int;
1333
	idA1_A1a_2:int;
1334
	let
1335

    
1336
		-- transition trace :
1337
	--B1_B1a__To__A1_A1a_1
1338
		(idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_2) 
1339
	= Super6_B_ex(idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, false);
1340
		
1341

    
1342
		idA_A1_2 
1343
	= 92;
1344
	
1345
		idSuper6_A_2 
1346
	= 91;
1347
	
1348
		(idSuper6_A_3, idSuper6_Super6_3, idA1_A1a_2, idA_A1_3) 
1349
	= Super6_A_en(idSuper6_A_2, idSuper6_Super6_2, idA1_A1a_1, idA_A1_2, false);
1350
		
1351

    
1352
	(idB_B1, idB1_B1a, idSuper6_B, idSuper6_Super6, idA_A1, idSuper6_A, idA1_A1a) 
1353
	=  (idB_B1_2, idB1_B1a_2, idSuper6_B_2, idSuper6_Super6_3, idA_A1_3, idSuper6_A_3, idA1_A1a_2);
1354

    
1355
	--add unused variables
1356
	(y) 
1357
	= (y_1);
1358
	
1359

    
1360
	tel
1361

    
1362
	until true restart POINTB_B1
1363

    
1364

    
1365

    
1366
	state B1_B1A_IDL:
1367

    
1368
	 var 	idB_B1_2:int;
1369
	idB1_B1a_2:int;
1370
	idSuper6_B_2:int;
1371
	idSuper6_Super6_2:int;
1372
	idA_A1_2:int;
1373
	idSuper6_A_2:int;
1374
	idA1_A1a_2:int;
1375
	y_2, y_3:int;
1376
	let
1377

    
1378
		
1379
	(y_2) 
1380
	= B1_B1a_du(y_1);
1381

    
1382
		
1383

    
1384
	(idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, y_3) 
1385
	= B1_B1a_node(idB1_B1a_1, H, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, y_2);
1386

    
1387
		
1388

    
1389

    
1390
	(idB_B1, idB1_B1a, idSuper6_B, idSuper6_Super6, idA_A1, idSuper6_A, idA1_A1a, y) 
1391
	= (idB_B1_2, idB1_B1a_2, idSuper6_B_2, idSuper6_Super6_2, idA_A1_2, idSuper6_A_2, idA1_A1a_2, y_3);
1392
	
1393

    
1394
	tel
1395

    
1396
	until true restart POINTB_B1
1397

    
1398

    
1399

    
1400
tel
1401

    
1402

    
1403
--***************************************************State :Super6_B Automaton***************************************************
1404

    
1405
node Super6_B_node(idSuper6_B_1:int;
1406
	idB1_B1a_1:int;
1407
	idB_B1_1:int;
1408
	F:bool;
1409
	idSuper6_Super6_1:int;
1410
	idSuper6_A_1:int;
1411
	idA1_A1a_1:int;
1412
	idA_A1_1:int;
1413
	y_1:int;
1414
	G:bool;
1415
	H:bool)
1416

    
1417
returns (idSuper6_B:int;
1418
	idB1_B1a:int;
1419
	idB_B1:int;
1420
	idSuper6_Super6:int;
1421
	idSuper6_A:int;
1422
	idA1_A1a:int;
1423
	idA_A1:int;
1424
	y:int);
1425

    
1426

    
1427
let
1428

    
1429
	 automaton super6_b
1430

    
1431
	state POINTSuper6_B:
1432
	unless (idSuper6_B_1=0) restart POINT__TO__B_B1_1
1433

    
1434

    
1435

    
1436
	unless (idSuper6_B_1=95) and F restart B_B1__TO__A_A1_1
1437

    
1438

    
1439

    
1440
	unless (idSuper6_B_1=95) restart B_B1_IDL
1441

    
1442
	let
1443

    
1444
		(idSuper6_B, idB1_B1a, idB_B1, idSuper6_Super6, idSuper6_A, idA1_A1a, idA_A1, y) 
1445
	= (idSuper6_B_1, idB1_B1a_1, idB_B1_1, idSuper6_Super6_1, idSuper6_A_1, idA1_A1a_1, idA_A1_1, y_1);
1446
	
1447

    
1448
	tel
1449

    
1450

    
1451

    
1452
	state POINT__TO__B_B1_1:
1453

    
1454
	 var 	idSuper6_B_2:int;
1455
	idB1_B1a_2:int;
1456
	idB_B1_2:int;
1457
	let
1458

    
1459
		-- transition trace :
1460
	--POINT__To__B_B1_1
1461
		(idB_B1_2, idSuper6_B_2, idB1_B1a_2) 
1462
	= B_B1_en(idB_B1_1, idSuper6_B_1, idB1_B1a_1, false);
1463
		
1464

    
1465
	(idSuper6_B, idB1_B1a, idB_B1) 
1466
	=  (idSuper6_B_2, idB1_B1a_2, idB_B1_2);
1467

    
1468
	--add unused variables
1469
	(idA1_A1a, idA_A1, idSuper6_A, idSuper6_Super6, y) 
1470
	= (idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, y_1);
1471
	
1472

    
1473
	tel
1474

    
1475
	until true restart POINTSuper6_B
1476

    
1477

    
1478

    
1479
	state B_B1__TO__A_A1_1:
1480

    
1481
	 var 	idSuper6_B_2:int;
1482
	idB1_B1a_2:int;
1483
	idB_B1_2:int;
1484
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1485
	idSuper6_A_2, idSuper6_A_3:int;
1486
	idA1_A1a_2:int;
1487
	idA_A1_2:int;
1488
	let
1489

    
1490
		-- transition trace :
1491
	--B_B1__To__A_A1_1
1492
		(idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_2) 
1493
	= Super6_B_ex(idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, false);
1494
		
1495

    
1496
		idSuper6_A_2 
1497
	= 91;
1498
	
1499
		(idSuper6_A_3, idSuper6_Super6_3, idA1_A1a_2, idA_A1_2) 
1500
	= Super6_A_en(idSuper6_A_2, idSuper6_Super6_2, idA1_A1a_1, idA_A1_1, false);
1501
		
1502

    
1503
	(idSuper6_B, idB1_B1a, idB_B1, idSuper6_Super6, idSuper6_A, idA1_A1a, idA_A1) 
1504
	=  (idSuper6_B_2, idB1_B1a_2, idB_B1_2, idSuper6_Super6_3, idSuper6_A_3, idA1_A1a_2, idA_A1_2);
1505

    
1506
	--add unused variables
1507
	(y) 
1508
	= (y_1);
1509
	
1510

    
1511
	tel
1512

    
1513
	until true restart POINTSuper6_B
1514

    
1515

    
1516

    
1517
	state B_B1_IDL:
1518

    
1519
	 var 	idSuper6_B_2:int;
1520
	idB1_B1a_2:int;
1521
	idB_B1_2:int;
1522
	idSuper6_Super6_2:int;
1523
	idSuper6_A_2:int;
1524
	idA1_A1a_2:int;
1525
	idA_A1_2:int;
1526
	y_2, y_3:int;
1527
	let
1528

    
1529
		
1530
	(y_2) 
1531
	= B_B1_du(y_1);
1532

    
1533
		
1534

    
1535
	(idB_B1_2, idB1_B1a_2, idSuper6_B_2, idSuper6_Super6_2, idA_A1_2, idSuper6_A_2, idA1_A1a_2, y_3) 
1536
	= B_B1_node(idB_B1_1, idB1_B1a_1, G, idSuper6_B_1, idSuper6_Super6_1, idA_A1_1, idSuper6_A_1, idA1_A1a_1, y_2, H);
1537

    
1538
		
1539

    
1540

    
1541
	(idSuper6_B, idB1_B1a, idB_B1, idSuper6_Super6, idSuper6_A, idA1_A1a, idA_A1, y) 
1542
	= (idSuper6_B_2, idB1_B1a_2, idB_B1_2, idSuper6_Super6_2, idSuper6_A_2, idA1_A1a_2, idA_A1_2, y_3);
1543
	
1544

    
1545
	tel
1546

    
1547
	until true restart POINTSuper6_B
1548

    
1549

    
1550

    
1551
tel
1552

    
1553

    
1554
--***************************************************State :A1_A1a Automaton***************************************************
1555

    
1556
node A1_A1a_node(idA1_A1a_1:int;
1557
	H:bool;
1558
	idA_A1_1:int;
1559
	idSuper6_A_1:int;
1560
	idSuper6_Super6_1:int;
1561
	idB1_B1a_1:int;
1562
	idB_B1_1:int;
1563
	idSuper6_B_1:int;
1564
	y_1:int)
1565

    
1566
returns (idA1_A1a:int;
1567
	idA_A1:int;
1568
	idSuper6_A:int;
1569
	idSuper6_Super6:int;
1570
	idB1_B1a:int;
1571
	idB_B1:int;
1572
	idSuper6_B:int;
1573
	y:int);
1574

    
1575

    
1576
let
1577

    
1578
	 automaton a1_a1a
1579

    
1580
	state POINTA1_A1a:
1581
	unless (idA1_A1a_1=0) restart POINT__TO__A1A_A1AI_1
1582

    
1583

    
1584

    
1585
	unless (idA1_A1a_1=93) and H restart A1A_A1AI__TO__B1A_B1AI_1
1586

    
1587

    
1588

    
1589
	unless (idA1_A1a_1=93) restart A1A_A1AI_IDL
1590

    
1591
	let
1592

    
1593
		(idA1_A1a, idA_A1, idSuper6_A, idSuper6_Super6, idB1_B1a, idB_B1, idSuper6_B, y) 
1594
	= (idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_1);
1595
	
1596

    
1597
	tel
1598

    
1599

    
1600

    
1601
	state POINT__TO__A1A_A1AI_1:
1602

    
1603
	 var 	idA1_A1a_2:int;
1604
	let
1605

    
1606
		-- transition trace :
1607
	--POINT__To__A1a_A1ai_1
1608
		(idA1_A1a_2) 
1609
	= A1a_A1ai_en(idA1_A1a_1, false);
1610
		
1611

    
1612
	(idA1_A1a) 
1613
	=  (idA1_A1a_2);
1614

    
1615
	--add unused variables
1616
	(idA_A1, idB1_B1a, idB_B1, idSuper6_A, idSuper6_B, idSuper6_Super6, y) 
1617
	= (idA_A1_1, idB1_B1a_1, idB_B1_1, idSuper6_A_1, idSuper6_B_1, idSuper6_Super6_1, y_1);
1618
	
1619

    
1620
	tel
1621

    
1622
	until true restart POINTA1_A1a
1623

    
1624

    
1625

    
1626
	state A1A_A1AI__TO__B1A_B1AI_1:
1627

    
1628
	 var 	idA1_A1a_2:int;
1629
	idA_A1_2:int;
1630
	idSuper6_A_2:int;
1631
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1632
	idB1_B1a_2, idB1_B1a_3:int;
1633
	idB_B1_2, idB_B1_3:int;
1634
	idSuper6_B_2, idSuper6_B_3:int;
1635
	let
1636

    
1637
		-- transition trace :
1638
	--A1a_A1ai__To__B1a_B1ai_1
1639
		(idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_2) 
1640
	= Super6_A_ex(idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, false);
1641
		
1642

    
1643
		idB1_B1a_2 
1644
	= 97;
1645
	
1646
		idB_B1_2 
1647
	= 96;
1648
	
1649
		idSuper6_B_2 
1650
	= 95;
1651
	
1652
		(idSuper6_B_3, idSuper6_Super6_3, idB1_B1a_3, idB_B1_3) 
1653
	= Super6_B_en(idSuper6_B_2, idSuper6_Super6_2, idB1_B1a_2, idB_B1_2, false);
1654
		
1655

    
1656
	(idA1_A1a, idA_A1, idSuper6_A, idSuper6_Super6, idB1_B1a, idB_B1, idSuper6_B) 
1657
	=  (idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_3, idB1_B1a_3, idB_B1_3, idSuper6_B_3);
1658

    
1659
	--add unused variables
1660
	(y) 
1661
	= (y_1);
1662
	
1663

    
1664
	tel
1665

    
1666
	until true restart POINTA1_A1a
1667

    
1668

    
1669

    
1670
	state A1A_A1AI_IDL:
1671

    
1672
	 var 	y_2:int;
1673
	let
1674

    
1675
		
1676
	(y_2) 
1677
	= A1a_A1ai_du(y_1);
1678

    
1679
		
1680

    
1681

    
1682
	(idA1_A1a, idA_A1, idSuper6_A, idSuper6_Super6, idB1_B1a, idB_B1, idSuper6_B, y) 
1683
	= (idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_2);
1684
	
1685

    
1686
	tel
1687

    
1688
	until true restart POINTA1_A1a
1689

    
1690

    
1691

    
1692
tel
1693

    
1694

    
1695
--***************************************************State :A_A1 Automaton***************************************************
1696

    
1697
node A_A1_node(idA_A1_1:int;
1698
	idA1_A1a_1:int;
1699
	G:bool;
1700
	idSuper6_A_1:int;
1701
	idSuper6_Super6_1:int;
1702
	idB_B1_1:int;
1703
	idSuper6_B_1:int;
1704
	idB1_B1a_1:int;
1705
	y_1:int;
1706
	H:bool)
1707

    
1708
returns (idA_A1:int;
1709
	idA1_A1a:int;
1710
	idSuper6_A:int;
1711
	idSuper6_Super6:int;
1712
	idB_B1:int;
1713
	idSuper6_B:int;
1714
	idB1_B1a:int;
1715
	y:int);
1716

    
1717

    
1718
let
1719

    
1720
	 automaton a_a1
1721

    
1722
	state POINTA_A1:
1723
	unless (idA_A1_1=0) restart POINT__TO__A1_A1A_1
1724

    
1725

    
1726

    
1727
	unless (idA_A1_1=92) and G restart A1_A1A__TO__B1_B1A_1
1728

    
1729

    
1730

    
1731
	unless (idA_A1_1=92) restart A1_A1A_IDL
1732

    
1733
	let
1734

    
1735
		(idA_A1, idA1_A1a, idSuper6_A, idSuper6_Super6, idB_B1, idSuper6_B, idB1_B1a, y) 
1736
	= (idA_A1_1, idA1_A1a_1, idSuper6_A_1, idSuper6_Super6_1, idB_B1_1, idSuper6_B_1, idB1_B1a_1, y_1);
1737
	
1738

    
1739
	tel
1740

    
1741

    
1742

    
1743
	state POINT__TO__A1_A1A_1:
1744

    
1745
	 var 	idA_A1_2:int;
1746
	idA1_A1a_2:int;
1747
	let
1748

    
1749
		-- transition trace :
1750
	--POINT__To__A1_A1a_1
1751
		(idA1_A1a_2, idA_A1_2) 
1752
	= A1_A1a_en(idA1_A1a_1, idA_A1_1, false);
1753
		
1754

    
1755
	(idA_A1, idA1_A1a) 
1756
	=  (idA_A1_2, idA1_A1a_2);
1757

    
1758
	--add unused variables
1759
	(idB1_B1a, idB_B1, idSuper6_A, idSuper6_B, idSuper6_Super6, y) 
1760
	= (idB1_B1a_1, idB_B1_1, idSuper6_A_1, idSuper6_B_1, idSuper6_Super6_1, y_1);
1761
	
1762

    
1763
	tel
1764

    
1765
	until true restart POINTA_A1
1766

    
1767

    
1768

    
1769
	state A1_A1A__TO__B1_B1A_1:
1770

    
1771
	 var 	idA_A1_2:int;
1772
	idA1_A1a_2:int;
1773
	idSuper6_A_2:int;
1774
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1775
	idB_B1_2, idB_B1_3:int;
1776
	idSuper6_B_2, idSuper6_B_3:int;
1777
	idB1_B1a_2:int;
1778
	let
1779

    
1780
		-- transition trace :
1781
	--A1_A1a__To__B1_B1a_1
1782
		(idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_2) 
1783
	= Super6_A_ex(idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, false);
1784
		
1785

    
1786
		idB_B1_2 
1787
	= 96;
1788
	
1789
		idSuper6_B_2 
1790
	= 95;
1791
	
1792
		(idSuper6_B_3, idSuper6_Super6_3, idB1_B1a_2, idB_B1_3) 
1793
	= Super6_B_en(idSuper6_B_2, idSuper6_Super6_2, idB1_B1a_1, idB_B1_2, false);
1794
		
1795

    
1796
	(idA_A1, idA1_A1a, idSuper6_A, idSuper6_Super6, idB_B1, idSuper6_B, idB1_B1a) 
1797
	=  (idA_A1_2, idA1_A1a_2, idSuper6_A_2, idSuper6_Super6_3, idB_B1_3, idSuper6_B_3, idB1_B1a_2);
1798

    
1799
	--add unused variables
1800
	(y) 
1801
	= (y_1);
1802
	
1803

    
1804
	tel
1805

    
1806
	until true restart POINTA_A1
1807

    
1808

    
1809

    
1810
	state A1_A1A_IDL:
1811

    
1812
	 var 	idA_A1_2:int;
1813
	idA1_A1a_2:int;
1814
	idSuper6_A_2:int;
1815
	idSuper6_Super6_2:int;
1816
	idB_B1_2:int;
1817
	idSuper6_B_2:int;
1818
	idB1_B1a_2:int;
1819
	y_2, y_3:int;
1820
	let
1821

    
1822
		
1823
	(y_2) 
1824
	= A1_A1a_du(y_1);
1825

    
1826
		
1827

    
1828
	(idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_3) 
1829
	= A1_A1a_node(idA1_A1a_1, H, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_2);
1830

    
1831
		
1832

    
1833

    
1834
	(idA_A1, idA1_A1a, idSuper6_A, idSuper6_Super6, idB_B1, idSuper6_B, idB1_B1a, y) 
1835
	= (idA_A1_2, idA1_A1a_2, idSuper6_A_2, idSuper6_Super6_2, idB_B1_2, idSuper6_B_2, idB1_B1a_2, y_3);
1836
	
1837

    
1838
	tel
1839

    
1840
	until true restart POINTA_A1
1841

    
1842

    
1843

    
1844
tel
1845

    
1846

    
1847
--***************************************************State :Super6_A Automaton***************************************************
1848

    
1849
node Super6_A_node(idSuper6_A_1:int;
1850
	idA1_A1a_1:int;
1851
	idA_A1_1:int;
1852
	F:bool;
1853
	idSuper6_Super6_1:int;
1854
	idSuper6_B_1:int;
1855
	idB1_B1a_1:int;
1856
	idB_B1_1:int;
1857
	y_1:int;
1858
	G:bool;
1859
	H:bool)
1860

    
1861
returns (idSuper6_A:int;
1862
	idA1_A1a:int;
1863
	idA_A1:int;
1864
	idSuper6_Super6:int;
1865
	idSuper6_B:int;
1866
	idB1_B1a:int;
1867
	idB_B1:int;
1868
	y:int);
1869

    
1870

    
1871
let
1872

    
1873
	 automaton super6_a
1874

    
1875
	state POINTSuper6_A:
1876
	unless (idSuper6_A_1=0) restart POINT__TO__A_A1_1
1877

    
1878

    
1879

    
1880
	unless (idSuper6_A_1=91) and F restart A_A1__TO__B_B1_1
1881

    
1882

    
1883

    
1884
	unless (idSuper6_A_1=91) restart A_A1_IDL
1885

    
1886
	let
1887

    
1888
		(idSuper6_A, idA1_A1a, idA_A1, idSuper6_Super6, idSuper6_B, idB1_B1a, idB_B1, y) 
1889
	= (idSuper6_A_1, idA1_A1a_1, idA_A1_1, idSuper6_Super6_1, idSuper6_B_1, idB1_B1a_1, idB_B1_1, y_1);
1890
	
1891

    
1892
	tel
1893

    
1894

    
1895

    
1896
	state POINT__TO__A_A1_1:
1897

    
1898
	 var 	idSuper6_A_2:int;
1899
	idA1_A1a_2:int;
1900
	idA_A1_2:int;
1901
	let
1902

    
1903
		-- transition trace :
1904
	--POINT__To__A_A1_1
1905
		(idA_A1_2, idSuper6_A_2, idA1_A1a_2) 
1906
	= A_A1_en(idA_A1_1, idSuper6_A_1, idA1_A1a_1, false);
1907
		
1908

    
1909
	(idSuper6_A, idA1_A1a, idA_A1) 
1910
	=  (idSuper6_A_2, idA1_A1a_2, idA_A1_2);
1911

    
1912
	--add unused variables
1913
	(idB1_B1a, idB_B1, idSuper6_B, idSuper6_Super6, y) 
1914
	= (idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, y_1);
1915
	
1916

    
1917
	tel
1918

    
1919
	until true restart POINTSuper6_A
1920

    
1921

    
1922

    
1923
	state A_A1__TO__B_B1_1:
1924

    
1925
	 var 	idSuper6_A_2:int;
1926
	idA1_A1a_2:int;
1927
	idA_A1_2:int;
1928
	idSuper6_Super6_2, idSuper6_Super6_3:int;
1929
	idSuper6_B_2, idSuper6_B_3:int;
1930
	idB1_B1a_2:int;
1931
	idB_B1_2:int;
1932
	let
1933

    
1934
		-- transition trace :
1935
	--A_A1__To__B_B1_1
1936
		(idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_2) 
1937
	= Super6_A_ex(idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, false);
1938
		
1939

    
1940
		idSuper6_B_2 
1941
	= 95;
1942
	
1943
		(idSuper6_B_3, idSuper6_Super6_3, idB1_B1a_2, idB_B1_2) 
1944
	= Super6_B_en(idSuper6_B_2, idSuper6_Super6_2, idB1_B1a_1, idB_B1_1, false);
1945
		
1946

    
1947
	(idSuper6_A, idA1_A1a, idA_A1, idSuper6_Super6, idSuper6_B, idB1_B1a, idB_B1) 
1948
	=  (idSuper6_A_2, idA1_A1a_2, idA_A1_2, idSuper6_Super6_3, idSuper6_B_3, idB1_B1a_2, idB_B1_2);
1949

    
1950
	--add unused variables
1951
	(y) 
1952
	= (y_1);
1953
	
1954

    
1955
	tel
1956

    
1957
	until true restart POINTSuper6_A
1958

    
1959

    
1960

    
1961
	state A_A1_IDL:
1962

    
1963
	 var 	idSuper6_A_2:int;
1964
	idA1_A1a_2:int;
1965
	idA_A1_2:int;
1966
	idSuper6_Super6_2:int;
1967
	idSuper6_B_2:int;
1968
	idB1_B1a_2:int;
1969
	idB_B1_2:int;
1970
	y_2, y_3:int;
1971
	let
1972

    
1973
		
1974
	(y_2) 
1975
	= A_A1_du(y_1);
1976

    
1977
		
1978

    
1979
	(idA_A1_2, idA1_A1a_2, idSuper6_A_2, idSuper6_Super6_2, idB_B1_2, idSuper6_B_2, idB1_B1a_2, y_3) 
1980
	= A_A1_node(idA_A1_1, idA1_A1a_1, G, idSuper6_A_1, idSuper6_Super6_1, idB_B1_1, idSuper6_B_1, idB1_B1a_1, y_2, H);
1981

    
1982
		
1983

    
1984

    
1985
	(idSuper6_A, idA1_A1a, idA_A1, idSuper6_Super6, idSuper6_B, idB1_B1a, idB_B1, y) 
1986
	= (idSuper6_A_2, idA1_A1a_2, idA_A1_2, idSuper6_Super6_2, idSuper6_B_2, idB1_B1a_2, idB_B1_2, y_3);
1987
	
1988

    
1989
	tel
1990

    
1991
	until true restart POINTSuper6_A
1992

    
1993

    
1994

    
1995
tel
1996

    
1997

    
1998
--***************************************************State :Super6_Super6 Automaton***************************************************
1999

    
2000
node Super6_Super6_node(idSuper6_Super6_1:int;
2001
	idA1_A1a_1:int;
2002
	idA_A1_1:int;
2003
	idSuper6_A_1:int;
2004
	E:bool;
2005
	idB1_B1a_1:int;
2006
	idB_B1_1:int;
2007
	idSuper6_B_1:int;
2008
	y_1:int;
2009
	F:bool;
2010
	G:bool;
2011
	H:bool)
2012

    
2013
returns (idSuper6_Super6:int;
2014
	idA1_A1a:int;
2015
	idA_A1:int;
2016
	idSuper6_A:int;
2017
	idB1_B1a:int;
2018
	idB_B1:int;
2019
	idSuper6_B:int;
2020
	y:int);
2021

    
2022

    
2023
let
2024

    
2025
	 automaton super6_super6
2026

    
2027
	state POINTSuper6_Super6:
2028
	unless (idSuper6_Super6_1=0) restart POINT__TO__SUPER6_A_1
2029

    
2030

    
2031

    
2032
	unless (idSuper6_Super6_1=90) and E restart SUPER6_A__TO__SUPER6_B_1
2033

    
2034

    
2035

    
2036
	unless (idSuper6_Super6_1=94) and E restart SUPER6_B__TO__SUPER6_A_1
2037

    
2038

    
2039

    
2040
	unless (idSuper6_Super6_1=90) restart SUPER6_A_IDL
2041

    
2042
	unless (idSuper6_Super6_1=94) restart SUPER6_B_IDL
2043

    
2044
	let
2045

    
2046
		(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B, y) 
2047
	= (idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_1);
2048
	
2049

    
2050
	tel
2051

    
2052

    
2053

    
2054
	state POINT__TO__SUPER6_A_1:
2055

    
2056
	 var 	idSuper6_Super6_2:int;
2057
	idA1_A1a_2:int;
2058
	idA_A1_2:int;
2059
	idSuper6_A_2:int;
2060
	let
2061

    
2062
		-- transition trace :
2063
	--POINT__To__Super6_A_1
2064
		(idSuper6_A_2, idSuper6_Super6_2, idA1_A1a_2, idA_A1_2) 
2065
	= Super6_A_en(idSuper6_A_1, idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, false);
2066
		
2067

    
2068
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A) 
2069
	=  (idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2);
2070

    
2071
	--add unused variables
2072
	(idB1_B1a, idB_B1, idSuper6_B, y) 
2073
	= (idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_1);
2074
	
2075

    
2076
	tel
2077

    
2078
	until true restart POINTSuper6_Super6
2079

    
2080

    
2081

    
2082
	state SUPER6_A__TO__SUPER6_B_1:
2083

    
2084
	 var 	idSuper6_Super6_2, idSuper6_Super6_3:int;
2085
	idA1_A1a_2:int;
2086
	idA_A1_2:int;
2087
	idSuper6_A_2:int;
2088
	idB1_B1a_2:int;
2089
	idB_B1_2:int;
2090
	idSuper6_B_2:int;
2091
	let
2092

    
2093
		-- transition trace :
2094
	--Super6_A__To__Super6_B_1
2095
		(idA1_A1a_2, idA_A1_2, idSuper6_A_2, idSuper6_Super6_2) 
2096
	= Super6_A_ex(idA1_A1a_1, idA_A1_1, idSuper6_A_1, idSuper6_Super6_1, false);
2097
		
2098

    
2099
		(idSuper6_B_2, idSuper6_Super6_3, idB1_B1a_2, idB_B1_2) 
2100
	= Super6_B_en(idSuper6_B_1, idSuper6_Super6_2, idB1_B1a_1, idB_B1_1, false);
2101
		
2102

    
2103
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B) 
2104
	=  (idSuper6_Super6_3, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2);
2105

    
2106
	--add unused variables
2107
	(y) 
2108
	= (y_1);
2109
	
2110

    
2111
	tel
2112

    
2113
	until true restart POINTSuper6_Super6
2114

    
2115

    
2116

    
2117
	state SUPER6_B__TO__SUPER6_A_1:
2118

    
2119
	 var 	idSuper6_Super6_2, idSuper6_Super6_3:int;
2120
	idA1_A1a_2:int;
2121
	idA_A1_2:int;
2122
	idSuper6_A_2:int;
2123
	idB1_B1a_2:int;
2124
	idB_B1_2:int;
2125
	idSuper6_B_2:int;
2126
	let
2127

    
2128
		-- transition trace :
2129
	--Super6_B__To__Super6_A_1
2130
		(idB1_B1a_2, idB_B1_2, idSuper6_B_2, idSuper6_Super6_2) 
2131
	= Super6_B_ex(idB1_B1a_1, idB_B1_1, idSuper6_B_1, idSuper6_Super6_1, false);
2132
		
2133

    
2134
		(idSuper6_A_2, idSuper6_Super6_3, idA1_A1a_2, idA_A1_2) 
2135
	= Super6_A_en(idSuper6_A_1, idSuper6_Super6_2, idA1_A1a_1, idA_A1_1, false);
2136
		
2137

    
2138
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B) 
2139
	=  (idSuper6_Super6_3, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2);
2140

    
2141
	--add unused variables
2142
	(y) 
2143
	= (y_1);
2144
	
2145

    
2146
	tel
2147

    
2148
	until true restart POINTSuper6_Super6
2149

    
2150

    
2151

    
2152
	state SUPER6_A_IDL:
2153

    
2154
	 var 	idSuper6_Super6_2:int;
2155
	idA1_A1a_2:int;
2156
	idA_A1_2:int;
2157
	idSuper6_A_2:int;
2158
	idB1_B1a_2:int;
2159
	idB_B1_2:int;
2160
	idSuper6_B_2:int;
2161
	y_2, y_3:int;
2162
	let
2163

    
2164
		
2165
	(y_2) 
2166
	= Super6_A_du(y_1);
2167

    
2168
		
2169

    
2170
	(idSuper6_A_2, idA1_A1a_2, idA_A1_2, idSuper6_Super6_2, idSuper6_B_2, idB1_B1a_2, idB_B1_2, y_3) 
2171
	= Super6_A_node(idSuper6_A_1, idA1_A1a_1, idA_A1_1, F, idSuper6_Super6_1, idSuper6_B_1, idB1_B1a_1, idB_B1_1, y_2, G, H);
2172

    
2173
		
2174

    
2175

    
2176
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B, y) 
2177
	= (idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_3);
2178
	
2179

    
2180
	tel
2181

    
2182
	until true restart POINTSuper6_Super6
2183

    
2184

    
2185

    
2186
	state SUPER6_B_IDL:
2187

    
2188
	 var 	idSuper6_Super6_2:int;
2189
	idA1_A1a_2:int;
2190
	idA_A1_2:int;
2191
	idSuper6_A_2:int;
2192
	idB1_B1a_2:int;
2193
	idB_B1_2:int;
2194
	idSuper6_B_2:int;
2195
	y_2, y_3:int;
2196
	let
2197

    
2198
		
2199
	(y_2) 
2200
	= Super6_B_du(y_1);
2201

    
2202
		
2203

    
2204
	(idSuper6_B_2, idB1_B1a_2, idB_B1_2, idSuper6_Super6_2, idSuper6_A_2, idA1_A1a_2, idA_A1_2, y_3) 
2205
	= Super6_B_node(idSuper6_B_1, idB1_B1a_1, idB_B1_1, F, idSuper6_Super6_1, idSuper6_A_1, idA1_A1a_1, idA_A1_1, y_2, G, H);
2206

    
2207
		
2208

    
2209

    
2210
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B, y) 
2211
	= (idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_3);
2212
	
2213

    
2214
	tel
2215

    
2216
	until true restart POINTSuper6_Super6
2217

    
2218

    
2219

    
2220
tel
2221

    
2222

    
2223
--***************************************************State :Super6_Super6 Automaton***************************************************
2224

    
2225
node Super6_Super6(E:bool;
2226
	F:bool;
2227
	G:bool;
2228
	H:bool)
2229

    
2230
returns (y:int);
2231

    
2232

    
2233
var y_1: int;
2234

    
2235
	idSuper6_Super6, idSuper6_Super6_1: int;
2236

    
2237
	idB1_B1a, idB1_B1a_1: int;
2238

    
2239
	idB_B1, idB_B1_1: int;
2240

    
2241
	idSuper6_B, idSuper6_B_1: int;
2242

    
2243
	idA1_A1a, idA1_A1a_1: int;
2244

    
2245
	idA_A1, idA_A1_1: int;
2246

    
2247
	idSuper6_A, idSuper6_A_1: int;
2248

    
2249
		idSuper6_Super6_2, idSuper6_Super6_3, idSuper6_Super6_4:int;
2250
	idA1_A1a_2, idA1_A1a_3, idA1_A1a_4:int;
2251
	idA_A1_2, idA_A1_3, idA_A1_4:int;
2252
	idSuper6_A_2, idSuper6_A_3, idSuper6_A_4:int;
2253
	idB1_B1a_2, idB1_B1a_3, idB1_B1a_4:int;
2254
	idB_B1_2, idB_B1_3, idB_B1_4:int;
2255
	idSuper6_B_2, idSuper6_B_3, idSuper6_B_4:int;
2256
	y_2, y_3, y_4:int;
2257
let
2258

    
2259
	y_1 = 0 -> pre y;
2260

    
2261
	idSuper6_Super6_1 = 0 -> pre idSuper6_Super6;
2262

    
2263
	idB1_B1a_1 = 0 -> pre idB1_B1a;
2264

    
2265
	idB_B1_1 = 0 -> pre idB_B1;
2266

    
2267
	idSuper6_B_1 = 0 -> pre idSuper6_B;
2268

    
2269
	idA1_A1a_1 = 0 -> pre idA1_A1a;
2270

    
2271
	idA_A1_1 = 0 -> pre idA_A1;
2272

    
2273
	idSuper6_A_1 = 0 -> pre idSuper6_A;
2274

    
2275
	
2276

    
2277

    
2278

    
2279
	(idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_2)
2280
	 = 
2281

    
2282
	 if E then Super6_Super6_node(idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, E, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_1, false, false, false)
2283

    
2284
	 else (idSuper6_Super6_1, idA1_A1a_1, idA_A1_1, idSuper6_A_1, idB1_B1a_1, idB_B1_1, idSuper6_B_1, y_1);
2285

    
2286
	
2287

    
2288

    
2289

    
2290
	(idSuper6_Super6_3, idA1_A1a_3, idA_A1_3, idSuper6_A_3, idB1_B1a_3, idB_B1_3, idSuper6_B_3, y_3)
2291
	 = 
2292

    
2293
	 if F then Super6_Super6_node(idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, false, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_2, F, false, false)
2294

    
2295
	 else (idSuper6_Super6_2, idA1_A1a_2, idA_A1_2, idSuper6_A_2, idB1_B1a_2, idB_B1_2, idSuper6_B_2, y_2);
2296

    
2297
	
2298

    
2299

    
2300

    
2301
	(idSuper6_Super6_4, idA1_A1a_4, idA_A1_4, idSuper6_A_4, idB1_B1a_4, idB_B1_4, idSuper6_B_4, y_4)
2302
	 = 
2303

    
2304
	 if G then Super6_Super6_node(idSuper6_Super6_3, idA1_A1a_3, idA_A1_3, idSuper6_A_3, false, idB1_B1a_3, idB_B1_3, idSuper6_B_3, y_3, false, G, false)
2305

    
2306
	 else (idSuper6_Super6_3, idA1_A1a_3, idA_A1_3, idSuper6_A_3, idB1_B1a_3, idB_B1_3, idSuper6_B_3, y_3);
2307

    
2308
	
2309

    
2310

    
2311

    
2312
	(idSuper6_Super6, idA1_A1a, idA_A1, idSuper6_A, idB1_B1a, idB_B1, idSuper6_B, y)
2313
	 = 
2314

    
2315
	 if H then Super6_Super6_node(idSuper6_Super6_4, idA1_A1a_4, idA_A1_4, idSuper6_A_4, false, idB1_B1a_4, idB_B1_4, idSuper6_B_4, y_4, false, false, H)
2316

    
2317
	 else (idSuper6_Super6_4, idA1_A1a_4, idA_A1_4, idSuper6_A_4, idB1_B1a_4, idB_B1_4, idSuper6_B_4, y_4);
2318

    
2319
	
2320

    
2321

    
2322
--unused outputs
2323
	
2324

    
2325
tel
2326

    
2327

    
2328

    
2329
node Super6 (E_1_1 : real; F_1_1 : real; G_1_1 : real; H_1_1 : real)
2330
returns (y_1_1 : int); 
2331
var
2332
	Mux_1_1 : real; Mux_1_2 : real; Mux_1_3 : real; Mux_1_4 : real;
2333
	Super6_1_1 : int;
2334
	i_virtual_local : real;
2335
	Super6Mux_1_1_event: bool;
2336
	Super6Mux_1_2_event: bool;
2337
	Super6Mux_1_3_event: bool;
2338
	Super6Mux_1_4_event: bool;
2339
let 
2340
	Mux_1_1 = E_1_1 ;
2341
	Mux_1_2 = F_1_1 ;
2342
	Mux_1_3 = G_1_1 ;
2343
	Mux_1_4 = H_1_1 ;
2344
	Super6Mux_1_1_event = false -> ((pre(Mux_1_1) > 0.0 and Mux_1_1 <= 0.0) or (pre(Mux_1_1) <= 0.0 and Mux_1_1 > 0.0));
2345
	Super6Mux_1_2_event = false -> ((pre(Mux_1_2) > 0.0 and Mux_1_2 <= 0.0) or (pre(Mux_1_2) <= 0.0 and Mux_1_2 > 0.0));
2346
	Super6Mux_1_3_event = false -> ((pre(Mux_1_3) > 0.0 and Mux_1_3 <= 0.0) or (pre(Mux_1_3) <= 0.0 and Mux_1_3 > 0.0));
2347
	Super6Mux_1_4_event = false -> ((pre(Mux_1_4) > 0.0 and Mux_1_4 <= 0.0) or (pre(Mux_1_4) <= 0.0 and Mux_1_4 > 0.0));
2348
	Super6_1_1 =  Super6_Super6(Super6Mux_1_1_event, Super6Mux_1_2_event, Super6Mux_1_3_event, Super6Mux_1_4_event);
2349
	y_1_1 = Super6_1_1;
2350
	i_virtual_local= 0.0 -> 1.0;
2351
tel
2352