lustrectests / 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 