Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / regression_json / Super6_SFIR_pp.json @ 184630f0

History | View | Annotate | Download (42.8 KB)

1
{
2
    "Data": {
3
        "ArraySize": "",
4
        "CompiledType": "unknown",
5
        "Datatype": "int",
6
        "Id": 640,
7
        "InitialValue": "0",
8
        "Name": "y",
9
        "Port": 1,
10
        "Scope": "Output"
11
    },
12
    "Events": [
13
        {
14
            "Id": 641,
15
            "Name": "E",
16
            "Port": 1,
17
            "Scope": "Input"
18
        },
19
        {
20
            "Id": 642,
21
            "Name": "F",
22
            "Port": 2,
23
            "Scope": "Input"
24
        },
25
        {
26
            "Id": 643,
27
            "Name": "G",
28
            "Port": 3,
29
            "Scope": "Input"
30
        },
31
        {
32
            "Id": 644,
33
            "Name": "H",
34
            "Port": 4,
35
            "Scope": "Input"
36
        }
37
    ],
38
    "GraphicalFunctions": [],
39
    "Junctions": [],
40
    "Name": "Super6",
41
    "Path": "Super6_Super6",
42
    "SimulinkFunctions": [],
43
    "States": [
44
        {
45
            "Actions": {
46
                "Bind": {
47
                    "actions": "",
48
                    "external_fun": "",
49
                    "inputs": "",
50
                    "original_actions": "",
51
                    "outputs": "",
52
                    "variables": ""
53
                },
54
                "During": {
55
                    "actions": "",
56
                    "external_fun": "",
57
                    "inputs": "",
58
                    "original_actions": "",
59
                    "outputs": "",
60
                    "variables": ""
61
                },
62
                "Entry": {
63
                    "actions": "",
64
                    "external_fun": "",
65
                    "inputs": "",
66
                    "original_actions": "",
67
                    "outputs": "",
68
                    "variables": ""
69
                },
70
                "Exit": {
71
                    "actions": "",
72
                    "external_fun": "",
73
                    "inputs": "",
74
                    "original_actions": "",
75
                    "outputs": "",
76
                    "variables": ""
77
                },
78
                "On": {
79
                    "actions": "",
80
                    "external_fun": "",
81
                    "inputs": "",
82
                    "original_actions": "",
83
                    "outputs": "",
84
                    "variables": ""
85
                },
86
                "OnAfter": {
87
                    "actions": "",
88
                    "external_fun": "",
89
                    "inputs": "",
90
                    "original_actions": "",
91
                    "outputs": "",
92
                    "variables": ""
93
                },
94
                "OnAt": {
95
                    "actions": "",
96
                    "external_fun": "",
97
                    "inputs": "",
98
                    "original_actions": "",
99
                    "outputs": "",
100
                    "variables": ""
101
                },
102
                "OnBefore": {
103
                    "actions": "",
104
                    "external_fun": "",
105
                    "inputs": "",
106
                    "original_actions": "",
107
                    "outputs": "",
108
                    "variables": ""
109
                },
110
                "OnEvery": {
111
                    "actions": "",
112
                    "external_fun": "",
113
                    "inputs": "",
114
                    "original_actions": "",
115
                    "outputs": "",
116
                    "variables": ""
117
                }
118
            },
119
            "Composition": {
120
                "DefaultTransitions": {
121
                    "Condition": {
122
                        "actions": "",
123
                        "external_fun": "",
124
                        "inputs": "",
125
                        "original_actions": "",
126
                        "outputs": "",
127
                        "variables": ""
128
                    },
129
                    "ConditionAction": {
130
                        "actions": "",
131
                        "external_fun": "",
132
                        "inputs": "",
133
                        "original_actions": "",
134
                        "outputs": "",
135
                        "variables": ""
136
                    },
137
                    "Destination": {
138
                        "Id": 626,
139
                        "Name": "Super6_Super6/A",
140
                        "Type": "State"
141
                    },
142
                    "Event": "",
143
                    "Id": 646,
144
                    "TransitionAction": {
145
                        "actions": "",
146
                        "external_fun": "",
147
                        "inputs": "",
148
                        "original_actions": "",
149
                        "outputs": "",
150
                        "variables": ""
151
                    }
152
                },
153
                "States": [
154
                    626,
155
                    630
156
                ],
157
                "Substates": [
158
                    "A",
159
                    "B"
160
                ],
161
                "Type": "EXCLUSIVE_OR"
162
            },
163
            "Id": 625,
164
            "InnerTransitions": [],
165
            "OuterTransitions": [],
166
            "Path": "Super6_Super6"
167
        },
168
        {
169
            "Actions": {
170
                "Bind": {
171
                    "actions": "",
172
                    "external_fun": "",
173
                    "inputs": "",
174
                    "original_actions": "",
175
                    "outputs": "",
176
                    "variables": ""
177
                },
178
                "During": {
179
                    "actions": "",
180
                    "external_fun": "",
181
                    "inputs": "y: int;",
182
                    "original_actions": "y++;",
183
                    "outputs": "y: int;",
184
                    "variables": ""
185
                },
186
                "Entry": {
187
                    "actions": "",
188
                    "external_fun": "",
189
                    "inputs": "",
190
                    "original_actions": "",
191
                    "outputs": "",
192
                    "variables": ""
193
                },
194
                "Exit": {
195
                    "actions": "",
196
                    "external_fun": "",
197
                    "inputs": "",
198
                    "original_actions": "",
199
                    "outputs": "",
200
                    "variables": ""
201
                },
202
                "On": {
203
                    "actions": "",
204
                    "external_fun": "",
205
                    "inputs": "",
206
                    "original_actions": "",
207
                    "outputs": "",
208
                    "variables": ""
209
                },
210
                "OnAfter": {
211
                    "actions": "",
212
                    "external_fun": "",
213
                    "inputs": "",
214
                    "original_actions": "",
215
                    "outputs": "",
216
                    "variables": ""
217
                },
218
                "OnAt": {
219
                    "actions": "",
220
                    "external_fun": "",
221
                    "inputs": "",
222
                    "original_actions": "",
223
                    "outputs": "",
224
                    "variables": ""
225
                },
226
                "OnBefore": {
227
                    "actions": "",
228
                    "external_fun": "",
229
                    "inputs": "",
230
                    "original_actions": "",
231
                    "outputs": "",
232
                    "variables": ""
233
                },
234
                "OnEvery": {
235
                    "actions": "",
236
                    "external_fun": "",
237
                    "inputs": "",
238
                    "original_actions": "",
239
                    "outputs": "",
240
                    "variables": ""
241
                }
242
            },
243
            "Composition": {
244
                "DefaultTransitions": {
245
                    "Condition": {
246
                        "actions": "",
247
                        "external_fun": "",
248
                        "inputs": "",
249
                        "original_actions": "",
250
                        "outputs": "",
251
                        "variables": ""
252
                    },
253
                    "ConditionAction": {
254
                        "actions": "",
255
                        "external_fun": "",
256
                        "inputs": "",
257
                        "original_actions": "",
258
                        "outputs": "",
259
                        "variables": ""
260
                    },
261
                    "Destination": {
262
                        "Id": 627,
263
                        "Name": "Super6_Super6/A/A1",
264
                        "Type": "State"
265
                    },
266
                    "Event": "",
267
                    "Id": 634,
268
                    "TransitionAction": {
269
                        "actions": "",
270
                        "external_fun": "",
271
                        "inputs": "",
272
                        "original_actions": "",
273
                        "outputs": "",
274
                        "variables": ""
275
                    }
276
                },
277
                "States": 627,
278
                "Substates": "A1",
279
                "Type": "EXCLUSIVE_OR"
280
            },
281
            "Id": 626,
282
            "InnerTransitions": [],
283
            "Name": "A",
284
            "OuterTransitions": {
285
                "Condition": {
286
                    "actions": "",
287
                    "external_fun": "",
288
                    "inputs": "",
289
                    "original_actions": "",
290
                    "outputs": "",
291
                    "variables": ""
292
                },
293
                "ConditionAction": {
294
                    "actions": "",
295
                    "external_fun": "",
296
                    "inputs": "",
297
                    "original_actions": "",
298
                    "outputs": "",
299
                    "variables": ""
300
                },
301
                "Destination": {
302
                    "Id": 630,
303
                    "Name": "Super6_Super6/B",
304
                    "Type": "State"
305
                },
306
                "Event": "E",
307
                "Id": 645,
308
                "TransitionAction": {
309
                    "actions": "",
310
                    "external_fun": "",
311
                    "inputs": "",
312
                    "original_actions": "",
313
                    "outputs": "",
314
                    "variables": ""
315
                }
316
            },
317
            "Path": "Super6_Super6/A"
318
        },
319
        {
320
            "Actions": {
321
                "Bind": {
322
                    "actions": "",
323
                    "external_fun": "",
324
                    "inputs": "",
325
                    "original_actions": "",
326
                    "outputs": "",
327
                    "variables": ""
328
                },
329
                "During": {
330
                    "actions": "",
331
                    "external_fun": "",
332
                    "inputs": "y: int;",
333
                    "original_actions": "y++;",
334
                    "outputs": "y: int;",
335
                    "variables": ""
336
                },
337
                "Entry": {
338
                    "actions": "",
339
                    "external_fun": "",
340
                    "inputs": "",
341
                    "original_actions": "",
342
                    "outputs": "",
343
                    "variables": ""
344
                },
345
                "Exit": {
346
                    "actions": "",
347
                    "external_fun": "",
348
                    "inputs": "",
349
                    "original_actions": "",
350
                    "outputs": "",
351
                    "variables": ""
352
                },
353
                "On": {
354
                    "actions": "",
355
                    "external_fun": "",
356
                    "inputs": "",
357
                    "original_actions": "",
358
                    "outputs": "",
359
                    "variables": ""
360
                },
361
                "OnAfter": {
362
                    "actions": "",
363
                    "external_fun": "",
364
                    "inputs": "",
365
                    "original_actions": "",
366
                    "outputs": "",
367
                    "variables": ""
368
                },
369
                "OnAt": {
370
                    "actions": "",
371
                    "external_fun": "",
372
                    "inputs": "",
373
                    "original_actions": "",
374
                    "outputs": "",
375
                    "variables": ""
376
                },
377
                "OnBefore": {
378
                    "actions": "",
379
                    "external_fun": "",
380
                    "inputs": "",
381
                    "original_actions": "",
382
                    "outputs": "",
383
                    "variables": ""
384
                },
385
                "OnEvery": {
386
                    "actions": "",
387
                    "external_fun": "",
388
                    "inputs": "",
389
                    "original_actions": "",
390
                    "outputs": "",
391
                    "variables": ""
392
                }
393
            },
394
            "Composition": {
395
                "DefaultTransitions": {
396
                    "Condition": {
397
                        "actions": "",
398
                        "external_fun": "",
399
                        "inputs": "",
400
                        "original_actions": "",
401
                        "outputs": "",
402
                        "variables": ""
403
                    },
404
                    "ConditionAction": {
405
                        "actions": "",
406
                        "external_fun": "",
407
                        "inputs": "",
408
                        "original_actions": "",
409
                        "outputs": "",
410
                        "variables": ""
411
                    },
412
                    "Destination": {
413
                        "Id": 631,
414
                        "Name": "Super6_Super6/B/B1",
415
                        "Type": "State"
416
                    },
417
                    "Event": "",
418
                    "Id": 637,
419
                    "TransitionAction": {
420
                        "actions": "",
421
                        "external_fun": "",
422
                        "inputs": "",
423
                        "original_actions": "",
424
                        "outputs": "",
425
                        "variables": ""
426
                    }
427
                },
428
                "States": 631,
429
                "Substates": "B1",
430
                "Type": "EXCLUSIVE_OR"
431
            },
432
            "Id": 630,
433
            "InnerTransitions": [],
434
            "Name": "B",
435
            "OuterTransitions": {
436
                "Condition": {
437
                    "actions": "",
438
                    "external_fun": "",
439
                    "inputs": "",
440
                    "original_actions": "",
441
                    "outputs": "",
442
                    "variables": ""
443
                },
444
                "ConditionAction": {
445
                    "actions": "",
446
                    "external_fun": "",
447
                    "inputs": "",
448
                    "original_actions": "",
449
                    "outputs": "",
450
                    "variables": ""
451
                },
452
                "Destination": {
453
                    "Id": 626,
454
                    "Name": "Super6_Super6/A",
455
                    "Type": "State"
456
                },
457
                "Event": "E",
458
                "Id": 653,
459
                "TransitionAction": {
460
                    "actions": "",
461
                    "external_fun": "",
462
                    "inputs": "",
463
                    "original_actions": "",
464
                    "outputs": "",
465
                    "variables": ""
466
                }
467
            },
468
            "Path": "Super6_Super6/B"
469
        },
470
        {
471
            "Actions": {
472
                "Bind": {
473
                    "actions": "",
474
                    "external_fun": "",
475
                    "inputs": "",
476
                    "original_actions": "",
477
                    "outputs": "",
478
                    "variables": ""
479
                },
480
                "During": {
481
                    "actions": "",
482
                    "external_fun": "",
483
                    "inputs": "y: int;",
484
                    "original_actions": "y++;",
485
                    "outputs": "y: int;",
486
                    "variables": ""
487
                },
488
                "Entry": {
489
                    "actions": "",
490
                    "external_fun": "",
491
                    "inputs": "",
492
                    "original_actions": "",
493
                    "outputs": "",
494
                    "variables": ""
495
                },
496
                "Exit": {
497
                    "actions": "",
498
                    "external_fun": "",
499
                    "inputs": "",
500
                    "original_actions": "",
501
                    "outputs": "",
502
                    "variables": ""
503
                },
504
                "On": {
505
                    "actions": "",
506
                    "external_fun": "",
507
                    "inputs": "",
508
                    "original_actions": "",
509
                    "outputs": "",
510
                    "variables": ""
511
                },
512
                "OnAfter": {
513
                    "actions": "",
514
                    "external_fun": "",
515
                    "inputs": "",
516
                    "original_actions": "",
517
                    "outputs": "",
518
                    "variables": ""
519
                },
520
                "OnAt": {
521
                    "actions": "",
522
                    "external_fun": "",
523
                    "inputs": "",
524
                    "original_actions": "",
525
                    "outputs": "",
526
                    "variables": ""
527
                },
528
                "OnBefore": {
529
                    "actions": "",
530
                    "external_fun": "",
531
                    "inputs": "",
532
                    "original_actions": "",
533
                    "outputs": "",
534
                    "variables": ""
535
                },
536
                "OnEvery": {
537
                    "actions": "",
538
                    "external_fun": "",
539
                    "inputs": "",
540
                    "original_actions": "",
541
                    "outputs": "",
542
                    "variables": ""
543
                }
544
            },
545
            "Composition": {
546
                "DefaultTransitions": {
547
                    "Condition": {
548
                        "actions": "",
549
                        "external_fun": "",
550
                        "inputs": "",
551
                        "original_actions": "",
552
                        "outputs": "",
553
                        "variables": ""
554
                    },
555
                    "ConditionAction": {
556
                        "actions": "",
557
                        "external_fun": "",
558
                        "inputs": "",
559
                        "original_actions": "",
560
                        "outputs": "",
561
                        "variables": ""
562
                    },
563
                    "Destination": {
564
                        "Id": 628,
565
                        "Name": "Super6_Super6/A/A1/A1a",
566
                        "Type": "State"
567
                    },
568
                    "Event": "",
569
                    "Id": 635,
570
                    "TransitionAction": {
571
                        "actions": "",
572
                        "external_fun": "",
573
                        "inputs": "",
574
                        "original_actions": "",
575
                        "outputs": "",
576
                        "variables": ""
577
                    }
578
                },
579
                "States": 628,
580
                "Substates": "A1a",
581
                "Type": "EXCLUSIVE_OR"
582
            },
583
            "Id": 627,
584
            "InnerTransitions": [],
585
            "Name": "A1",
586
            "OuterTransitions": {
587
                "Condition": {
588
                    "actions": "",
589
                    "external_fun": "",
590
                    "inputs": "",
591
                    "original_actions": "",
592
                    "outputs": "",
593
                    "variables": ""
594
                },
595
                "ConditionAction": {
596
                    "actions": "",
597
                    "external_fun": "",
598
                    "inputs": "",
599
                    "original_actions": "",
600
                    "outputs": "",
601
                    "variables": ""
602
                },
603
                "Destination": {
604
                    "Id": 631,
605
                    "Name": "Super6_Super6/B/B1",
606
                    "Type": "State"
607
                },
608
                "Event": "F",
609
                "Id": 647,
610
                "TransitionAction": {
611
                    "actions": "",
612
                    "external_fun": "",
613
                    "inputs": "",
614
                    "original_actions": "",
615
                    "outputs": "",
616
                    "variables": ""
617
                }
618
            },
619
            "Path": "Super6_Super6/A/A1"
620
        },
621
        {
622
            "Actions": {
623
                "Bind": {
624
                    "actions": "",
625
                    "external_fun": "",
626
                    "inputs": "",
627
                    "original_actions": "",
628
                    "outputs": "",
629
                    "variables": ""
630
                },
631
                "During": {
632
                    "actions": "",
633
                    "external_fun": "",
634
                    "inputs": "y: int;",
635
                    "original_actions": "y++;",
636
                    "outputs": "y: int;",
637
                    "variables": ""
638
                },
639
                "Entry": {
640
                    "actions": "",
641
                    "external_fun": "",
642
                    "inputs": "",
643
                    "original_actions": "",
644
                    "outputs": "",
645
                    "variables": ""
646
                },
647
                "Exit": {
648
                    "actions": "",
649
                    "external_fun": "",
650
                    "inputs": "",
651
                    "original_actions": "",
652
                    "outputs": "",
653
                    "variables": ""
654
                },
655
                "On": {
656
                    "actions": "",
657
                    "external_fun": "",
658
                    "inputs": "",
659
                    "original_actions": "",
660
                    "outputs": "",
661
                    "variables": ""
662
                },
663
                "OnAfter": {
664
                    "actions": "",
665
                    "external_fun": "",
666
                    "inputs": "",
667
                    "original_actions": "",
668
                    "outputs": "",
669
                    "variables": ""
670
                },
671
                "OnAt": {
672
                    "actions": "",
673
                    "external_fun": "",
674
                    "inputs": "",
675
                    "original_actions": "",
676
                    "outputs": "",
677
                    "variables": ""
678
                },
679
                "OnBefore": {
680
                    "actions": "",
681
                    "external_fun": "",
682
                    "inputs": "",
683
                    "original_actions": "",
684
                    "outputs": "",
685
                    "variables": ""
686
                },
687
                "OnEvery": {
688
                    "actions": "",
689
                    "external_fun": "",
690
                    "inputs": "",
691
                    "original_actions": "",
692
                    "outputs": "",
693
                    "variables": ""
694
                }
695
            },
696
            "Composition": {
697
                "DefaultTransitions": {
698
                    "Condition": {
699
                        "actions": "",
700
                        "external_fun": "",
701
                        "inputs": "",
702
                        "original_actions": "",
703
                        "outputs": "",
704
                        "variables": ""
705
                    },
706
                    "ConditionAction": {
707
                        "actions": "",
708
                        "external_fun": "",
709
                        "inputs": "",
710
                        "original_actions": "",
711
                        "outputs": "",
712
                        "variables": ""
713
                    },
714
                    "Destination": {
715
                        "Id": 632,
716
                        "Name": "Super6_Super6/B/B1/B1a",
717
                        "Type": "State"
718
                    },
719
                    "Event": "",
720
                    "Id": 638,
721
                    "TransitionAction": {
722
                        "actions": "",
723
                        "external_fun": "",
724
                        "inputs": "",
725
                        "original_actions": "",
726
                        "outputs": "",
727
                        "variables": ""
728
                    }
729
                },
730
                "States": 632,
731
                "Substates": "B1a",
732
                "Type": "EXCLUSIVE_OR"
733
            },
734
            "Id": 631,
735
            "InnerTransitions": [],
736
            "Name": "B1",
737
            "OuterTransitions": {
738
                "Condition": {
739
                    "actions": "",
740
                    "external_fun": "",
741
                    "inputs": "",
742
                    "original_actions": "",
743
                    "outputs": "",
744
                    "variables": ""
745
                },
746
                "ConditionAction": {
747
                    "actions": "",
748
                    "external_fun": "",
749
                    "inputs": "",
750
                    "original_actions": "",
751
                    "outputs": "",
752
                    "variables": ""
753
                },
754
                "Destination": {
755
                    "Id": 627,
756
                    "Name": "Super6_Super6/A/A1",
757
                    "Type": "State"
758
                },
759
                "Event": "F",
760
                "Id": 652,
761
                "TransitionAction": {
762
                    "actions": "",
763
                    "external_fun": "",
764
                    "inputs": "",
765
                    "original_actions": "",
766
                    "outputs": "",
767
                    "variables": ""
768
                }
769
            },
770
            "Path": "Super6_Super6/B/B1"
771
        },
772
        {
773
            "Actions": {
774
                "Bind": {
775
                    "actions": "",
776
                    "external_fun": "",
777
                    "inputs": "",
778
                    "original_actions": "",
779
                    "outputs": "",
780
                    "variables": ""
781
                },
782
                "During": {
783
                    "actions": "",
784
                    "external_fun": "",
785
                    "inputs": "y: int;",
786
                    "original_actions": "y++;",
787
                    "outputs": "y: int;",
788
                    "variables": ""
789
                },
790
                "Entry": {
791
                    "actions": "",
792
                    "external_fun": "",
793
                    "inputs": "",
794
                    "original_actions": "",
795
                    "outputs": "",
796
                    "variables": ""
797
                },
798
                "Exit": {
799
                    "actions": "",
800
                    "external_fun": "",
801
                    "inputs": "",
802
                    "original_actions": "",
803
                    "outputs": "",
804
                    "variables": ""
805
                },
806
                "On": {
807
                    "actions": "",
808
                    "external_fun": "",
809
                    "inputs": "",
810
                    "original_actions": "",
811
                    "outputs": "",
812
                    "variables": ""
813
                },
814
                "OnAfter": {
815
                    "actions": "",
816
                    "external_fun": "",
817
                    "inputs": "",
818
                    "original_actions": "",
819
                    "outputs": "",
820
                    "variables": ""
821
                },
822
                "OnAt": {
823
                    "actions": "",
824
                    "external_fun": "",
825
                    "inputs": "",
826
                    "original_actions": "",
827
                    "outputs": "",
828
                    "variables": ""
829
                },
830
                "OnBefore": {
831
                    "actions": "",
832
                    "external_fun": "",
833
                    "inputs": "",
834
                    "original_actions": "",
835
                    "outputs": "",
836
                    "variables": ""
837
                },
838
                "OnEvery": {
839
                    "actions": "",
840
                    "external_fun": "",
841
                    "inputs": "",
842
                    "original_actions": "",
843
                    "outputs": "",
844
                    "variables": ""
845
                }
846
            },
847
            "Composition": {
848
                "DefaultTransitions": {
849
                    "Condition": {
850
                        "actions": "",
851
                        "external_fun": "",
852
                        "inputs": "",
853
                        "original_actions": "",
854
                        "outputs": "",
855
                        "variables": ""
856
                    },
857
                    "ConditionAction": {
858
                        "actions": "",
859
                        "external_fun": "",
860
                        "inputs": "",
861
                        "original_actions": "",
862
                        "outputs": "",
863
                        "variables": ""
864
                    },
865
                    "Destination": {
866
                        "Id": 629,
867
                        "Name": "Super6_Super6/A/A1/A1a/A1ai",
868
                        "Type": "State"
869
                    },
870
                    "Event": "",
871
                    "Id": 636,
872
                    "TransitionAction": {
873
                        "actions": "",
874
                        "external_fun": "",
875
                        "inputs": "",
876
                        "original_actions": "",
877
                        "outputs": "",
878
                        "variables": ""
879
                    }
880
                },
881
                "States": 629,
882
                "Substates": "A1ai",
883
                "Type": "EXCLUSIVE_OR"
884
            },
885
            "Id": 628,
886
            "InnerTransitions": [],
887
            "Name": "A1a",
888
            "OuterTransitions": {
889
                "Condition": {
890
                    "actions": "",
891
                    "external_fun": "",
892
                    "inputs": "",
893
                    "original_actions": "",
894
                    "outputs": "",
895
                    "variables": ""
896
                },
897
                "ConditionAction": {
898
                    "actions": "",
899
                    "external_fun": "",
900
                    "inputs": "",
901
                    "original_actions": "",
902
                    "outputs": "",
903
                    "variables": ""
904
                },
905
                "Destination": {
906
                    "Id": 632,
907
                    "Name": "Super6_Super6/B/B1/B1a",
908
                    "Type": "State"
909
                },
910
                "Event": "G",
911
                "Id": 648,
912
                "TransitionAction": {
913
                    "actions": "",
914
                    "external_fun": "",
915
                    "inputs": "",
916
                    "original_actions": "",
917
                    "outputs": "",
918
                    "variables": ""
919
                }
920
            },
921
            "Path": "Super6_Super6/A/A1/A1a"
922
        },
923
        {
924
            "Actions": {
925
                "Bind": {
926
                    "actions": "",
927
                    "external_fun": "",
928
                    "inputs": "",
929
                    "original_actions": "",
930
                    "outputs": "",
931
                    "variables": ""
932
                },
933
                "During": {
934
                    "actions": "",
935
                    "external_fun": "",
936
                    "inputs": "y: int;",
937
                    "original_actions": "y++;",
938
                    "outputs": "y: int;",
939
                    "variables": ""
940
                },
941
                "Entry": {
942
                    "actions": "",
943
                    "external_fun": "",
944
                    "inputs": "",
945
                    "original_actions": "",
946
                    "outputs": "",
947
                    "variables": ""
948
                },
949
                "Exit": {
950
                    "actions": "",
951
                    "external_fun": "",
952
                    "inputs": "",
953
                    "original_actions": "",
954
                    "outputs": "",
955
                    "variables": ""
956
                },
957
                "On": {
958
                    "actions": "",
959
                    "external_fun": "",
960
                    "inputs": "",
961
                    "original_actions": "",
962
                    "outputs": "",
963
                    "variables": ""
964
                },
965
                "OnAfter": {
966
                    "actions": "",
967
                    "external_fun": "",
968
                    "inputs": "",
969
                    "original_actions": "",
970
                    "outputs": "",
971
                    "variables": ""
972
                },
973
                "OnAt": {
974
                    "actions": "",
975
                    "external_fun": "",
976
                    "inputs": "",
977
                    "original_actions": "",
978
                    "outputs": "",
979
                    "variables": ""
980
                },
981
                "OnBefore": {
982
                    "actions": "",
983
                    "external_fun": "",
984
                    "inputs": "",
985
                    "original_actions": "",
986
                    "outputs": "",
987
                    "variables": ""
988
                },
989
                "OnEvery": {
990
                    "actions": "",
991
                    "external_fun": "",
992
                    "inputs": "",
993
                    "original_actions": "",
994
                    "outputs": "",
995
                    "variables": ""
996
                }
997
            },
998
            "Composition": {
999
                "DefaultTransitions": {
1000
                    "Condition": {
1001
                        "actions": "",
1002
                        "external_fun": "",
1003
                        "inputs": "",
1004
                        "original_actions": "",
1005
                        "outputs": "",
1006
                        "variables": ""
1007
                    },
1008
                    "ConditionAction": {
1009
                        "actions": "",
1010
                        "external_fun": "",
1011
                        "inputs": "",
1012
                        "original_actions": "",
1013
                        "outputs": "",
1014
                        "variables": ""
1015
                    },
1016
                    "Destination": {
1017
                        "Id": 633,
1018
                        "Name": "Super6_Super6/B/B1/B1a/B1ai",
1019
                        "Type": "State"
1020
                    },
1021
                    "Event": "",
1022
                    "Id": 639,
1023
                    "TransitionAction": {
1024
                        "actions": "",
1025
                        "external_fun": "",
1026
                        "inputs": "",
1027
                        "original_actions": "",
1028
                        "outputs": "",
1029
                        "variables": ""
1030
                    }
1031
                },
1032
                "States": 633,
1033
                "Substates": "B1ai",
1034
                "Type": "EXCLUSIVE_OR"
1035
            },
1036
            "Id": 632,
1037
            "InnerTransitions": [],
1038
            "Name": "B1a",
1039
            "OuterTransitions": {
1040
                "Condition": {
1041
                    "actions": "",
1042
                    "external_fun": "",
1043
                    "inputs": "",
1044
                    "original_actions": "",
1045
                    "outputs": "",
1046
                    "variables": ""
1047
                },
1048
                "ConditionAction": {
1049
                    "actions": "",
1050
                    "external_fun": "",
1051
                    "inputs": "",
1052
                    "original_actions": "",
1053
                    "outputs": "",
1054
                    "variables": ""
1055
                },
1056
                "Destination": {
1057
                    "Id": 628,
1058
                    "Name": "Super6_Super6/A/A1/A1a",
1059
                    "Type": "State"
1060
                },
1061
                "Event": "G",
1062
                "Id": 651,
1063
                "TransitionAction": {
1064
                    "actions": "",
1065
                    "external_fun": "",
1066
                    "inputs": "",
1067
                    "original_actions": "",
1068
                    "outputs": "",
1069
                    "variables": ""
1070
                }
1071
            },
1072
            "Path": "Super6_Super6/B/B1/B1a"
1073
        },
1074
        {
1075
            "Actions": {
1076
                "Bind": {
1077
                    "actions": "",
1078
                    "external_fun": "",
1079
                    "inputs": "",
1080
                    "original_actions": "",
1081
                    "outputs": "",
1082
                    "variables": ""
1083
                },
1084
                "During": {
1085
                    "actions": "",
1086
                    "external_fun": "",
1087
                    "inputs": "y: int;",
1088
                    "original_actions": "y++;",
1089
                    "outputs": "y: int;",
1090
                    "variables": ""
1091
                },
1092
                "Entry": {
1093
                    "actions": "",
1094
                    "external_fun": "",
1095
                    "inputs": "",
1096
                    "original_actions": "",
1097
                    "outputs": "",
1098
                    "variables": ""
1099
                },
1100
                "Exit": {
1101
                    "actions": "",
1102
                    "external_fun": "",
1103
                    "inputs": "",
1104
                    "original_actions": "",
1105
                    "outputs": "",
1106
                    "variables": ""
1107
                },
1108
                "On": {
1109
                    "actions": "",
1110
                    "external_fun": "",
1111
                    "inputs": "",
1112
                    "original_actions": "",
1113
                    "outputs": "",
1114
                    "variables": ""
1115
                },
1116
                "OnAfter": {
1117
                    "actions": "",
1118
                    "external_fun": "",
1119
                    "inputs": "",
1120
                    "original_actions": "",
1121
                    "outputs": "",
1122
                    "variables": ""
1123
                },
1124
                "OnAt": {
1125
                    "actions": "",
1126
                    "external_fun": "",
1127
                    "inputs": "",
1128
                    "original_actions": "",
1129
                    "outputs": "",
1130
                    "variables": ""
1131
                },
1132
                "OnBefore": {
1133
                    "actions": "",
1134
                    "external_fun": "",
1135
                    "inputs": "",
1136
                    "original_actions": "",
1137
                    "outputs": "",
1138
                    "variables": ""
1139
                },
1140
                "OnEvery": {
1141
                    "actions": "",
1142
                    "external_fun": "",
1143
                    "inputs": "",
1144
                    "original_actions": "",
1145
                    "outputs": "",
1146
                    "variables": ""
1147
                }
1148
            },
1149
            "Composition": {
1150
                "DefaultTransitions": [],
1151
                "States": [],
1152
                "Substates": [],
1153
                "Type": "EXCLUSIVE_OR"
1154
            },
1155
            "Id": 629,
1156
            "InnerTransitions": [],
1157
            "Name": "A1ai",
1158
            "OuterTransitions": {
1159
                "Condition": {
1160
                    "actions": "",
1161
                    "external_fun": "",
1162
                    "inputs": "",
1163
                    "original_actions": "",
1164
                    "outputs": "",
1165
                    "variables": ""
1166
                },
1167
                "ConditionAction": {
1168
                    "actions": "",
1169
                    "external_fun": "",
1170
                    "inputs": "",
1171
                    "original_actions": "",
1172
                    "outputs": "",
1173
                    "variables": ""
1174
                },
1175
                "Destination": {
1176
                    "Id": 633,
1177
                    "Name": "Super6_Super6/B/B1/B1a/B1ai",
1178
                    "Type": "State"
1179
                },
1180
                "Event": "H",
1181
                "Id": 649,
1182
                "TransitionAction": {
1183
                    "actions": "",
1184
                    "external_fun": "",
1185
                    "inputs": "",
1186
                    "original_actions": "",
1187
                    "outputs": "",
1188
                    "variables": ""
1189
                }
1190
            },
1191
            "Path": "Super6_Super6/A/A1/A1a/A1ai"
1192
        },
1193
        {
1194
            "Actions": {
1195
                "Bind": {
1196
                    "actions": "",
1197
                    "external_fun": "",
1198
                    "inputs": "",
1199
                    "original_actions": "",
1200
                    "outputs": "",
1201
                    "variables": ""
1202
                },
1203
                "During": {
1204
                    "actions": "",
1205
                    "external_fun": "",
1206
                    "inputs": "y: int;",
1207
                    "original_actions": "y++;",
1208
                    "outputs": "y: int;",
1209
                    "variables": ""
1210
                },
1211
                "Entry": {
1212
                    "actions": "",
1213
                    "external_fun": "",
1214
                    "inputs": "",
1215
                    "original_actions": "",
1216
                    "outputs": "",
1217
                    "variables": ""
1218
                },
1219
                "Exit": {
1220
                    "actions": "",
1221
                    "external_fun": "",
1222
                    "inputs": "",
1223
                    "original_actions": "",
1224
                    "outputs": "",
1225
                    "variables": ""
1226
                },
1227
                "On": {
1228
                    "actions": "",
1229
                    "external_fun": "",
1230
                    "inputs": "",
1231
                    "original_actions": "",
1232
                    "outputs": "",
1233
                    "variables": ""
1234
                },
1235
                "OnAfter": {
1236
                    "actions": "",
1237
                    "external_fun": "",
1238
                    "inputs": "",
1239
                    "original_actions": "",
1240
                    "outputs": "",
1241
                    "variables": ""
1242
                },
1243
                "OnAt": {
1244
                    "actions": "",
1245
                    "external_fun": "",
1246
                    "inputs": "",
1247
                    "original_actions": "",
1248
                    "outputs": "",
1249
                    "variables": ""
1250
                },
1251
                "OnBefore": {
1252
                    "actions": "",
1253
                    "external_fun": "",
1254
                    "inputs": "",
1255
                    "original_actions": "",
1256
                    "outputs": "",
1257
                    "variables": ""
1258
                },
1259
                "OnEvery": {
1260
                    "actions": "",
1261
                    "external_fun": "",
1262
                    "inputs": "",
1263
                    "original_actions": "",
1264
                    "outputs": "",
1265
                    "variables": ""
1266
                }
1267
            },
1268
            "Composition": {
1269
                "DefaultTransitions": [],
1270
                "States": [],
1271
                "Substates": [],
1272
                "Type": "EXCLUSIVE_OR"
1273
            },
1274
            "Id": 633,
1275
            "InnerTransitions": [],
1276
            "Name": "B1ai",
1277
            "OuterTransitions": {
1278
                "Condition": {
1279
                    "actions": "",
1280
                    "external_fun": "",
1281
                    "inputs": "",
1282
                    "original_actions": "",
1283
                    "outputs": "",
1284
                    "variables": ""
1285
                },
1286
                "ConditionAction": {
1287
                    "actions": "",
1288
                    "external_fun": "",
1289
                    "inputs": "",
1290
                    "original_actions": "",
1291
                    "outputs": "",
1292
                    "variables": ""
1293
                },
1294
                "Destination": {
1295
                    "Id": 629,
1296
                    "Name": "Super6_Super6/A/A1/A1a/A1ai",
1297
                    "Type": "State"
1298
                },
1299
                "Event": "H",
1300
                "Id": 650,
1301
                "TransitionAction": {
1302
                    "actions": "",
1303
                    "external_fun": "",
1304
                    "inputs": "",
1305
                    "original_actions": "",
1306
                    "outputs": "",
1307
                    "variables": ""
1308
                }
1309
            },
1310
            "Path": "Super6_Super6/B/B1/B1a/B1ai"
1311
        }
1312
    ],
1313
    "TruthTables": []
1314
}