Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (34.6 KB)

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