aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-07-05 14:23:44 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-07-05 14:23:44 +0200
commitbb231e3cc43aab160dde5bd2ffce2ac6ee829c85 (patch)
tree6dc2ffad67e4ad443910bcb4a4719e3557469c43 /Domains
parentfull Ecore -> Logic -> Ecore support (diff)
downloadVIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.gz
VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.zst
VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.zip
Bug with outgoing transitions in yakindu example.
Diffstat (limited to 'Domains')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird28
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg513
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql4
3 files changed, 341 insertions, 204 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
index 4676d4bf..bbfea220 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
@@ -55,7 +55,7 @@
55 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-JFm6uEeaxlsDSOll0vg"/> 55 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-JFm6uEeaxlsDSOll0vg"/>
56 </children> 56 </children>
57 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JEW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> 57 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JEW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/>
58 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="420" y="570" height="28"/> 58 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="240" y="380" height="28"/>
59 </children> 59 </children>
60 <children xmi:type="notation:Node" xmi:id="_5T-JF26uEeaxlsDSOll0vg" type="2003" element="_5TqAAG6uEeaxlsDSOll0vg"> 60 <children xmi:type="notation:Node" xmi:id="_5T-JF26uEeaxlsDSOll0vg" type="2003" element="_5TqAAG6uEeaxlsDSOll0vg">
61 <children xmi:type="notation:Node" xmi:id="_5T-wIG6uEeaxlsDSOll0vg" type="5007"/> 61 <children xmi:type="notation:Node" xmi:id="_5T-wIG6uEeaxlsDSOll0vg" type="5007"/>
@@ -64,7 +64,7 @@
64 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-wI26uEeaxlsDSOll0vg"/> 64 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-wI26uEeaxlsDSOll0vg"/>
65 </children> 65 </children>
66 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JGG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> 66 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JGG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/>
67 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JGW6uEeaxlsDSOll0vg" x="625" y="505" height="28"/> 67 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JGW6uEeaxlsDSOll0vg" x="445" y="315" height="28"/>
68 </children> 68 </children>
69 <children xmi:type="notation:Node" xmi:id="_5T-wJG6uEeaxlsDSOll0vg" type="2003" element="_5TqnEW6uEeaxlsDSOll0vg"> 69 <children xmi:type="notation:Node" xmi:id="_5T-wJG6uEeaxlsDSOll0vg" type="2003" element="_5TqnEW6uEeaxlsDSOll0vg">
70 <children xmi:type="notation:Node" xmi:id="_5T_XMG6uEeaxlsDSOll0vg" type="5007"/> 70 <children xmi:type="notation:Node" xmi:id="_5T_XMG6uEeaxlsDSOll0vg" type="5007"/>
@@ -73,7 +73,7 @@
73 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_XM26uEeaxlsDSOll0vg"/> 73 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_XM26uEeaxlsDSOll0vg"/>
74 </children> 74 </children>
75 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-wJW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 75 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-wJW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
76 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-wJm6uEeaxlsDSOll0vg" x="818" y="505" height="28"/> 76 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-wJm6uEeaxlsDSOll0vg" x="638" y="315" height="28"/>
77 </children> 77 </children>
78 <children xmi:type="notation:Node" xmi:id="_5T_XNG6uEeaxlsDSOll0vg" type="2003" element="_5TrOIW6uEeaxlsDSOll0vg"> 78 <children xmi:type="notation:Node" xmi:id="_5T_XNG6uEeaxlsDSOll0vg" type="2003" element="_5TrOIW6uEeaxlsDSOll0vg">
79 <children xmi:type="notation:Node" xmi:id="_5T_-QG6uEeaxlsDSOll0vg" type="5007"/> 79 <children xmi:type="notation:Node" xmi:id="_5T_-QG6uEeaxlsDSOll0vg" type="5007"/>
@@ -82,7 +82,7 @@
82 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_-Q26uEeaxlsDSOll0vg"/> 82 <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_-Q26uEeaxlsDSOll0vg"/>
83 </children> 83 </children>
84 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T_XNW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 84 <styles xmi:type="notation:ShapeStyle" xmi:id="_5T_XNW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
85 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="285" y="505" height="28"/> 85 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="105" y="315" height="28"/>
86 </children> 86 </children>
87 <children xmi:type="notation:Node" xmi:id="_5UAlUG6uEeaxlsDSOll0vg" type="2003" element="_5TscQG6uEeaxlsDSOll0vg"> 87 <children xmi:type="notation:Node" xmi:id="_5UAlUG6uEeaxlsDSOll0vg" type="2003" element="_5TscQG6uEeaxlsDSOll0vg">
88 <children xmi:type="notation:Node" xmi:id="_5UBMYG6uEeaxlsDSOll0vg" type="5007"/> 88 <children xmi:type="notation:Node" xmi:id="_5UBMYG6uEeaxlsDSOll0vg" type="5007"/>
@@ -91,7 +91,7 @@
91 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UBzcm6uEeaxlsDSOll0vg"/> 91 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UBzcm6uEeaxlsDSOll0vg"/>
92 </children> 92 </children>
93 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UAlUW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 93 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UAlUW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
94 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="846" y="635" width="90" height="28"/> 94 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="666" y="445" width="90" height="28"/>
95 </children> 95 </children>
96 <children xmi:type="notation:Node" xmi:id="_5UBzc26uEeaxlsDSOll0vg" type="2003" element="_5TtqYG6uEeaxlsDSOll0vg"> 96 <children xmi:type="notation:Node" xmi:id="_5UBzc26uEeaxlsDSOll0vg" type="2003" element="_5TtqYG6uEeaxlsDSOll0vg">
97 <children xmi:type="notation:Node" xmi:id="_5UBzdm6uEeaxlsDSOll0vg" type="5007"/> 97 <children xmi:type="notation:Node" xmi:id="_5UBzdm6uEeaxlsDSOll0vg" type="5007"/>
@@ -100,7 +100,7 @@
100 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCagm6uEeaxlsDSOll0vg"/> 100 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCagm6uEeaxlsDSOll0vg"/>
101 </children> 101 </children>
102 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UBzdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 102 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UBzdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
103 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="290" y="635" width="65" height="28"/> 103 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="110" y="445" width="65" height="28"/>
104 </children> 104 </children>
105 <children xmi:type="notation:Node" xmi:id="_5UCag26uEeaxlsDSOll0vg" type="2003" element="_5TuRcW6uEeaxlsDSOll0vg"> 105 <children xmi:type="notation:Node" xmi:id="_5UCag26uEeaxlsDSOll0vg" type="2003" element="_5TuRcW6uEeaxlsDSOll0vg">
106 <children xmi:type="notation:Node" xmi:id="_5UCahm6uEeaxlsDSOll0vg" type="5007"/> 106 <children xmi:type="notation:Node" xmi:id="_5UCahm6uEeaxlsDSOll0vg" type="5007"/>
@@ -109,7 +109,7 @@
109 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCaiW6uEeaxlsDSOll0vg"/> 109 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCaiW6uEeaxlsDSOll0vg"/>
110 </children> 110 </children>
111 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCahG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 111 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCahG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
112 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCahW6uEeaxlsDSOll0vg" x="525" y="635" width="123" height="28"/> 112 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCahW6uEeaxlsDSOll0vg" x="345" y="445" width="123" height="28"/>
113 </children> 113 </children>
114 <children xmi:type="notation:Node" xmi:id="_5UCaim6uEeaxlsDSOll0vg" type="2003" element="_5TvfkG6uEeaxlsDSOll0vg"> 114 <children xmi:type="notation:Node" xmi:id="_5UCaim6uEeaxlsDSOll0vg" type="2003" element="_5TvfkG6uEeaxlsDSOll0vg">
115 <children xmi:type="notation:Node" xmi:id="_5UDBkG6uEeaxlsDSOll0vg" type="5007"/> 115 <children xmi:type="notation:Node" xmi:id="_5UDBkG6uEeaxlsDSOll0vg" type="5007"/>
@@ -118,7 +118,7 @@
118 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDBk26uEeaxlsDSOll0vg"/> 118 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDBk26uEeaxlsDSOll0vg"/>
119 </children> 119 </children>
120 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCai26uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 120 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCai26uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
121 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="763" y="635" width="75" height="28"/> 121 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="583" y="445" width="75" height="28"/>
122 </children> 122 </children>
123 <children xmi:type="notation:Node" xmi:id="_5UDBlG6uEeaxlsDSOll0vg" type="2003" element="_5TwGoG6uEeaxlsDSOll0vg"> 123 <children xmi:type="notation:Node" xmi:id="_5UDBlG6uEeaxlsDSOll0vg" type="2003" element="_5TwGoG6uEeaxlsDSOll0vg">
124 <children xmi:type="notation:Node" xmi:id="_5UDBl26uEeaxlsDSOll0vg" type="5007"/> 124 <children xmi:type="notation:Node" xmi:id="_5UDBl26uEeaxlsDSOll0vg" type="5007"/>
@@ -127,7 +127,7 @@
127 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDoom6uEeaxlsDSOll0vg"/> 127 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDoom6uEeaxlsDSOll0vg"/>
128 </children> 128 </children>
129 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UDBlW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> 129 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UDBlW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/>
130 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UDBlm6uEeaxlsDSOll0vg" x="690" y="570" height="28"/> 130 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UDBlm6uEeaxlsDSOll0vg" x="510" y="380" height="28"/>
131 </children> 131 </children>
132 <children xmi:type="notation:Node" xmi:id="_5UDoo26uEeaxlsDSOll0vg" type="2003" element="_5TwGom6uEeaxlsDSOll0vg"> 132 <children xmi:type="notation:Node" xmi:id="_5UDoo26uEeaxlsDSOll0vg" type="2003" element="_5TwGom6uEeaxlsDSOll0vg">
133 <children xmi:type="notation:Node" xmi:id="_5UDopm6uEeaxlsDSOll0vg" type="5007"/> 133 <children xmi:type="notation:Node" xmi:id="_5UDopm6uEeaxlsDSOll0vg" type="5007"/>
@@ -136,7 +136,7 @@
136 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDoqW6uEeaxlsDSOll0vg"/> 136 <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDoqW6uEeaxlsDSOll0vg"/>
137 </children> 137 </children>
138 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UDopG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/> 138 <styles xmi:type="notation:ShapeStyle" xmi:id="_5UDopG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/>
139 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UDopW6uEeaxlsDSOll0vg" x="818" y="570" height="28"/> 139 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UDopW6uEeaxlsDSOll0vg" x="638" y="380" height="28"/>
140 </children> 140 </children>
141 <children xmi:type="notation:Node" xmi:id="_AmCEgFW5Eee9fLm-jLw3Vg" type="2003" element="_AlQBYFW5Eee9fLm-jLw3Vg"> 141 <children xmi:type="notation:Node" xmi:id="_AmCEgFW5Eee9fLm-jLw3Vg" type="2003" element="_AlQBYFW5Eee9fLm-jLw3Vg">
142 <children xmi:type="notation:Node" xmi:id="_AmKAUFW5Eee9fLm-jLw3Vg" type="5007"/> 142 <children xmi:type="notation:Node" xmi:id="_AmKAUFW5Eee9fLm-jLw3Vg" type="5007"/>
@@ -145,7 +145,7 @@
145 <styles xmi:type="notation:FilteringStyle" xmi:id="_AmLOclW5Eee9fLm-jLw3Vg"/> 145 <styles xmi:type="notation:FilteringStyle" xmi:id="_AmLOclW5Eee9fLm-jLw3Vg"/>
146 </children> 146 </children>
147 <styles xmi:type="notation:ShapeStyle" xmi:id="_AmCEgVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> 147 <styles xmi:type="notation:ShapeStyle" xmi:id="_AmCEgVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>
148 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="445" y="635" width="75" height="41"/> 148 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="265" y="445" width="75" height="41"/>
149 </children> 149 </children>
150 <children xmi:type="notation:Node" xmi:id="_Fj8wAFW5Eee9fLm-jLw3Vg" type="2003" element="_FjXhMFW5Eee9fLm-jLw3Vg"> 150 <children xmi:type="notation:Node" xmi:id="_Fj8wAFW5Eee9fLm-jLw3Vg" type="2003" element="_FjXhMFW5Eee9fLm-jLw3Vg">
151 <children xmi:type="notation:Node" xmi:id="_Fj9XEFW5Eee9fLm-jLw3Vg" type="5007"/> 151 <children xmi:type="notation:Node" xmi:id="_Fj9XEFW5Eee9fLm-jLw3Vg" type="5007"/>
@@ -154,7 +154,7 @@
154 <styles xmi:type="notation:FilteringStyle" xmi:id="_Fj9-IVW5Eee9fLm-jLw3Vg"/> 154 <styles xmi:type="notation:FilteringStyle" xmi:id="_Fj9-IVW5Eee9fLm-jLw3Vg"/>
155 </children> 155 </children>
156 <styles xmi:type="notation:ShapeStyle" xmi:id="_Fj8wAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> 156 <styles xmi:type="notation:ShapeStyle" xmi:id="_Fj8wAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>
157 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="362" y="635" width="73" height="41"/> 157 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="182" y="445" width="73" height="41"/>
158 </children> 158 </children>
159 <children xmi:type="notation:Node" xmi:id="_nXiyAFaYEee9fLm-jLw3Vg" type="2003" element="_nXVWoFaYEee9fLm-jLw3Vg"> 159 <children xmi:type="notation:Node" xmi:id="_nXiyAFaYEee9fLm-jLw3Vg" type="2003" element="_nXVWoFaYEee9fLm-jLw3Vg">
160 <children xmi:type="notation:Node" xmi:id="_nXjZEFaYEee9fLm-jLw3Vg" type="5007"/> 160 <children xmi:type="notation:Node" xmi:id="_nXjZEFaYEee9fLm-jLw3Vg" type="5007"/>
@@ -163,7 +163,7 @@
163 <styles xmi:type="notation:FilteringStyle" xmi:id="_nXjZE1aYEee9fLm-jLw3Vg"/> 163 <styles xmi:type="notation:FilteringStyle" xmi:id="_nXjZE1aYEee9fLm-jLw3Vg"/>
164 </children> 164 </children>
165 <styles xmi:type="notation:ShapeStyle" xmi:id="_nXiyAVaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/> 165 <styles xmi:type="notation:ShapeStyle" xmi:id="_nXiyAVaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>
166 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="655" y="635" width="103" height="41"/> 166 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="475" y="445" width="103" height="41"/>
167 </children> 167 </children>
168 <styles xmi:type="notation:DiagramStyle" xmi:id="_427AuG6uEeaxlsDSOll0vg"/> 168 <styles xmi:type="notation:DiagramStyle" xmi:id="_427AuG6uEeaxlsDSOll0vg"/>
169 <edges xmi:type="notation:Edge" xmi:id="_5UEPsG6uEeaxlsDSOll0vg" type="4001" element="_5T2NQG6uEeaxlsDSOll0vg" source="_5T-wJG6uEeaxlsDSOll0vg" target="_5T-JF26uEeaxlsDSOll0vg"> 169 <edges xmi:type="notation:Edge" xmi:id="_5UEPsG6uEeaxlsDSOll0vg" type="4001" element="_5T2NQG6uEeaxlsDSOll0vg" source="_5T-wJG6uEeaxlsDSOll0vg" target="_5T-JF26uEeaxlsDSOll0vg">
@@ -227,6 +227,8 @@
227 <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UHTCW6uEeaxlsDSOll0vg"/> 227 <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UHTCW6uEeaxlsDSOll0vg"/>
228 <styles xmi:type="notation:FontStyle" xmi:id="_5UHTCm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/> 228 <styles xmi:type="notation:FontStyle" xmi:id="_5UHTCm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>
229 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UHTC26uEeaxlsDSOll0vg" points="[-4, -19, 9, 46]$[-4, -45, 9, 20]"/> 229 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UHTC26uEeaxlsDSOll0vg" points="[-4, -19, 9, 46]$[-4, -45, 9, 20]"/>
230 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6grgFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/>
231 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6s4wFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/>
230 </edges> 232 </edges>
231 <edges xmi:type="notation:Edge" xmi:id="_5UIhIG6uEeaxlsDSOll0vg" type="4001" element="_5T53oG6uEeaxlsDSOll0vg" source="_5UBzc26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg"> 233 <edges xmi:type="notation:Edge" xmi:id="_5UIhIG6uEeaxlsDSOll0vg" type="4001" element="_5T53oG6uEeaxlsDSOll0vg" source="_5UBzc26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg">
232 <children xmi:type="notation:Node" xmi:id="_5UIhJG6uEeaxlsDSOll0vg" type="6001"> 234 <children xmi:type="notation:Node" xmi:id="_5UIhJG6uEeaxlsDSOll0vg" type="6001">
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg
index ec1eec69..356969f9 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg
@@ -1,52 +1,104 @@
1<?xml version="1.0" encoding="UTF-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-dasharray="none" shape-rendering="auto" font-family="'Dialog'" width="668" text-rendering="auto" fill-opacity="1" contentScriptType="text/ecmascript" color-interpolation="auto" color-rendering="auto" preserveAspectRatio="xMidYMid meet" font-size="12" viewBox="0 0 668 209" fill="black" stroke="black" image-rendering="auto" stroke-miterlimit="10" zoomAndPan="magnify" version="1.0" stroke-linecap="square" stroke-linejoin="miter" contentStyleType="text/css" font-style="normal" height="209" stroke-width="1" stroke-dashoffset="0" font-weight="normal" stroke-opacity="1"> 1<?xml version="1.0" encoding="UTF-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-dasharray="none" shape-rendering="auto" font-family="'Dialog'" width="673" text-rendering="auto" fill-opacity="1" contentScriptType="text/ecmascript" color-interpolation="auto" color-rendering="auto" preserveAspectRatio="xMidYMid meet" font-size="12" viewBox="0 0 673 209" fill="black" stroke="black" image-rendering="auto" stroke-miterlimit="10" zoomAndPan="magnify" version="1.0" stroke-linecap="square" stroke-linejoin="miter" contentStyleType="text/css" font-style="normal" height="209" stroke-width="1" stroke-dashoffset="0" font-weight="normal" stroke-opacity="1">
2<!--Generated by the Batik Graphics2D SVG Generator--> 2<!--Generated by the Batik Graphics2D SVG Generator-->
3<defs id="genericDefs"/> 3<defs id="genericDefs"/>
4<g> 4<g>
5<defs id="defs1"> 5<defs id="defs1">
6<linearGradient x1="145" x2="263" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient1" xlink:show="other" spreadMethod="pad">
7<stop stop-opacity="1" stop-color="white" offset="0%"/>
8<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
9</linearGradient>
10<linearGradient x1="350" x2="468" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient2" xlink:show="other" spreadMethod="pad">
11<stop stop-opacity="1" stop-color="white" offset="0%"/>
12<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
13</linearGradient>
14<linearGradient x1="543" x2="661" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient3" xlink:show="other" spreadMethod="pad">
15<stop stop-opacity="1" stop-color="white" offset="0%"/>
16<stop stop-opacity="1" stop-color="white" offset="100%"/>
17</linearGradient>
18<linearGradient x1="10" x2="128" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient4" xlink:show="other" spreadMethod="pad">
19<stop stop-opacity="1" stop-color="white" offset="0%"/>
20<stop stop-opacity="1" stop-color="white" offset="100%"/>
21</linearGradient>
22<linearGradient x1="571" x2="659" y1="146" gradientUnits="userSpaceOnUse" y2="209" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient5" xlink:show="other" spreadMethod="pad">
23<stop stop-opacity="1" stop-color="white" offset="0%"/>
24<stop stop-opacity="1" stop-color="white" offset="100%"/>
25</linearGradient>
26<linearGradient x1="15" x2="78" y1="152" gradientUnits="userSpaceOnUse" y2="203" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient6" xlink:show="other" spreadMethod="pad">
27<stop stop-opacity="1" stop-color="white" offset="0%"/>
28<stop stop-opacity="1" stop-color="white" offset="100%"/>
29</linearGradient>
30<linearGradient x1="250" x2="371" y1="138" gradientUnits="userSpaceOnUse" y2="218" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient7" xlink:show="other" spreadMethod="pad">
31<stop stop-opacity="1" stop-color="white" offset="0%"/>
32<stop stop-opacity="1" stop-color="white" offset="100%"/>
33</linearGradient>
34<linearGradient x1="488" x2="561" y1="150" gradientUnits="userSpaceOnUse" y2="206" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient8" xlink:show="other" spreadMethod="pad">
35<stop stop-opacity="1" stop-color="white" offset="0%"/>
36<stop stop-opacity="1" stop-color="white" offset="100%"/>
37</linearGradient>
38<linearGradient x1="415" x2="533" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient9" xlink:show="other" spreadMethod="pad">
39<stop stop-opacity="1" stop-color="white" offset="0%"/>
40<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
41</linearGradient>
42<linearGradient x1="543" x2="661" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient10" xlink:show="other" spreadMethod="pad">
43<stop stop-opacity="1" stop-color="white" offset="0%"/>
44<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
45</linearGradient>
46<linearGradient x1="170" x2="243" y1="150" gradientUnits="userSpaceOnUse" y2="206" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient11" xlink:show="other" spreadMethod="pad">
47<stop stop-opacity="1" stop-color="white" offset="0%"/>
48<stop stop-opacity="1" stop-color="white" offset="100%"/>
49</linearGradient>
50<linearGradient x1="87" x2="158" y1="150" gradientUnits="userSpaceOnUse" y2="205" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient12" xlink:show="other" spreadMethod="pad">
51<stop stop-opacity="1" stop-color="white" offset="0%"/>
52<stop stop-opacity="1" stop-color="white" offset="100%"/>
53</linearGradient>
54<linearGradient x1="380" x2="481" y1="143" gradientUnits="userSpaceOnUse" y2="213" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient13" xlink:show="other" spreadMethod="pad">
55<stop stop-opacity="1" stop-color="white" offset="0%"/>
56<stop stop-opacity="1" stop-color="white" offset="100%"/>
57</linearGradient>
6<clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"> 58<clipPath clipPathUnits="userSpaceOnUse" id="clipPath1">
7<path d="M99 92 L221 92 L221 135 L99 135 L99 92 Z"/> 59<path d="M144 92 L266 92 L266 135 L144 135 L144 92 Z"/>
8</clipPath> 60</clipPath>
9<clipPath clipPathUnits="userSpaceOnUse" id="clipPath2"> 61<clipPath clipPathUnits="userSpaceOnUse" id="clipPath2">
10<path d="M99 92 L219 92 L219 133 L99 133 L99 92 Z"/> 62<path d="M144 92 L264 92 L264 133 L144 133 L144 92 Z"/>
11</clipPath> 63</clipPath>
12<clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"> 64<clipPath clipPathUnits="userSpaceOnUse" id="clipPath3">
13<path d="M120 97 L197 97 L197 115 L120 115 L120 97 Z"/> 65<path d="M165 97 L242 97 L242 115 L165 115 L165 97 Z"/>
14</clipPath> 66</clipPath>
15<clipPath clipPathUnits="userSpaceOnUse" id="clipPath4"> 67<clipPath clipPathUnits="userSpaceOnUse" id="clipPath4">
16<path d="M120 97 L199 97 L199 115 L120 115 L120 97 Z"/> 68<path d="M165 97 L244 97 L244 115 L165 115 L165 97 Z"/>
17</clipPath> 69</clipPath>
18<clipPath clipPathUnits="userSpaceOnUse" id="clipPath5"> 70<clipPath clipPathUnits="userSpaceOnUse" id="clipPath5">
19<path d="M100 118 L218 118 L218 132 L100 132 L100 118 Z"/> 71<path d="M145 118 L263 118 L263 132 L145 132 L145 118 Z"/>
20</clipPath> 72</clipPath>
21<clipPath clipPathUnits="userSpaceOnUse" id="clipPath6"> 73<clipPath clipPathUnits="userSpaceOnUse" id="clipPath6">
22<path d="M344 27 L466 27 L466 70 L344 70 L344 27 Z"/> 74<path d="M349 27 L471 27 L471 70 L349 70 L349 27 Z"/>
23</clipPath> 75</clipPath>
24<clipPath clipPathUnits="userSpaceOnUse" id="clipPath7"> 76<clipPath clipPathUnits="userSpaceOnUse" id="clipPath7">
25<path d="M344 27 L464 27 L464 68 L344 68 L344 27 Z"/> 77<path d="M349 27 L469 27 L469 68 L349 68 L349 27 Z"/>
26</clipPath> 78</clipPath>
27<clipPath clipPathUnits="userSpaceOnUse" id="clipPath8"> 79<clipPath clipPathUnits="userSpaceOnUse" id="clipPath8">
28<path d="M378 32 L429 32 L429 50 L378 50 L378 32 Z"/> 80<path d="M383 32 L434 32 L434 50 L383 50 L383 32 Z"/>
29</clipPath> 81</clipPath>
30<clipPath clipPathUnits="userSpaceOnUse" id="clipPath9"> 82<clipPath clipPathUnits="userSpaceOnUse" id="clipPath9">
31<path d="M378 32 L431 32 L431 50 L378 50 L378 32 Z"/> 83<path d="M383 32 L436 32 L436 50 L383 50 L383 32 Z"/>
32</clipPath> 84</clipPath>
33<clipPath clipPathUnits="userSpaceOnUse" id="clipPath10"> 85<clipPath clipPathUnits="userSpaceOnUse" id="clipPath10">
34<path d="M345 53 L463 53 L463 67 L345 67 L345 53 Z"/> 86<path d="M350 53 L468 53 L468 67 L350 67 L350 53 Z"/>
35</clipPath> 87</clipPath>
36<clipPath clipPathUnits="userSpaceOnUse" id="clipPath11"> 88<clipPath clipPathUnits="userSpaceOnUse" id="clipPath11">
37<path d="M537 27 L659 27 L659 70 L537 70 L537 27 Z"/> 89<path d="M542 27 L664 27 L664 70 L542 70 L542 27 Z"/>
38</clipPath> 90</clipPath>
39<clipPath clipPathUnits="userSpaceOnUse" id="clipPath12"> 91<clipPath clipPathUnits="userSpaceOnUse" id="clipPath12">
40<path d="M537 27 L657 27 L657 68 L537 68 L537 27 Z"/> 92<path d="M542 27 L662 27 L662 68 L542 68 L542 27 Z"/>
41</clipPath> 93</clipPath>
42<clipPath clipPathUnits="userSpaceOnUse" id="clipPath13"> 94<clipPath clipPathUnits="userSpaceOnUse" id="clipPath13">
43<path d="M568 32 L626 32 L626 50 L568 50 L568 32 Z"/> 95<path d="M573 32 L631 32 L631 50 L573 50 L573 32 Z"/>
44</clipPath> 96</clipPath>
45<clipPath clipPathUnits="userSpaceOnUse" id="clipPath14"> 97<clipPath clipPathUnits="userSpaceOnUse" id="clipPath14">
46<path d="M568 32 L629 32 L629 50 L568 50 L568 32 Z"/> 98<path d="M573 32 L634 32 L634 50 L573 50 L573 32 Z"/>
47</clipPath> 99</clipPath>
48<clipPath clipPathUnits="userSpaceOnUse" id="clipPath15"> 100<clipPath clipPathUnits="userSpaceOnUse" id="clipPath15">
49<path d="M538 53 L656 53 L656 67 L538 67 L538 53 Z"/> 101<path d="M543 53 L661 53 L661 67 L543 67 L543 53 Z"/>
50</clipPath> 102</clipPath>
51<clipPath clipPathUnits="userSpaceOnUse" id="clipPath16"> 103<clipPath clipPathUnits="userSpaceOnUse" id="clipPath16">
52<path d="M9 27 L131 27 L131 70 L9 70 L9 27 Z"/> 104<path d="M9 27 L131 27 L131 70 L9 70 L9 27 Z"/>
@@ -64,287 +116,370 @@
64<path d="M10 53 L128 53 L128 67 L10 67 L10 53 Z"/> 116<path d="M10 53 L128 53 L128 67 L10 67 L10 53 Z"/>
65</clipPath> 117</clipPath>
66<clipPath clipPathUnits="userSpaceOnUse" id="clipPath21"> 118<clipPath clipPathUnits="userSpaceOnUse" id="clipPath21">
67<path d="M537 157 L659 157 L659 200 L537 200 L537 157 Z"/> 119<path d="M570 157 L662 157 L662 200 L570 200 L570 157 Z"/>
68</clipPath> 120</clipPath>
69<clipPath clipPathUnits="userSpaceOnUse" id="clipPath22"> 121<clipPath clipPathUnits="userSpaceOnUse" id="clipPath22">
70<path d="M537 157 L657 157 L657 198 L537 198 L537 157 Z"/> 122<path d="M570 157 L660 157 L660 198 L570 198 L570 157 Z"/>
71</clipPath> 123</clipPath>
72<clipPath clipPathUnits="userSpaceOnUse" id="clipPath23"> 124<clipPath clipPathUnits="userSpaceOnUse" id="clipPath23">
73<path d="M560 162 L633 162 L633 180 L560 180 L560 162 Z"/> 125<path d="M578 162 L651 162 L651 180 L578 180 L578 162 Z"/>
74</clipPath> 126</clipPath>
75<clipPath clipPathUnits="userSpaceOnUse" id="clipPath24"> 127<clipPath clipPathUnits="userSpaceOnUse" id="clipPath24">
76<path d="M560 162 L635 162 L635 180 L560 180 L560 162 Z"/> 128<path d="M578 162 L653 162 L653 180 L578 180 L578 162 Z"/>
77</clipPath> 129</clipPath>
78<clipPath clipPathUnits="userSpaceOnUse" id="clipPath25"> 130<clipPath clipPathUnits="userSpaceOnUse" id="clipPath25">
79<path d="M538 183 L656 183 L656 197 L538 197 L538 183 Z"/> 131<path d="M571 183 L659 183 L659 197 L571 197 L571 183 Z"/>
80</clipPath> 132</clipPath>
81<clipPath clipPathUnits="userSpaceOnUse" id="clipPath26"> 133<clipPath clipPathUnits="userSpaceOnUse" id="clipPath26">
82<path d="M14 157 L136 157 L136 200 L14 200 L14 157 Z"/> 134<path d="M14 157 L81 157 L81 200 L14 200 L14 157 Z"/>
83</clipPath> 135</clipPath>
84<clipPath clipPathUnits="userSpaceOnUse" id="clipPath27"> 136<clipPath clipPathUnits="userSpaceOnUse" id="clipPath27">
85<path d="M14 157 L134 157 L134 198 L14 198 L14 157 Z"/> 137<path d="M14 157 L79 157 L79 198 L14 198 L14 157 Z"/>
86</clipPath> 138</clipPath>
87<clipPath clipPathUnits="userSpaceOnUse" id="clipPath28"> 139<clipPath clipPathUnits="userSpaceOnUse" id="clipPath28">
88<path d="M50 162 L97 162 L97 180 L50 180 L50 162 Z"/> 140<path d="M23 162 L70 162 L70 180 L23 180 L23 162 Z"/>
89</clipPath> 141</clipPath>
90<clipPath clipPathUnits="userSpaceOnUse" id="clipPath29"> 142<clipPath clipPathUnits="userSpaceOnUse" id="clipPath29">
91<path d="M50 162 L99 162 L99 180 L50 180 L50 162 Z"/> 143<path d="M23 162 L72 162 L72 180 L23 180 L23 162 Z"/>
92</clipPath> 144</clipPath>
93<clipPath clipPathUnits="userSpaceOnUse" id="clipPath30"> 145<clipPath clipPathUnits="userSpaceOnUse" id="clipPath30">
94<path d="M15 183 L133 183 L133 197 L15 197 L15 183 Z"/> 146<path d="M15 183 L78 183 L78 197 L15 197 L15 183 Z"/>
95</clipPath> 147</clipPath>
96<clipPath clipPathUnits="userSpaceOnUse" id="clipPath31"> 148<clipPath clipPathUnits="userSpaceOnUse" id="clipPath31">
97<path d="M184 157 L306 157 L306 200 L184 200 L184 157 Z"/> 149<path d="M249 157 L374 157 L374 200 L249 200 L249 157 Z"/>
98</clipPath> 150</clipPath>
99<clipPath clipPathUnits="userSpaceOnUse" id="clipPath32"> 151<clipPath clipPathUnits="userSpaceOnUse" id="clipPath32">
100<path d="M184 157 L304 157 L304 198 L184 198 L184 157 Z"/> 152<path d="M249 157 L372 157 L372 198 L249 198 L249 157 Z"/>
101</clipPath> 153</clipPath>
102<clipPath clipPathUnits="userSpaceOnUse" id="clipPath33"> 154<clipPath clipPathUnits="userSpaceOnUse" id="clipPath33">
103<path d="M192 162 L296 162 L296 180 L192 180 L192 162 Z"/> 155<path d="M258 162 L362 162 L362 180 L258 180 L258 162 Z"/>
104</clipPath> 156</clipPath>
105<clipPath clipPathUnits="userSpaceOnUse" id="clipPath34"> 157<clipPath clipPathUnits="userSpaceOnUse" id="clipPath34">
106<path d="M192 162 L298 162 L298 180 L192 180 L192 162 Z"/> 158<path d="M258 162 L364 162 L364 180 L258 180 L258 162 Z"/>
107</clipPath> 159</clipPath>
108<clipPath clipPathUnits="userSpaceOnUse" id="clipPath35"> 160<clipPath clipPathUnits="userSpaceOnUse" id="clipPath35">
109<path d="M185 183 L303 183 L303 197 L185 197 L185 183 Z"/> 161<path d="M250 183 L371 183 L371 197 L250 197 L250 183 Z"/>
110</clipPath> 162</clipPath>
111<clipPath clipPathUnits="userSpaceOnUse" id="clipPath36"> 163<clipPath clipPathUnits="userSpaceOnUse" id="clipPath36">
112<path d="M354 157 L476 157 L476 200 L354 200 L354 157 Z"/> 164<path d="M487 157 L564 157 L564 200 L487 200 L487 157 Z"/>
113</clipPath> 165</clipPath>
114<clipPath clipPathUnits="userSpaceOnUse" id="clipPath37"> 166<clipPath clipPathUnits="userSpaceOnUse" id="clipPath37">
115<path d="M354 157 L474 157 L474 198 L354 198 L354 157 Z"/> 167<path d="M487 157 L562 157 L562 198 L487 198 L487 157 Z"/>
116</clipPath> 168</clipPath>
117<clipPath clipPathUnits="userSpaceOnUse" id="clipPath38"> 169<clipPath clipPathUnits="userSpaceOnUse" id="clipPath38">
118<path d="M390 162 L437 162 L437 180 L390 180 L390 162 Z"/> 170<path d="M501 162 L548 162 L548 180 L501 180 L501 162 Z"/>
119</clipPath> 171</clipPath>
120<clipPath clipPathUnits="userSpaceOnUse" id="clipPath39"> 172<clipPath clipPathUnits="userSpaceOnUse" id="clipPath39">
121<path d="M390 162 L439 162 L439 180 L390 180 L390 162 Z"/> 173<path d="M501 162 L550 162 L550 180 L501 180 L501 162 Z"/>
122</clipPath> 174</clipPath>
123<clipPath clipPathUnits="userSpaceOnUse" id="clipPath40"> 175<clipPath clipPathUnits="userSpaceOnUse" id="clipPath40">
124<path d="M355 183 L473 183 L473 197 L355 197 L355 183 Z"/> 176<path d="M488 183 L561 183 L561 197 L488 197 L488 183 Z"/>
125</clipPath> 177</clipPath>
126<clipPath clipPathUnits="userSpaceOnUse" id="clipPath41"> 178<clipPath clipPathUnits="userSpaceOnUse" id="clipPath41">
127<path d="M354 92 L476 92 L476 135 L354 135 L354 92 Z"/> 179<path d="M414 92 L536 92 L536 135 L414 135 L414 92 Z"/>
128</clipPath> 180</clipPath>
129<clipPath clipPathUnits="userSpaceOnUse" id="clipPath42"> 181<clipPath clipPathUnits="userSpaceOnUse" id="clipPath42">
130<path d="M354 92 L474 92 L474 133 L354 133 L354 92 Z"/> 182<path d="M414 92 L534 92 L534 133 L414 133 L414 92 Z"/>
131</clipPath> 183</clipPath>
132<clipPath clipPathUnits="userSpaceOnUse" id="clipPath43"> 184<clipPath clipPathUnits="userSpaceOnUse" id="clipPath43">
133<path d="M373 97 L454 97 L454 115 L373 115 L373 97 Z"/> 185<path d="M433 97 L514 97 L514 115 L433 115 L433 97 Z"/>
134</clipPath> 186</clipPath>
135<clipPath clipPathUnits="userSpaceOnUse" id="clipPath44"> 187<clipPath clipPathUnits="userSpaceOnUse" id="clipPath44">
136<path d="M373 97 L456 97 L456 115 L373 115 L373 97 Z"/> 188<path d="M433 97 L516 97 L516 115 L433 115 L433 97 Z"/>
137</clipPath> 189</clipPath>
138<clipPath clipPathUnits="userSpaceOnUse" id="clipPath45"> 190<clipPath clipPathUnits="userSpaceOnUse" id="clipPath45">
139<path d="M355 118 L473 118 L473 132 L355 132 L355 118 Z"/> 191<path d="M415 118 L533 118 L533 132 L415 132 L415 118 Z"/>
140</clipPath> 192</clipPath>
141<clipPath clipPathUnits="userSpaceOnUse" id="clipPath46"> 193<clipPath clipPathUnits="userSpaceOnUse" id="clipPath46">
142<path d="M537 92 L659 92 L659 135 L537 135 L537 92 Z"/> 194<path d="M542 92 L664 92 L664 135 L542 135 L542 92 Z"/>
143</clipPath> 195</clipPath>
144<clipPath clipPathUnits="userSpaceOnUse" id="clipPath47"> 196<clipPath clipPathUnits="userSpaceOnUse" id="clipPath47">
145<path d="M537 92 L657 92 L657 133 L537 133 L537 92 Z"/> 197<path d="M542 92 L662 92 L662 133 L542 133 L542 92 Z"/>
146</clipPath> 198</clipPath>
147<clipPath clipPathUnits="userSpaceOnUse" id="clipPath48"> 199<clipPath clipPathUnits="userSpaceOnUse" id="clipPath48">
148<path d="M543 97 L651 97 L651 115 L543 115 L543 97 Z"/> 200<path d="M548 97 L656 97 L656 115 L548 115 L548 97 Z"/>
149</clipPath> 201</clipPath>
150<clipPath clipPathUnits="userSpaceOnUse" id="clipPath49"> 202<clipPath clipPathUnits="userSpaceOnUse" id="clipPath49">
151<path d="M543 97 L653 97 L653 115 L543 115 L543 97 Z"/> 203<path d="M548 97 L658 97 L658 115 L548 115 L548 97 Z"/>
152</clipPath> 204</clipPath>
153<clipPath clipPathUnits="userSpaceOnUse" id="clipPath50"> 205<clipPath clipPathUnits="userSpaceOnUse" id="clipPath50">
154<path d="M538 118 L656 118 L656 132 L538 132 L538 118 Z"/> 206<path d="M543 118 L661 118 L661 132 L543 132 L543 118 Z"/>
155</clipPath> 207</clipPath>
156<clipPath clipPathUnits="userSpaceOnUse" id="clipPath51"> 208<clipPath clipPathUnits="userSpaceOnUse" id="clipPath51">
157<path d="M-1 -1 L669 -1 L669 210 L-1 210 L-1 -1 Z"/> 209<path d="M169 157 L246 157 L246 200 L169 200 L169 157 Z"/>
158</clipPath> 210</clipPath>
159<clipPath clipPathUnits="userSpaceOnUse" id="clipPath52"> 211<clipPath clipPathUnits="userSpaceOnUse" id="clipPath52">
160<path d="M469 27 L537 27 L537 42 L469 42 L469 27 Z"/> 212<path d="M169 157 L244 157 L244 198 L169 198 L169 157 Z"/>
161</clipPath> 213</clipPath>
162<clipPath clipPathUnits="userSpaceOnUse" id="clipPath53"> 214<clipPath clipPathUnits="userSpaceOnUse" id="clipPath53">
163<path d="M525 43 L540 43 L540 52 L525 52 L525 43 Z"/> 215<path d="M178 162 L234 162 L234 180 L178 180 L178 162 Z"/>
164</clipPath> 216</clipPath>
165<clipPath clipPathUnits="userSpaceOnUse" id="clipPath54"> 217<clipPath clipPathUnits="userSpaceOnUse" id="clipPath54">
166<path d="M462 43 L472 43 L472 52 L462 52 L462 43 Z"/> 218<path d="M178 162 L236 162 L236 180 L178 180 L178 162 Z"/>
167</clipPath> 219</clipPath>
168<clipPath clipPathUnits="userSpaceOnUse" id="clipPath55"> 220<clipPath clipPathUnits="userSpaceOnUse" id="clipPath55">
169<path d="M563 72 L632 72 L632 87 L563 87 L563 72 Z"/> 221<path d="M170 183 L243 183 L243 197 L170 197 L170 183 Z"/>
170</clipPath> 222</clipPath>
171<clipPath clipPathUnits="userSpaceOnUse" id="clipPath56"> 223<clipPath clipPathUnits="userSpaceOnUse" id="clipPath56">
172<path d="M556 80 L565 80 L565 95 L556 95 L556 80 Z"/> 224<path d="M86 157 L161 157 L161 200 L86 200 L86 157 Z"/>
173</clipPath> 225</clipPath>
174<clipPath clipPathUnits="userSpaceOnUse" id="clipPath57"> 226<clipPath clipPathUnits="userSpaceOnUse" id="clipPath57">
175<path d="M556 66 L565 66 L565 76 L556 76 L556 66 Z"/> 227<path d="M86 157 L159 157 L159 198 L86 198 L86 157 Z"/>
176</clipPath> 228</clipPath>
177<clipPath clipPathUnits="userSpaceOnUse" id="clipPath58"> 229<clipPath clipPathUnits="userSpaceOnUse" id="clipPath58">
178<path d="M400 66 L411 66 L411 77 L400 77 L400 66 Z"/> 230<path d="M103 162 L142 162 L142 180 L103 180 L103 162 Z"/>
179</clipPath> 231</clipPath>
180<clipPath clipPathUnits="userSpaceOnUse" id="clipPath59"> 232<clipPath clipPathUnits="userSpaceOnUse" id="clipPath59">
181<path d="M565 131 L576 131 L576 142 L565 142 L565 131 Z"/> 233<path d="M103 162 L144 162 L144 180 L103 180 L103 162 Z"/>
182</clipPath> 234</clipPath>
183<clipPath clipPathUnits="userSpaceOnUse" id="clipPath60"> 235<clipPath clipPathUnits="userSpaceOnUse" id="clipPath60">
184<path d="M155 131 L166 131 L166 142 L155 142 L155 131 Z"/> 236<path d="M87 183 L158 183 L158 197 L87 197 L87 183 Z"/>
185</clipPath> 237</clipPath>
186<clipPath clipPathUnits="userSpaceOnUse" id="clipPath61"> 238<clipPath clipPathUnits="userSpaceOnUse" id="clipPath61">
187<path d="M387 131 L398 131 L398 142 L387 142 L387 131 Z"/> 239<path d="M379 157 L484 157 L484 200 L379 200 L379 157 Z"/>
188</clipPath> 240</clipPath>
189<clipPath clipPathUnits="userSpaceOnUse" id="clipPath62"> 241<clipPath clipPathUnits="userSpaceOnUse" id="clipPath62">
190<path d="M284 62 L346 62 L346 77 L284 77 L284 62 Z"/> 242<path d="M379 157 L482 157 L482 198 L379 198 L379 157 Z"/>
191</clipPath> 243</clipPath>
192<clipPath clipPathUnits="userSpaceOnUse" id="clipPath63"> 244<clipPath clipPathUnits="userSpaceOnUse" id="clipPath63">
193<path d="M129 62 L262 62 L262 77 L129 77 L129 62 Z"/> 245<path d="M394 162 L466 162 L466 180 L394 180 L394 162 Z"/>
194</clipPath> 246</clipPath>
195<clipPath clipPathUnits="userSpaceOnUse" id="clipPath64"> 247<clipPath clipPathUnits="userSpaceOnUse" id="clipPath64">
196<path d="M337 54 L347 54 L347 63 L337 63 L337 54 Z"/> 248<path d="M394 162 L468 162 L468 180 L394 180 L394 162 Z"/>
197</clipPath> 249</clipPath>
198<clipPath clipPathUnits="userSpaceOnUse" id="clipPath65"> 250<clipPath clipPathUnits="userSpaceOnUse" id="clipPath65">
199<path d="M127 54 L137 54 L137 63 L127 63 L127 54 Z"/> 251<path d="M380 183 L481 183 L481 197 L380 197 L380 183 Z"/>
200</clipPath> 252</clipPath>
201<clipPath clipPathUnits="userSpaceOnUse" id="clipPath66"> 253<clipPath clipPathUnits="userSpaceOnUse" id="clipPath66">
202<path d="M282 22 L347 22 L347 37 L282 37 L282 22 Z"/> 254<path d="M-1 -1 L674 -1 L674 210 L-1 210 L-1 -1 Z"/>
203</clipPath> 255</clipPath>
204<clipPath clipPathUnits="userSpaceOnUse" id="clipPath67"> 256<clipPath clipPathUnits="userSpaceOnUse" id="clipPath67">
205<path d="M129 22 L263 22 L263 37 L129 37 L129 22 Z"/> 257<path d="M474 27 L542 27 L542 42 L474 42 L474 27 Z"/>
206</clipPath> 258</clipPath>
207<clipPath clipPathUnits="userSpaceOnUse" id="clipPath68"> 259<clipPath clipPathUnits="userSpaceOnUse" id="clipPath68">
208<path d="M332 34 L347 34 L347 43 L332 43 L332 34 Z"/> 260<path d="M530 43 L545 43 L545 52 L530 52 L530 43 Z"/>
209</clipPath> 261</clipPath>
210<clipPath clipPathUnits="userSpaceOnUse" id="clipPath69"> 262<clipPath clipPathUnits="userSpaceOnUse" id="clipPath69">
263<path d="M467 43 L477 43 L477 52 L467 52 L467 43 Z"/>
264</clipPath>
265<clipPath clipPathUnits="userSpaceOnUse" id="clipPath70">
266<path d="M568 72 L637 72 L637 87 L568 87 L568 72 Z"/>
267</clipPath>
268<clipPath clipPathUnits="userSpaceOnUse" id="clipPath71">
269<path d="M561 80 L570 80 L570 95 L561 95 L561 80 Z"/>
270</clipPath>
271<clipPath clipPathUnits="userSpaceOnUse" id="clipPath72">
272<path d="M561 66 L570 66 L570 76 L561 76 L561 66 Z"/>
273</clipPath>
274<clipPath clipPathUnits="userSpaceOnUse" id="clipPath73">
275<path d="M405 66 L416 66 L416 77 L405 77 L405 66 Z"/>
276</clipPath>
277<clipPath clipPathUnits="userSpaceOnUse" id="clipPath74">
278<path d="M606 131 L617 131 L617 142 L606 142 L606 131 Z"/>
279</clipPath>
280<clipPath clipPathUnits="userSpaceOnUse" id="clipPath75">
281<path d="M200 131 L211 131 L211 142 L200 142 L200 131 Z"/>
282</clipPath>
283<clipPath clipPathUnits="userSpaceOnUse" id="clipPath76">
284<path d="M468 131 L479 131 L479 142 L468 142 L468 131 Z"/>
285</clipPath>
286<clipPath clipPathUnits="userSpaceOnUse" id="clipPath77">
287<path d="M553 131 L564 131 L564 142 L553 142 L553 131 Z"/>
288</clipPath>
289<clipPath clipPathUnits="userSpaceOnUse" id="clipPath78">
290<path d="M289 62 L351 62 L351 77 L289 77 L289 62 Z"/>
291</clipPath>
292<clipPath clipPathUnits="userSpaceOnUse" id="clipPath79">
293<path d="M134 62 L267 62 L267 77 L134 77 L134 62 Z"/>
294</clipPath>
295<clipPath clipPathUnits="userSpaceOnUse" id="clipPath80">
296<path d="M342 54 L352 54 L352 63 L342 63 L342 54 Z"/>
297</clipPath>
298<clipPath clipPathUnits="userSpaceOnUse" id="clipPath81">
299<path d="M127 54 L137 54 L137 63 L127 63 L127 54 Z"/>
300</clipPath>
301<clipPath clipPathUnits="userSpaceOnUse" id="clipPath82">
302<path d="M287 22 L352 22 L352 37 L287 37 L287 22 Z"/>
303</clipPath>
304<clipPath clipPathUnits="userSpaceOnUse" id="clipPath83">
305<path d="M134 22 L268 22 L268 37 L134 37 L134 22 Z"/>
306</clipPath>
307<clipPath clipPathUnits="userSpaceOnUse" id="clipPath84">
308<path d="M337 34 L352 34 L352 43 L337 43 L337 34 Z"/>
309</clipPath>
310<clipPath clipPathUnits="userSpaceOnUse" id="clipPath85">
211<path d="M127 34 L137 34 L137 43 L127 43 L127 34 Z"/> 311<path d="M127 34 L137 34 L137 43 L127 43 L127 34 Z"/>
212</clipPath> 312</clipPath>
313<clipPath clipPathUnits="userSpaceOnUse" id="clipPath86">
314<path d="M430 131 L441 131 L441 142 L430 142 L430 131 Z"/>
315</clipPath>
213</defs> 316</defs>
214<g font-size="11" fill="rgb(131,122,133)" font-family="'Segoe UI'" stroke-linejoin="round" font-style="italic" stroke="rgb(131,122,133)" stroke-width="0" stroke-miterlimit="0"> 317<g font-size="11" fill="rgb(131,122,133)" font-family="'Segoe UI'" stroke-linejoin="round" font-style="italic" stroke="rgb(131,122,133)" stroke-width="0" stroke-miterlimit="0">
215<rect x="101" y="94" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 318<rect x="146" y="94" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
216<rect x="102" y="95" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 319<rect x="147" y="95" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
217<rect x="100" y="93" clip-path="url(#clipPath2)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 320<rect x="145" y="93" clip-path="url(#clipPath2)" fill="url(#linearGradient1)" width="118" rx="4" ry="4" height="39" stroke="none"/>
218</g> 321</g>
219<g stroke-linecap="butt" font-size="11" fill="rgb(125,125,125)" font-family="'Segoe UI'" font-style="italic" stroke="rgb(125,125,125)" stroke-width="1.1"> 322<g stroke-linecap="butt" font-size="11" fill="rgb(125,125,125)" font-family="'Segoe UI'" font-style="italic" stroke="rgb(125,125,125)" stroke-width="1.1">
220<rect x="100" y="93" clip-path="url(#clipPath2)" fill="none" width="117" rx="4" ry="4" height="38"/> 323<rect x="145" y="93" clip-path="url(#clipPath2)" fill="none" width="117" rx="4" ry="4" height="38"/>
221<image x="121" y="98" clip-path="url(#clipPath3)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> 324<image x="166" y="98" clip-path="url(#clipPath3)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
222<text x="140" y="111" clip-path="url(#clipPath4)" fill="black" stroke="none" xml:space="preserve">Pseudostate</text> 325<text x="185" y="111" clip-path="url(#clipPath4)" fill="black" stroke="none" xml:space="preserve">Pseudostate</text>
223<line clip-path="url(#clipPath5)" fill="none" x1="101" x2="217" y1="119" y2="119"/> 326<line clip-path="url(#clipPath5)" fill="none" x1="146" x2="262" y1="119" y2="119"/>
224<rect x="346" y="29" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 327<rect x="351" y="29" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
225<rect x="347" y="30" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 328<rect x="352" y="30" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
226<rect x="345" y="28" clip-path="url(#clipPath7)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 329<rect x="350" y="28" clip-path="url(#clipPath7)" fill="url(#linearGradient2)" width="118" rx="4" ry="4" height="39" stroke="none"/>
227<rect x="345" y="28" clip-path="url(#clipPath7)" fill="none" width="117" rx="4" ry="4" height="38"/> 330<rect x="350" y="28" clip-path="url(#clipPath7)" fill="none" width="117" rx="4" ry="4" height="38"/>
228<image x="379" y="33" clip-path="url(#clipPath8)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> 331<image x="384" y="33" clip-path="url(#clipPath8)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
229<text x="398" y="46" clip-path="url(#clipPath9)" fill="black" stroke="none" xml:space="preserve">Vertex</text> 332<text x="403" y="46" clip-path="url(#clipPath9)" fill="black" stroke="none" xml:space="preserve">Vertex</text>
230<line clip-path="url(#clipPath10)" fill="none" x1="346" x2="462" y1="54" y2="54"/> 333<line clip-path="url(#clipPath10)" fill="none" x1="351" x2="467" y1="54" y2="54"/>
231<rect x="539" y="29" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 334<rect x="544" y="29" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
232<rect x="540" y="30" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 335<rect x="545" y="30" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
233<rect x="538" y="28" clip-path="url(#clipPath12)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 336<rect x="543" y="28" clip-path="url(#clipPath12)" fill="url(#linearGradient3)" width="118" rx="4" ry="4" height="39" stroke="none"/>
234<rect x="538" y="28" clip-path="url(#clipPath12)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 337<rect x="543" y="28" clip-path="url(#clipPath12)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
235<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath13)" preserveAspectRatio="none" height="16" font-style="normal" x="569" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 338<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath13)" preserveAspectRatio="none" height="16" font-style="normal" x="574" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
236<text x="588" y="46" clip-path="url(#clipPath14)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Region</text> 339<text x="593" y="46" clip-path="url(#clipPath14)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Region</text>
237<line clip-path="url(#clipPath15)" fill="none" x1="539" x2="655" y1="54" y2="54" stroke="black"/> 340<line clip-path="url(#clipPath15)" fill="none" x1="544" x2="660" y1="54" y2="54" stroke="black"/>
238<rect x="11" y="29" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 341<rect x="11" y="29" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
239<rect x="12" y="30" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 342<rect x="12" y="30" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
240<rect x="10" y="28" clip-path="url(#clipPath17)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 343<rect x="10" y="28" clip-path="url(#clipPath17)" fill="url(#linearGradient4)" width="118" rx="4" ry="4" height="39" stroke="none"/>
241<rect x="10" y="28" clip-path="url(#clipPath17)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 344<rect x="10" y="28" clip-path="url(#clipPath17)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
242<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath18)" preserveAspectRatio="none" height="16" font-style="normal" x="34" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 345<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath18)" preserveAspectRatio="none" height="16" font-style="normal" x="34" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
243<text x="53" y="46" clip-path="url(#clipPath19)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Transition</text> 346<text x="53" y="46" clip-path="url(#clipPath19)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Transition</text>
244<line clip-path="url(#clipPath20)" fill="none" x1="11" x2="127" y1="54" y2="54" stroke="black"/> 347<line clip-path="url(#clipPath20)" fill="none" x1="11" x2="127" y1="54" y2="54" stroke="black"/>
245<rect x="539" y="159" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 348<rect x="572" y="159" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="88" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
246<rect x="540" y="160" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 349<rect x="573" y="160" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="88" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
247<rect x="538" y="158" clip-path="url(#clipPath22)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 350<rect x="571" y="158" clip-path="url(#clipPath22)" fill="url(#linearGradient5)" width="88" rx="4" ry="4" height="39" stroke="none"/>
248<rect x="538" y="158" clip-path="url(#clipPath22)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 351<rect x="571" y="158" clip-path="url(#clipPath22)" fill="none" width="87" rx="4" ry="4" height="38" stroke="black"/>
249<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath23)" preserveAspectRatio="none" height="16" font-style="normal" x="561" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 352<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath23)" preserveAspectRatio="none" height="16" font-style="normal" x="579" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
250<text x="580" y="176" clip-path="url(#clipPath24)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Statechart</text> 353<text x="598" y="176" clip-path="url(#clipPath24)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Statechart</text>
251<line clip-path="url(#clipPath25)" fill="none" x1="539" x2="655" y1="184" y2="184" stroke="black"/> 354<line clip-path="url(#clipPath25)" fill="none" x1="572" x2="658" y1="184" y2="184" stroke="black"/>
252<rect x="16" y="159" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 355<rect x="16" y="159" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="63" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
253<rect x="17" y="160" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 356<rect x="17" y="160" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="63" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
254<rect x="15" y="158" clip-path="url(#clipPath27)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 357<rect x="15" y="158" clip-path="url(#clipPath27)" fill="url(#linearGradient6)" width="63" rx="4" ry="4" height="39" stroke="none"/>
255<rect x="15" y="158" clip-path="url(#clipPath27)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 358<rect x="15" y="158" clip-path="url(#clipPath27)" fill="none" width="62" rx="4" ry="4" height="38" stroke="black"/>
256<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath28)" preserveAspectRatio="none" height="16" font-style="normal" x="51" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 359<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath28)" preserveAspectRatio="none" height="16" font-style="normal" x="24" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
257<text x="70" y="176" clip-path="url(#clipPath29)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Entry</text> 360<text x="43" y="176" clip-path="url(#clipPath29)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Entry</text>
258<line clip-path="url(#clipPath30)" fill="none" x1="16" x2="132" y1="184" y2="184" stroke="black"/> 361<line clip-path="url(#clipPath30)" fill="none" x1="16" x2="77" y1="184" y2="184" stroke="black"/>
259<rect x="186" y="159" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 362<rect x="251" y="159" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="121" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
260<rect x="187" y="160" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 363<rect x="252" y="160" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="121" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
261<rect x="185" y="158" clip-path="url(#clipPath32)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 364<rect x="250" y="158" clip-path="url(#clipPath32)" fill="url(#linearGradient7)" width="121" rx="4" ry="4" height="39" stroke="none"/>
262<rect x="185" y="158" clip-path="url(#clipPath32)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 365<rect x="250" y="158" clip-path="url(#clipPath32)" fill="none" width="120" rx="4" ry="4" height="38" stroke="black"/>
263<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath33)" preserveAspectRatio="none" height="16" font-style="normal" x="193" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 366<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath33)" preserveAspectRatio="none" height="16" font-style="normal" x="259" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
264<text x="212" y="176" clip-path="url(#clipPath34)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Synchronization</text> 367<text x="278" y="176" clip-path="url(#clipPath34)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Synchronization</text>
265<line clip-path="url(#clipPath35)" fill="none" x1="186" x2="302" y1="184" y2="184" stroke="black"/> 368<line clip-path="url(#clipPath35)" fill="none" x1="251" x2="370" y1="184" y2="184" stroke="black"/>
266<rect x="356" y="159" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 369<rect x="489" y="159" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
267<rect x="357" y="160" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 370<rect x="490" y="160" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
268<rect x="355" y="158" clip-path="url(#clipPath37)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 371<rect x="488" y="158" clip-path="url(#clipPath37)" fill="url(#linearGradient8)" width="73" rx="4" ry="4" height="39" stroke="none"/>
269<rect x="355" y="158" clip-path="url(#clipPath37)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/> 372<rect x="488" y="158" clip-path="url(#clipPath37)" fill="none" width="72" rx="4" ry="4" height="38" stroke="black"/>
270<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath38)" preserveAspectRatio="none" height="16" font-style="normal" x="391" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> 373<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath38)" preserveAspectRatio="none" height="16" font-style="normal" x="502" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
271<text x="410" y="176" clip-path="url(#clipPath39)" fill="black" font-style="normal" stroke="none" xml:space="preserve">State</text> 374<text x="521" y="176" clip-path="url(#clipPath39)" fill="black" font-style="normal" stroke="none" xml:space="preserve">State</text>
272<line clip-path="url(#clipPath40)" fill="none" x1="356" x2="472" y1="184" y2="184" stroke="black"/> 375<line clip-path="url(#clipPath40)" fill="none" x1="489" x2="560" y1="184" y2="184" stroke="black"/>
273<rect x="356" y="94" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 376<rect x="416" y="94" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
274<rect x="357" y="95" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 377<rect x="417" y="95" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
275<rect x="355" y="93" clip-path="url(#clipPath42)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 378<rect x="415" y="93" clip-path="url(#clipPath42)" fill="url(#linearGradient9)" width="118" rx="4" ry="4" height="39" stroke="none"/>
276<rect x="355" y="93" clip-path="url(#clipPath42)" fill="none" width="117" rx="4" ry="4" height="38"/> 379<rect x="415" y="93" clip-path="url(#clipPath42)" fill="none" width="117" rx="4" ry="4" height="38"/>
277<image x="374" y="98" clip-path="url(#clipPath43)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> 380<image x="434" y="98" clip-path="url(#clipPath43)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
278<text x="393" y="111" clip-path="url(#clipPath44)" fill="black" stroke="none" xml:space="preserve">RegularState</text> 381<text x="453" y="111" clip-path="url(#clipPath44)" fill="black" stroke="none" xml:space="preserve">RegularState</text>
279<line clip-path="url(#clipPath45)" fill="none" x1="356" x2="472" y1="119" y2="119"/> 382<line clip-path="url(#clipPath45)" fill="none" x1="416" x2="532" y1="119" y2="119"/>
280<rect x="539" y="94" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 383<rect x="544" y="94" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
281<rect x="540" y="95" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/> 384<rect x="545" y="95" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
282<rect x="538" y="93" clip-path="url(#clipPath47)" fill="white" width="118" rx="4" ry="4" height="39" stroke="none"/> 385<rect x="543" y="93" clip-path="url(#clipPath47)" fill="url(#linearGradient10)" width="118" rx="4" ry="4" height="39" stroke="none"/>
283<rect x="538" y="93" clip-path="url(#clipPath47)" fill="none" width="117" rx="4" ry="4" height="38"/> 386<rect x="543" y="93" clip-path="url(#clipPath47)" fill="none" width="117" rx="4" ry="4" height="38"/>
284<image x="544" y="98" clip-path="url(#clipPath48)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> 387<image x="549" y="98" clip-path="url(#clipPath48)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
285<text x="563" y="111" clip-path="url(#clipPath49)" fill="black" stroke="none" xml:space="preserve">CompositeElement</text> 388<text x="568" y="111" clip-path="url(#clipPath49)" fill="black" stroke="none" xml:space="preserve">CompositeElement</text>
286<line clip-path="url(#clipPath50)" fill="none" x1="539" x2="655" y1="119" y2="119"/> 389<line clip-path="url(#clipPath50)" fill="none" x1="544" x2="660" y1="119" y2="119"/>
287<line clip-path="url(#clipPath51)" fill="none" x1="538" x2="463" y1="47" y2="47" stroke="black"/> 390<rect x="171" y="159" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
288<text x="470" y="40" clip-path="url(#clipPath52)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] vertices</text> 391<rect x="172" y="160" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
289<polygon fill="black" clip-path="url(#clipPath53)" points=" 538 47 532 50 526 47 532 44" stroke="none"/> 392<rect x="170" y="158" clip-path="url(#clipPath52)" fill="url(#linearGradient11)" width="73" rx="4" ry="4" height="39" stroke="none"/>
290<polygon fill="none" clip-path="url(#clipPath53)" points=" 538 47 532 50 526 47 532 44" stroke="black"/> 393<rect x="170" y="158" clip-path="url(#clipPath52)" fill="none" width="72" rx="4" ry="4" height="38" stroke="black"/>
291<line clip-path="url(#clipPath54)" fill="none" x1="470" x2="463" y1="44" y2="47" stroke="black"/> 394<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath53)" preserveAspectRatio="none" height="16" font-style="normal" x="179" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
292<line clip-path="url(#clipPath54)" fill="none" x1="463" x2="470" y1="47" y2="50" stroke="black"/> 395<text x="198" y="176" clip-path="url(#clipPath54)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Choice</text>
293<line clip-path="url(#clipPath51)" fill="none" x1="560" x2="560" y1="93" y2="67" stroke="black"/> 396<line clip-path="url(#clipPath55)" fill="none" x1="171" x2="242" y1="184" y2="184" stroke="black"/>
294<text x="564" y="85" clip-path="url(#clipPath55)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] regions</text> 397<rect x="88" y="159" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="71" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
295<polygon fill="black" clip-path="url(#clipPath56)" points=" 560 93 557 87 560 81 563 87" stroke="none"/> 398<rect x="89" y="160" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="71" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
296<polygon fill="none" clip-path="url(#clipPath56)" points=" 560 93 557 87 560 81 563 87" stroke="black"/> 399<rect x="87" y="158" clip-path="url(#clipPath57)" fill="url(#linearGradient12)" width="71" rx="4" ry="4" height="39" stroke="none"/>
297<line clip-path="url(#clipPath57)" fill="none" x1="563" x2="560" y1="74" y2="67" stroke="black"/> 400<rect x="87" y="158" clip-path="url(#clipPath57)" fill="none" width="70" rx="4" ry="4" height="38" stroke="black"/>
298<line clip-path="url(#clipPath57)" fill="none" x1="560" x2="557" y1="67" y2="74" stroke="black"/> 401<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath58)" preserveAspectRatio="none" height="16" font-style="normal" x="104" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
299<line clip-path="url(#clipPath51)" fill="none" x1="159" x2="159" y1="93" y2="85" stroke="rgb(136,136,136)"/> 402<text x="123" y="176" clip-path="url(#clipPath59)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Exit</text>
300<line clip-path="url(#clipPath51)" fill="none" x1="159" x2="405" y1="85" y2="85" stroke="rgb(136,136,136)"/> 403<line clip-path="url(#clipPath60)" fill="none" x1="88" x2="157" y1="184" y2="184" stroke="black"/>
301<line clip-path="url(#clipPath51)" fill="none" x1="405" x2="405" y1="85" y2="67" stroke="rgb(136,136,136)"/> 404<rect x="381" y="159" clip-path="url(#clipPath61)" fill="rgb(131,122,133)" width="101" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
302<polygon fill="white" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="none"/> 405<rect x="382" y="160" clip-path="url(#clipPath61)" fill="rgb(131,122,133)" width="101" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
303<polygon fill="none" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="rgb(136,136,136)"/> 406<rect x="380" y="158" clip-path="url(#clipPath62)" fill="url(#linearGradient13)" width="101" rx="4" ry="4" height="39" stroke="none"/>
304<line clip-path="url(#clipPath51)" fill="none" x1="597" x2="597" y1="158" y2="148" stroke="rgb(136,136,136)"/> 407<rect x="380" y="158" clip-path="url(#clipPath62)" fill="none" width="100" rx="4" ry="4" height="38" stroke="black"/>
305<line clip-path="url(#clipPath51)" fill="none" x1="597" x2="570" y1="148" y2="148" stroke="rgb(136,136,136)"/> 408<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath63)" preserveAspectRatio="none" height="16" font-style="normal" x="395" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
306<line clip-path="url(#clipPath51)" fill="none" x1="570" x2="570" y1="148" y2="132" stroke="rgb(136,136,136)"/> 409<text x="414" y="176" clip-path="url(#clipPath64)" fill="black" font-style="normal" stroke="none" xml:space="preserve">FinalState</text>
307<polygon fill="white" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="none"/> 410<line clip-path="url(#clipPath65)" fill="none" x1="381" x2="480" y1="184" y2="184" stroke="black"/>
308<polygon fill="none" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="rgb(136,136,136)"/> 411<line clip-path="url(#clipPath66)" fill="none" x1="543" x2="468" y1="47" y2="47" stroke="black"/>
309<line clip-path="url(#clipPath51)" fill="none" x1="74" x2="74" y1="158" y2="150" stroke="rgb(136,136,136)"/> 412<text x="475" y="40" clip-path="url(#clipPath67)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] vertices</text>
310<line clip-path="url(#clipPath51)" fill="none" x1="74" x2="160" y1="150" y2="150" stroke="rgb(136,136,136)"/> 413<polygon fill="black" clip-path="url(#clipPath68)" points=" 543 47 537 50 531 47 537 44" stroke="none"/>
311<line clip-path="url(#clipPath51)" fill="none" x1="160" x2="160" y1="150" y2="132" stroke="rgb(136,136,136)"/> 414<polygon fill="none" clip-path="url(#clipPath68)" points=" 543 47 537 50 531 47 537 44" stroke="black"/>
312<polygon fill="white" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="none"/> 415<line clip-path="url(#clipPath69)" fill="none" x1="475" x2="468" y1="44" y2="47" stroke="black"/>
313<polygon fill="none" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="rgb(136,136,136)"/> 416<line clip-path="url(#clipPath69)" fill="none" x1="468" x2="475" y1="47" y2="50" stroke="black"/>
314<line clip-path="url(#clipPath51)" fill="none" x1="244" x2="244" y1="158" y2="150" stroke="rgb(136,136,136)"/> 417<line clip-path="url(#clipPath66)" fill="none" x1="565" x2="565" y1="93" y2="67" stroke="black"/>
315<line clip-path="url(#clipPath51)" fill="none" x1="244" x2="160" y1="150" y2="150" stroke="rgb(136,136,136)"/> 418<text x="569" y="85" clip-path="url(#clipPath70)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] regions</text>
316<line clip-path="url(#clipPath51)" fill="none" x1="160" x2="160" y1="150" y2="132" stroke="rgb(136,136,136)"/> 419<polygon fill="black" clip-path="url(#clipPath71)" points=" 565 93 562 87 565 81 568 87" stroke="none"/>
317<polygon fill="white" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="none"/> 420<polygon fill="none" clip-path="url(#clipPath71)" points=" 565 93 562 87 565 81 568 87" stroke="black"/>
318<polygon fill="none" clip-path="url(#clipPath60)" points=" 160 132 164 140 156 140" stroke="rgb(136,136,136)"/> 421<line clip-path="url(#clipPath72)" fill="none" x1="568" x2="565" y1="74" y2="67" stroke="black"/>
319<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="158" y2="148" stroke="rgb(136,136,136)"/> 422<line clip-path="url(#clipPath72)" fill="none" x1="565" x2="562" y1="67" y2="74" stroke="black"/>
320<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="392" y1="148" y2="148" stroke="rgb(136,136,136)"/> 423<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="204" y1="93" y2="85" stroke="rgb(136,136,136)"/>
321<line clip-path="url(#clipPath51)" fill="none" x1="392" x2="392" y1="148" y2="132" stroke="rgb(136,136,136)"/> 424<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="410" y1="85" y2="85" stroke="rgb(136,136,136)"/>
322<polygon fill="white" clip-path="url(#clipPath61)" points=" 392 132 396 140 388 140" stroke="none"/> 425<line clip-path="url(#clipPath66)" fill="none" x1="410" x2="410" y1="85" y2="67" stroke="rgb(136,136,136)"/>
323<polygon fill="none" clip-path="url(#clipPath61)" points=" 392 132 396 140 388 140" stroke="rgb(136,136,136)"/> 426<polygon fill="white" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="none"/>
324<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="158" y2="148" stroke="rgb(136,136,136)"/> 427<polygon fill="none" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="rgb(136,136,136)"/>
325<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="570" y1="148" y2="148" stroke="rgb(136,136,136)"/> 428<line clip-path="url(#clipPath66)" fill="none" x1="611" x2="611" y1="158" y2="132" stroke="rgb(136,136,136)"/>
326<line clip-path="url(#clipPath51)" fill="none" x1="570" x2="570" y1="148" y2="132" stroke="rgb(136,136,136)"/> 429<polygon fill="white" clip-path="url(#clipPath74)" points=" 611 132 615 140 607 140" stroke="none"/>
327<polygon fill="white" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="none"/> 430<polygon fill="none" clip-path="url(#clipPath74)" points=" 611 132 615 140 607 140" stroke="rgb(136,136,136)"/>
328<polygon fill="none" clip-path="url(#clipPath59)" points=" 570 132 574 140 566 140" stroke="rgb(136,136,136)"/> 431<line clip-path="url(#clipPath66)" fill="none" x1="42" x2="42" y1="158" y2="150" stroke="rgb(136,136,136)"/>
329<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="414" y1="93" y2="85" stroke="rgb(136,136,136)"/> 432<line clip-path="url(#clipPath66)" fill="none" x1="42" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
330<line clip-path="url(#clipPath51)" fill="none" x1="414" x2="405" y1="85" y2="85" stroke="rgb(136,136,136)"/> 433<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
331<line clip-path="url(#clipPath51)" fill="none" x1="405" x2="405" y1="85" y2="67" stroke="rgb(136,136,136)"/> 434<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
332<polygon fill="white" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="none"/> 435<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
333<polygon fill="none" clip-path="url(#clipPath58)" points=" 405 67 409 75 401 75" stroke="rgb(136,136,136)"/> 436<line clip-path="url(#clipPath66)" fill="none" x1="309" x2="309" y1="158" y2="150" stroke="rgb(136,136,136)"/>
334<line clip-path="url(#clipPath51)" fill="none" x1="345" x2="128" y1="58" y2="58" stroke="black"/> 437<line clip-path="url(#clipPath66)" fill="none" x1="309" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
335<text x="285" y="75" clip-path="url(#clipPath62)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] target</text> 438<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
336<text x="130" y="75" clip-path="url(#clipPath63)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] incomingTransitions</text> 439<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
337<line clip-path="url(#clipPath64)" fill="none" x1="338" x2="345" y1="61" y2="58" stroke="black"/> 440<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
338<line clip-path="url(#clipPath64)" fill="none" x1="345" x2="338" y1="58" y2="55" stroke="black"/> 441<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="532" y1="158" y2="150" stroke="rgb(136,136,136)"/>
339<line clip-path="url(#clipPath65)" fill="none" x1="135" x2="128" y1="55" y2="58" stroke="black"/> 442<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="473" y1="150" y2="150" stroke="rgb(136,136,136)"/>
340<line clip-path="url(#clipPath65)" fill="none" x1="128" x2="135" y1="58" y2="61" stroke="black"/> 443<line clip-path="url(#clipPath66)" fill="none" x1="473" x2="473" y1="150" y2="132" stroke="rgb(136,136,136)"/>
341<line clip-path="url(#clipPath51)" fill="none" x1="345" x2="128" y1="38" y2="38" stroke="black"/> 444<polygon fill="white" clip-path="url(#clipPath76)" points=" 473 132 477 140 469 140" stroke="none"/>
342<text x="283" y="35" clip-path="url(#clipPath66)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] source</text> 445<polygon fill="none" clip-path="url(#clipPath76)" points=" 473 132 477 140 469 140" stroke="rgb(136,136,136)"/>
343<text x="130" y="35" clip-path="url(#clipPath67)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] outgoingTransitions</text> 446<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="532" y1="158" y2="150" stroke="rgb(136,136,136)"/>
344<polygon fill="black" clip-path="url(#clipPath68)" points=" 345 38 339 41 333 38 339 35" stroke="none"/> 447<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="558" y1="150" y2="150" stroke="rgb(136,136,136)"/>
345<polygon fill="none" clip-path="url(#clipPath68)" points=" 345 38 339 41 333 38 339 35" stroke="black"/> 448<line clip-path="url(#clipPath66)" fill="none" x1="558" x2="558" y1="150" y2="132" stroke="rgb(136,136,136)"/>
346<line clip-path="url(#clipPath69)" fill="none" x1="135" x2="128" y1="35" y2="38" stroke="black"/> 449<polygon fill="white" clip-path="url(#clipPath77)" points=" 558 132 562 140 554 140" stroke="none"/>
347<line clip-path="url(#clipPath69)" fill="none" x1="128" x2="135" y1="38" y2="41" stroke="black"/> 450<polygon fill="none" clip-path="url(#clipPath77)" points=" 558 132 562 140 554 140" stroke="rgb(136,136,136)"/>
451<line clip-path="url(#clipPath66)" fill="none" x1="474" x2="474" y1="93" y2="85" stroke="rgb(136,136,136)"/>
452<line clip-path="url(#clipPath66)" fill="none" x1="474" x2="410" y1="85" y2="85" stroke="rgb(136,136,136)"/>
453<line clip-path="url(#clipPath66)" fill="none" x1="410" x2="410" y1="85" y2="67" stroke="rgb(136,136,136)"/>
454<polygon fill="white" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="none"/>
455<polygon fill="none" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="rgb(136,136,136)"/>
456<line clip-path="url(#clipPath66)" fill="none" x1="350" x2="128" y1="58" y2="58" stroke="black"/>
457<text x="290" y="75" clip-path="url(#clipPath78)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] target</text>
458<text x="135" y="75" clip-path="url(#clipPath79)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] incomingTransitions</text>
459<line clip-path="url(#clipPath80)" fill="none" x1="343" x2="350" y1="61" y2="58" stroke="black"/>
460<line clip-path="url(#clipPath80)" fill="none" x1="350" x2="343" y1="58" y2="55" stroke="black"/>
461<line clip-path="url(#clipPath81)" fill="none" x1="135" x2="128" y1="55" y2="58" stroke="black"/>
462<line clip-path="url(#clipPath81)" fill="none" x1="128" x2="135" y1="58" y2="61" stroke="black"/>
463<line clip-path="url(#clipPath66)" fill="none" x1="350" x2="128" y1="38" y2="38" stroke="black"/>
464<text x="288" y="35" clip-path="url(#clipPath82)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..1] source</text>
465<text x="135" y="35" clip-path="url(#clipPath83)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] outgoingTransitions</text>
466<polygon fill="black" clip-path="url(#clipPath84)" points=" 350 38 344 41 338 38 344 35" stroke="none"/>
467<polygon fill="none" clip-path="url(#clipPath84)" points=" 350 38 344 41 338 38 344 35" stroke="black"/>
468<line clip-path="url(#clipPath85)" fill="none" x1="135" x2="128" y1="35" y2="38" stroke="black"/>
469<line clip-path="url(#clipPath85)" fill="none" x1="128" x2="135" y1="38" y2="41" stroke="black"/>
470<line clip-path="url(#clipPath66)" fill="none" x1="135" x2="135" y1="158" y2="150" stroke="rgb(136,136,136)"/>
471<line clip-path="url(#clipPath66)" fill="none" x1="135" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
472<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
473<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
474<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
475<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="204" y1="158" y2="150" stroke="rgb(136,136,136)"/>
476<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
477<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
478<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
479<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
480<line clip-path="url(#clipPath66)" fill="none" x1="435" x2="435" y1="158" y2="132" stroke="rgb(136,136,136)"/>
481<polygon fill="white" clip-path="url(#clipPath86)" points=" 435 132 439 140 431 140" stroke="none"/>
482<polygon fill="none" clip-path="url(#clipPath86)" points=" 435 132 439 140 431 140" stroke="rgb(136,136,136)"/>
348</g> 483</g>
349</g> 484</g>
350</svg> 485</svg>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
index e964cfc7..f4bfa3c1 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
@@ -50,7 +50,7 @@ pattern multipleTransitionFromEntry(e : Entry, t1 : Transition, t2: Transition)
50 50
51@Constraint(severity="error", message="error", key = {e}) 51@Constraint(severity="error", message="error", key = {e})
52pattern outgoingFromExit(t : Transition, e : Exit) { 52pattern outgoingFromExit(t : Transition, e : Exit) {
53 find transition(t, e, _); 53 Exit.outgoingTransitions(e,t);
54} 54}
55 55
56///////// 56/////////
@@ -59,7 +59,7 @@ pattern outgoingFromExit(t : Transition, e : Exit) {
59 59
60@Constraint(severity="error", message="error", key = {f}) 60@Constraint(severity="error", message="error", key = {f})
61pattern outgoingFromFinal(t : Transition, f : FinalState) { 61pattern outgoingFromFinal(t : Transition, f : FinalState) {
62 find transition(t, f, _); 62 FinalState.outgoingTransitions(f,t);
63} 63}
64 64
65///////// 65/////////
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-04 10:36:54 +0000