aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep
diff options
context:
space:
mode:
authorLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2019-07-31 14:45:06 -0400
committerLibravatar 20001LastOrder <boqi.chen@mail.mcgill.ca>2019-07-31 14:45:06 -0400
commit5e8b8c3a817dd9f7ae46338b6dbd3684dfb885fe (patch)
tree61b473589e5e43a58481ea28b7bbeeaf0860dcdb /Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep
parentconsider node types during generation (diff)
downloadVIATRA-Generator-5e8b8c3a817dd9f7ae46338b6dbd3684dfb885fe.tar.gz
VIATRA-Generator-5e8b8c3a817dd9f7ae46338b6dbd3684dfb885fe.tar.zst
VIATRA-Generator-5e8b8c3a817dd9f7ae46338b6dbd3684dfb885fe.zip
Further development of realistic solver, create generation config for ecore models
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2015194.xmi (renamed from Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi)180
1 files changed, 92 insertions, 88 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2015194.xmi
index 493a1731..25ff5ce0 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2016324.xmi
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/mpc_rep/R_2015194.xmi
@@ -1,60 +1,45 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> 2<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm">
3 <regions> 3 <regions>
4 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.1/@outgoingTransitions.0"> 4 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0">
5 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/> 5 <outgoingTransitions target="//@regions.0/@vertices.1"/>
6 <regions> 6 <regions>
7 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2"> 7 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.1">
8 <regions>
9 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
10 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1"/>
11 </vertices>
12 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0">
13 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3"/>
14 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2"/>
15 </vertices>
16 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1">
17 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3"/>
18 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
19 </vertices>
20 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0">
21 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2"/>
22 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
23 </vertices>
24 </regions>
25 </vertices>
26 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.12/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.2">
27 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.12"/> 8 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.12"/>
28 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.11"/> 9 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
29 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
30 </vertices>
31 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.13/@outgoingTransitions.1">
32 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.13"/> 10 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.13"/>
11 </vertices>
12 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.14/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.15/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.15/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.14/@outgoingTransitions.1">
33 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/> 13 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/>
34 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 14 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.14"/>
15 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.15"/>
35 </vertices> 16 </vertices>
36 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1"> 17 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1">
37 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 18 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
38 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/> 19 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
39 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.6"/>
40 </vertices> 20 </vertices>
41 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1"> 21 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1">
42 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/> 22 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
43 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/> 23 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
24 </vertices>
25 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1">
26 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
27 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
44 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/> 28 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/>
45 </vertices> 29 </vertices>
46 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"> 30 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.11/@outgoingTransitions.1">
47 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/> 31 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
32 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/>
33 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.11"/>
48 </vertices> 34 </vertices>
49 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.2"> 35 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
50 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/> 36 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
51 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
52 </vertices> 37 </vertices>
53 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1"> 38 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0">
54 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
55 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/> 39 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
40 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
56 </vertices> 41 </vertices>
57 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0"> 42 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.1">
58 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 43 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
59 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 44 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
60 </vertices> 45 </vertices>
@@ -62,67 +47,86 @@
62 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 47 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
63 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 48 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
64 </vertices> 49 </vertices>
65 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1"> 50 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.1">
66 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/> 51 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
67 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/> 52 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
53 </vertices>
54 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.2">
55 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
56 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
57 </vertices>
58 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0">
59 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
60 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
61 </vertices>
62 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.2">
63 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
64 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
68 </vertices> 65 </vertices>
69 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1"> 66 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1">
70 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 67 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
71 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 68 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
72 </vertices> 69 </vertices>
73 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0"> 70 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2">
74 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 71 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
75 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 72 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
76 </vertices> 73 </vertices>
77 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0">
78 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
79 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
80 </vertices>
81 </regions> 74 </regions>
82 </vertices> 75 </vertices>
83 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"> 76 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0">
84 <outgoingTransitions target="//@regions.0/@vertices.0"/>
85 </vertices>
86 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State">
87 <outgoingTransitions target="//@regions.0/@vertices.0"/> 77 <outgoingTransitions target="//@regions.0/@vertices.0"/>
88 <regions> 78 <regions>
89 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry" incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0"> 79 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
90 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/> 80 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/>
91 </vertices> 81 </vertices>
92 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0"> 82 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.0"/>
93 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/> 83 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.0/@outgoingTransitions.0">
94 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 84 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
95 </vertices> 85 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
96 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.9/@outgoingTransitions.1"> 86 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
97 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.8"/> 87 <regions>
98 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.10"/> 88 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.1">
99 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.4"/> 89 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.4"/>
100 </vertices> 90 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0"/>
101 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.8/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.1 //@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.8/@outgoingTransitions.1"> 91 </vertices>
102 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.7"/> 92 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.1">
103 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.9"/> 93 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1"/>
104 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.10"/> 94 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.5"/>
105 </vertices> 95 </vertices>
106 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.2"> 96 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0">
107 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/> 97 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0"/>
108 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/> 98 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1"/>
109 </vertices> 99 </vertices>
110 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.1"/> 100 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
111 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.1"/> 101 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.2"/>
112 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0"> 102 </vertices>
113 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 103 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0">
114 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.6"/> 104 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1"/>
115 </vertices> 105 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1"/>
116 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.0"> 106 </vertices>
117 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 107 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.1">
118 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 108 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0"/>
119 </vertices> 109 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2/@regions.0/@vertices.0"/>
120 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.1"> 110 </vertices>
121 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/> 111 </regions>
122 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/> 112 </vertices>
123 </vertices> 113 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.2">
124 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.2 //@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.1"/> 114 <regions>
115 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.2/@outgoingTransitions.1"/>
116 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.2/@outgoingTransitions.0"/>
117 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.3/@outgoingTransitions.0">
118 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.1"/>
119 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.0"/>
120 </vertices>
121 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
122 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3/@regions.0/@vertices.2"/>
123 </vertices>
124 </regions>
125 </vertices>
125 </regions> 126 </regions>
126 </vertices> 127 </vertices>
128 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
129 <outgoingTransitions target="//@regions.0/@vertices.0"/>
130 </vertices>
127 </regions> 131 </regions>
128</hu.bme.mit.inf.yakindumm:Statechart> 132</hu.bme.mit.inf.yakindumm:Statechart>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 07:24:41 +0000