Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (35.7 KB)

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