aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_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/na_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/na_rep')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017131.xmi (renamed from Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017419.xmi)157
1 files changed, 84 insertions, 73 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017419.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017131.xmi
index 369760bf..39780f72 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017419.xmi
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakinduum/na_rep/R_2017131.xmi
@@ -1,130 +1,141 @@
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.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.5/@outgoingTransitions.0"> 4 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.1/@outgoingTransitions.0">
5 <outgoingTransitions target="//@regions.0/@vertices.1"/>
5 <regions> 6 <regions>
6 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.3"> 7 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0">
7 <outgoingTransitions target="//@regions.0/@vertices.1"/>
8 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
9 </vertices>
10 <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.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.1">
11 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/> 8 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
9 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
12 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/> 10 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
13 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/> 11 </vertices>
12 <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.0/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1">
13 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/>
14 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/> 14 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
15 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/>
15 </vertices> 16 </vertices>
16 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"> 17 <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.3/@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">
17 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/> 18 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
19 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.12"/>
20 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.11"/>
18 </vertices> 21 </vertices>
19 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.3"> 22 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.1">
20 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 23 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
21 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 24 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/>
25 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.6"/>
22 </vertices> 26 </vertices>
23 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1"> 27 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.2">
24 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 28 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
25 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/> 29 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
26 </vertices> 30 </vertices>
27 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0"> 31 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0">
28 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.6"/> 32 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
29 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/>
30 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/> 33 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
31 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
32 </vertices> 34 </vertices>
33 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0"> 35 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.2">
34 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/> 36 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
35 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/> 37 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
36 </vertices> 38 </vertices>
37 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.1"> 39 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1">
38 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/> 40 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
39 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/> 41 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
40 </vertices> 42 </vertices>
41 <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.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.3 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1"> 43 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
42 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/>
43 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/>
44 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
45 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/> 44 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
46 </vertices> 45 </vertices>
47 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.1"> 46 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2">
48 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/> 47 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
49 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/> 48 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
49 </vertices>
50 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0">
51 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
52 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
53 </vertices>
54 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.2">
55 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
56 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
50 </vertices> 57 </vertices>
51 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0"> 58 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.1">
52 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/> 59 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
53 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/> 60 <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.2"/>
54 </vertices> 61 </vertices>
55 </regions> 62 </regions>
56 </vertices> 63 </vertices>
57 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.1"> 64 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.0">
58 <outgoingTransitions target="//@regions.0/@vertices.0"/> 65 <outgoingTransitions target="//@regions.0/@vertices.0"/>
59 <regions> 66 <regions>
60 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.0">
61 <outgoingTransitions target="//@regions.0/@vertices.3"/>
62 </vertices>
63 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.1">
64 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
65 <outgoingTransitions target="//@regions.0/@vertices.3"/>
66 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.5"/>
67 </vertices>
68 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.6/@outgoingTransitions.0"/>
69 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.6/@outgoingTransitions.1">
70 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.7"/>
71 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.6"/>
72 </vertices>
73 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"> 67 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
74 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/> 68 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
75 </vertices> 69 </vertices>
76 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.2"> 70 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.2">
77 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/> 71 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/>
72 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.4"/>
73 <outgoingTransitions target="//@regions.0/@vertices.3"/>
74 </vertices>
75 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.0">
76 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
77 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
78 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/> 78 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
79 </vertices> 79 </vertices>
80 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@outgoingTransitions.1"> 80 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.2/@outgoingTransitions.1"/>
81 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/> 81 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.2">
82 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.7"/>
83 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.5"/>
84 </vertices>
85 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.4/@outgoingTransitions.1">
86 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.4"/>
82 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/> 87 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
88 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.4"/>
89 </vertices>
90 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.0">
91 <outgoingTransitions target="//@regions.0/@vertices.2"/>
83 </vertices> 92 </vertices>
84 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@outgoingTransitions.0"> 93 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.4/@outgoingTransitions.0">
85 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.0"/> 94 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.6"/>
86 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.0"/> 95 <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.6"/>
87 </vertices> 96 </vertices>
88 </regions> 97 </regions>
89 </vertices> 98 </vertices>
90 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.3/@outgoingTransitions.0"> 99 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.6/@outgoingTransitions.0">
91 <outgoingTransitions target="//@regions.0/@vertices.0"/> 100 <outgoingTransitions target="//@regions.0/@vertices.0"/>
92 <regions> 101 <regions>
93 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.1"> 102 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.1 //@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.0">
94 <outgoingTransitions target="//@regions.0/@vertices.4"/> 103 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
95 </vertices>
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.5/@outgoingTransitions.1">
97 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 104 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
98 <outgoingTransitions target="//@regions.0/@vertices.4"/> 105 <outgoingTransitions target="//@regions.0/@vertices.4"/>
99 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/>
100 </vertices> 106 </vertices>
101 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.0"/> 107 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.2/@outgoingTransitions.2 //@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.2"/>
102 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.1"> 108 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0">
103 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.6"/> 109 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
104 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.7"/> 110 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
105 </vertices>
106 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
107 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/> 111 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/>
108 </vertices> 112 </vertices>
109 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.2"> 113 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.1 //@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.1">
110 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/> 114 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.4"/>
111 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/> 115 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.6"/>
112 </vertices> 116 </vertices>
113 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0"> 117 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0">
114 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
115 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/> 118 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
119 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
120 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/>
121 </vertices>
122 <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.1">
123 <outgoingTransitions target="//@regions.0/@vertices.1"/>
116 </vertices> 124 </vertices>
117 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.1"> 125 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.1">
118 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/> 126 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/>
127 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/>
128 </vertices>
129 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
119 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/> 130 <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
120 </vertices> 131 </vertices>
121 </regions> 132 </regions>
122 </vertices> 133 </vertices>
123 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.1"> 134 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.2">
124 <outgoingTransitions target="//@regions.0/@vertices.2"/> 135 <outgoingTransitions target="//@regions.0/@vertices.2"/>
125 <outgoingTransitions target="//@regions.0/@vertices.2"/> 136 <outgoingTransitions target="//@regions.0/@vertices.2"/>
126 </vertices> 137 </vertices>
127 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.1"> 138 <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.2">
128 <outgoingTransitions target="//@regions.0/@vertices.1"/> 139 <outgoingTransitions target="//@regions.0/@vertices.1"/>
129 <outgoingTransitions target="//@regions.0/@vertices.1"/> 140 <outgoingTransitions target="//@regions.0/@vertices.1"/>
130 </vertices> 141 </vertices>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 12:41:36 +0000