diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-07-05 14:23:44 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-05 14:23:44 +0200 |
commit | bb231e3cc43aab160dde5bd2ffce2ac6ee829c85 (patch) | |
tree | 6dc2ffad67e4ad443910bcb4a4719e3557469c43 /Domains | |
parent | full Ecore -> Logic -> Ecore support (diff) | |
download | VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.gz VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.tar.zst VIATRA-Generator-bb231e3cc43aab160dde5bd2ffce2ac6ee829c85.zip |
Bug with outgoing transitions in yakindu example.
Diffstat (limited to 'Domains')
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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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/ AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5 aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1 AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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 iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J 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}) |
52 | pattern outgoingFromExit(t : Transition, e : Exit) { | 52 | pattern 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}) |
61 | pattern outgoingFromFinal(t : Transition, f : FinalState) { | 61 | pattern outgoingFromFinal(t : Transition, f : FinalState) { |
62 | find transition(t, f, _); | 62 | FinalState.outgoingTransitions(f,t); |
63 | } | 63 | } |
64 | 64 | ||
65 | ///////// | 65 | ///////// |