diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage')
2 files changed, 361 insertions, 109 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird index c54a1e10..4b179f98 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird | |||
@@ -1926,16 +1926,6 @@ | |||
1926 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | 1926 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> |
1927 | </endLabelStyleDescription> | 1927 | </endLabelStyleDescription> |
1928 | </computedStyleDescriptions> | 1928 | </computedStyleDescriptions> |
1929 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_QlTfMMF9Eea_b6UyFzv22g" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
1930 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1931 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_QlTfMcF9Eea_b6UyFzv22g" showIcon="false" labelExpression="service:render"> | ||
1932 | <labelFormat>bold</labelFormat> | ||
1933 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1934 | </centerLabelStyleDescription> | ||
1935 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_QlTfMsF9Eea_b6UyFzv22g" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
1936 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
1937 | </endLabelStyleDescription> | ||
1938 | </computedStyleDescriptions> | ||
1939 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_LmoREIHgEeeA1-_2v4gJKA" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 1929 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_LmoREIHgEeeA1-_2v4gJKA" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
1940 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 1930 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
1941 | <labelFormat>bold</labelFormat> | 1931 | <labelFormat>bold</labelFormat> |
@@ -2063,7 +2053,7 @@ | |||
2063 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTtbXDEeamG-Ij7YnW7w"/> | 2053 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTtbXDEeamG-Ij7YnW7w"/> |
2064 | </children> | 2054 | </children> |
2065 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUTtrXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> | 2055 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUTtrXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> |
2066 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUTt7XDEeamG-Ij7YnW7w" x="247" y="165" height="41"/> | 2056 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUTt7XDEeamG-Ij7YnW7w" x="355" y="169" height="41"/> |
2067 | </children> | 2057 | </children> |
2068 | <children xmi:type="notation:Node" xmi:id="_ccUTxrXDEeamG-Ij7YnW7w" type="2003" element="_ccU7arXDEeamG-Ij7YnW7w"> | 2058 | <children xmi:type="notation:Node" xmi:id="_ccUTxrXDEeamG-Ij7YnW7w" type="2003" element="_ccU7arXDEeamG-Ij7YnW7w"> |
2069 | <children xmi:type="notation:Node" xmi:id="_ccUTx7XDEeamG-Ij7YnW7w" type="5007"/> | 2059 | <children xmi:type="notation:Node" xmi:id="_ccUTx7XDEeamG-Ij7YnW7w" type="5007"/> |
@@ -2080,7 +2070,7 @@ | |||
2080 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUT0LXDEeamG-Ij7YnW7w"/> | 2070 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUT0LXDEeamG-Ij7YnW7w"/> |
2081 | </children> | 2071 | </children> |
2082 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUT0bXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" italic="true" fillColor="8047085"/> | 2072 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUT0bXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" italic="true" fillColor="8047085"/> |
2083 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUT0rXDEeamG-Ij7YnW7w" x="387" y="165" height="38"/> | 2073 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUT0rXDEeamG-Ij7YnW7w" x="515" y="169" height="38"/> |
2084 | </children> | 2074 | </children> |
2085 | <children xmi:type="notation:Node" xmi:id="_ccUT6LXDEeamG-Ij7YnW7w" type="2003" element="_ccU7pLXDEeamG-Ij7YnW7w"> | 2075 | <children xmi:type="notation:Node" xmi:id="_ccUT6LXDEeamG-Ij7YnW7w" type="2003" element="_ccU7pLXDEeamG-Ij7YnW7w"> |
2086 | <children xmi:type="notation:Node" xmi:id="_ccUT6bXDEeamG-Ij7YnW7w" type="5007"/> | 2076 | <children xmi:type="notation:Node" xmi:id="_ccUT6bXDEeamG-Ij7YnW7w" type="5007"/> |
@@ -2089,7 +2079,7 @@ | |||
2089 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUT7LXDEeamG-Ij7YnW7w"/> | 2079 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUT7LXDEeamG-Ij7YnW7w"/> |
2090 | </children> | 2080 | </children> |
2091 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUT7bXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> | 2081 | <styles xmi:type="notation:ShapeStyle" xmi:id="_ccUT7bXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> |
2092 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUT7rXDEeamG-Ij7YnW7w" x="387" y="222" height="43"/> | 2082 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUT7rXDEeamG-Ij7YnW7w" x="500" y="235" height="43"/> |
2093 | </children> | 2083 | </children> |
2094 | <children xmi:type="notation:Node" xmi:id="_ccUUBLXDEeamG-Ij7YnW7w" type="2003" element="_ccU7zrXDEeamG-Ij7YnW7w"> | 2084 | <children xmi:type="notation:Node" xmi:id="_ccUUBLXDEeamG-Ij7YnW7w" type="2003" element="_ccU7zrXDEeamG-Ij7YnW7w"> |
2095 | <children xmi:type="notation:Node" xmi:id="_ccUUBbXDEeamG-Ij7YnW7w" type="5007"/> | 2085 | <children xmi:type="notation:Node" xmi:id="_ccUUBbXDEeamG-Ij7YnW7w" type="5007"/> |
@@ -2119,33 +2109,33 @@ | |||
2119 | </edges> | 2109 | </edges> |
2120 | <edges xmi:type="notation:Edge" xmi:id="_ccUUGLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7c7XDEeamG-Ij7YnW7w" source="_ccUTo7XDEeamG-Ij7YnW7w" target="_ccUTxrXDEeamG-Ij7YnW7w"> | 2110 | <edges xmi:type="notation:Edge" xmi:id="_ccUUGLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7c7XDEeamG-Ij7YnW7w" source="_ccUTo7XDEeamG-Ij7YnW7w" target="_ccUTxrXDEeamG-Ij7YnW7w"> |
2121 | <children xmi:type="notation:Node" xmi:id="_ccUUGbXDEeamG-Ij7YnW7w" type="6001"> | 2111 | <children xmi:type="notation:Node" xmi:id="_ccUUGbXDEeamG-Ij7YnW7w" type="6001"> |
2122 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUGrXDEeamG-Ij7YnW7w" x="61" y="11"/> | 2112 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUGrXDEeamG-Ij7YnW7w" x="123" y="11"/> |
2123 | </children> | 2113 | </children> |
2124 | <children xmi:type="notation:Node" xmi:id="_ccUUG7XDEeamG-Ij7YnW7w" type="6002"> | 2114 | <children xmi:type="notation:Node" xmi:id="_ccUUG7XDEeamG-Ij7YnW7w" type="6002"> |
2125 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUHLXDEeamG-Ij7YnW7w" x="42" y="10"/> | 2115 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUHLXDEeamG-Ij7YnW7w" x="22" y="10"/> |
2126 | </children> | 2116 | </children> |
2127 | <children xmi:type="notation:Node" xmi:id="_ccUUHbXDEeamG-Ij7YnW7w" type="6003"> | 2117 | <children xmi:type="notation:Node" xmi:id="_ccUUHbXDEeamG-Ij7YnW7w" type="6003"> |
2128 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUHrXDEeamG-Ij7YnW7w" x="43" y="9"/> | 2118 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccUUHrXDEeamG-Ij7YnW7w" x="59" y="9"/> |
2129 | </children> | 2119 | </children> |
2130 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccUUH7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 2120 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccUUH7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2131 | <styles xmi:type="notation:FontStyle" xmi:id="_ccUUILXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2121 | <styles xmi:type="notation:FontStyle" xmi:id="_ccUUILXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2132 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccUUIbXDEeamG-Ij7YnW7w" points="[59, 20, -313, -206]$[386, 20, 14, -206]$[386, 120, 14, -106]"/> | 2122 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccUUIbXDEeamG-Ij7YnW7w" points="[139, 20, -281, -210]$[474, 20, 54, -210]$[474, 124, 54, -106]"/> |
2133 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccUUIrXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> | 2123 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccUUIrXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> |
2134 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccUUI7XDEeamG-Ij7YnW7w" id="(0.5,2.7222222222222223)"/> | 2124 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccUUI7XDEeamG-Ij7YnW7w" id="(0.5,2.7222222222222223)"/> |
2135 | </edges> | 2125 | </edges> |
2136 | <edges xmi:type="notation:Edge" xmi:id="_ccU6oLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7g7XDEeamG-Ij7YnW7w" source="_ccUTo7XDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> | 2126 | <edges xmi:type="notation:Edge" xmi:id="_ccU6oLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7g7XDEeamG-Ij7YnW7w" source="_ccUTo7XDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> |
2137 | <children xmi:type="notation:Node" xmi:id="_ccU6obXDEeamG-Ij7YnW7w" type="6001"> | 2127 | <children xmi:type="notation:Node" xmi:id="_ccU6obXDEeamG-Ij7YnW7w" type="6001"> |
2138 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6orXDEeamG-Ij7YnW7w" x="-6" y="-10"/> | 2128 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6orXDEeamG-Ij7YnW7w" x="-47" y="-4"/> |
2139 | </children> | 2129 | </children> |
2140 | <children xmi:type="notation:Node" xmi:id="_ccU6o7XDEeamG-Ij7YnW7w" type="6002"> | 2130 | <children xmi:type="notation:Node" xmi:id="_ccU6o7XDEeamG-Ij7YnW7w" type="6002"> |
2141 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6pLXDEeamG-Ij7YnW7w" x="54" y="10"/> | 2131 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6pLXDEeamG-Ij7YnW7w" x="146" y="10"/> |
2142 | </children> | 2132 | </children> |
2143 | <children xmi:type="notation:Node" xmi:id="_ccU6pbXDEeamG-Ij7YnW7w" type="6003"> | 2133 | <children xmi:type="notation:Node" xmi:id="_ccU6pbXDEeamG-Ij7YnW7w" type="6003"> |
2144 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6prXDEeamG-Ij7YnW7w" x="-10" y="114"/> | 2134 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU6prXDEeamG-Ij7YnW7w" x="2" y="222"/> |
2145 | </children> | 2135 | </children> |
2146 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU6p7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 2136 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU6p7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2147 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU6qLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2137 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU6qLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2148 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU6qbXDEeamG-Ij7YnW7w" points="[59, 70, -173, -148]$[208, 70, -24, -148]$[208, 120, -24, -98]"/> | 2138 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU6qbXDEeamG-Ij7YnW7w" points="[139, 70, -158, -152]$[294, 70, -3, -152]$[294, 124, -3, -98]"/> |
2149 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU6qrXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> | 2139 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU6qrXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> |
2150 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU6q7XDEeamG-Ij7YnW7w" id="(0.5,2.5128205128205128)"/> | 2140 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU6q7XDEeamG-Ij7YnW7w" id="(0.5,2.5128205128205128)"/> |
2151 | </edges> | 2141 | </edges> |
@@ -2183,33 +2173,33 @@ | |||
2183 | </edges> | 2173 | </edges> |
2184 | <edges xmi:type="notation:Edge" xmi:id="_ccU7MLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7yrXDEeamG-Ij7YnW7w" source="_ccUTnLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> | 2174 | <edges xmi:type="notation:Edge" xmi:id="_ccU7MLXDEeamG-Ij7YnW7w" type="4001" element="_ccU7yrXDEeamG-Ij7YnW7w" source="_ccUTnLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> |
2185 | <children xmi:type="notation:Node" xmi:id="_ccU7MbXDEeamG-Ij7YnW7w" type="6001"> | 2175 | <children xmi:type="notation:Node" xmi:id="_ccU7MbXDEeamG-Ij7YnW7w" type="6001"> |
2186 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7MrXDEeamG-Ij7YnW7w" x="15" y="-55"/> | 2176 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7MrXDEeamG-Ij7YnW7w" x="71" y="-55"/> |
2187 | </children> | 2177 | </children> |
2188 | <children xmi:type="notation:Node" xmi:id="_ccU7M7XDEeamG-Ij7YnW7w" type="6002"> | 2178 | <children xmi:type="notation:Node" xmi:id="_ccU7M7XDEeamG-Ij7YnW7w" type="6002"> |
2189 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7NLXDEeamG-Ij7YnW7w" x="90" y="-208"/> | 2179 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7NLXDEeamG-Ij7YnW7w" x="183" y="-208"/> |
2190 | </children> | 2180 | </children> |
2191 | <children xmi:type="notation:Node" xmi:id="_ccU7NbXDEeamG-Ij7YnW7w" type="6003"> | 2181 | <children xmi:type="notation:Node" xmi:id="_ccU7NbXDEeamG-Ij7YnW7w" type="6003"> |
2192 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7NrXDEeamG-Ij7YnW7w" x="23" y="10"/> | 2182 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7NrXDEeamG-Ij7YnW7w" x="42" y="10"/> |
2193 | </children> | 2183 | </children> |
2194 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU7N7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 2184 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU7N7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2195 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU7OLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2185 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU7OLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2196 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU7ObXDEeamG-Ij7YnW7w" points="[119, 10, -111, 296]$[233, 10, 3, 296]$[233, -286, 3, 0]"/> | 2186 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU7ObXDEeamG-Ij7YnW7w" points="[119, 10, -247, 292]$[355, 10, -11, 292]$[355, -282, -11, 0]"/> |
2197 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7OrXDEeamG-Ij7YnW7w" id="(0.32386363636363635,0.3278688524590164)"/> | 2187 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7OrXDEeamG-Ij7YnW7w" id="(0.32386363636363635,0.3278688524590164)"/> |
2198 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7O7XDEeamG-Ij7YnW7w" id="(0.3813559322033898,1.0)"/> | 2188 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7O7XDEeamG-Ij7YnW7w" id="(0.3813559322033898,1.0)"/> |
2199 | </edges> | 2189 | </edges> |
2200 | <edges xmi:type="notation:Edge" xmi:id="_ccU7PLXDEeamG-Ij7YnW7w" type="4001" element="_ccU70LXDEeamG-Ij7YnW7w" source="_ccUUBLXDEeamG-Ij7YnW7w" target="_ccUT6LXDEeamG-Ij7YnW7w"> | 2190 | <edges xmi:type="notation:Edge" xmi:id="_ccU7PLXDEeamG-Ij7YnW7w" type="4001" element="_ccU70LXDEeamG-Ij7YnW7w" source="_ccUUBLXDEeamG-Ij7YnW7w" target="_ccUT6LXDEeamG-Ij7YnW7w"> |
2201 | <children xmi:type="notation:Node" xmi:id="_ccU7PbXDEeamG-Ij7YnW7w" type="6001"> | 2191 | <children xmi:type="notation:Node" xmi:id="_ccU7PbXDEeamG-Ij7YnW7w" type="6001"> |
2202 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7PrXDEeamG-Ij7YnW7w" x="3" y="71"/> | 2192 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7PrXDEeamG-Ij7YnW7w" x="9" y="71"/> |
2203 | </children> | 2193 | </children> |
2204 | <children xmi:type="notation:Node" xmi:id="_ccU7P7XDEeamG-Ij7YnW7w" type="6002"> | 2194 | <children xmi:type="notation:Node" xmi:id="_ccU7P7XDEeamG-Ij7YnW7w" type="6002"> |
2205 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7QLXDEeamG-Ij7YnW7w" x="20" y="6"/> | 2195 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7QLXDEeamG-Ij7YnW7w" x="22" y="6"/> |
2206 | </children> | 2196 | </children> |
2207 | <children xmi:type="notation:Node" xmi:id="_ccU7QbXDEeamG-Ij7YnW7w" type="6003"> | 2197 | <children xmi:type="notation:Node" xmi:id="_ccU7QbXDEeamG-Ij7YnW7w" type="6003"> |
2208 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7QrXDEeamG-Ij7YnW7w" x="-32" y="2"/> | 2198 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ccU7QrXDEeamG-Ij7YnW7w" x="-21" y="2"/> |
2209 | </children> | 2199 | </children> |
2210 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU7Q7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 2200 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ccU7Q7XDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2211 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU7RLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2201 | <styles xmi:type="notation:FontStyle" xmi:id="_ccU7RLXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2212 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU7RbXDEeamG-Ij7YnW7w" points="[-30, 0, -15, 92]$[-30, -92, -15, 0]"/> | 2202 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ccU7RbXDEeamG-Ij7YnW7w" points="[83, 0, -15, 79]$[83, -79, -15, 0]"/> |
2213 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7RrXDEeamG-Ij7YnW7w" id="(0.6325301204819277,0.0)"/> | 2203 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7RrXDEeamG-Ij7YnW7w" id="(0.6325301204819277,0.0)"/> |
2214 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7R7XDEeamG-Ij7YnW7w" id="(0.6186440677966102,1.0)"/> | 2204 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ccU7R7XDEeamG-Ij7YnW7w" id="(0.6186440677966102,1.0)"/> |
2215 | </edges> | 2205 | </edges> |
@@ -2231,33 +2221,33 @@ | |||
2231 | </edges> | 2221 | </edges> |
2232 | <edges xmi:type="notation:Edge" xmi:id="_klahoLXDEeamG-Ij7YnW7w" type="4001" element="_klCuMLXDEeamG-Ij7YnW7w" source="_ccUUBLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> | 2222 | <edges xmi:type="notation:Edge" xmi:id="_klahoLXDEeamG-Ij7YnW7w" type="4001" element="_klCuMLXDEeamG-Ij7YnW7w" source="_ccUUBLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> |
2233 | <children xmi:type="notation:Node" xmi:id="_klbIsLXDEeamG-Ij7YnW7w" type="6001"> | 2223 | <children xmi:type="notation:Node" xmi:id="_klbIsLXDEeamG-Ij7YnW7w" type="6001"> |
2234 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbIsbXDEeamG-Ij7YnW7w" x="-2" y="54"/> | 2224 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbIsbXDEeamG-Ij7YnW7w" x="-29" y="54"/> |
2235 | </children> | 2225 | </children> |
2236 | <children xmi:type="notation:Node" xmi:id="_klbIsrXDEeamG-Ij7YnW7w" type="6002"> | 2226 | <children xmi:type="notation:Node" xmi:id="_klbIsrXDEeamG-Ij7YnW7w" type="6002"> |
2237 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbIs7XDEeamG-Ij7YnW7w" x="5" y="67"/> | 2227 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbIs7XDEeamG-Ij7YnW7w" x="-10"/> |
2238 | </children> | 2228 | </children> |
2239 | <children xmi:type="notation:Node" xmi:id="_klbItLXDEeamG-Ij7YnW7w" type="6003"> | 2229 | <children xmi:type="notation:Node" xmi:id="_klbItLXDEeamG-Ij7YnW7w" type="6003"> |
2240 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbItbXDEeamG-Ij7YnW7w" x="-2" y="10"/> | 2230 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_klbItbXDEeamG-Ij7YnW7w" x="-6" y="10"/> |
2241 | </children> | 2231 | </children> |
2242 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_klahobXDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 2232 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_klahobXDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2243 | <styles xmi:type="notation:FontStyle" xmi:id="_klahorXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2233 | <styles xmi:type="notation:FontStyle" xmi:id="_klahorXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2244 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_klaho7XDEeamG-Ij7YnW7w" points="[-45, 30, 50, 181]$[-95, 30, 0, 181]$[-95, -151, 0, 0]"/> | 2234 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_klaho7XDEeamG-Ij7YnW7w" points="[36, 0, -23, 147]$[36, -147, -23, 0]"/> |
2245 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_klbItrXDEeamG-Ij7YnW7w" id="(0.2710843373493976,0.0)"/> | 2235 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_klbItrXDEeamG-Ij7YnW7w" id="(0.2710843373493976,0.0)"/> |
2246 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_klbIt7XDEeamG-Ij7YnW7w" id="(0.6186440677966102,1.0)"/> | 2236 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_klbIt7XDEeamG-Ij7YnW7w" id="(0.6186440677966102,1.0)"/> |
2247 | </edges> | 2237 | </edges> |
2248 | <edges xmi:type="notation:Edge" xmi:id="_QlbbAMF9Eea_b6UyFzv22g" type="4001" element="_QlS4IMF9Eea_b6UyFzv22g" source="_ccUTnLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> | 2238 | <edges xmi:type="notation:Edge" xmi:id="_QlbbAMF9Eea_b6UyFzv22g" type="4001" element="_QlS4IMF9Eea_b6UyFzv22g" source="_ccUTnLXDEeamG-Ij7YnW7w" target="_ccUTsbXDEeamG-Ij7YnW7w"> |
2249 | <children xmi:type="notation:Node" xmi:id="_QlcCEMF9Eea_b6UyFzv22g" type="6001"> | 2239 | <children xmi:type="notation:Node" xmi:id="_QlcCEMF9Eea_b6UyFzv22g" type="6001"> |
2250 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCEcF9Eea_b6UyFzv22g" y="-10"/> | 2240 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCEcF9Eea_b6UyFzv22g" x="-52" y="-10"/> |
2251 | </children> | 2241 | </children> |
2252 | <children xmi:type="notation:Node" xmi:id="_QlcCEsF9Eea_b6UyFzv22g" type="6002"> | 2242 | <children xmi:type="notation:Node" xmi:id="_QlcCEsF9Eea_b6UyFzv22g" type="6002"> |
2253 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCE8F9Eea_b6UyFzv22g" y="10"/> | 2243 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCE8F9Eea_b6UyFzv22g" x="-15" y="10"/> |
2254 | </children> | 2244 | </children> |
2255 | <children xmi:type="notation:Node" xmi:id="_QlcCFMF9Eea_b6UyFzv22g" type="6003"> | 2245 | <children xmi:type="notation:Node" xmi:id="_QlcCFMF9Eea_b6UyFzv22g" type="6003"> |
2256 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCFcF9Eea_b6UyFzv22g" y="10"/> | 2246 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QlcCFcF9Eea_b6UyFzv22g" x="19" y="10"/> |
2257 | </children> | 2247 | </children> |
2258 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_QlbbAcF9Eea_b6UyFzv22g" routing="Rectilinear"/> | 2248 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_QlbbAcF9Eea_b6UyFzv22g" routing="Rectilinear"/> |
2259 | <styles xmi:type="notation:FontStyle" xmi:id="_QlbbAsF9Eea_b6UyFzv22g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2249 | <styles xmi:type="notation:FontStyle" xmi:id="_QlbbAsF9Eea_b6UyFzv22g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2260 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QlbbA8F9Eea_b6UyFzv22g" points="[5, 490, 5, 490]$[247, 165, 247, 165]"/> | 2250 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QlbbA8F9Eea_b6UyFzv22g" points="[34, -43, -337, 282]$[34, -176, -337, 149]$[355, -176, -16, 149]$[355, -305, -16, 20]"/> |
2261 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Qld3QMF9Eea_b6UyFzv22g" id="(0.42617349970291146,0.7049180327868853)"/> | 2251 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Qld3QMF9Eea_b6UyFzv22g" id="(0.42617349970291146,0.7049180327868853)"/> |
2262 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Qld3QcF9Eea_b6UyFzv22g" id="(0.5,0.4878048780487805)"/> | 2252 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Qld3QcF9Eea_b6UyFzv22g" id="(0.5,0.4878048780487805)"/> |
2263 | </edges> | 2253 | </edges> |
@@ -2698,17 +2688,12 @@ | |||
2698 | </ownedStyle> | 2688 | </ownedStyle> |
2699 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 2689 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
2700 | </ownedDiagramElements> | 2690 | </ownedDiagramElements> |
2701 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_QlS4IMF9Eea_b6UyFzv22g" name="[1..*] openWorldElementPrototypes" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7YbXDEeamG-Ij7YnW7w"> | 2691 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_QlS4IMF9Eea_b6UyFzv22g" name="[0..*] openWorldElementPrototypes" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7YbXDEeamG-Ij7YnW7w"> |
2702 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 2692 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
2703 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 2693 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
2704 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_QlUGQMF9Eea_b6UyFzv22g" description="_QlTfMMF9Eea_b6UyFzv22g" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | 2694 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ZiSRsKqzEeedy_x5Gx-FWw" description="_ccUTl7XDEeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> |
2705 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_QlUGQcF9Eea_b6UyFzv22g" showIcon="false"> | 2695 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_ZiSRsaqzEeedy_x5Gx-FWw" showIcon="false"/> |
2706 | <customFeatures>labelSize</customFeatures> | 2696 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_ZiSRsqqzEeedy_x5Gx-FWw" labelSize="6" showIcon="false" labelColor="39,76,114"/> |
2707 | <labelFormat>bold</labelFormat> | ||
2708 | </centerLabelStyle> | ||
2709 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_QlUGQsF9Eea_b6UyFzv22g" showIcon="false" labelColor="39,76,114"> | ||
2710 | <customFeatures>labelSize</customFeatures> | ||
2711 | </endLabelStyle> | ||
2712 | </ownedStyle> | 2697 | </ownedStyle> |
2713 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 2698 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
2714 | </ownedDiagramElements> | 2699 | </ownedDiagramElements> |
@@ -2775,15 +2760,11 @@ | |||
2775 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 2760 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
2776 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 2761 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
2777 | </computedStyleDescriptions> | 2762 | </computedStyleDescriptions> |
2778 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_RU2McMAiEeaaj7sYFz2QKg" sourceArrow="FillDiamond" routingStyle="manhattan"> | 2763 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_TrePUKqzEeedy_x5Gx-FWw" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
2779 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 2764 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
2780 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_RU2MccAiEeaaj7sYFz2QKg" showIcon="false" labelExpression="service:render"> | 2765 | <labelFormat>bold</labelFormat> |
2781 | <labelFormat>bold</labelFormat> | 2766 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
2782 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 2767 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/> |
2783 | </centerLabelStyleDescription> | ||
2784 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_RU2McsAiEeaaj7sYFz2QKg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
2785 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
2786 | </endLabelStyleDescription> | ||
2787 | </computedStyleDescriptions> | 2768 | </computedStyleDescriptions> |
2788 | </data> | 2769 | </data> |
2789 | </ownedAnnotationEntries> | 2770 | </ownedAnnotationEntries> |
@@ -2800,6 +2781,62 @@ | |||
2800 | <styles xmi:type="notation:FontStyle" xmi:id="_RVJHYMAiEeaaj7sYFz2QKg" fontName="Segoe UI" fontHeight="8" bold="true"/> | 2781 | <styles xmi:type="notation:FontStyle" xmi:id="_RVJHYMAiEeaaj7sYFz2QKg" fontName="Segoe UI" fontHeight="8" bold="true"/> |
2801 | <layoutConstraint xmi:type="notation:Location" xmi:id="_RVJHYcAiEeaaj7sYFz2QKg"/> | 2782 | <layoutConstraint xmi:type="notation:Location" xmi:id="_RVJHYcAiEeaaj7sYFz2QKg"/> |
2802 | </children> | 2783 | </children> |
2784 | <children xmi:type="notation:Node" xmi:id="_Tr_zwKqzEeedy_x5Gx-FWw" type="3010" element="_TrLUYKqzEeedy_x5Gx-FWw"> | ||
2785 | <styles xmi:type="notation:FontStyle" xmi:id="_Tr_zwaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
2786 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Tr_zwqqzEeedy_x5Gx-FWw"/> | ||
2787 | </children> | ||
2788 | <children xmi:type="notation:Node" xmi:id="_TsEsQKqzEeedy_x5Gx-FWw" type="3010" element="_TrOXsKqzEeedy_x5Gx-FWw"> | ||
2789 | <styles xmi:type="notation:FontStyle" xmi:id="_TsEsQaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
2790 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsEsQqqzEeedy_x5Gx-FWw"/> | ||
2791 | </children> | ||
2792 | <children xmi:type="notation:Node" xmi:id="_TsFTUKqzEeedy_x5Gx-FWw" type="3010" element="_TrO-waqzEeedy_x5Gx-FWw"> | ||
2793 | <styles xmi:type="notation:FontStyle" xmi:id="_TsFTUaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
2794 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsFTUqqzEeedy_x5Gx-FWw"/> | ||
2795 | </children> | ||
2796 | <children xmi:type="notation:Node" xmi:id="_TsFTU6qzEeedy_x5Gx-FWw" type="3010" element="_TrQz8KqzEeedy_x5Gx-FWw"> | ||
2797 | <styles xmi:type="notation:FontStyle" xmi:id="_TsFTVKqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2798 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsFTVaqzEeedy_x5Gx-FWw"/> | ||
2799 | </children> | ||
2800 | <children xmi:type="notation:Node" xmi:id="_TsF6YKqzEeedy_x5Gx-FWw" type="3010" element="_TrRbAaqzEeedy_x5Gx-FWw"> | ||
2801 | <styles xmi:type="notation:FontStyle" xmi:id="_TsF6YaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2802 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsF6YqqzEeedy_x5Gx-FWw"/> | ||
2803 | </children> | ||
2804 | <children xmi:type="notation:Node" xmi:id="_TsGhcKqzEeedy_x5Gx-FWw" type="3010" element="_TrSpIaqzEeedy_x5Gx-FWw"> | ||
2805 | <styles xmi:type="notation:FontStyle" xmi:id="_TsGhcaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2806 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsGhcqqzEeedy_x5Gx-FWw"/> | ||
2807 | </children> | ||
2808 | <children xmi:type="notation:Node" xmi:id="_TsGhc6qzEeedy_x5Gx-FWw" type="3010" element="_TrT3QaqzEeedy_x5Gx-FWw"> | ||
2809 | <styles xmi:type="notation:FontStyle" xmi:id="_TsGhdKqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2810 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsGhdaqzEeedy_x5Gx-FWw"/> | ||
2811 | </children> | ||
2812 | <children xmi:type="notation:Node" xmi:id="_TsHIgKqzEeedy_x5Gx-FWw" type="3010" element="_TrUeUaqzEeedy_x5Gx-FWw"> | ||
2813 | <styles xmi:type="notation:FontStyle" xmi:id="_TsHIgaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2814 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsHIgqqzEeedy_x5Gx-FWw"/> | ||
2815 | </children> | ||
2816 | <children xmi:type="notation:Node" xmi:id="_TsHvkKqzEeedy_x5Gx-FWw" type="3010" element="_TrVFYaqzEeedy_x5Gx-FWw"> | ||
2817 | <styles xmi:type="notation:FontStyle" xmi:id="_TsHvkaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2818 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsHvkqqzEeedy_x5Gx-FWw"/> | ||
2819 | </children> | ||
2820 | <children xmi:type="notation:Node" xmi:id="_TsHvk6qzEeedy_x5Gx-FWw" type="3010" element="_TrVscaqzEeedy_x5Gx-FWw"> | ||
2821 | <styles xmi:type="notation:FontStyle" xmi:id="_TsHvlKqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2822 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsHvlaqzEeedy_x5Gx-FWw"/> | ||
2823 | </children> | ||
2824 | <children xmi:type="notation:Node" xmi:id="_TsIWoKqzEeedy_x5Gx-FWw" type="3010" element="_TrWTgaqzEeedy_x5Gx-FWw"> | ||
2825 | <styles xmi:type="notation:FontStyle" xmi:id="_TsIWoaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2826 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsIWoqqzEeedy_x5Gx-FWw"/> | ||
2827 | </children> | ||
2828 | <children xmi:type="notation:Node" xmi:id="_TsI9sKqzEeedy_x5Gx-FWw" type="3010" element="_TrXhoKqzEeedy_x5Gx-FWw"> | ||
2829 | <styles xmi:type="notation:FontStyle" xmi:id="_TsI9saqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2830 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsI9sqqzEeedy_x5Gx-FWw"/> | ||
2831 | </children> | ||
2832 | <children xmi:type="notation:Node" xmi:id="_TsJkwKqzEeedy_x5Gx-FWw" type="3010" element="_TrXhoqqzEeedy_x5Gx-FWw"> | ||
2833 | <styles xmi:type="notation:FontStyle" xmi:id="_TsJkwaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2834 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsJkwqqzEeedy_x5Gx-FWw"/> | ||
2835 | </children> | ||
2836 | <children xmi:type="notation:Node" xmi:id="_TsJkw6qzEeedy_x5Gx-FWw" type="3010" element="_TrYIsaqzEeedy_x5Gx-FWw"> | ||
2837 | <styles xmi:type="notation:FontStyle" xmi:id="_TsJkxKqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2838 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsJkxaqzEeedy_x5Gx-FWw"/> | ||
2839 | </children> | ||
2803 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmCwLXDEeamG-Ij7YnW7w"/> | 2840 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmCwLXDEeamG-Ij7YnW7w"/> |
2804 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmCwbXDEeamG-Ij7YnW7w"/> | 2841 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmCwbXDEeamG-Ij7YnW7w"/> |
2805 | </children> | 2842 | </children> |
@@ -2809,15 +2846,43 @@ | |||
2809 | <children xmi:type="notation:Node" xmi:id="_pEmCxLXDEeamG-Ij7YnW7w" type="2003" element="_pEmrJbXDEeamG-Ij7YnW7w"> | 2846 | <children xmi:type="notation:Node" xmi:id="_pEmCxLXDEeamG-Ij7YnW7w" type="2003" element="_pEmrJbXDEeamG-Ij7YnW7w"> |
2810 | <children xmi:type="notation:Node" xmi:id="_pEmCxbXDEeamG-Ij7YnW7w" type="5007"/> | 2847 | <children xmi:type="notation:Node" xmi:id="_pEmCxbXDEeamG-Ij7YnW7w" type="5007"/> |
2811 | <children xmi:type="notation:Node" xmi:id="_pEmCxrXDEeamG-Ij7YnW7w" type="7004"> | 2848 | <children xmi:type="notation:Node" xmi:id="_pEmCxrXDEeamG-Ij7YnW7w" type="7004"> |
2849 | <children xmi:type="notation:Node" xmi:id="_TsKy4KqzEeedy_x5Gx-FWw" type="3010" element="_TrZW0KqzEeedy_x5Gx-FWw"> | ||
2850 | <styles xmi:type="notation:FontStyle" xmi:id="_TsKy4aqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2851 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsKy4qqzEeedy_x5Gx-FWw"/> | ||
2852 | </children> | ||
2853 | <children xmi:type="notation:Node" xmi:id="_TsMoEKqzEeedy_x5Gx-FWw" type="3010" element="_TrZ94aqzEeedy_x5Gx-FWw"> | ||
2854 | <styles xmi:type="notation:FontStyle" xmi:id="_TsMoEaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2855 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsMoEqqzEeedy_x5Gx-FWw"/> | ||
2856 | </children> | ||
2857 | <children xmi:type="notation:Node" xmi:id="_TsNPIKqzEeedy_x5Gx-FWw" type="3010" element="_Trak8aqzEeedy_x5Gx-FWw"> | ||
2858 | <styles xmi:type="notation:FontStyle" xmi:id="_TsNPIaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2859 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsNPIqqzEeedy_x5Gx-FWw"/> | ||
2860 | </children> | ||
2861 | <children xmi:type="notation:Node" xmi:id="_TsN2MKqzEeedy_x5Gx-FWw" type="3010" element="_TrbMAaqzEeedy_x5Gx-FWw"> | ||
2862 | <styles xmi:type="notation:FontStyle" xmi:id="_TsN2MaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2863 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsN2MqqzEeedy_x5Gx-FWw"/> | ||
2864 | </children> | ||
2865 | <children xmi:type="notation:Node" xmi:id="_TsOdQKqzEeedy_x5Gx-FWw" type="3010" element="_TrbzEaqzEeedy_x5Gx-FWw"> | ||
2866 | <styles xmi:type="notation:FontStyle" xmi:id="_TsOdQaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2867 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsOdQqqzEeedy_x5Gx-FWw"/> | ||
2868 | </children> | ||
2869 | <children xmi:type="notation:Node" xmi:id="_TsPEUKqzEeedy_x5Gx-FWw" type="3010" element="_TrcaIaqzEeedy_x5Gx-FWw"> | ||
2870 | <styles xmi:type="notation:FontStyle" xmi:id="_TsPEUaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2871 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsPEUqqzEeedy_x5Gx-FWw"/> | ||
2872 | </children> | ||
2812 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmpwLXDEeamG-Ij7YnW7w"/> | 2873 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmpwLXDEeamG-Ij7YnW7w"/> |
2813 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmpwbXDEeamG-Ij7YnW7w"/> | 2874 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmpwbXDEeamG-Ij7YnW7w"/> |
2814 | </children> | 2875 | </children> |
2815 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pEmpwrXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> | 2876 | <styles xmi:type="notation:ShapeStyle" xmi:id="_pEmpwrXDEeamG-Ij7YnW7w" fontName="Segoe UI" fontHeight="8" fillColor="8047085"/> |
2816 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmpw7XDEeamG-Ij7YnW7w" x="212" y="30"/> | 2877 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmpw7XDEeamG-Ij7YnW7w" x="80" y="26"/> |
2817 | </children> | 2878 | </children> |
2818 | <children xmi:type="notation:Node" xmi:id="_pEmpy7XDEeamG-Ij7YnW7w" type="2003" element="_pEmrL7XDEeamG-Ij7YnW7w"> | 2879 | <children xmi:type="notation:Node" xmi:id="_pEmpy7XDEeamG-Ij7YnW7w" type="2003" element="_pEmrL7XDEeamG-Ij7YnW7w"> |
2819 | <children xmi:type="notation:Node" xmi:id="_pEmpzLXDEeamG-Ij7YnW7w" type="5007"/> | 2880 | <children xmi:type="notation:Node" xmi:id="_pEmpzLXDEeamG-Ij7YnW7w" type="5007"/> |
2820 | <children xmi:type="notation:Node" xmi:id="_pEmpzbXDEeamG-Ij7YnW7w" type="7004"> | 2881 | <children xmi:type="notation:Node" xmi:id="_pEmpzbXDEeamG-Ij7YnW7w" type="7004"> |
2882 | <children xmi:type="notation:Node" xmi:id="_TsPrYKqzEeedy_x5Gx-FWw" type="3010" element="_TrdoQKqzEeedy_x5Gx-FWw"> | ||
2883 | <styles xmi:type="notation:FontStyle" xmi:id="_TsPrYaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
2884 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsPrYqqzEeedy_x5Gx-FWw"/> | ||
2885 | </children> | ||
2821 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmpzrXDEeamG-Ij7YnW7w"/> | 2886 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmpzrXDEeamG-Ij7YnW7w"/> |
2822 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmpz7XDEeamG-Ij7YnW7w"/> | 2887 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmpz7XDEeamG-Ij7YnW7w"/> |
2823 | </children> | 2888 | </children> |
@@ -2827,6 +2892,10 @@ | |||
2827 | <children xmi:type="notation:Node" xmi:id="_pEmp2bXDEeamG-Ij7YnW7w" type="2003" element="_pEmrNbXDEeamG-Ij7YnW7w"> | 2892 | <children xmi:type="notation:Node" xmi:id="_pEmp2bXDEeamG-Ij7YnW7w" type="2003" element="_pEmrNbXDEeamG-Ij7YnW7w"> |
2828 | <children xmi:type="notation:Node" xmi:id="_pEmp2rXDEeamG-Ij7YnW7w" type="5007"/> | 2893 | <children xmi:type="notation:Node" xmi:id="_pEmp2rXDEeamG-Ij7YnW7w" type="5007"/> |
2829 | <children xmi:type="notation:Node" xmi:id="_pEmp27XDEeamG-Ij7YnW7w" type="7004"> | 2894 | <children xmi:type="notation:Node" xmi:id="_pEmp27XDEeamG-Ij7YnW7w" type="7004"> |
2895 | <children xmi:type="notation:Node" xmi:id="_TsQScKqzEeedy_x5Gx-FWw" type="3010" element="_TrfdcKqzEeedy_x5Gx-FWw"> | ||
2896 | <styles xmi:type="notation:FontStyle" xmi:id="_TsQScaqzEeedy_x5Gx-FWw" fontName="Segoe UI" fontHeight="8"/> | ||
2897 | <layoutConstraint xmi:type="notation:Location" xmi:id="_TsQScqqzEeedy_x5Gx-FWw"/> | ||
2898 | </children> | ||
2830 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmp3LXDEeamG-Ij7YnW7w"/> | 2899 | <styles xmi:type="notation:SortingStyle" xmi:id="_pEmp3LXDEeamG-Ij7YnW7w"/> |
2831 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmp3bXDEeamG-Ij7YnW7w"/> | 2900 | <styles xmi:type="notation:FilteringStyle" xmi:id="_pEmp3bXDEeamG-Ij7YnW7w"/> |
2832 | </children> | 2901 | </children> |
@@ -2924,33 +2993,33 @@ | |||
2924 | <styles xmi:type="notation:DiagramStyle" xmi:id="_pEmqJbXDEeamG-Ij7YnW7w"/> | 2993 | <styles xmi:type="notation:DiagramStyle" xmi:id="_pEmqJbXDEeamG-Ij7YnW7w"/> |
2925 | <edges xmi:type="notation:Edge" xmi:id="_pEmqJrXDEeamG-Ij7YnW7w" type="4001" element="_pEmrKLXDEeamG-Ij7YnW7w" source="_pEmCvbXDEeamG-Ij7YnW7w" target="_pEmCxLXDEeamG-Ij7YnW7w"> | 2994 | <edges xmi:type="notation:Edge" xmi:id="_pEmqJrXDEeamG-Ij7YnW7w" type="4001" element="_pEmrKLXDEeamG-Ij7YnW7w" source="_pEmCvbXDEeamG-Ij7YnW7w" target="_pEmCxLXDEeamG-Ij7YnW7w"> |
2926 | <children xmi:type="notation:Node" xmi:id="_pEmqJ7XDEeamG-Ij7YnW7w" type="6001"> | 2995 | <children xmi:type="notation:Node" xmi:id="_pEmqJ7XDEeamG-Ij7YnW7w" type="6001"> |
2927 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqKLXDEeamG-Ij7YnW7w" x="3" y="-44"/> | 2996 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqKLXDEeamG-Ij7YnW7w" x="62" y="44"/> |
2928 | </children> | 2997 | </children> |
2929 | <children xmi:type="notation:Node" xmi:id="_pEmqKbXDEeamG-Ij7YnW7w" type="6002"> | 2998 | <children xmi:type="notation:Node" xmi:id="_pEmqKbXDEeamG-Ij7YnW7w" type="6002"> |
2930 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqKrXDEeamG-Ij7YnW7w" x="59"/> | 2999 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqKrXDEeamG-Ij7YnW7w" x="55"/> |
2931 | </children> | 3000 | </children> |
2932 | <children xmi:type="notation:Node" xmi:id="_pEmqK7XDEeamG-Ij7YnW7w" type="6003"> | 3001 | <children xmi:type="notation:Node" xmi:id="_pEmqK7XDEeamG-Ij7YnW7w" type="6003"> |
2933 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqLLXDEeamG-Ij7YnW7w" x="-51"/> | 3002 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqLLXDEeamG-Ij7YnW7w" x="-53"/> |
2934 | </children> | 3003 | </children> |
2935 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pEmqLbXDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 3004 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pEmqLbXDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2936 | <styles xmi:type="notation:FontStyle" xmi:id="_pEmqLrXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 3005 | <styles xmi:type="notation:FontStyle" xmi:id="_pEmqLrXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2937 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pEmqL7XDEeamG-Ij7YnW7w" points="[-15, -49, -16, 411]$[-15, -411, -16, 49]"/> | 3006 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pEmqL7XDEeamG-Ij7YnW7w" points="[8, -49, 59, 402]$[8, -217, 59, 234]$[-63, -217, -12, 234]$[-63, -388, -12, 63]"/> |
2938 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqMLXDEeamG-Ij7YnW7w" id="(0.49673202614379086,1.065217391304348)"/> | 3007 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqMLXDEeamG-Ij7YnW7w" id="(0.49673202614379086,1.065217391304348)"/> |
2939 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqMbXDEeamG-Ij7YnW7w" id="(0.5,0.5)"/> | 3008 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqMbXDEeamG-Ij7YnW7w" id="(0.5,0.5)"/> |
2940 | </edges> | 3009 | </edges> |
2941 | <edges xmi:type="notation:Edge" xmi:id="_pEmqSrXDEeamG-Ij7YnW7w" type="4001" element="_pEmrSbXDEeamG-Ij7YnW7w" source="_pEmCxLXDEeamG-Ij7YnW7w" target="_pEmp2bXDEeamG-Ij7YnW7w"> | 3010 | <edges xmi:type="notation:Edge" xmi:id="_pEmqSrXDEeamG-Ij7YnW7w" type="4001" element="_pEmrSbXDEeamG-Ij7YnW7w" source="_pEmCxLXDEeamG-Ij7YnW7w" target="_pEmp2bXDEeamG-Ij7YnW7w"> |
2942 | <children xmi:type="notation:Node" xmi:id="_pEmqS7XDEeamG-Ij7YnW7w" type="6001"> | 3011 | <children xmi:type="notation:Node" xmi:id="_pEmqS7XDEeamG-Ij7YnW7w" type="6001"> |
2943 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqTLXDEeamG-Ij7YnW7w" x="24" y="9"/> | 3012 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqTLXDEeamG-Ij7YnW7w" x="88" y="9"/> |
2944 | </children> | 3013 | </children> |
2945 | <children xmi:type="notation:Node" xmi:id="_pEmqTbXDEeamG-Ij7YnW7w" type="6002"> | 3014 | <children xmi:type="notation:Node" xmi:id="_pEmqTbXDEeamG-Ij7YnW7w" type="6002"> |
2946 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqTrXDEeamG-Ij7YnW7w" x="98" y="10"/> | 3015 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqTrXDEeamG-Ij7YnW7w" x="206" y="10"/> |
2947 | </children> | 3016 | </children> |
2948 | <children xmi:type="notation:Node" xmi:id="_pEmqT7XDEeamG-Ij7YnW7w" type="6003"> | 3017 | <children xmi:type="notation:Node" xmi:id="_pEmqT7XDEeamG-Ij7YnW7w" type="6003"> |
2949 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqULXDEeamG-Ij7YnW7w" x="1" y="-1"/> | 3018 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pEmqULXDEeamG-Ij7YnW7w" x="21" y="-1"/> |
2950 | </children> | 3019 | </children> |
2951 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pEmqUbXDEeamG-Ij7YnW7w" routing="Rectilinear"/> | 3020 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_pEmqUbXDEeamG-Ij7YnW7w" routing="Rectilinear"/> |
2952 | <styles xmi:type="notation:FontStyle" xmi:id="_pEmqUrXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 3021 | <styles xmi:type="notation:FontStyle" xmi:id="_pEmqUrXDEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2953 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pEmqU7XDEeamG-Ij7YnW7w" points="[59, 39, -191, -104]$[191, 39, -59, -104]"/> | 3022 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pEmqU7XDEeamG-Ij7YnW7w" points="[0, 0, -346, -147]$[0, -59, -346, -206]$[513, -59, 167, -206]$[513, 87, 167, -60]$[438, 87, 92, -60]$[438, 63, 92, -84]"/> |
2954 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqVLXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> | 3023 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqVLXDEeamG-Ij7YnW7w" id="(0.5,0.0)"/> |
2955 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqVbXDEeamG-Ij7YnW7w" id="(0.5,3.161290322580645)"/> | 3024 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pEmqVbXDEeamG-Ij7YnW7w" id="(0.5,3.161290322580645)"/> |
2956 | </edges> | 3025 | </edges> |
@@ -3235,39 +3304,23 @@ | |||
3235 | </edges> | 3304 | </edges> |
3236 | <edges xmi:type="notation:Edge" xmi:id="_1x68MPMUEeagPYxz1ZWLIQ" type="4001" element="_1xkW4PMUEeagPYxz1ZWLIQ" source="_pEmCvbXDEeamG-Ij7YnW7w" target="_pEmCxLXDEeamG-Ij7YnW7w"> | 3305 | <edges xmi:type="notation:Edge" xmi:id="_1x68MPMUEeagPYxz1ZWLIQ" type="4001" element="_1xkW4PMUEeagPYxz1ZWLIQ" source="_pEmCvbXDEeamG-Ij7YnW7w" target="_pEmCxLXDEeamG-Ij7YnW7w"> |
3237 | <children xmi:type="notation:Node" xmi:id="_1yHwgPMUEeagPYxz1ZWLIQ" type="6001"> | 3306 | <children xmi:type="notation:Node" xmi:id="_1yHwgPMUEeagPYxz1ZWLIQ" type="6001"> |
3238 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yHwgfMUEeagPYxz1ZWLIQ" y="-10"/> | 3307 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yHwgfMUEeagPYxz1ZWLIQ" x="-2" y="10"/> |
3239 | </children> | 3308 | </children> |
3240 | <children xmi:type="notation:Node" xmi:id="_1yJlsPMUEeagPYxz1ZWLIQ" type="6002"> | 3309 | <children xmi:type="notation:Node" xmi:id="_1yJlsPMUEeagPYxz1ZWLIQ" type="6002"> |
3241 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yJlsfMUEeagPYxz1ZWLIQ" y="10"/> | 3310 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yJlsfMUEeagPYxz1ZWLIQ" x="-1" y="10"/> |
3242 | </children> | 3311 | </children> |
3243 | <children xmi:type="notation:Node" xmi:id="_1yKMwPMUEeagPYxz1ZWLIQ" type="6003"> | 3312 | <children xmi:type="notation:Node" xmi:id="_1yKMwPMUEeagPYxz1ZWLIQ" type="6003"> |
3244 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yKMwfMUEeagPYxz1ZWLIQ" y="10"/> | 3313 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1yKMwfMUEeagPYxz1ZWLIQ" x="-3" y="10"/> |
3245 | </children> | 3314 | </children> |
3246 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_1x68MfMUEeagPYxz1ZWLIQ" routing="Rectilinear"/> | 3315 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_1x68MfMUEeagPYxz1ZWLIQ" routing="Rectilinear"/> |
3247 | <styles xmi:type="notation:FontStyle" xmi:id="_1x68MvMUEeagPYxz1ZWLIQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 3316 | <styles xmi:type="notation:FontStyle" xmi:id="_1x68MvMUEeagPYxz1ZWLIQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
3248 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_1x68M_MUEeagPYxz1ZWLIQ" points="[195, 490, 195, 490]$[212, 30, 212, 30]"/> | 3317 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_1x68M_MUEeagPYxz1ZWLIQ" points="[4, -23, 55, 402]$[4, -191, 55, 234]$[-64, -191, -13, 234]$[-64, -362, -13, 63]"/> |
3249 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1yQ6cPMUEeagPYxz1ZWLIQ" id="(0.49673202614379086,0.5)"/> | 3318 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1yQ6cPMUEeagPYxz1ZWLIQ" id="(0.49673202614379086,0.5)"/> |
3250 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1yQ6cfMUEeagPYxz1ZWLIQ" id="(0.5,0.5)"/> | 3319 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1yQ6cfMUEeagPYxz1ZWLIQ" id="(0.5,0.5)"/> |
3251 | </edges> | 3320 | </edges> |
3252 | <edges xmi:type="notation:Edge" xmi:id="_3fl-8PMUEeagPYxz1ZWLIQ" type="4001" element="_3d9AMPMUEeagPYxz1ZWLIQ" source="_pEmCvbXDEeamG-Ij7YnW7w" target="_ERrCkLXFEeamG-Ij7YnW7w"> | ||
3253 | <children xmi:type="notation:Node" xmi:id="_3fnNEPMUEeagPYxz1ZWLIQ" type="6001"> | ||
3254 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3fnNEfMUEeagPYxz1ZWLIQ" x="-14" y="-10"/> | ||
3255 | </children> | ||
3256 | <children xmi:type="notation:Node" xmi:id="_3fnNEvMUEeagPYxz1ZWLIQ" type="6002"> | ||
3257 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3fnNE_MUEeagPYxz1ZWLIQ" x="118" y="10"/> | ||
3258 | </children> | ||
3259 | <children xmi:type="notation:Node" xmi:id="_3fnNFPMUEeagPYxz1ZWLIQ" type="6003"> | ||
3260 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3fnNFfMUEeagPYxz1ZWLIQ" x="-155" y="10"/> | ||
3261 | </children> | ||
3262 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_3fl-8fMUEeagPYxz1ZWLIQ" routing="Rectilinear"/> | ||
3263 | <styles xmi:type="notation:FontStyle" xmi:id="_3fl-8vMUEeagPYxz1ZWLIQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
3264 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_3fl-8_MUEeagPYxz1ZWLIQ" points="[-96, 23, -580, 45]$[-96, 97, -580, 119]$[594, 97, 110, 119]$[594, -1, 110, 21]"/> | ||
3265 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3fn0IPMUEeagPYxz1ZWLIQ" id="(1.0,0.5)"/> | ||
3266 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3fn0IfMUEeagPYxz1ZWLIQ" id="(0.0,0.5227272727272727)"/> | ||
3267 | </edges> | ||
3268 | </data> | 3321 | </data> |
3269 | </ownedAnnotationEntries> | 3322 | </ownedAnnotationEntries> |
3270 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrI7XDEeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_pEmrKLXDEeamG-Ij7YnW7w _pEmrkLXDEeamG-Ij7YnW7w _pEmrmLXDEeamG-Ij7YnW7w _RU0XQMAiEeaaj7sYFz2QKg _1xkW4PMUEeagPYxz1ZWLIQ _3d9AMPMUEeagPYxz1ZWLIQ" width="12" height="10"> | 3323 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrI7XDEeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_pEmrKLXDEeamG-Ij7YnW7w _pEmrkLXDEeamG-Ij7YnW7w _pEmrmLXDEeamG-Ij7YnW7w _RU0XQMAiEeaaj7sYFz2QKg _1xkW4PMUEeagPYxz1ZWLIQ" width="12" height="10"> |
3271 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 3324 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
3272 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 3325 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
3273 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 3326 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -3293,6 +3346,118 @@ | |||
3293 | </ownedStyle> | 3346 | </ownedStyle> |
3294 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 3347 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
3295 | </ownedElements> | 3348 | </ownedElements> |
3349 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrLUYKqzEeedy_x5Gx-FWw" name="maxNewIntegers : EInt" tooltipText=""> | ||
3350 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewIntegers"/> | ||
3351 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewIntegers"/> | ||
3352 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrNJkKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" description="_RUg1QMAiEeaaj7sYFz2QKg"> | ||
3353 | <labelFormat>bold</labelFormat> | ||
3354 | </ownedStyle> | ||
3355 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
3356 | </ownedElements> | ||
3357 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrOXsKqzEeedy_x5Gx-FWw" name="maxNewReals : EInt" tooltipText=""> | ||
3358 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewReals"/> | ||
3359 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewReals"/> | ||
3360 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrO-wKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" description="_RUg1QMAiEeaaj7sYFz2QKg"> | ||
3361 | <labelFormat>bold</labelFormat> | ||
3362 | </ownedStyle> | ||
3363 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
3364 | </ownedElements> | ||
3365 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrO-waqzEeedy_x5Gx-FWw" name="maxNewStrings : EInt" tooltipText=""> | ||
3366 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewStrings"/> | ||
3367 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewStrings"/> | ||
3368 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrQM4KqzEeedy_x5Gx-FWw" labelAlignment="LEFT" description="_RUg1QMAiEeaaj7sYFz2QKg"> | ||
3369 | <labelFormat>bold</labelFormat> | ||
3370 | </ownedStyle> | ||
3371 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
3372 | </ownedElements> | ||
3373 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrQz8KqzEeedy_x5Gx-FWw" name=" partialconstantinterpretation : PartialConstantInterpretation" tooltipText=""> | ||
3374 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialconstantinterpretation"/> | ||
3375 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialconstantinterpretation"/> | ||
3376 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrRbAKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3377 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3378 | </ownedStyle> | ||
3379 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3380 | </ownedElements> | ||
3381 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrRbAaqzEeedy_x5Gx-FWw" name=" partialfunctioninterpretation : PartialFunctionInterpretation" tooltipText=""> | ||
3382 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/> | ||
3383 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/> | ||
3384 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrSpIKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3385 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3386 | </ownedStyle> | ||
3387 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3388 | </ownedElements> | ||
3389 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrSpIaqzEeedy_x5Gx-FWw" name=" partialtypeinterpratation : PartialTypeInterpratation" tooltipText=""> | ||
3390 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialtypeinterpratation"/> | ||
3391 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialtypeinterpratation"/> | ||
3392 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrT3QKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3393 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3394 | </ownedStyle> | ||
3395 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3396 | </ownedElements> | ||
3397 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrT3QaqzEeedy_x5Gx-FWw" name=" stringelement : StringElement" tooltipText=""> | ||
3398 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelement"/> | ||
3399 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelement"/> | ||
3400 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrUeUKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3401 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3402 | </ownedStyle> | ||
3403 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3404 | </ownedElements> | ||
3405 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrUeUaqzEeedy_x5Gx-FWw" name=" stringelements : StringElement" tooltipText=""> | ||
3406 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelements"/> | ||
3407 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelements"/> | ||
3408 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrVFYKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3409 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3410 | </ownedStyle> | ||
3411 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3412 | </ownedElements> | ||
3413 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrVFYaqzEeedy_x5Gx-FWw" name=" realelements : RealElement" tooltipText=""> | ||
3414 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/realelements"/> | ||
3415 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/realelements"/> | ||
3416 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrVscKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3417 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3418 | </ownedStyle> | ||
3419 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3420 | </ownedElements> | ||
3421 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrVscaqzEeedy_x5Gx-FWw" name=" integerelements : IntegerElement" tooltipText=""> | ||
3422 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/integerelements"/> | ||
3423 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/integerelements"/> | ||
3424 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrWTgKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3425 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3426 | </ownedStyle> | ||
3427 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3428 | </ownedElements> | ||
3429 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrWTgaqzEeedy_x5Gx-FWw" name=" booleanelements : BooleanElement" tooltipText=""> | ||
3430 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/booleanelements"/> | ||
3431 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/booleanelements"/> | ||
3432 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrW6kKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3433 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3434 | </ownedStyle> | ||
3435 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3436 | </ownedElements> | ||
3437 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrXhoKqzEeedy_x5Gx-FWw" name=" newStrings : StringElement" tooltipText=""> | ||
3438 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
3439 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
3440 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrXhoaqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3441 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3442 | </ownedStyle> | ||
3443 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3444 | </ownedElements> | ||
3445 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrXhoqqzEeedy_x5Gx-FWw" name=" newReals : RealElement" tooltipText=""> | ||
3446 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
3447 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
3448 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrYIsKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3449 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3450 | </ownedStyle> | ||
3451 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3452 | </ownedElements> | ||
3453 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrYIsaqzEeedy_x5Gx-FWw" name=" newIntegers : IntegerElement" tooltipText=""> | ||
3454 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
3455 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
3456 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrYvwKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3457 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3458 | </ownedStyle> | ||
3459 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3460 | </ownedElements> | ||
3296 | </ownedDiagramElements> | 3461 | </ownedDiagramElements> |
3297 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrJbXDEeamG-Ij7YnW7w" name="LogicProblem" tooltipText="" outgoingEdges="_pEmrSbXDEeamG-Ij7YnW7w _pEmrUbXDEeamG-Ij7YnW7w" incomingEdges="_pEmrKLXDEeamG-Ij7YnW7w _1xkW4PMUEeagPYxz1ZWLIQ" width="12" height="10"> | 3462 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrJbXDEeamG-Ij7YnW7w" name="LogicProblem" tooltipText="" outgoingEdges="_pEmrSbXDEeamG-Ij7YnW7w _pEmrUbXDEeamG-Ij7YnW7w" incomingEdges="_pEmrKLXDEeamG-Ij7YnW7w _1xkW4PMUEeagPYxz1ZWLIQ" width="12" height="10"> |
3298 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/> | 3463 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/> |
@@ -3309,6 +3474,54 @@ | |||
3309 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 3474 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
3310 | </ownedStyle> | 3475 | </ownedStyle> |
3311 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 3476 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
3477 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrZW0KqzEeedy_x5Gx-FWw" name=" types : Type" tooltipText=""> | ||
3478 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/types"/> | ||
3479 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/types"/> | ||
3480 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrZ94KqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3481 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3482 | </ownedStyle> | ||
3483 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3484 | </ownedElements> | ||
3485 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrZ94aqzEeedy_x5Gx-FWw" name=" functions : Function" tooltipText=""> | ||
3486 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/functions"/> | ||
3487 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/functions"/> | ||
3488 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Trak8KqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3489 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3490 | </ownedStyle> | ||
3491 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3492 | </ownedElements> | ||
3493 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Trak8aqzEeedy_x5Gx-FWw" name=" assertions : Assertion" tooltipText=""> | ||
3494 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/assertions"/> | ||
3495 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/assertions"/> | ||
3496 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrbMAKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3497 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3498 | </ownedStyle> | ||
3499 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3500 | </ownedElements> | ||
3501 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrbMAaqzEeedy_x5Gx-FWw" name=" constants : Constant" tooltipText=""> | ||
3502 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/constants"/> | ||
3503 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/constants"/> | ||
3504 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrbzEKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3505 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3506 | </ownedStyle> | ||
3507 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3508 | </ownedElements> | ||
3509 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrbzEaqzEeedy_x5Gx-FWw" name=" containmentHierarchies : ContainmentHierarchy" tooltipText=""> | ||
3510 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
3511 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
3512 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrcaIKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3513 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3514 | </ownedStyle> | ||
3515 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3516 | </ownedElements> | ||
3517 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrcaIaqzEeedy_x5Gx-FWw" name=" annotations : Annotation" tooltipText=""> | ||
3518 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/annotations"/> | ||
3519 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/annotations"/> | ||
3520 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrdBMKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3521 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3522 | </ownedStyle> | ||
3523 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3524 | </ownedElements> | ||
3312 | </ownedDiagramElements> | 3525 | </ownedDiagramElements> |
3313 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pEmrKLXDEeamG-Ij7YnW7w" name="[1..1] problem" sourceNode="_pEmrI7XDEeamG-Ij7YnW7w" targetNode="_pEmrJbXDEeamG-Ij7YnW7w"> | 3526 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pEmrKLXDEeamG-Ij7YnW7w" name="[1..1] problem" sourceNode="_pEmrI7XDEeamG-Ij7YnW7w" targetNode="_pEmrJbXDEeamG-Ij7YnW7w"> |
3314 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/problem"/> | 3527 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/problem"/> |
@@ -3339,6 +3552,14 @@ | |||
3339 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 3552 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
3340 | </ownedStyle> | 3553 | </ownedStyle> |
3341 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 3554 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
3555 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrdoQKqzEeedy_x5Gx-FWw" name=" definedInType : TypeDefinition" tooltipText=""> | ||
3556 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
3557 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
3558 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Tre2YKqzEeedy_x5Gx-FWw" labelAlignment="LEFT" description="_TrePUKqzEeedy_x5Gx-FWw" color="114,159,207"> | ||
3559 | <labelFormat>bold</labelFormat> | ||
3560 | </ownedStyle> | ||
3561 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3562 | </ownedElements> | ||
3342 | </ownedDiagramElements> | 3563 | </ownedDiagramElements> |
3343 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrNbXDEeamG-Ij7YnW7w" name="Relation" tooltipText="" outgoingEdges="_7EbsYLXDEeamG-Ij7YnW7w" incomingEdges="_pEmrSbXDEeamG-Ij7YnW7w _pEmrZbXDEeamG-Ij7YnW7w" width="12" height="10"> | 3564 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pEmrNbXDEeamG-Ij7YnW7w" name="Relation" tooltipText="" outgoingEdges="_7EbsYLXDEeamG-Ij7YnW7w" incomingEdges="_pEmrSbXDEeamG-Ij7YnW7w _pEmrZbXDEeamG-Ij7YnW7w" width="12" height="10"> |
3344 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation"/> | 3565 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation"/> |
@@ -3356,6 +3577,14 @@ | |||
3356 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> | 3577 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> |
3357 | </ownedStyle> | 3578 | </ownedStyle> |
3358 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 3579 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
3580 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_TrfdcKqzEeedy_x5Gx-FWw" name=" annotations : RelationAnnotation" tooltipText=""> | ||
3581 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/> | ||
3582 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/> | ||
3583 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_TrfdcaqzEeedy_x5Gx-FWw" labelAlignment="LEFT" color="114,159,207"> | ||
3584 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
3585 | </ownedStyle> | ||
3586 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
3587 | </ownedElements> | ||
3359 | </ownedDiagramElements> | 3588 | </ownedDiagramElements> |
3360 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pEmrSbXDEeamG-Ij7YnW7w" name="[0..*] relations" sourceNode="_pEmrJbXDEeamG-Ij7YnW7w" targetNode="_pEmrNbXDEeamG-Ij7YnW7w"> | 3589 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pEmrSbXDEeamG-Ij7YnW7w" name="[0..*] relations" sourceNode="_pEmrJbXDEeamG-Ij7YnW7w" targetNode="_pEmrNbXDEeamG-Ij7YnW7w"> |
3361 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/relations"/> | 3590 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/relations"/> |
@@ -3515,7 +3744,7 @@ | |||
3515 | </ownedStyle> | 3744 | </ownedStyle> |
3516 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 3745 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
3517 | </ownedDiagramElements> | 3746 | </ownedDiagramElements> |
3518 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ERNIgLXFEeamG-Ij7YnW7w" name="BinaryElementRelationLink" tooltipText="" outgoingEdges="_aXV5MLXFEeamG-Ij7YnW7w _2WivALXFEeamG-Ij7YnW7w _5HFkALXFEeamG-Ij7YnW7w" incomingEdges="_3d9AMPMUEeagPYxz1ZWLIQ" width="12" height="10"> | 3747 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ERNIgLXFEeamG-Ij7YnW7w" name="BinaryElementRelationLink" tooltipText="" outgoingEdges="_aXV5MLXFEeamG-Ij7YnW7w _2WivALXFEeamG-Ij7YnW7w _5HFkALXFEeamG-Ij7YnW7w" width="12" height="10"> |
3519 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | 3748 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> |
3520 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> | 3749 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/> |
3521 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 3750 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -3679,17 +3908,12 @@ | |||
3679 | </ownedStyle> | 3908 | </ownedStyle> |
3680 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 3909 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
3681 | </ownedDiagramElements> | 3910 | </ownedDiagramElements> |
3682 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_RU0XQMAiEeaaj7sYFz2QKg" name="[1..1] openWorldElementPrototype" sourceNode="_pEmrI7XDEeamG-Ij7YnW7w" targetNode="_pEmrL7XDEeamG-Ij7YnW7w"> | 3911 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_RU0XQMAiEeaaj7sYFz2QKg" name="[0..*] openWorldElementPrototypes" sourceNode="_pEmrI7XDEeamG-Ij7YnW7w" targetNode="_pEmrL7XDEeamG-Ij7YnW7w"> |
3683 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 3912 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
3684 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 3913 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
3685 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_RU2Mc8AiEeaaj7sYFz2QKg" description="_RU2McMAiEeaaj7sYFz2QKg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | 3914 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_TrpOcKqzEeedy_x5Gx-FWw" description="_pEmCt7XDEeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> |
3686 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_RU2MdMAiEeaaj7sYFz2QKg" showIcon="false"> | 3915 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_TrpOcaqzEeedy_x5Gx-FWw" showIcon="false"/> |
3687 | <customFeatures>labelSize</customFeatures> | 3916 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_TrpOcqqzEeedy_x5Gx-FWw" labelSize="6" showIcon="false" labelColor="39,76,114"/> |
3688 | <labelFormat>bold</labelFormat> | ||
3689 | </centerLabelStyle> | ||
3690 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_RU2MdcAiEeaaj7sYFz2QKg" showIcon="false" labelColor="39,76,114"> | ||
3691 | <customFeatures>labelSize</customFeatures> | ||
3692 | </endLabelStyle> | ||
3693 | </ownedStyle> | 3917 | </ownedStyle> |
3694 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 3918 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
3695 | </ownedDiagramElements> | 3919 | </ownedDiagramElements> |
@@ -3706,18 +3930,6 @@ | |||
3706 | </ownedStyle> | 3930 | </ownedStyle> |
3707 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 3931 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
3708 | </ownedDiagramElements> | 3932 | </ownedDiagramElements> |
3709 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3d9AMPMUEeagPYxz1ZWLIQ" name="[0..*] pregeneratedRelationLinks" sourceNode="_pEmrI7XDEeamG-Ij7YnW7w" targetNode="_ERNIgLXFEeamG-Ij7YnW7w"> | ||
3710 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_3d9nQPMUEeagPYxz1ZWLIQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
3711 | <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> | ||
3712 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_3d9nQfMUEeagPYxz1ZWLIQ" showIcon="false"> | ||
3713 | <customFeatures>labelSize</customFeatures> | ||
3714 | </centerLabelStyle> | ||
3715 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_3d9nQvMUEeagPYxz1ZWLIQ" showIcon="false" labelColor="39,76,114"> | ||
3716 | <customFeatures>labelSize</customFeatures> | ||
3717 | </endLabelStyle> | ||
3718 | </ownedStyle> | ||
3719 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
3720 | </ownedDiagramElements> | ||
3721 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 3933 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
3722 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_pEmrqrXDEeamG-Ij7YnW7w"/> | 3934 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_pEmrqrXDEeamG-Ij7YnW7w"/> |
3723 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | 3935 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend index df6fb6ae..936f2117 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend | |||
@@ -24,6 +24,7 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
24 | } | 24 | } |
25 | 25 | ||
26 | public static val FixPointRage = -1 | 26 | public static val FixPointRage = -1 |
27 | public static val GraphWidthRange = -2 | ||
27 | public static val FullParallels = Integer.MAX_VALUE | 28 | public static val FullParallels = Integer.MAX_VALUE |
28 | public static val MaxNumbers = Integer.MAX_VALUE | 29 | public static val MaxNumbers = Integer.MAX_VALUE |
29 | 30 | ||
@@ -67,6 +68,41 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
67 | return relevantRelations.contains(r) | 68 | return relevantRelations.contains(r) |
68 | } | 69 | } |
69 | } | 70 | } |
71 | /** | ||
72 | * Gets the largest | ||
73 | */ | ||
74 | def private getWidth(Map<DefinedElement, Set<String>> types, | ||
75 | Map<DefinedElement, List<IncomingRelation<DefinedElement>>> IncomingRelations, | ||
76 | Map<DefinedElement, List<OutgoingRelation<DefinedElement>>> OutgoingRelations) | ||
77 | { | ||
78 | val elements = types.keySet | ||
79 | val Map<DefinedElement,Set<DefinedElement>> reachable = new HashMap | ||
80 | for(element : elements) { | ||
81 | val set = new HashSet | ||
82 | set.add(element) | ||
83 | reachable.put(element,set) | ||
84 | } | ||
85 | |||
86 | var int width = 0 | ||
87 | var boolean newAdded | ||
88 | do { | ||
89 | newAdded = false | ||
90 | for(element : elements) { | ||
91 | val elementNeigbours = element.lookup(reachable) | ||
92 | val size = elementNeigbours.size | ||
93 | for(incoming : element.lookup(IncomingRelations)) { | ||
94 | elementNeigbours.addAll(incoming.from.lookup(reachable)) | ||
95 | } | ||
96 | for(outgoing : element.lookup(OutgoingRelations)) { | ||
97 | elementNeigbours.addAll(outgoing.to.lookup(reachable)) | ||
98 | } | ||
99 | newAdded = newAdded || (elementNeigbours.size > size) | ||
100 | } | ||
101 | |||
102 | width +=1 | ||
103 | } while(newAdded) | ||
104 | return width | ||
105 | } | ||
70 | 106 | ||
71 | /** | 107 | /** |
72 | * Creates a neighbourhood representation with traces | 108 | * Creates a neighbourhood representation with traces |
@@ -107,6 +143,10 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
107 | } else return res | 143 | } else return res |
108 | } else if (range == FixPointRage) { | 144 | } else if (range == FixPointRage) { |
109 | return refineUntilFixpoint(model,types,IncomingRelations,OutgoingRelations,parallels,maxNumber) | 145 | return refineUntilFixpoint(model,types,IncomingRelations,OutgoingRelations,parallels,maxNumber) |
146 | } else if (range == GraphWidthRange) { | ||
147 | val width = this.getWidth(types,IncomingRelations,OutgoingRelations) | ||
148 | //println(width) | ||
149 | return doRecursiveNeighbourCalculation(model,types,IncomingRelations,OutgoingRelations,width,parallels,maxNumber) | ||
110 | } | 150 | } |
111 | } | 151 | } |
112 | 152 | ||
@@ -297,7 +337,7 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
297 | ) | 337 | ) |
298 | node2Representation.put(object,uniqueDescription.get(nodeDescriptor)) | 338 | node2Representation.put(object,uniqueDescription.get(nodeDescriptor)) |
299 | } else { | 339 | } else { |
300 | descriptor2Number.put(nodeDescriptor,1) | 340 | descriptor2Number.put(nodeDescriptor,if(1>maxNumber){Integer.MAX_VALUE}else{1}) |
301 | uniqueDescription.put(nodeDescriptor,nodeDescriptor) | 341 | uniqueDescription.put(nodeDescriptor,nodeDescriptor) |
302 | node2Representation.put(object,nodeDescriptor) | 342 | node2Representation.put(object,nodeDescriptor) |
303 | } | 343 | } |
@@ -333,7 +373,7 @@ abstract class PartialInterpretation2NeighbourhoodRepresentation<ModelRepresenta | |||
333 | } else { | 373 | } else { |
334 | uniqueRepresentation.put(newDescriptor,newDescriptor) | 374 | uniqueRepresentation.put(newDescriptor,newDescriptor) |
335 | node2Representation.put(element,newDescriptor) | 375 | node2Representation.put(element,newDescriptor) |
336 | representation2Amount.put(newDescriptor, 1) | 376 | representation2Amount.put(newDescriptor, if(1>maxNumber){Integer.MAX_VALUE}else{1}) |
337 | } | 377 | } |
338 | } else { | 378 | } else { |
339 | node2Representation.put(element,newDescriptor) | 379 | node2Representation.put(element,newDescriptor) |