Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (51.8 KB)

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