Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super5 / Super5.lus @ eb639349

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

    
20

    
21

    
22

    
23

    
24

    
25

    
26

    
27

    
28

    
29

    
30
-- Entry action for state :B_B1
31
node B_B1_en(idSuper5_B_1:int;
32
	s_1:real;
33
	isInner:bool)
34

    
35
returns (idSuper5_B:int;
36
	s:real);
37

    
38

    
39
var 	idSuper5_B_2:int;
40
	s_2:real;
41

    
42

    
43
let
44

    
45

    
46

    
47
	-- set state as active 
48
	idSuper5_B_2 
49
	= 56;
50
	
51

    
52
	s_2 
53
	= if (not isInner) then 4.
54
	 else s_1;
55
	
56

    
57
	(idSuper5_B, s) 
58
	= (idSuper5_B_2, s_2);
59
	
60

    
61
tel
62

    
63

    
64

    
65

    
66

    
67
--During action for state :B_B1
68
node B_B1_du(d_1:real)
69

    
70
returns (d:real);
71

    
72

    
73
var 	d_2:real;
74

    
75

    
76
let
77

    
78

    
79

    
80
	d_2 
81
	=  d_1  + 1.;
82
	
83

    
84
	(d) 
85
	= (d_2);
86
	
87

    
88
tel
89

    
90

    
91

    
92

    
93

    
94
-- Exit action for state :B_B1
95
node B_B1_ex(idSuper5_B_1:int;
96
	isInner:bool)
97

    
98
returns (idSuper5_B:int);
99

    
100

    
101
var 	idSuper5_B_2:int;
102

    
103

    
104
let
105

    
106

    
107

    
108
	-- set state as inactive 
109
	idSuper5_B_2
110
	 = if (not isInner) then 0 else idSuper5_B_1;
111

    
112

    
113
	(idSuper5_B) 
114
	= (idSuper5_B_1);
115
	
116

    
117
tel
118

    
119

    
120

    
121

    
122

    
123

    
124
-- Entry action for state :Super5_B
125
node Super5_B_en(idSuper5_B_1:int;
126
	idSuper5_Super5_1:int;
127
	s_1:real;
128
	isInner:bool)
129

    
130
returns (idSuper5_B:int;
131
	idSuper5_Super5:int;
132
	s:real);
133

    
134

    
135
var 	idSuper5_B_2, idSuper5_B_3, idSuper5_B_4, idSuper5_B_5:int;
136
	idSuper5_Super5_2, idSuper5_Super5_3, idSuper5_Super5_4:int;
137
	s_2, s_3, s_4, s_5, s_6:real;
138

    
139

    
140
let
141

    
142

    
143

    
144
	-- set state as active 
145
	idSuper5_Super5_2 
146
	= 52;
147
	
148

    
149
	s_2 
150
	= if (not isInner) then 3.
151
	 else s_1;
152
	
153

    
154
	
155
-- transition trace :
156
	--POINT__To__B_B1_1
157
		(idSuper5_B_2, s_3) 
158
	= B_B1_en(idSuper5_B_1, s_2, false);
159
		
160

    
161
	(idSuper5_B_3, idSuper5_Super5_3, s_4) 
162
	= 
163

    
164
	if ( idSuper5_B_1 = 0) then
165

    
166
	 (idSuper5_B_2, idSuper5_Super5_2, s_3)
167

    
168
	 else(idSuper5_B_1, idSuper5_Super5_2, s_2);
169

    
170
	
171

    
172
	(idSuper5_B_4, s_5) 
173
	= 
174
	if ( idSuper5_B_1 = 56) then
175
	B_B1_en(idSuper5_B_1, s_2, false)
176
	 else (idSuper5_B_1, s_2);
177

    
178
	
179

    
180
	(idSuper5_B_5, idSuper5_Super5_4, s_6) 
181
	= 
182
		 if ( idSuper5_B_1 = 0) then 
183
		(idSuper5_B_3, idSuper5_Super5_3, s_4)
184
		 else
185
		 if ( idSuper5_B_1 = 56) then 
186
		(idSuper5_B_4, idSuper5_Super5_3, s_5)
187
		 else (idSuper5_B_1, idSuper5_Super5_2, s_2);
188

    
189

    
190
	(idSuper5_B, idSuper5_Super5, s) 
191
	= (idSuper5_B_5, idSuper5_Super5_4, s_6);
192
	
193

    
194
tel
195

    
196

    
197

    
198

    
199

    
200
--During action for state :Super5_B
201
node Super5_B_du(d_1:real)
202

    
203
returns (d:real);
204

    
205

    
206
var 	d_2:real;
207

    
208

    
209
let
210

    
211

    
212

    
213
	d_2 
214
	=  d_1  + 1.;
215
	
216

    
217
	(d) 
218
	= (d_2);
219
	
220

    
221
tel
222

    
223

    
224

    
225

    
226

    
227
-- Exit action for state :Super5_B
228
node Super5_B_ex(idSuper5_B_1:int;
229
	idSuper5_Super5_1:int;
230
	isInner:bool)
231

    
232
returns (idSuper5_B:int;
233
	idSuper5_Super5:int);
234

    
235

    
236
var 	idSuper5_B_2, idSuper5_B_3, idSuper5_B_4:int;
237
	idSuper5_Super5_2:int;
238

    
239

    
240
let
241

    
242

    
243

    
244
	
245
	(idSuper5_B_2) 
246
	= 
247
	if ( idSuper5_B_1 = 56) then
248
	B_B1_ex(idSuper5_B_1, false)
249
	 else (idSuper5_B_1);
250

    
251
	
252

    
253
	(idSuper5_B_3) 
254
	= 
255
		 if ( idSuper5_B_1 = 56) then 
256
		(idSuper5_B_2)
257
		 else (idSuper5_B_1);
258

    
259

    
260
	-- set state as inactive 
261
	idSuper5_Super5_2
262
	 = if (not isInner) then 0 else idSuper5_Super5_1;
263

    
264
	idSuper5_B_4 
265
	= 0;
266
	
267

    
268
	(idSuper5_B, idSuper5_Super5) 
269
	= (idSuper5_B_4, idSuper5_Super5_1);
270
	
271

    
272
tel
273

    
274

    
275

    
276

    
277

    
278

    
279
-- Entry action for state :C_C1
280
node C_C1_en(idSuper5_C_1:int;
281
	s_1:real;
282
	isInner:bool)
283

    
284
returns (idSuper5_C:int;
285
	s:real);
286

    
287

    
288
var 	idSuper5_C_2:int;
289
	s_2:real;
290

    
291

    
292
let
293

    
294

    
295

    
296
	-- set state as active 
297
	idSuper5_C_2 
298
	= 54;
299
	
300

    
301
	s_2 
302
	= if (not isInner) then 8.
303
	 else s_1;
304
	
305

    
306
	(idSuper5_C, s) 
307
	= (idSuper5_C_2, s_2);
308
	
309

    
310
tel
311

    
312

    
313

    
314

    
315

    
316
--During action for state :C_C1
317
node C_C1_du(d_1:real)
318

    
319
returns (d:real);
320

    
321

    
322
var 	d_2:real;
323

    
324

    
325
let
326

    
327

    
328

    
329
	d_2 
330
	=  d_1  + 1.;
331
	
332

    
333
	(d) 
334
	= (d_2);
335
	
336

    
337
tel
338

    
339

    
340

    
341

    
342

    
343
-- Exit action for state :C_C1
344
node C_C1_ex(idSuper5_C_1:int;
345
	isInner:bool)
346

    
347
returns (idSuper5_C:int);
348

    
349

    
350
var 	idSuper5_C_2:int;
351

    
352

    
353
let
354

    
355

    
356

    
357
	-- set state as inactive 
358
	idSuper5_C_2
359
	 = if (not isInner) then 0 else idSuper5_C_1;
360

    
361

    
362
	(idSuper5_C) 
363
	= (idSuper5_C_1);
364
	
365

    
366
tel
367

    
368

    
369

    
370

    
371

    
372

    
373
-- Entry action for state :Super5_C
374
node Super5_C_en(idSuper5_C_1:int;
375
	idSuper5_Super5_1:int;
376
	s_1:real;
377
	isInner:bool)
378

    
379
returns (idSuper5_C:int;
380
	idSuper5_Super5:int;
381
	s:real);
382

    
383

    
384
var 	idSuper5_C_2, idSuper5_C_3, idSuper5_C_4, idSuper5_C_5:int;
385
	idSuper5_Super5_2, idSuper5_Super5_3, idSuper5_Super5_4:int;
386
	s_2, s_3, s_4, s_5, s_6:real;
387

    
388

    
389
let
390

    
391

    
392

    
393
	-- set state as active 
394
	idSuper5_Super5_2 
395
	= 58;
396
	
397

    
398
	s_2 
399
	= if (not isInner) then 7.
400
	 else s_1;
401
	
402

    
403
	
404
-- transition trace :
405
	--POINT__To__C_C1_1
406
		(idSuper5_C_2, s_3) 
407
	= C_C1_en(idSuper5_C_1, s_2, false);
408
		
409

    
410
	(idSuper5_C_3, idSuper5_Super5_3, s_4) 
411
	= 
412

    
413
	if ( idSuper5_C_1 = 0) then
414

    
415
	 (idSuper5_C_2, idSuper5_Super5_2, s_3)
416

    
417
	 else(idSuper5_C_1, idSuper5_Super5_2, s_2);
418

    
419
	
420

    
421
	(idSuper5_C_4, s_5) 
422
	= 
423
	if ( idSuper5_C_1 = 54) then
424
	C_C1_en(idSuper5_C_1, s_2, false)
425
	 else (idSuper5_C_1, s_2);
426

    
427
	
428

    
429
	(idSuper5_C_5, idSuper5_Super5_4, s_6) 
430
	= 
431
		 if ( idSuper5_C_1 = 0) then 
432
		(idSuper5_C_3, idSuper5_Super5_3, s_4)
433
		 else
434
		 if ( idSuper5_C_1 = 54) then 
435
		(idSuper5_C_4, idSuper5_Super5_3, s_5)
436
		 else (idSuper5_C_1, idSuper5_Super5_2, s_2);
437

    
438

    
439
	(idSuper5_C, idSuper5_Super5, s) 
440
	= (idSuper5_C_5, idSuper5_Super5_4, s_6);
441
	
442

    
443
tel
444

    
445

    
446

    
447

    
448

    
449
--During action for state :Super5_C
450
node Super5_C_du(d_1:real)
451

    
452
returns (d:real);
453

    
454

    
455
var 	d_2:real;
456

    
457

    
458
let
459

    
460

    
461

    
462
	d_2 
463
	=  d_1  + 1.;
464
	
465

    
466
	(d) 
467
	= (d_2);
468
	
469

    
470
tel
471

    
472

    
473

    
474

    
475

    
476
-- Exit action for state :Super5_C
477
node Super5_C_ex(idSuper5_C_1:int;
478
	idSuper5_Super5_1:int;
479
	isInner:bool)
480

    
481
returns (idSuper5_C:int;
482
	idSuper5_Super5:int);
483

    
484

    
485
var 	idSuper5_C_2, idSuper5_C_3, idSuper5_C_4:int;
486
	idSuper5_Super5_2:int;
487

    
488

    
489
let
490

    
491

    
492

    
493
	
494
	(idSuper5_C_2) 
495
	= 
496
	if ( idSuper5_C_1 = 54) then
497
	C_C1_ex(idSuper5_C_1, false)
498
	 else (idSuper5_C_1);
499

    
500
	
501

    
502
	(idSuper5_C_3) 
503
	= 
504
		 if ( idSuper5_C_1 = 54) then 
505
		(idSuper5_C_2)
506
		 else (idSuper5_C_1);
507

    
508

    
509
	-- set state as inactive 
510
	idSuper5_Super5_2
511
	 = if (not isInner) then 0 else idSuper5_Super5_1;
512

    
513
	idSuper5_C_4 
514
	= 0;
515
	
516

    
517
	(idSuper5_C, idSuper5_Super5) 
518
	= (idSuper5_C_4, idSuper5_Super5_1);
519
	
520

    
521
tel
522

    
523

    
524

    
525

    
526

    
527

    
528
-- Entry action for state :A_A1
529
node A_A1_en(idSuper5_A_1:int;
530
	s_1:real;
531
	isInner:bool)
532

    
533
returns (idSuper5_A:int;
534
	s:real);
535

    
536

    
537
var 	idSuper5_A_2:int;
538
	s_2:real;
539

    
540

    
541
let
542

    
543

    
544

    
545
	-- set state as active 
546
	idSuper5_A_2 
547
	= 55;
548
	
549

    
550
	s_2 
551
	= if (not isInner) then 2.
552
	 else s_1;
553
	
554

    
555
	(idSuper5_A, s) 
556
	= (idSuper5_A_2, s_2);
557
	
558

    
559
tel
560

    
561

    
562

    
563

    
564

    
565
--During action for state :A_A1
566
node A_A1_du(d_1:real)
567

    
568
returns (d:real);
569

    
570

    
571
var 	d_2:real;
572

    
573

    
574
let
575

    
576

    
577

    
578
	d_2 
579
	=  d_1  + 1.;
580
	
581

    
582
	(d) 
583
	= (d_2);
584
	
585

    
586
tel
587

    
588

    
589

    
590

    
591

    
592
-- Exit action for state :A_A1
593
node A_A1_ex(idSuper5_A_1:int;
594
	isInner:bool)
595

    
596
returns (idSuper5_A:int);
597

    
598

    
599
var 	idSuper5_A_2:int;
600

    
601

    
602
let
603

    
604

    
605

    
606
	-- set state as inactive 
607
	idSuper5_A_2
608
	 = if (not isInner) then 0 else idSuper5_A_1;
609

    
610

    
611
	(idSuper5_A) 
612
	= (idSuper5_A_1);
613
	
614

    
615
tel
616

    
617

    
618

    
619

    
620

    
621

    
622
-- Entry action for state :Super5_A
623
node Super5_A_en(idSuper5_A_1:int;
624
	idSuper5_Super5_1:int;
625
	s_1:real;
626
	isInner:bool)
627

    
628
returns (idSuper5_A:int;
629
	idSuper5_Super5:int;
630
	s:real);
631

    
632

    
633
var 	idSuper5_A_2, idSuper5_A_3, idSuper5_A_4, idSuper5_A_5:int;
634
	idSuper5_Super5_2, idSuper5_Super5_3, idSuper5_Super5_4:int;
635
	s_2, s_3, s_4, s_5, s_6:real;
636

    
637

    
638
let
639

    
640

    
641

    
642
	-- set state as active 
643
	idSuper5_Super5_2 
644
	= 51;
645
	
646

    
647
	s_2 
648
	= if (not isInner) then 1.
649
	 else s_1;
650
	
651

    
652
	
653
-- transition trace :
654
	--POINT__To__A_A1_1
655
		(idSuper5_A_2, s_3) 
656
	= A_A1_en(idSuper5_A_1, s_2, false);
657
		
658

    
659
	(idSuper5_A_3, idSuper5_Super5_3, s_4) 
660
	= 
661

    
662
	if ( idSuper5_A_1 = 0) then
663

    
664
	 (idSuper5_A_2, idSuper5_Super5_2, s_3)
665

    
666
	 else(idSuper5_A_1, idSuper5_Super5_2, s_2);
667

    
668
	
669

    
670
	(idSuper5_A_4, s_5) 
671
	= 
672
	if ( idSuper5_A_1 = 55) then
673
	A_A1_en(idSuper5_A_1, s_2, false)
674
	 else (idSuper5_A_1, s_2);
675

    
676
	
677

    
678
	(idSuper5_A_5, idSuper5_Super5_4, s_6) 
679
	= 
680
		 if ( idSuper5_A_1 = 0) then 
681
		(idSuper5_A_3, idSuper5_Super5_3, s_4)
682
		 else
683
		 if ( idSuper5_A_1 = 55) then 
684
		(idSuper5_A_4, idSuper5_Super5_3, s_5)
685
		 else (idSuper5_A_1, idSuper5_Super5_2, s_2);
686

    
687

    
688
	(idSuper5_A, idSuper5_Super5, s) 
689
	= (idSuper5_A_5, idSuper5_Super5_4, s_6);
690
	
691

    
692
tel
693

    
694

    
695

    
696

    
697

    
698
--During action for state :Super5_A
699
node Super5_A_du(d_1:real)
700

    
701
returns (d:real);
702

    
703

    
704
var 	d_2:real;
705

    
706

    
707
let
708

    
709

    
710

    
711
	d_2 
712
	=  d_1  + 1.;
713
	
714

    
715
	(d) 
716
	= (d_2);
717
	
718

    
719
tel
720

    
721

    
722

    
723

    
724

    
725
-- Exit action for state :Super5_A
726
node Super5_A_ex(idSuper5_A_1:int;
727
	idSuper5_Super5_1:int;
728
	isInner:bool)
729

    
730
returns (idSuper5_A:int;
731
	idSuper5_Super5:int);
732

    
733

    
734
var 	idSuper5_A_2, idSuper5_A_3, idSuper5_A_4:int;
735
	idSuper5_Super5_2:int;
736

    
737

    
738
let
739

    
740

    
741

    
742
	
743
	(idSuper5_A_2) 
744
	= 
745
	if ( idSuper5_A_1 = 55) then
746
	A_A1_ex(idSuper5_A_1, false)
747
	 else (idSuper5_A_1);
748

    
749
	
750

    
751
	(idSuper5_A_3) 
752
	= 
753
		 if ( idSuper5_A_1 = 55) then 
754
		(idSuper5_A_2)
755
		 else (idSuper5_A_1);
756

    
757

    
758
	-- set state as inactive 
759
	idSuper5_Super5_2
760
	 = if (not isInner) then 0 else idSuper5_Super5_1;
761

    
762
	idSuper5_A_4 
763
	= 0;
764
	
765

    
766
	(idSuper5_A, idSuper5_Super5) 
767
	= (idSuper5_A_4, idSuper5_Super5_1);
768
	
769

    
770
tel
771

    
772

    
773

    
774

    
775

    
776

    
777
-- Entry action for state :D_D1
778
node D_D1_en(idSuper5_D_1:int;
779
	s_1:real;
780
	isInner:bool)
781

    
782
returns (idSuper5_D:int;
783
	s:real);
784

    
785

    
786
var 	idSuper5_D_2:int;
787
	s_2:real;
788

    
789

    
790
let
791

    
792

    
793

    
794
	-- set state as active 
795
	idSuper5_D_2 
796
	= 53;
797
	
798

    
799
	s_2 
800
	= if (not isInner) then 6.
801
	 else s_1;
802
	
803

    
804
	(idSuper5_D, s) 
805
	= (idSuper5_D_2, s_2);
806
	
807

    
808
tel
809

    
810

    
811

    
812

    
813

    
814
--During action for state :D_D1
815
node D_D1_du(d_1:real)
816

    
817
returns (d:real);
818

    
819

    
820
var 	d_2:real;
821

    
822

    
823
let
824

    
825

    
826

    
827
	d_2 
828
	=  d_1  + 1.;
829
	
830

    
831
	(d) 
832
	= (d_2);
833
	
834

    
835
tel
836

    
837

    
838

    
839

    
840

    
841
-- Exit action for state :D_D1
842
node D_D1_ex(idSuper5_D_1:int;
843
	isInner:bool)
844

    
845
returns (idSuper5_D:int);
846

    
847

    
848
var 	idSuper5_D_2:int;
849

    
850

    
851
let
852

    
853

    
854

    
855
	-- set state as inactive 
856
	idSuper5_D_2
857
	 = if (not isInner) then 0 else idSuper5_D_1;
858

    
859

    
860
	(idSuper5_D) 
861
	= (idSuper5_D_1);
862
	
863

    
864
tel
865

    
866

    
867

    
868

    
869

    
870

    
871
-- Entry action for state :Super5_D
872
node Super5_D_en(idSuper5_D_1:int;
873
	idSuper5_Super5_1:int;
874
	s_1:real;
875
	isInner:bool)
876

    
877
returns (idSuper5_D:int;
878
	idSuper5_Super5:int;
879
	s:real);
880

    
881

    
882
var 	idSuper5_D_2, idSuper5_D_3, idSuper5_D_4, idSuper5_D_5:int;
883
	idSuper5_Super5_2, idSuper5_Super5_3, idSuper5_Super5_4:int;
884
	s_2, s_3, s_4, s_5, s_6:real;
885

    
886

    
887
let
888

    
889

    
890

    
891
	-- set state as active 
892
	idSuper5_Super5_2 
893
	= 57;
894
	
895

    
896
	s_2 
897
	= if (not isInner) then 5.
898
	 else s_1;
899
	
900

    
901
	
902
-- transition trace :
903
	--POINT__To__D_D1_1
904
		(idSuper5_D_2, s_3) 
905
	= D_D1_en(idSuper5_D_1, s_2, false);
906
		
907

    
908
	(idSuper5_D_3, idSuper5_Super5_3, s_4) 
909
	= 
910

    
911
	if ( idSuper5_D_1 = 0) then
912

    
913
	 (idSuper5_D_2, idSuper5_Super5_2, s_3)
914

    
915
	 else(idSuper5_D_1, idSuper5_Super5_2, s_2);
916

    
917
	
918

    
919
	(idSuper5_D_4, s_5) 
920
	= 
921
	if ( idSuper5_D_1 = 53) then
922
	D_D1_en(idSuper5_D_1, s_2, false)
923
	 else (idSuper5_D_1, s_2);
924

    
925
	
926

    
927
	(idSuper5_D_5, idSuper5_Super5_4, s_6) 
928
	= 
929
		 if ( idSuper5_D_1 = 0) then 
930
		(idSuper5_D_3, idSuper5_Super5_3, s_4)
931
		 else
932
		 if ( idSuper5_D_1 = 53) then 
933
		(idSuper5_D_4, idSuper5_Super5_3, s_5)
934
		 else (idSuper5_D_1, idSuper5_Super5_2, s_2);
935

    
936

    
937
	(idSuper5_D, idSuper5_Super5, s) 
938
	= (idSuper5_D_5, idSuper5_Super5_4, s_6);
939
	
940

    
941
tel
942

    
943

    
944

    
945

    
946

    
947
--During action for state :Super5_D
948
node Super5_D_du(d_1:real)
949

    
950
returns (d:real);
951

    
952

    
953
var 	d_2:real;
954

    
955

    
956
let
957

    
958

    
959

    
960
	d_2 
961
	=  d_1  + 1.;
962
	
963

    
964
	(d) 
965
	= (d_2);
966
	
967

    
968
tel
969

    
970

    
971

    
972

    
973

    
974
-- Exit action for state :Super5_D
975
node Super5_D_ex(idSuper5_D_1:int;
976
	idSuper5_Super5_1:int;
977
	isInner:bool)
978

    
979
returns (idSuper5_D:int;
980
	idSuper5_Super5:int);
981

    
982

    
983
var 	idSuper5_D_2, idSuper5_D_3, idSuper5_D_4:int;
984
	idSuper5_Super5_2:int;
985

    
986

    
987
let
988

    
989

    
990

    
991
	
992
	(idSuper5_D_2) 
993
	= 
994
	if ( idSuper5_D_1 = 53) then
995
	D_D1_ex(idSuper5_D_1, false)
996
	 else (idSuper5_D_1);
997

    
998
	
999

    
1000
	(idSuper5_D_3) 
1001
	= 
1002
		 if ( idSuper5_D_1 = 53) then 
1003
		(idSuper5_D_2)
1004
		 else (idSuper5_D_1);
1005

    
1006

    
1007
	-- set state as inactive 
1008
	idSuper5_Super5_2
1009
	 = if (not isInner) then 0 else idSuper5_Super5_1;
1010

    
1011
	idSuper5_D_4 
1012
	= 0;
1013
	
1014

    
1015
	(idSuper5_D, idSuper5_Super5) 
1016
	= (idSuper5_D_4, idSuper5_Super5_1);
1017
	
1018

    
1019
tel
1020

    
1021

    
1022
--***************************************************State :Super5_B Automaton***************************************************
1023

    
1024
node Super5_B_node(idSuper5_B_1:int;
1025
	s_1:real;
1026
	E:bool;
1027
	idSuper5_Super5_1:int;
1028
	idSuper5_C_1:int;
1029
	F:bool;
1030
	idSuper5_A_1:int;
1031
	d_1:real)
1032

    
1033
returns (idSuper5_B:int;
1034
	s:real;
1035
	idSuper5_Super5:int;
1036
	idSuper5_C:int;
1037
	idSuper5_A:int;
1038
	d:real);
1039

    
1040

    
1041
let
1042

    
1043
	 automaton super5_b
1044

    
1045
	state POINTSuper5_B:
1046
	unless (idSuper5_B_1=0) restart POINT__TO__B_B1_1
1047

    
1048

    
1049

    
1050
	unless (idSuper5_B_1=56) and E restart B_B1__TO__C_C1_1
1051

    
1052

    
1053

    
1054
	unless (idSuper5_B_1=56) and F restart B_B1__TO__A_A1_2
1055

    
1056

    
1057

    
1058
	unless (idSuper5_B_1=56) restart B_B1_IDL
1059

    
1060
	let
1061

    
1062
		(idSuper5_B, s, idSuper5_Super5, idSuper5_C, idSuper5_A, d) 
1063
	= (idSuper5_B_1, s_1, idSuper5_Super5_1, idSuper5_C_1, idSuper5_A_1, d_1);
1064
	
1065

    
1066
	tel
1067

    
1068

    
1069

    
1070
	state POINT__TO__B_B1_1:
1071

    
1072
	 var 	idSuper5_B_2:int;
1073
	s_2:real;
1074
	let
1075

    
1076
		-- transition trace :
1077
	--POINT__To__B_B1_1
1078
		(idSuper5_B_2, s_2) 
1079
	= B_B1_en(idSuper5_B_1, s_1, false);
1080
		
1081

    
1082
	(idSuper5_B, s) 
1083
	=  (idSuper5_B_2, s_2);
1084

    
1085
	--add unused variables
1086
	(d, idSuper5_A, idSuper5_C, idSuper5_Super5) 
1087
	= (d_1, idSuper5_A_1, idSuper5_C_1, idSuper5_Super5_1);
1088
	
1089

    
1090
	tel
1091

    
1092
	until true restart POINTSuper5_B
1093

    
1094

    
1095

    
1096
	state B_B1__TO__C_C1_1:
1097

    
1098
	 var 	idSuper5_B_2:int;
1099
	s_2:real;
1100
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1101
	idSuper5_C_2, idSuper5_C_3:int;
1102
	let
1103

    
1104
		-- transition trace :
1105
	--B_B1__To__C_C1_1
1106
		(idSuper5_B_2, idSuper5_Super5_2) 
1107
	= Super5_B_ex(idSuper5_B_1, idSuper5_Super5_1, false);
1108
		
1109

    
1110
		idSuper5_C_2 
1111
	= 54;
1112
	
1113
		(idSuper5_C_3, idSuper5_Super5_3, s_2) 
1114
	= Super5_C_en(idSuper5_C_2, idSuper5_Super5_2, s_1, false);
1115
		
1116

    
1117
	(idSuper5_B, s, idSuper5_Super5, idSuper5_C) 
1118
	=  (idSuper5_B_2, s_2, idSuper5_Super5_3, idSuper5_C_3);
1119

    
1120
	--add unused variables
1121
	(d, idSuper5_A) 
1122
	= (d_1, idSuper5_A_1);
1123
	
1124

    
1125
	tel
1126

    
1127
	until true restart POINTSuper5_B
1128

    
1129

    
1130

    
1131
	state B_B1__TO__A_A1_2:
1132

    
1133
	 var 	idSuper5_B_2:int;
1134
	s_2:real;
1135
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1136
	idSuper5_A_2, idSuper5_A_3:int;
1137
	let
1138

    
1139
		-- transition trace :
1140
	--B_B1__To__A_A1_2
1141
		(idSuper5_B_2, idSuper5_Super5_2) 
1142
	= Super5_B_ex(idSuper5_B_1, idSuper5_Super5_1, false);
1143
		
1144

    
1145
		idSuper5_A_2 
1146
	= 55;
1147
	
1148
		(idSuper5_A_3, idSuper5_Super5_3, s_2) 
1149
	= Super5_A_en(idSuper5_A_2, idSuper5_Super5_2, s_1, false);
1150
		
1151

    
1152
	(idSuper5_B, s, idSuper5_Super5, idSuper5_C, idSuper5_A) 
1153
	=  (idSuper5_B_2, s_2, idSuper5_Super5_3, idSuper5_C_1, idSuper5_A_3);
1154

    
1155
	--add unused variables
1156
	(d) 
1157
	= (d_1);
1158
	
1159

    
1160
	tel
1161

    
1162
	until true restart POINTSuper5_B
1163

    
1164

    
1165

    
1166
	state B_B1_IDL:
1167

    
1168
	 var 	d_2:real;
1169
	let
1170

    
1171
		
1172
	(d_2) 
1173
	= B_B1_du(d_1);
1174

    
1175
		
1176

    
1177

    
1178
	(idSuper5_B, s, idSuper5_Super5, idSuper5_C, idSuper5_A, d) 
1179
	= (idSuper5_B_1, s_1, idSuper5_Super5_1, idSuper5_C_1, idSuper5_A_1, d_2);
1180
	
1181

    
1182
	tel
1183

    
1184
	until true restart POINTSuper5_B
1185

    
1186

    
1187

    
1188
tel
1189

    
1190

    
1191
--***************************************************State :Super5_C Automaton***************************************************
1192

    
1193
node Super5_C_node(idSuper5_C_1:int;
1194
	s_1:real;
1195
	F:bool;
1196
	idSuper5_Super5_1:int;
1197
	idSuper5_B_1:int;
1198
	E:bool;
1199
	idSuper5_D_1:int;
1200
	d_1:real)
1201

    
1202
returns (idSuper5_C:int;
1203
	s:real;
1204
	idSuper5_Super5:int;
1205
	idSuper5_B:int;
1206
	idSuper5_D:int;
1207
	d:real);
1208

    
1209

    
1210
let
1211

    
1212
	 automaton super5_c
1213

    
1214
	state POINTSuper5_C:
1215
	unless (idSuper5_C_1=0) restart POINT__TO__C_C1_1
1216

    
1217

    
1218

    
1219
	unless (idSuper5_C_1=54) and F restart C_C1__TO__B_B1_1
1220

    
1221

    
1222

    
1223
	unless (idSuper5_C_1=54) and E restart C_C1__TO__D_D1_2
1224

    
1225

    
1226

    
1227
	unless (idSuper5_C_1=54) restart C_C1_IDL
1228

    
1229
	let
1230

    
1231
		(idSuper5_C, s, idSuper5_Super5, idSuper5_B, idSuper5_D, d) 
1232
	= (idSuper5_C_1, s_1, idSuper5_Super5_1, idSuper5_B_1, idSuper5_D_1, d_1);
1233
	
1234

    
1235
	tel
1236

    
1237

    
1238

    
1239
	state POINT__TO__C_C1_1:
1240

    
1241
	 var 	idSuper5_C_2:int;
1242
	s_2:real;
1243
	let
1244

    
1245
		-- transition trace :
1246
	--POINT__To__C_C1_1
1247
		(idSuper5_C_2, s_2) 
1248
	= C_C1_en(idSuper5_C_1, s_1, false);
1249
		
1250

    
1251
	(idSuper5_C, s) 
1252
	=  (idSuper5_C_2, s_2);
1253

    
1254
	--add unused variables
1255
	(d, idSuper5_B, idSuper5_D, idSuper5_Super5) 
1256
	= (d_1, idSuper5_B_1, idSuper5_D_1, idSuper5_Super5_1);
1257
	
1258

    
1259
	tel
1260

    
1261
	until true restart POINTSuper5_C
1262

    
1263

    
1264

    
1265
	state C_C1__TO__B_B1_1:
1266

    
1267
	 var 	idSuper5_C_2:int;
1268
	s_2:real;
1269
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1270
	idSuper5_B_2, idSuper5_B_3:int;
1271
	let
1272

    
1273
		-- transition trace :
1274
	--C_C1__To__B_B1_1
1275
		(idSuper5_C_2, idSuper5_Super5_2) 
1276
	= Super5_C_ex(idSuper5_C_1, idSuper5_Super5_1, false);
1277
		
1278

    
1279
		idSuper5_B_2 
1280
	= 56;
1281
	
1282
		(idSuper5_B_3, idSuper5_Super5_3, s_2) 
1283
	= Super5_B_en(idSuper5_B_2, idSuper5_Super5_2, s_1, false);
1284
		
1285

    
1286
	(idSuper5_C, s, idSuper5_Super5, idSuper5_B) 
1287
	=  (idSuper5_C_2, s_2, idSuper5_Super5_3, idSuper5_B_3);
1288

    
1289
	--add unused variables
1290
	(d, idSuper5_D) 
1291
	= (d_1, idSuper5_D_1);
1292
	
1293

    
1294
	tel
1295

    
1296
	until true restart POINTSuper5_C
1297

    
1298

    
1299

    
1300
	state C_C1__TO__D_D1_2:
1301

    
1302
	 var 	idSuper5_C_2:int;
1303
	s_2:real;
1304
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1305
	idSuper5_D_2, idSuper5_D_3:int;
1306
	let
1307

    
1308
		-- transition trace :
1309
	--C_C1__To__D_D1_2
1310
		(idSuper5_C_2, idSuper5_Super5_2) 
1311
	= Super5_C_ex(idSuper5_C_1, idSuper5_Super5_1, false);
1312
		
1313

    
1314
		idSuper5_D_2 
1315
	= 53;
1316
	
1317
		(idSuper5_D_3, idSuper5_Super5_3, s_2) 
1318
	= Super5_D_en(idSuper5_D_2, idSuper5_Super5_2, s_1, false);
1319
		
1320

    
1321
	(idSuper5_C, s, idSuper5_Super5, idSuper5_B, idSuper5_D) 
1322
	=  (idSuper5_C_2, s_2, idSuper5_Super5_3, idSuper5_B_1, idSuper5_D_3);
1323

    
1324
	--add unused variables
1325
	(d) 
1326
	= (d_1);
1327
	
1328

    
1329
	tel
1330

    
1331
	until true restart POINTSuper5_C
1332

    
1333

    
1334

    
1335
	state C_C1_IDL:
1336

    
1337
	 var 	d_2:real;
1338
	let
1339

    
1340
		
1341
	(d_2) 
1342
	= C_C1_du(d_1);
1343

    
1344
		
1345

    
1346

    
1347
	(idSuper5_C, s, idSuper5_Super5, idSuper5_B, idSuper5_D, d) 
1348
	= (idSuper5_C_1, s_1, idSuper5_Super5_1, idSuper5_B_1, idSuper5_D_1, d_2);
1349
	
1350

    
1351
	tel
1352

    
1353
	until true restart POINTSuper5_C
1354

    
1355

    
1356

    
1357
tel
1358

    
1359

    
1360
--***************************************************State :Super5_A Automaton***************************************************
1361

    
1362
node Super5_A_node(idSuper5_A_1:int;
1363
	s_1:real;
1364
	E:bool;
1365
	idSuper5_Super5_1:int;
1366
	idSuper5_B_1:int;
1367
	F:bool;
1368
	idSuper5_D_1:int;
1369
	d_1:real)
1370

    
1371
returns (idSuper5_A:int;
1372
	s:real;
1373
	idSuper5_Super5:int;
1374
	idSuper5_B:int;
1375
	idSuper5_D:int;
1376
	d:real);
1377

    
1378

    
1379
let
1380

    
1381
	 automaton super5_a
1382

    
1383
	state POINTSuper5_A:
1384
	unless (idSuper5_A_1=0) restart POINT__TO__A_A1_1
1385

    
1386

    
1387

    
1388
	unless (idSuper5_A_1=55) and E restart A_A1__TO__B_B1_1
1389

    
1390

    
1391

    
1392
	unless (idSuper5_A_1=55) and F restart A_A1__TO__D_D1_2
1393

    
1394

    
1395

    
1396
	unless (idSuper5_A_1=55) restart A_A1_IDL
1397

    
1398
	let
1399

    
1400
		(idSuper5_A, s, idSuper5_Super5, idSuper5_B, idSuper5_D, d) 
1401
	= (idSuper5_A_1, s_1, idSuper5_Super5_1, idSuper5_B_1, idSuper5_D_1, d_1);
1402
	
1403

    
1404
	tel
1405

    
1406

    
1407

    
1408
	state POINT__TO__A_A1_1:
1409

    
1410
	 var 	idSuper5_A_2:int;
1411
	s_2:real;
1412
	let
1413

    
1414
		-- transition trace :
1415
	--POINT__To__A_A1_1
1416
		(idSuper5_A_2, s_2) 
1417
	= A_A1_en(idSuper5_A_1, s_1, false);
1418
		
1419

    
1420
	(idSuper5_A, s) 
1421
	=  (idSuper5_A_2, s_2);
1422

    
1423
	--add unused variables
1424
	(d, idSuper5_B, idSuper5_D, idSuper5_Super5) 
1425
	= (d_1, idSuper5_B_1, idSuper5_D_1, idSuper5_Super5_1);
1426
	
1427

    
1428
	tel
1429

    
1430
	until true restart POINTSuper5_A
1431

    
1432

    
1433

    
1434
	state A_A1__TO__B_B1_1:
1435

    
1436
	 var 	idSuper5_A_2:int;
1437
	s_2:real;
1438
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1439
	idSuper5_B_2, idSuper5_B_3:int;
1440
	let
1441

    
1442
		-- transition trace :
1443
	--A_A1__To__B_B1_1
1444
		(idSuper5_A_2, idSuper5_Super5_2) 
1445
	= Super5_A_ex(idSuper5_A_1, idSuper5_Super5_1, false);
1446
		
1447

    
1448
		idSuper5_B_2 
1449
	= 56;
1450
	
1451
		(idSuper5_B_3, idSuper5_Super5_3, s_2) 
1452
	= Super5_B_en(idSuper5_B_2, idSuper5_Super5_2, s_1, false);
1453
		
1454

    
1455
	(idSuper5_A, s, idSuper5_Super5, idSuper5_B) 
1456
	=  (idSuper5_A_2, s_2, idSuper5_Super5_3, idSuper5_B_3);
1457

    
1458
	--add unused variables
1459
	(d, idSuper5_D) 
1460
	= (d_1, idSuper5_D_1);
1461
	
1462

    
1463
	tel
1464

    
1465
	until true restart POINTSuper5_A
1466

    
1467

    
1468

    
1469
	state A_A1__TO__D_D1_2:
1470

    
1471
	 var 	idSuper5_A_2:int;
1472
	s_2:real;
1473
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1474
	idSuper5_D_2, idSuper5_D_3:int;
1475
	let
1476

    
1477
		-- transition trace :
1478
	--A_A1__To__D_D1_2
1479
		(idSuper5_A_2, idSuper5_Super5_2) 
1480
	= Super5_A_ex(idSuper5_A_1, idSuper5_Super5_1, false);
1481
		
1482

    
1483
		idSuper5_D_2 
1484
	= 53;
1485
	
1486
		(idSuper5_D_3, idSuper5_Super5_3, s_2) 
1487
	= Super5_D_en(idSuper5_D_2, idSuper5_Super5_2, s_1, false);
1488
		
1489

    
1490
	(idSuper5_A, s, idSuper5_Super5, idSuper5_B, idSuper5_D) 
1491
	=  (idSuper5_A_2, s_2, idSuper5_Super5_3, idSuper5_B_1, idSuper5_D_3);
1492

    
1493
	--add unused variables
1494
	(d) 
1495
	= (d_1);
1496
	
1497

    
1498
	tel
1499

    
1500
	until true restart POINTSuper5_A
1501

    
1502

    
1503

    
1504
	state A_A1_IDL:
1505

    
1506
	 var 	d_2:real;
1507
	let
1508

    
1509
		
1510
	(d_2) 
1511
	= A_A1_du(d_1);
1512

    
1513
		
1514

    
1515

    
1516
	(idSuper5_A, s, idSuper5_Super5, idSuper5_B, idSuper5_D, d) 
1517
	= (idSuper5_A_1, s_1, idSuper5_Super5_1, idSuper5_B_1, idSuper5_D_1, d_2);
1518
	
1519

    
1520
	tel
1521

    
1522
	until true restart POINTSuper5_A
1523

    
1524

    
1525

    
1526
tel
1527

    
1528

    
1529
--***************************************************State :Super5_D Automaton***************************************************
1530

    
1531
node Super5_D_node(idSuper5_D_1:int;
1532
	s_1:real;
1533
	E:bool;
1534
	idSuper5_Super5_1:int;
1535
	idSuper5_A_1:int;
1536
	F:bool;
1537
	idSuper5_C_1:int;
1538
	d_1:real)
1539

    
1540
returns (idSuper5_D:int;
1541
	s:real;
1542
	idSuper5_Super5:int;
1543
	idSuper5_A:int;
1544
	idSuper5_C:int;
1545
	d:real);
1546

    
1547

    
1548
let
1549

    
1550
	 automaton super5_d
1551

    
1552
	state POINTSuper5_D:
1553
	unless (idSuper5_D_1=0) restart POINT__TO__D_D1_1
1554

    
1555

    
1556

    
1557
	unless (idSuper5_D_1=53) and E restart D_D1__TO__A_A1_1
1558

    
1559

    
1560

    
1561
	unless (idSuper5_D_1=53) and F restart D_D1__TO__C_C1_2
1562

    
1563

    
1564

    
1565
	unless (idSuper5_D_1=53) restart D_D1_IDL
1566

    
1567
	let
1568

    
1569
		(idSuper5_D, s, idSuper5_Super5, idSuper5_A, idSuper5_C, d) 
1570
	= (idSuper5_D_1, s_1, idSuper5_Super5_1, idSuper5_A_1, idSuper5_C_1, d_1);
1571
	
1572

    
1573
	tel
1574

    
1575

    
1576

    
1577
	state POINT__TO__D_D1_1:
1578

    
1579
	 var 	idSuper5_D_2:int;
1580
	s_2:real;
1581
	let
1582

    
1583
		-- transition trace :
1584
	--POINT__To__D_D1_1
1585
		(idSuper5_D_2, s_2) 
1586
	= D_D1_en(idSuper5_D_1, s_1, false);
1587
		
1588

    
1589
	(idSuper5_D, s) 
1590
	=  (idSuper5_D_2, s_2);
1591

    
1592
	--add unused variables
1593
	(d, idSuper5_A, idSuper5_C, idSuper5_Super5) 
1594
	= (d_1, idSuper5_A_1, idSuper5_C_1, idSuper5_Super5_1);
1595
	
1596

    
1597
	tel
1598

    
1599
	until true restart POINTSuper5_D
1600

    
1601

    
1602

    
1603
	state D_D1__TO__A_A1_1:
1604

    
1605
	 var 	idSuper5_D_2:int;
1606
	s_2:real;
1607
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1608
	idSuper5_A_2, idSuper5_A_3:int;
1609
	let
1610

    
1611
		-- transition trace :
1612
	--D_D1__To__A_A1_1
1613
		(idSuper5_D_2, idSuper5_Super5_2) 
1614
	= Super5_D_ex(idSuper5_D_1, idSuper5_Super5_1, false);
1615
		
1616

    
1617
		idSuper5_A_2 
1618
	= 55;
1619
	
1620
		(idSuper5_A_3, idSuper5_Super5_3, s_2) 
1621
	= Super5_A_en(idSuper5_A_2, idSuper5_Super5_2, s_1, false);
1622
		
1623

    
1624
	(idSuper5_D, s, idSuper5_Super5, idSuper5_A) 
1625
	=  (idSuper5_D_2, s_2, idSuper5_Super5_3, idSuper5_A_3);
1626

    
1627
	--add unused variables
1628
	(d, idSuper5_C) 
1629
	= (d_1, idSuper5_C_1);
1630
	
1631

    
1632
	tel
1633

    
1634
	until true restart POINTSuper5_D
1635

    
1636

    
1637

    
1638
	state D_D1__TO__C_C1_2:
1639

    
1640
	 var 	idSuper5_D_2:int;
1641
	s_2:real;
1642
	idSuper5_Super5_2, idSuper5_Super5_3:int;
1643
	idSuper5_C_2, idSuper5_C_3:int;
1644
	let
1645

    
1646
		-- transition trace :
1647
	--D_D1__To__C_C1_2
1648
		(idSuper5_D_2, idSuper5_Super5_2) 
1649
	= Super5_D_ex(idSuper5_D_1, idSuper5_Super5_1, false);
1650
		
1651

    
1652
		idSuper5_C_2 
1653
	= 54;
1654
	
1655
		(idSuper5_C_3, idSuper5_Super5_3, s_2) 
1656
	= Super5_C_en(idSuper5_C_2, idSuper5_Super5_2, s_1, false);
1657
		
1658

    
1659
	(idSuper5_D, s, idSuper5_Super5, idSuper5_A, idSuper5_C) 
1660
	=  (idSuper5_D_2, s_2, idSuper5_Super5_3, idSuper5_A_1, idSuper5_C_3);
1661

    
1662
	--add unused variables
1663
	(d) 
1664
	= (d_1);
1665
	
1666

    
1667
	tel
1668

    
1669
	until true restart POINTSuper5_D
1670

    
1671

    
1672

    
1673
	state D_D1_IDL:
1674

    
1675
	 var 	d_2:real;
1676
	let
1677

    
1678
		
1679
	(d_2) 
1680
	= D_D1_du(d_1);
1681

    
1682
		
1683

    
1684

    
1685
	(idSuper5_D, s, idSuper5_Super5, idSuper5_A, idSuper5_C, d) 
1686
	= (idSuper5_D_1, s_1, idSuper5_Super5_1, idSuper5_A_1, idSuper5_C_1, d_2);
1687
	
1688

    
1689
	tel
1690

    
1691
	until true restart POINTSuper5_D
1692

    
1693

    
1694

    
1695
tel
1696

    
1697

    
1698
--***************************************************State :Super5_Super5 Automaton***************************************************
1699

    
1700
node Super5_Super5_node(idSuper5_Super5_1:int;
1701
	idSuper5_A_1:int;
1702
	s_1:real;
1703
	G:bool;
1704
	idSuper5_B_1:int;
1705
	H:bool;
1706
	idSuper5_D_1:int;
1707
	idSuper5_C_1:int;
1708
	d_1:real;
1709
	E:bool;
1710
	F:bool)
1711

    
1712
returns (idSuper5_Super5:int;
1713
	idSuper5_A:int;
1714
	s:real;
1715
	idSuper5_B:int;
1716
	idSuper5_D:int;
1717
	idSuper5_C:int;
1718
	d:real);
1719

    
1720

    
1721
let
1722

    
1723
	 automaton super5_super5
1724

    
1725
	state POINTSuper5_Super5:
1726
	unless (idSuper5_Super5_1=0) restart POINT__TO__SUPER5_A_1
1727

    
1728

    
1729

    
1730
	unless (idSuper5_Super5_1=51) and G restart SUPER5_A__TO__SUPER5_B_1
1731

    
1732

    
1733

    
1734
	unless (idSuper5_Super5_1=51) and H restart SUPER5_A__TO__SUPER5_D_2
1735

    
1736

    
1737

    
1738
	unless (idSuper5_Super5_1=52) and G restart SUPER5_B__TO__SUPER5_C_1
1739

    
1740

    
1741

    
1742
	unless (idSuper5_Super5_1=52) and H restart SUPER5_B__TO__SUPER5_A_2
1743

    
1744

    
1745

    
1746
	unless (idSuper5_Super5_1=57) and G restart SUPER5_D__TO__SUPER5_A_1
1747

    
1748

    
1749

    
1750
	unless (idSuper5_Super5_1=57) and H restart SUPER5_D__TO__SUPER5_C_2
1751

    
1752

    
1753

    
1754
	unless (idSuper5_Super5_1=58) and H restart SUPER5_C__TO__SUPER5_B_1
1755

    
1756

    
1757

    
1758
	unless (idSuper5_Super5_1=58) and G restart SUPER5_C__TO__SUPER5_D_2
1759

    
1760

    
1761

    
1762
	unless (idSuper5_Super5_1=51) restart SUPER5_A_IDL
1763

    
1764
	unless (idSuper5_Super5_1=52) restart SUPER5_B_IDL
1765

    
1766
	unless (idSuper5_Super5_1=57) restart SUPER5_D_IDL
1767

    
1768
	unless (idSuper5_Super5_1=58) restart SUPER5_C_IDL
1769

    
1770
	let
1771

    
1772
		(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d) 
1773
	= (idSuper5_Super5_1, idSuper5_A_1, s_1, idSuper5_B_1, idSuper5_D_1, idSuper5_C_1, d_1);
1774
	
1775

    
1776
	tel
1777

    
1778

    
1779

    
1780
	state POINT__TO__SUPER5_A_1:
1781

    
1782
	 var 	idSuper5_Super5_2:int;
1783
	idSuper5_A_2:int;
1784
	s_2:real;
1785
	let
1786

    
1787
		-- transition trace :
1788
	--POINT__To__Super5_A_1
1789
		(idSuper5_A_2, idSuper5_Super5_2, s_2) 
1790
	= Super5_A_en(idSuper5_A_1, idSuper5_Super5_1, s_1, false);
1791
		
1792

    
1793
	(idSuper5_Super5, idSuper5_A, s) 
1794
	=  (idSuper5_Super5_2, idSuper5_A_2, s_2);
1795

    
1796
	--add unused variables
1797
	(d, idSuper5_B, idSuper5_C, idSuper5_D) 
1798
	= (d_1, idSuper5_B_1, idSuper5_C_1, idSuper5_D_1);
1799
	
1800

    
1801
	tel
1802

    
1803
	until true restart POINTSuper5_Super5
1804

    
1805

    
1806

    
1807
	state SUPER5_A__TO__SUPER5_B_1:
1808

    
1809
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1810
	idSuper5_A_2:int;
1811
	s_2:real;
1812
	idSuper5_B_2:int;
1813
	let
1814

    
1815
		-- transition trace :
1816
	--Super5_A__To__Super5_B_1
1817
		(idSuper5_A_2, idSuper5_Super5_2) 
1818
	= Super5_A_ex(idSuper5_A_1, idSuper5_Super5_1, false);
1819
		
1820

    
1821
		(idSuper5_B_2, idSuper5_Super5_3, s_2) 
1822
	= Super5_B_en(idSuper5_B_1, idSuper5_Super5_2, s_1, false);
1823
		
1824

    
1825
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B) 
1826
	=  (idSuper5_Super5_3, idSuper5_A_2, s_2, idSuper5_B_2);
1827

    
1828
	--add unused variables
1829
	(d, idSuper5_C, idSuper5_D) 
1830
	= (d_1, idSuper5_C_1, idSuper5_D_1);
1831
	
1832

    
1833
	tel
1834

    
1835
	until true restart POINTSuper5_Super5
1836

    
1837

    
1838

    
1839
	state SUPER5_A__TO__SUPER5_D_2:
1840

    
1841
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1842
	idSuper5_A_2:int;
1843
	s_2:real;
1844
	idSuper5_D_2:int;
1845
	let
1846

    
1847
		-- transition trace :
1848
	--Super5_A__To__Super5_D_2
1849
		(idSuper5_A_2, idSuper5_Super5_2) 
1850
	= Super5_A_ex(idSuper5_A_1, idSuper5_Super5_1, false);
1851
		
1852

    
1853
		(idSuper5_D_2, idSuper5_Super5_3, s_2) 
1854
	= Super5_D_en(idSuper5_D_1, idSuper5_Super5_2, s_1, false);
1855
		
1856

    
1857
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D) 
1858
	=  (idSuper5_Super5_3, idSuper5_A_2, s_2, idSuper5_B_1, idSuper5_D_2);
1859

    
1860
	--add unused variables
1861
	(d, idSuper5_C) 
1862
	= (d_1, idSuper5_C_1);
1863
	
1864

    
1865
	tel
1866

    
1867
	until true restart POINTSuper5_Super5
1868

    
1869

    
1870

    
1871
	state SUPER5_B__TO__SUPER5_C_1:
1872

    
1873
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1874
	s_2:real;
1875
	idSuper5_B_2:int;
1876
	idSuper5_C_2:int;
1877
	let
1878

    
1879
		-- transition trace :
1880
	--Super5_B__To__Super5_C_1
1881
		(idSuper5_B_2, idSuper5_Super5_2) 
1882
	= Super5_B_ex(idSuper5_B_1, idSuper5_Super5_1, false);
1883
		
1884

    
1885
		(idSuper5_C_2, idSuper5_Super5_3, s_2) 
1886
	= Super5_C_en(idSuper5_C_1, idSuper5_Super5_2, s_1, false);
1887
		
1888

    
1889
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
1890
	=  (idSuper5_Super5_3, idSuper5_A_1, s_2, idSuper5_B_2, idSuper5_D_1, idSuper5_C_2);
1891

    
1892
	--add unused variables
1893
	(d) 
1894
	= (d_1);
1895
	
1896

    
1897
	tel
1898

    
1899
	until true restart POINTSuper5_Super5
1900

    
1901

    
1902

    
1903
	state SUPER5_B__TO__SUPER5_A_2:
1904

    
1905
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1906
	idSuper5_A_2:int;
1907
	s_2:real;
1908
	idSuper5_B_2:int;
1909
	let
1910

    
1911
		-- transition trace :
1912
	--Super5_B__To__Super5_A_2
1913
		(idSuper5_B_2, idSuper5_Super5_2) 
1914
	= Super5_B_ex(idSuper5_B_1, idSuper5_Super5_1, false);
1915
		
1916

    
1917
		(idSuper5_A_2, idSuper5_Super5_3, s_2) 
1918
	= Super5_A_en(idSuper5_A_1, idSuper5_Super5_2, s_1, false);
1919
		
1920

    
1921
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
1922
	=  (idSuper5_Super5_3, idSuper5_A_2, s_2, idSuper5_B_2, idSuper5_D_1, idSuper5_C_1);
1923

    
1924
	--add unused variables
1925
	(d) 
1926
	= (d_1);
1927
	
1928

    
1929
	tel
1930

    
1931
	until true restart POINTSuper5_Super5
1932

    
1933

    
1934

    
1935
	state SUPER5_D__TO__SUPER5_A_1:
1936

    
1937
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1938
	idSuper5_A_2:int;
1939
	s_2:real;
1940
	idSuper5_D_2:int;
1941
	let
1942

    
1943
		-- transition trace :
1944
	--Super5_D__To__Super5_A_1
1945
		(idSuper5_D_2, idSuper5_Super5_2) 
1946
	= Super5_D_ex(idSuper5_D_1, idSuper5_Super5_1, false);
1947
		
1948

    
1949
		(idSuper5_A_2, idSuper5_Super5_3, s_2) 
1950
	= Super5_A_en(idSuper5_A_1, idSuper5_Super5_2, s_1, false);
1951
		
1952

    
1953
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
1954
	=  (idSuper5_Super5_3, idSuper5_A_2, s_2, idSuper5_B_1, idSuper5_D_2, idSuper5_C_1);
1955

    
1956
	--add unused variables
1957
	(d) 
1958
	= (d_1);
1959
	
1960

    
1961
	tel
1962

    
1963
	until true restart POINTSuper5_Super5
1964

    
1965

    
1966

    
1967
	state SUPER5_D__TO__SUPER5_C_2:
1968

    
1969
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
1970
	s_2:real;
1971
	idSuper5_D_2:int;
1972
	idSuper5_C_2:int;
1973
	let
1974

    
1975
		-- transition trace :
1976
	--Super5_D__To__Super5_C_2
1977
		(idSuper5_D_2, idSuper5_Super5_2) 
1978
	= Super5_D_ex(idSuper5_D_1, idSuper5_Super5_1, false);
1979
		
1980

    
1981
		(idSuper5_C_2, idSuper5_Super5_3, s_2) 
1982
	= Super5_C_en(idSuper5_C_1, idSuper5_Super5_2, s_1, false);
1983
		
1984

    
1985
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
1986
	=  (idSuper5_Super5_3, idSuper5_A_1, s_2, idSuper5_B_1, idSuper5_D_2, idSuper5_C_2);
1987

    
1988
	--add unused variables
1989
	(d) 
1990
	= (d_1);
1991
	
1992

    
1993
	tel
1994

    
1995
	until true restart POINTSuper5_Super5
1996

    
1997

    
1998

    
1999
	state SUPER5_C__TO__SUPER5_B_1:
2000

    
2001
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
2002
	s_2:real;
2003
	idSuper5_B_2:int;
2004
	idSuper5_C_2:int;
2005
	let
2006

    
2007
		-- transition trace :
2008
	--Super5_C__To__Super5_B_1
2009
		(idSuper5_C_2, idSuper5_Super5_2) 
2010
	= Super5_C_ex(idSuper5_C_1, idSuper5_Super5_1, false);
2011
		
2012

    
2013
		(idSuper5_B_2, idSuper5_Super5_3, s_2) 
2014
	= Super5_B_en(idSuper5_B_1, idSuper5_Super5_2, s_1, false);
2015
		
2016

    
2017
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
2018
	=  (idSuper5_Super5_3, idSuper5_A_1, s_2, idSuper5_B_2, idSuper5_D_1, idSuper5_C_2);
2019

    
2020
	--add unused variables
2021
	(d) 
2022
	= (d_1);
2023
	
2024

    
2025
	tel
2026

    
2027
	until true restart POINTSuper5_Super5
2028

    
2029

    
2030

    
2031
	state SUPER5_C__TO__SUPER5_D_2:
2032

    
2033
	 var 	idSuper5_Super5_2, idSuper5_Super5_3:int;
2034
	s_2:real;
2035
	idSuper5_D_2:int;
2036
	idSuper5_C_2:int;
2037
	let
2038

    
2039
		-- transition trace :
2040
	--Super5_C__To__Super5_D_2
2041
		(idSuper5_C_2, idSuper5_Super5_2) 
2042
	= Super5_C_ex(idSuper5_C_1, idSuper5_Super5_1, false);
2043
		
2044

    
2045
		(idSuper5_D_2, idSuper5_Super5_3, s_2) 
2046
	= Super5_D_en(idSuper5_D_1, idSuper5_Super5_2, s_1, false);
2047
		
2048

    
2049
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C) 
2050
	=  (idSuper5_Super5_3, idSuper5_A_1, s_2, idSuper5_B_1, idSuper5_D_2, idSuper5_C_2);
2051

    
2052
	--add unused variables
2053
	(d) 
2054
	= (d_1);
2055
	
2056

    
2057
	tel
2058

    
2059
	until true restart POINTSuper5_Super5
2060

    
2061

    
2062

    
2063
	state SUPER5_A_IDL:
2064

    
2065
	 var 	idSuper5_Super5_2:int;
2066
	idSuper5_A_2:int;
2067
	s_2:real;
2068
	idSuper5_B_2:int;
2069
	idSuper5_D_2:int;
2070
	d_2, d_3:real;
2071
	let
2072

    
2073
		
2074
	(d_2) 
2075
	= Super5_A_du(d_1);
2076

    
2077
		
2078

    
2079
	(idSuper5_A_2, s_2, idSuper5_Super5_2, idSuper5_B_2, idSuper5_D_2, d_3) 
2080
	= Super5_A_node(idSuper5_A_1, s_1, E, idSuper5_Super5_1, idSuper5_B_1, F, idSuper5_D_1, d_2);
2081

    
2082
		
2083

    
2084

    
2085
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d) 
2086
	= (idSuper5_Super5_2, idSuper5_A_2, s_2, idSuper5_B_2, idSuper5_D_2, idSuper5_C_1, d_3);
2087
	
2088

    
2089
	tel
2090

    
2091
	until true restart POINTSuper5_Super5
2092

    
2093

    
2094

    
2095
	state SUPER5_B_IDL:
2096

    
2097
	 var 	idSuper5_Super5_2:int;
2098
	idSuper5_A_2:int;
2099
	s_2:real;
2100
	idSuper5_B_2:int;
2101
	idSuper5_C_2:int;
2102
	d_2, d_3:real;
2103
	let
2104

    
2105
		
2106
	(d_2) 
2107
	= Super5_B_du(d_1);
2108

    
2109
		
2110

    
2111
	(idSuper5_B_2, s_2, idSuper5_Super5_2, idSuper5_C_2, idSuper5_A_2, d_3) 
2112
	= Super5_B_node(idSuper5_B_1, s_1, E, idSuper5_Super5_1, idSuper5_C_1, F, idSuper5_A_1, d_2);
2113

    
2114
		
2115

    
2116

    
2117
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d) 
2118
	= (idSuper5_Super5_2, idSuper5_A_2, s_2, idSuper5_B_2, idSuper5_D_1, idSuper5_C_2, d_3);
2119
	
2120

    
2121
	tel
2122

    
2123
	until true restart POINTSuper5_Super5
2124

    
2125

    
2126

    
2127
	state SUPER5_D_IDL:
2128

    
2129
	 var 	idSuper5_Super5_2:int;
2130
	idSuper5_A_2:int;
2131
	s_2:real;
2132
	idSuper5_D_2:int;
2133
	idSuper5_C_2:int;
2134
	d_2, d_3:real;
2135
	let
2136

    
2137
		
2138
	(d_2) 
2139
	= Super5_D_du(d_1);
2140

    
2141
		
2142

    
2143
	(idSuper5_D_2, s_2, idSuper5_Super5_2, idSuper5_A_2, idSuper5_C_2, d_3) 
2144
	= Super5_D_node(idSuper5_D_1, s_1, E, idSuper5_Super5_1, idSuper5_A_1, F, idSuper5_C_1, d_2);
2145

    
2146
		
2147

    
2148

    
2149
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d) 
2150
	= (idSuper5_Super5_2, idSuper5_A_2, s_2, idSuper5_B_1, idSuper5_D_2, idSuper5_C_2, d_3);
2151
	
2152

    
2153
	tel
2154

    
2155
	until true restart POINTSuper5_Super5
2156

    
2157

    
2158

    
2159
	state SUPER5_C_IDL:
2160

    
2161
	 var 	idSuper5_Super5_2:int;
2162
	s_2:real;
2163
	idSuper5_B_2:int;
2164
	idSuper5_D_2:int;
2165
	idSuper5_C_2:int;
2166
	d_2, d_3:real;
2167
	let
2168

    
2169
		
2170
	(d_2) 
2171
	= Super5_C_du(d_1);
2172

    
2173
		
2174

    
2175
	(idSuper5_C_2, s_2, idSuper5_Super5_2, idSuper5_B_2, idSuper5_D_2, d_3) 
2176
	= Super5_C_node(idSuper5_C_1, s_1, F, idSuper5_Super5_1, idSuper5_B_1, E, idSuper5_D_1, d_2);
2177

    
2178
		
2179

    
2180

    
2181
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d) 
2182
	= (idSuper5_Super5_2, idSuper5_A_1, s_2, idSuper5_B_2, idSuper5_D_2, idSuper5_C_2, d_3);
2183
	
2184

    
2185
	tel
2186

    
2187
	until true restart POINTSuper5_Super5
2188

    
2189

    
2190

    
2191
tel
2192

    
2193

    
2194
--***************************************************State :Super5_Super5 Automaton***************************************************
2195

    
2196
node Super5_Super5(E:bool;
2197
	G:bool;
2198
	F:bool;
2199
	H:bool)
2200

    
2201
returns (s:real;
2202
	d:real);
2203

    
2204

    
2205
var s_1: real;
2206

    
2207
	d_1: real;
2208

    
2209
	idSuper5_Super5, idSuper5_Super5_1: int;
2210

    
2211
	idSuper5_B, idSuper5_B_1: int;
2212

    
2213
	idSuper5_C, idSuper5_C_1: int;
2214

    
2215
	idSuper5_A, idSuper5_A_1: int;
2216

    
2217
	idSuper5_D, idSuper5_D_1: int;
2218

    
2219
		idSuper5_Super5_2, idSuper5_Super5_3, idSuper5_Super5_4:int;
2220
	idSuper5_A_2, idSuper5_A_3, idSuper5_A_4:int;
2221
	s_2, s_3, s_4:real;
2222
	idSuper5_B_2, idSuper5_B_3, idSuper5_B_4:int;
2223
	idSuper5_D_2, idSuper5_D_3, idSuper5_D_4:int;
2224
	idSuper5_C_2, idSuper5_C_3, idSuper5_C_4:int;
2225
	d_2, d_3, d_4:real;
2226
let
2227

    
2228
	s_1 = 0.0 -> pre s;
2229

    
2230
	d_1 = 0.0 -> pre d;
2231

    
2232
	idSuper5_Super5_1 = 0 -> pre idSuper5_Super5;
2233

    
2234
	idSuper5_B_1 = 0 -> pre idSuper5_B;
2235

    
2236
	idSuper5_C_1 = 0 -> pre idSuper5_C;
2237

    
2238
	idSuper5_A_1 = 0 -> pre idSuper5_A;
2239

    
2240
	idSuper5_D_1 = 0 -> pre idSuper5_D;
2241

    
2242
	
2243

    
2244

    
2245

    
2246
	(idSuper5_Super5_2, idSuper5_A_2, s_2, idSuper5_B_2, idSuper5_D_2, idSuper5_C_2, d_2)
2247
	 = 
2248

    
2249
	 if E then Super5_Super5_node(idSuper5_Super5_1, idSuper5_A_1, s_1, false, idSuper5_B_1, false, idSuper5_D_1, idSuper5_C_1, d_1, E, false)
2250

    
2251
	 else (idSuper5_Super5_1, idSuper5_A_1, s_1, idSuper5_B_1, idSuper5_D_1, idSuper5_C_1, d_1);
2252

    
2253
	
2254

    
2255

    
2256

    
2257
	(idSuper5_Super5_3, idSuper5_A_3, s_3, idSuper5_B_3, idSuper5_D_3, idSuper5_C_3, d_3)
2258
	 = 
2259

    
2260
	 if G then Super5_Super5_node(idSuper5_Super5_2, idSuper5_A_2, s_2, G, idSuper5_B_2, false, idSuper5_D_2, idSuper5_C_2, d_2, false, false)
2261

    
2262
	 else (idSuper5_Super5_2, idSuper5_A_2, s_2, idSuper5_B_2, idSuper5_D_2, idSuper5_C_2, d_2);
2263

    
2264
	
2265

    
2266

    
2267

    
2268
	(idSuper5_Super5_4, idSuper5_A_4, s_4, idSuper5_B_4, idSuper5_D_4, idSuper5_C_4, d_4)
2269
	 = 
2270

    
2271
	 if F then Super5_Super5_node(idSuper5_Super5_3, idSuper5_A_3, s_3, false, idSuper5_B_3, false, idSuper5_D_3, idSuper5_C_3, d_3, false, F)
2272

    
2273
	 else (idSuper5_Super5_3, idSuper5_A_3, s_3, idSuper5_B_3, idSuper5_D_3, idSuper5_C_3, d_3);
2274

    
2275
	
2276

    
2277

    
2278

    
2279
	(idSuper5_Super5, idSuper5_A, s, idSuper5_B, idSuper5_D, idSuper5_C, d)
2280
	 = 
2281

    
2282
	 if H then Super5_Super5_node(idSuper5_Super5_4, idSuper5_A_4, s_4, false, idSuper5_B_4, H, idSuper5_D_4, idSuper5_C_4, d_4, false, false)
2283

    
2284
	 else (idSuper5_Super5_4, idSuper5_A_4, s_4, idSuper5_B_4, idSuper5_D_4, idSuper5_C_4, d_4);
2285

    
2286
	
2287

    
2288

    
2289
--unused outputs
2290
	
2291

    
2292
tel
2293

    
2294

    
2295

    
2296
node Super5 (E_1_1 : real; G_1_1 : real; F_1_1 : real; H_1_1 : real)
2297
returns (s_1_1 : real;
2298
	d_2_1 : real); 
2299
var
2300
	Mux_1_1 : real; Mux_1_2 : real; Mux_1_3 : real; Mux_1_4 : real;
2301
	Super5_1_1 : real; Super5_2_1 : real;
2302
	i_virtual_local : real;
2303
	Super5Mux_1_1_event: bool;
2304
	Super5Mux_1_2_event: bool;
2305
	Super5Mux_1_3_event: bool;
2306
	Super5Mux_1_4_event: bool;
2307
let 
2308
	Mux_1_1 = E_1_1 ;
2309
	Mux_1_2 = G_1_1 ;
2310
	Mux_1_3 = F_1_1 ;
2311
	Mux_1_4 = H_1_1 ;
2312
	Super5Mux_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));
2313
	Super5Mux_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));
2314
	Super5Mux_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));
2315
	Super5Mux_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));
2316
	(Super5_1_1, Super5_2_1) =  Super5_Super5(Super5Mux_1_1_event, Super5Mux_1_2_event, Super5Mux_1_3_event, Super5Mux_1_4_event);
2317
	s_1_1 = Super5_1_1;
2318
	d_2_1 = Super5_2_1;
2319
	i_virtual_local= 0.0 -> 1.0;
2320
tel
2321