Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (41.3 KB)

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