diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird | 375 |
1 files changed, 326 insertions, 49 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird index 16247fdd..bed19d16 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird | |||
@@ -7295,10 +7295,6 @@ | |||
7295 | <children xmi:type="notation:Node" xmi:id="_l6XR7LdnEeau1vMV3Bsx4w" type="2003" element="_l6ZIH7dnEeau1vMV3Bsx4w"> | 7295 | <children xmi:type="notation:Node" xmi:id="_l6XR7LdnEeau1vMV3Bsx4w" type="2003" element="_l6ZIH7dnEeau1vMV3Bsx4w"> |
7296 | <children xmi:type="notation:Node" xmi:id="_l6XR7bdnEeau1vMV3Bsx4w" type="5007"/> | 7296 | <children xmi:type="notation:Node" xmi:id="_l6XR7bdnEeau1vMV3Bsx4w" type="5007"/> |
7297 | <children xmi:type="notation:Node" xmi:id="_l6XR7rdnEeau1vMV3Bsx4w" type="7004"> | 7297 | <children xmi:type="notation:Node" xmi:id="_l6XR7rdnEeau1vMV3Bsx4w" type="7004"> |
7298 | <children xmi:type="notation:Node" xmi:id="_SzhvMHuWEeeCn_RNMwgEBg" type="3010" element="_SyqzkHuWEeeCn_RNMwgEBg"> | ||
7299 | <styles xmi:type="notation:FontStyle" xmi:id="_SzhvMXuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> | ||
7300 | <layoutConstraint xmi:type="notation:Location" xmi:id="_SzhvMnuWEeeCn_RNMwgEBg"/> | ||
7301 | </children> | ||
7302 | <styles xmi:type="notation:SortingStyle" xmi:id="_l6XR77dnEeau1vMV3Bsx4w"/> | 7298 | <styles xmi:type="notation:SortingStyle" xmi:id="_l6XR77dnEeau1vMV3Bsx4w"/> |
7303 | <styles xmi:type="notation:FilteringStyle" xmi:id="_l6XR8LdnEeau1vMV3Bsx4w"/> | 7299 | <styles xmi:type="notation:FilteringStyle" xmi:id="_l6XR8LdnEeau1vMV3Bsx4w"/> |
7304 | </children> | 7300 | </children> |
@@ -7618,6 +7614,41 @@ | |||
7618 | <styles xmi:type="notation:ShapeStyle" xmi:id="_Xh-bUXuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> | 7614 | <styles xmi:type="notation:ShapeStyle" xmi:id="_Xh-bUXuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> |
7619 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Xh-bUnuWEeeCn_RNMwgEBg" x="1085" y="519" width="120" height="54"/> | 7615 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Xh-bUnuWEeeCn_RNMwgEBg" x="1085" y="519" width="120" height="54"/> |
7620 | </children> | 7616 | </children> |
7617 | <children xmi:type="notation:Node" xmi:id="_PSQLAIKgEeeAppuRs-roLg" type="2003" element="_PQURUIKgEeeAppuRs-roLg"> | ||
7618 | <children xmi:type="notation:Node" xmi:id="_PSZU8IKgEeeAppuRs-roLg" type="5007"/> | ||
7619 | <children xmi:type="notation:Node" xmi:id="_PSZU8YKgEeeAppuRs-roLg" type="7004"> | ||
7620 | <styles xmi:type="notation:SortingStyle" xmi:id="_PSZU8oKgEeeAppuRs-roLg"/> | ||
7621 | <styles xmi:type="notation:FilteringStyle" xmi:id="_PSZU84KgEeeAppuRs-roLg"/> | ||
7622 | </children> | ||
7623 | <styles xmi:type="notation:ShapeStyle" xmi:id="_PSQLAYKgEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
7624 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_PSQLAoKgEeeAppuRs-roLg" x="2100" y="210" width="120" height="100"/> | ||
7625 | </children> | ||
7626 | <children xmi:type="notation:Node" xmi:id="_e1tR0IKgEeeAppuRs-roLg" type="2003" element="_e0z58IKgEeeAppuRs-roLg"> | ||
7627 | <children xmi:type="notation:Node" xmi:id="_e1tR04KgEeeAppuRs-roLg" type="5007"/> | ||
7628 | <children xmi:type="notation:Node" xmi:id="_e1tR1IKgEeeAppuRs-roLg" type="7004"> | ||
7629 | <children xmi:type="notation:Node" xmi:id="_e1tR14KgEeeAppuRs-roLg" type="3010" element="_e1Ql4IKgEeeAppuRs-roLg"> | ||
7630 | <styles xmi:type="notation:FontStyle" xmi:id="_e1tR2IKgEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
7631 | <layoutConstraint xmi:type="notation:Location" xmi:id="_e1tR2YKgEeeAppuRs-roLg"/> | ||
7632 | </children> | ||
7633 | <styles xmi:type="notation:SortingStyle" xmi:id="_e1tR1YKgEeeAppuRs-roLg"/> | ||
7634 | <styles xmi:type="notation:FilteringStyle" xmi:id="_e1tR1oKgEeeAppuRs-roLg"/> | ||
7635 | </children> | ||
7636 | <styles xmi:type="notation:ShapeStyle" xmi:id="_e1tR0YKgEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
7637 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e1tR0oKgEeeAppuRs-roLg" x="2020" y="-110"/> | ||
7638 | </children> | ||
7639 | <children xmi:type="notation:Node" xmi:id="_hTMLdIKhEeeAppuRs-roLg" type="2003" element="_hSSzkIKhEeeAppuRs-roLg"> | ||
7640 | <children xmi:type="notation:Node" xmi:id="_hTMLd4KhEeeAppuRs-roLg" type="5007"/> | ||
7641 | <children xmi:type="notation:Node" xmi:id="_hTMLeIKhEeeAppuRs-roLg" type="7004"> | ||
7642 | <children xmi:type="notation:Node" xmi:id="_hTMLe4KhEeeAppuRs-roLg" type="3010" element="_hSvfgIKhEeeAppuRs-roLg"> | ||
7643 | <styles xmi:type="notation:FontStyle" xmi:id="_hTMLfIKhEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
7644 | <layoutConstraint xmi:type="notation:Location" xmi:id="_hTMLfYKhEeeAppuRs-roLg"/> | ||
7645 | </children> | ||
7646 | <styles xmi:type="notation:SortingStyle" xmi:id="_hTMLeYKhEeeAppuRs-roLg"/> | ||
7647 | <styles xmi:type="notation:FilteringStyle" xmi:id="_hTMLeoKhEeeAppuRs-roLg"/> | ||
7648 | </children> | ||
7649 | <styles xmi:type="notation:ShapeStyle" xmi:id="_hTMLdYKhEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
7650 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTMLdoKhEeeAppuRs-roLg" x="2251" y="46"/> | ||
7651 | </children> | ||
7621 | <styles xmi:type="notation:DiagramStyle" xmi:id="_l6X5OrdnEeau1vMV3Bsx4w"/> | 7652 | <styles xmi:type="notation:DiagramStyle" xmi:id="_l6X5OrdnEeau1vMV3Bsx4w"/> |
7622 | <edges xmi:type="notation:Edge" xmi:id="_l6X5a7dnEeau1vMV3Bsx4w" type="4001" element="_l6Zt6bdnEeau1vMV3Bsx4w" source="_l6XR7LdnEeau1vMV3Bsx4w" target="_l6XR27dnEeau1vMV3Bsx4w"> | 7653 | <edges xmi:type="notation:Edge" xmi:id="_l6X5a7dnEeau1vMV3Bsx4w" type="4001" element="_l6Zt6bdnEeau1vMV3Bsx4w" source="_l6XR7LdnEeau1vMV3Bsx4w" target="_l6XR27dnEeau1vMV3Bsx4w"> |
7623 | <children xmi:type="notation:Node" xmi:id="_l6X5bLdnEeau1vMV3Bsx4w" type="6001"> | 7654 | <children xmi:type="notation:Node" xmi:id="_l6X5bLdnEeau1vMV3Bsx4w" type="6001"> |
@@ -7973,17 +8004,17 @@ | |||
7973 | </edges> | 8004 | </edges> |
7974 | <edges xmi:type="notation:Edge" xmi:id="_l6YfpLdnEeau1vMV3Bsx4w" type="4001" element="_l6ZuRbdnEeau1vMV3Bsx4w" source="_l6X4q7dnEeau1vMV3Bsx4w" target="_l6XR27dnEeau1vMV3Bsx4w"> | 8005 | <edges xmi:type="notation:Edge" xmi:id="_l6YfpLdnEeau1vMV3Bsx4w" type="4001" element="_l6ZuRbdnEeau1vMV3Bsx4w" source="_l6X4q7dnEeau1vMV3Bsx4w" target="_l6XR27dnEeau1vMV3Bsx4w"> |
7975 | <children xmi:type="notation:Node" xmi:id="_l6YfpbdnEeau1vMV3Bsx4w" type="6001"> | 8006 | <children xmi:type="notation:Node" xmi:id="_l6YfpbdnEeau1vMV3Bsx4w" type="6001"> |
7976 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfprdnEeau1vMV3Bsx4w" x="-6" y="-10"/> | 8007 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfprdnEeau1vMV3Bsx4w" x="64" y="-10"/> |
7977 | </children> | 8008 | </children> |
7978 | <children xmi:type="notation:Node" xmi:id="_l6Yfp7dnEeau1vMV3Bsx4w" type="6002"> | 8009 | <children xmi:type="notation:Node" xmi:id="_l6Yfp7dnEeau1vMV3Bsx4w" type="6002"> |
7979 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfqLdnEeau1vMV3Bsx4w" x="347" y="10"/> | 8010 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfqLdnEeau1vMV3Bsx4w" x="436" y="10"/> |
7980 | </children> | 8011 | </children> |
7981 | <children xmi:type="notation:Node" xmi:id="_l6YfqbdnEeau1vMV3Bsx4w" type="6003"> | 8012 | <children xmi:type="notation:Node" xmi:id="_l6YfqbdnEeau1vMV3Bsx4w" type="6003"> |
7982 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfqrdnEeau1vMV3Bsx4w" x="61" y="10"/> | 8013 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6YfqrdnEeau1vMV3Bsx4w" x="111" y="10"/> |
7983 | </children> | 8014 | </children> |
7984 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_l6Yfq7dnEeau1vMV3Bsx4w" routing="Rectilinear"/> | 8015 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_l6Yfq7dnEeau1vMV3Bsx4w" routing="Rectilinear"/> |
7985 | <styles xmi:type="notation:FontStyle" xmi:id="_l6YfrLdnEeau1vMV3Bsx4w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 8016 | <styles xmi:type="notation:FontStyle" xmi:id="_l6YfrLdnEeau1vMV3Bsx4w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
7986 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_l6YfrbdnEeau1vMV3Bsx4w" points="[59, 1, -1261, 95]$[1261, 1, -59, 95]"/> | 8017 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_l6YfrbdnEeau1vMV3Bsx4w" points="[1, 0, -1319, 94]$[1, -40, -1319, 54]$[1320, -40, 0, 54]$[1320, -94, 0, 0]"/> |
7987 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l6YfrrdnEeau1vMV3Bsx4w" id="(0.5,0.0)"/> | 8018 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l6YfrrdnEeau1vMV3Bsx4w" id="(0.5,0.0)"/> |
7988 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l6Yfr7dnEeau1vMV3Bsx4w" id="(0.5,1.0)"/> | 8019 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l6Yfr7dnEeau1vMV3Bsx4w" id="(0.5,1.0)"/> |
7989 | </edges> | 8020 | </edges> |
@@ -8579,22 +8610,6 @@ | |||
8579 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8LqxEeau1vMV3Bsx4w" id="(0.5,0.0)"/> | 8610 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8LqxEeau1vMV3Bsx4w" id="(0.5,0.0)"/> |
8580 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8bqxEeau1vMV3Bsx4w" id="(0.5,1.0)"/> | 8611 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8bqxEeau1vMV3Bsx4w" id="(0.5,1.0)"/> |
8581 | </edges> | 8612 | </edges> |
8582 | <edges xmi:type="notation:Edge" xmi:id="_SzmAoHuWEeeCn_RNMwgEBg" type="4001" element="_SzZzYHuWEeeCn_RNMwgEBg" source="_l6XSGLdnEeau1vMV3Bsx4w" target="_l6X43LdnEeau1vMV3Bsx4w"> | ||
8583 | <children xmi:type="notation:Node" xmi:id="_SzmApHuWEeeCn_RNMwgEBg" type="6001"> | ||
8584 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SzmApXuWEeeCn_RNMwgEBg" y="-10"/> | ||
8585 | </children> | ||
8586 | <children xmi:type="notation:Node" xmi:id="_SzmnsHuWEeeCn_RNMwgEBg" type="6002"> | ||
8587 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SzmnsXuWEeeCn_RNMwgEBg" y="10"/> | ||
8588 | </children> | ||
8589 | <children xmi:type="notation:Node" xmi:id="_SzmnsnuWEeeCn_RNMwgEBg" type="6003"> | ||
8590 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Szmns3uWEeeCn_RNMwgEBg" y="10"/> | ||
8591 | </children> | ||
8592 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_SzmAoXuWEeeCn_RNMwgEBg" routing="Tree"/> | ||
8593 | <styles xmi:type="notation:FontStyle" xmi:id="_SzmAonuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> | ||
8594 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SzmAo3uWEeeCn_RNMwgEBg" points="[1760, 440, 1760, 440]$[2855, -1, 2855, -1]"/> | ||
8595 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SznOwHuWEeeCn_RNMwgEBg" id="(0.5,0.5)"/> | ||
8596 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SznOwXuWEeeCn_RNMwgEBg" id="(0.5,1.0)"/> | ||
8597 | </edges> | ||
8598 | <edges xmi:type="notation:Edge" xmi:id="_zFvSUHuWEeeCn_RNMwgEBg" type="4001" element="_zEk0sHuWEeeCn_RNMwgEBg" source="_Xh-bUHuWEeeCn_RNMwgEBg" target="_l6XR87dnEeau1vMV3Bsx4w"> | 8613 | <edges xmi:type="notation:Edge" xmi:id="_zFvSUHuWEeeCn_RNMwgEBg" type="4001" element="_zEk0sHuWEeeCn_RNMwgEBg" source="_Xh-bUHuWEeeCn_RNMwgEBg" target="_l6XR87dnEeau1vMV3Bsx4w"> |
8599 | <children xmi:type="notation:Node" xmi:id="_zFv5YHuWEeeCn_RNMwgEBg" type="6001"> | 8614 | <children xmi:type="notation:Node" xmi:id="_zFv5YHuWEeeCn_RNMwgEBg" type="6001"> |
8600 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_zFv5YXuWEeeCn_RNMwgEBg" y="-10"/> | 8615 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_zFv5YXuWEeeCn_RNMwgEBg" y="-10"/> |
@@ -8611,9 +8626,137 @@ | |||
8611 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgcnuWEeeCn_RNMwgEBg" id="(0.5932203389830508,0.0)"/> | 8626 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgcnuWEeeCn_RNMwgEBg" id="(0.5932203389830508,0.0)"/> |
8612 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgc3uWEeeCn_RNMwgEBg" id="(0.5,1.0)"/> | 8627 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgc3uWEeeCn_RNMwgEBg" id="(0.5,1.0)"/> |
8613 | </edges> | 8628 | </edges> |
8629 | <edges xmi:type="notation:Edge" xmi:id="_Vj8LgIKgEeeAppuRs-roLg" type="4001" element="_Vi5psIKgEeeAppuRs-roLg" source="_PSQLAIKgEeeAppuRs-roLg" target="_l6XR27dnEeau1vMV3Bsx4w"> | ||
8630 | <children xmi:type="notation:Node" xmi:id="_VkF8gIKgEeeAppuRs-roLg" type="6001"> | ||
8631 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VkF8gYKgEeeAppuRs-roLg" x="-31" y="10"/> | ||
8632 | </children> | ||
8633 | <children xmi:type="notation:Node" xmi:id="_VkF8goKgEeeAppuRs-roLg" type="6002"> | ||
8634 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VkF8g4KgEeeAppuRs-roLg" x="-8" y="10"/> | ||
8635 | </children> | ||
8636 | <children xmi:type="notation:Node" xmi:id="_VkF8hIKgEeeAppuRs-roLg" type="6003"> | ||
8637 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_VkF8hYKgEeeAppuRs-roLg" x="-25" y="223"/> | ||
8638 | </children> | ||
8639 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Vj8LgYKgEeeAppuRs-roLg" routing="Rectilinear"/> | ||
8640 | <styles xmi:type="notation:FontStyle" xmi:id="_Vj8LgoKgEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
8641 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Vj8Lg4KgEeeAppuRs-roLg" points="[0, 0, 352, 201]$[-410, 0, -58, 201]$[-410, -114, -58, 87]"/> | ||
8642 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VkF8hoKgEeeAppuRs-roLg" id="(0.0,0.6122448979591837)"/> | ||
8643 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VkF8h4KgEeeAppuRs-roLg" id="(1.0,0.11224489795918367)"/> | ||
8644 | </edges> | ||
8645 | <edges xmi:type="notation:Edge" xmi:id="_YR4_gIKgEeeAppuRs-roLg" type="4001" element="_YRIxkIKgEeeAppuRs-roLg" source="_PSQLAIKgEeeAppuRs-roLg" target="_l6XR27dnEeau1vMV3Bsx4w"> | ||
8646 | <children xmi:type="notation:Node" xmi:id="_YR4_hIKgEeeAppuRs-roLg" type="6001"> | ||
8647 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YR4_hYKgEeeAppuRs-roLg" x="-22" y="10"/> | ||
8648 | </children> | ||
8649 | <children xmi:type="notation:Node" xmi:id="_YR4_hoKgEeeAppuRs-roLg" type="6002"> | ||
8650 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YR4_h4KgEeeAppuRs-roLg" x="-5" y="10"/> | ||
8651 | </children> | ||
8652 | <children xmi:type="notation:Node" xmi:id="_YR4_iIKgEeeAppuRs-roLg" type="6003"> | ||
8653 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YR4_iYKgEeeAppuRs-roLg" y="218"/> | ||
8654 | </children> | ||
8655 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_YR4_gYKgEeeAppuRs-roLg" routing="Rectilinear"/> | ||
8656 | <styles xmi:type="notation:FontStyle" xmi:id="_YR4_goKgEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
8657 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YR4_g4KgEeeAppuRs-roLg" points="[0, 0, 352, 165]$[-410, 0, -58, 165]$[-410, -84, -58, 81]"/> | ||
8658 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YR4_ioKgEeeAppuRs-roLg" id="(0.0,0.30612244897959184)"/> | ||
8659 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YR4_i4KgEeeAppuRs-roLg" id="(1.0,0.17346938775510204)"/> | ||
8660 | </edges> | ||
8661 | <edges xmi:type="notation:Edge" xmi:id="_e12bwIKgEeeAppuRs-roLg" type="4001" element="_e1Zv0IKgEeeAppuRs-roLg" source="_l6XR7LdnEeau1vMV3Bsx4w" target="_e1tR0IKgEeeAppuRs-roLg"> | ||
8662 | <children xmi:type="notation:Node" xmi:id="_e12bxIKgEeeAppuRs-roLg" type="6001"> | ||
8663 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e12bxYKgEeeAppuRs-roLg" x="-22" y="125"/> | ||
8664 | </children> | ||
8665 | <children xmi:type="notation:Node" xmi:id="_e12bxoKgEeeAppuRs-roLg" type="6002"> | ||
8666 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e12bx4KgEeeAppuRs-roLg" x="-32" y="37"/> | ||
8667 | </children> | ||
8668 | <children xmi:type="notation:Node" xmi:id="_e12byIKgEeeAppuRs-roLg" type="6003"> | ||
8669 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e12byYKgEeeAppuRs-roLg" x="-44" y="-10"/> | ||
8670 | </children> | ||
8671 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_e12bwYKgEeeAppuRs-roLg" routing="Rectilinear"/> | ||
8672 | <styles xmi:type="notation:FontStyle" xmi:id="_e12bwoKgEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
8673 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_e12bw4KgEeeAppuRs-roLg" points="[16, 49, 241, 369]$[16, 112, 241, 432]$[-241, 112, -16, 432]$[-241, -271, -16, 49]"/> | ||
8674 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e12byoKgEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8675 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e12by4KgEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8676 | </edges> | ||
8677 | <edges xmi:type="notation:Edge" xmi:id="_e12bzIKgEeeAppuRs-roLg" type="4001" element="_e1jg0IKgEeeAppuRs-roLg" source="_l6XSGLdnEeau1vMV3Bsx4w" target="_e1tR0IKgEeeAppuRs-roLg"> | ||
8678 | <children xmi:type="notation:Node" xmi:id="_e2AMwIKgEeeAppuRs-roLg" type="6001"> | ||
8679 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AMwYKgEeeAppuRs-roLg" y="-10"/> | ||
8680 | </children> | ||
8681 | <children xmi:type="notation:Node" xmi:id="_e2AMwoKgEeeAppuRs-roLg" type="6002"> | ||
8682 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AMw4KgEeeAppuRs-roLg" y="10"/> | ||
8683 | </children> | ||
8684 | <children xmi:type="notation:Node" xmi:id="_e2AMxIKgEeeAppuRs-roLg" type="6003"> | ||
8685 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AMxYKgEeeAppuRs-roLg" y="10"/> | ||
8686 | </children> | ||
8687 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_e12bzYKgEeeAppuRs-roLg" routing="Tree"/> | ||
8688 | <styles xmi:type="notation:FontStyle" xmi:id="_e12bzoKgEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
8689 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_e12bz4KgEeeAppuRs-roLg" points="[1760, 440, 1760, 440]$[0, 0, 0, 0]"/> | ||
8690 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e2AMxoKgEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8691 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e2AMx4KgEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8692 | </edges> | ||
8693 | <edges xmi:type="notation:Edge" xmi:id="_e2AMyIKgEeeAppuRs-roLg" type="4001" element="_e1jg1IKgEeeAppuRs-roLg" source="_e1tR0IKgEeeAppuRs-roLg" target="_l6X43LdnEeau1vMV3Bsx4w"> | ||
8694 | <children xmi:type="notation:Node" xmi:id="_e2AMzIKgEeeAppuRs-roLg" type="6001"> | ||
8695 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AMzYKgEeeAppuRs-roLg" y="-10"/> | ||
8696 | </children> | ||
8697 | <children xmi:type="notation:Node" xmi:id="_e2AMzoKgEeeAppuRs-roLg" type="6002"> | ||
8698 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AMz4KgEeeAppuRs-roLg" y="10"/> | ||
8699 | </children> | ||
8700 | <children xmi:type="notation:Node" xmi:id="_e2AM0IKgEeeAppuRs-roLg" type="6003"> | ||
8701 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_e2AM0YKgEeeAppuRs-roLg" y="10"/> | ||
8702 | </children> | ||
8703 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_e2AMyYKgEeeAppuRs-roLg" routing="Tree"/> | ||
8704 | <styles xmi:type="notation:FontStyle" xmi:id="_e2AMyoKgEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
8705 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_e2AMy4KgEeeAppuRs-roLg" points="[0, 0, 0, 0]$[2855, -1, 2855, -1]"/> | ||
8706 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e2AM0oKgEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8707 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_e2AM04KgEeeAppuRs-roLg" id="(0.5,1.0)"/> | ||
8708 | </edges> | ||
8709 | <edges xmi:type="notation:Edge" xmi:id="_hTVVYIKhEeeAppuRs-roLg" type="4001" element="_hS4pcIKhEeeAppuRs-roLg" source="_hTMLdIKhEeeAppuRs-roLg" target="_JfwFgLd8Eeau1vMV3Bsx4w"> | ||
8710 | <children xmi:type="notation:Node" xmi:id="_hTVVZIKhEeeAppuRs-roLg" type="6001"> | ||
8711 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVZYKhEeeAppuRs-roLg" x="92" y="21"/> | ||
8712 | </children> | ||
8713 | <children xmi:type="notation:Node" xmi:id="_hTVVZoKhEeeAppuRs-roLg" type="6002"> | ||
8714 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVZ4KhEeeAppuRs-roLg" x="244" y="10"/> | ||
8715 | </children> | ||
8716 | <children xmi:type="notation:Node" xmi:id="_hTVVaIKhEeeAppuRs-roLg" type="6003"> | ||
8717 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVaYKhEeeAppuRs-roLg" x="31" y="10"/> | ||
8718 | </children> | ||
8719 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_hTVVYYKhEeeAppuRs-roLg" routing="Rectilinear"/> | ||
8720 | <styles xmi:type="notation:FontStyle" xmi:id="_hTVVYoKhEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
8721 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hTVVY4KhEeeAppuRs-roLg" points="[-97, 49, 353, -490]$[-97, 508, 353, -31]$[-391, 508, 59, -31]"/> | ||
8722 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_hTVVaoKhEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8723 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_hTVVa4KhEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8724 | </edges> | ||
8725 | <edges xmi:type="notation:Edge" xmi:id="_hTVVbIKhEeeAppuRs-roLg" type="4001" element="_hTMLcIKhEeeAppuRs-roLg" source="_hTMLdIKhEeeAppuRs-roLg" target="_e1tR0IKgEeeAppuRs-roLg"> | ||
8726 | <children xmi:type="notation:Node" xmi:id="_hTVVcIKhEeeAppuRs-roLg" type="6001"> | ||
8727 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVcYKhEeeAppuRs-roLg" y="-10"/> | ||
8728 | </children> | ||
8729 | <children xmi:type="notation:Node" xmi:id="_hTVVcoKhEeeAppuRs-roLg" type="6002"> | ||
8730 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVc4KhEeeAppuRs-roLg" y="10"/> | ||
8731 | </children> | ||
8732 | <children xmi:type="notation:Node" xmi:id="_hTVVdIKhEeeAppuRs-roLg" type="6003"> | ||
8733 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hTVVdYKhEeeAppuRs-roLg" y="10"/> | ||
8734 | </children> | ||
8735 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_hTVVbYKhEeeAppuRs-roLg" routing="Tree"/> | ||
8736 | <styles xmi:type="notation:FontStyle" xmi:id="_hTVVboKhEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
8737 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hTVVb4KhEeeAppuRs-roLg" points="[0, 0, 0, 0]$[2020, -111, 2020, -111]"/> | ||
8738 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_hTVVdoKhEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8739 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_hTVVd4KhEeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
8740 | </edges> | ||
8741 | <edges xmi:type="notation:Edge" xmi:id="_mN2HkIKhEeeAppuRs-roLg" type="4001" element="_mNGgsIKhEeeAppuRs-roLg" source="_PSQLAIKgEeeAppuRs-roLg" target="_hTMLdIKhEeeAppuRs-roLg"> | ||
8742 | <children xmi:type="notation:Node" xmi:id="_mN2HlIKhEeeAppuRs-roLg" type="6001"> | ||
8743 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_mN2HlYKhEeeAppuRs-roLg" y="-10"/> | ||
8744 | </children> | ||
8745 | <children xmi:type="notation:Node" xmi:id="_mN2HloKhEeeAppuRs-roLg" type="6002"> | ||
8746 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_mN2Hl4KhEeeAppuRs-roLg" y="10"/> | ||
8747 | </children> | ||
8748 | <children xmi:type="notation:Node" xmi:id="_mN2HmIKhEeeAppuRs-roLg" type="6003"> | ||
8749 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_mN2HmYKhEeeAppuRs-roLg" y="10"/> | ||
8750 | </children> | ||
8751 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_mN2HkYKhEeeAppuRs-roLg" routing="Rectilinear"/> | ||
8752 | <styles xmi:type="notation:FontStyle" xmi:id="_mN2HkoKhEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
8753 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_mN2Hk4KhEeeAppuRs-roLg" points="[0, 0, -166, 66]$[166, -66, 0, 0]"/> | ||
8754 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mN2HmoKhEeeAppuRs-roLg" id="(0.5,0.0)"/> | ||
8755 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mN2Hm4KhEeeAppuRs-roLg" id="(0.3592233009708738,1.0)"/> | ||
8756 | </edges> | ||
8614 | </data> | 8757 | </data> |
8615 | </ownedAnnotationEntries> | 8758 | </ownedAnnotationEntries> |
8616 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIGbdnEeau1vMV3Bsx4w" name="Term" tooltipText="" outgoingEdges="_l6ZufbdnEeau1vMV3Bsx4w" incomingEdges="_l6Zt6bdnEeau1vMV3Bsx4w _l6Zt9bdnEeau1vMV3Bsx4w _l6Zt-bdnEeau1vMV3Bsx4w _l6Zt_bdnEeau1vMV3Bsx4w _l6ZuAbdnEeau1vMV3Bsx4w _l6ZuBbdnEeau1vMV3Bsx4w _l6ZuCbdnEeau1vMV3Bsx4w _l6ZuDbdnEeau1vMV3Bsx4w _l6ZuEbdnEeau1vMV3Bsx4w _l6ZuFbdnEeau1vMV3Bsx4w _l6ZuGbdnEeau1vMV3Bsx4w _l6ZuHbdnEeau1vMV3Bsx4w _l6ZuIbdnEeau1vMV3Bsx4w _l6ZuJbdnEeau1vMV3Bsx4w _l6ZuKbdnEeau1vMV3Bsx4w _l6ZuLbdnEeau1vMV3Bsx4w _l6ZuMbdnEeau1vMV3Bsx4w _l6ZuNbdnEeau1vMV3Bsx4w _l6ZuObdnEeau1vMV3Bsx4w _l6ZuPbdnEeau1vMV3Bsx4w _l6ZuQbdnEeau1vMV3Bsx4w _l6ZuRbdnEeau1vMV3Bsx4w _l6ZuhbdnEeau1vMV3Bsx4w _l6ZuibdnEeau1vMV3Bsx4w _l6ZunbdnEeau1vMV3Bsx4w _l6ZuqbdnEeau1vMV3Bsx4w _l6ZuwbdnEeau1vMV3Bsx4w _l6Zu3bdnEeau1vMV3Bsx4w _l6ZvHbdnEeau1vMV3Bsx4w _l6ZvIbdnEeau1vMV3Bsx4w _l6ZvJbdnEeau1vMV3Bsx4w _l6ZvKbdnEeau1vMV3Bsx4w _l6ZvZ7dnEeau1vMV3Bsx4w _kQZhsLd1Eeau1vMV3Bsx4w _BoaVwLqxEeau1vMV3Bsx4w" width="12" height="10"> | 8759 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIGbdnEeau1vMV3Bsx4w" name="Term" tooltipText="" outgoingEdges="_l6ZufbdnEeau1vMV3Bsx4w" incomingEdges="_l6Zt6bdnEeau1vMV3Bsx4w _l6Zt9bdnEeau1vMV3Bsx4w _l6Zt-bdnEeau1vMV3Bsx4w _l6Zt_bdnEeau1vMV3Bsx4w _l6ZuAbdnEeau1vMV3Bsx4w _l6ZuBbdnEeau1vMV3Bsx4w _l6ZuCbdnEeau1vMV3Bsx4w _l6ZuDbdnEeau1vMV3Bsx4w _l6ZuEbdnEeau1vMV3Bsx4w _l6ZuFbdnEeau1vMV3Bsx4w _l6ZuGbdnEeau1vMV3Bsx4w _l6ZuHbdnEeau1vMV3Bsx4w _l6ZuIbdnEeau1vMV3Bsx4w _l6ZuJbdnEeau1vMV3Bsx4w _l6ZuKbdnEeau1vMV3Bsx4w _l6ZuLbdnEeau1vMV3Bsx4w _l6ZuMbdnEeau1vMV3Bsx4w _l6ZuNbdnEeau1vMV3Bsx4w _l6ZuObdnEeau1vMV3Bsx4w _l6ZuPbdnEeau1vMV3Bsx4w _l6ZuQbdnEeau1vMV3Bsx4w _l6ZuRbdnEeau1vMV3Bsx4w _l6ZuhbdnEeau1vMV3Bsx4w _l6ZuibdnEeau1vMV3Bsx4w _l6ZunbdnEeau1vMV3Bsx4w _l6ZuqbdnEeau1vMV3Bsx4w _l6ZuwbdnEeau1vMV3Bsx4w _l6Zu3bdnEeau1vMV3Bsx4w _l6ZvHbdnEeau1vMV3Bsx4w _l6ZvIbdnEeau1vMV3Bsx4w _l6ZvJbdnEeau1vMV3Bsx4w _l6ZvKbdnEeau1vMV3Bsx4w _l6ZvZ7dnEeau1vMV3Bsx4w _kQZhsLd1Eeau1vMV3Bsx4w _BoaVwLqxEeau1vMV3Bsx4w _Vi5psIKgEeeAppuRs-roLg _YRIxkIKgEeeAppuRs-roLg" width="12" height="10"> |
8617 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Term"/> | 8760 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Term"/> |
8618 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Term"/> | 8761 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Term"/> |
8619 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_l6ZIGrdnEeau1vMV3Bsx4w" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> | 8762 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_l6ZIGrdnEeau1vMV3Bsx4w" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> |
@@ -8622,7 +8765,7 @@ | |||
8622 | </ownedStyle> | 8765 | </ownedStyle> |
8623 | <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']"/> | 8766 | <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']"/> |
8624 | </ownedDiagramElements> | 8767 | </ownedDiagramElements> |
8625 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIH7dnEeau1vMV3Bsx4w" name="SymbolicValue" tooltipText="" outgoingEdges="_l6Zt6bdnEeau1vMV3Bsx4w _l6ZuhbdnEeau1vMV3Bsx4w" width="12" height="10"> | 8768 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIH7dnEeau1vMV3Bsx4w" name="SymbolicValue" tooltipText="" outgoingEdges="_l6Zt6bdnEeau1vMV3Bsx4w _l6ZuhbdnEeau1vMV3Bsx4w _e1Zv0IKgEeeAppuRs-roLg" width="12" height="10"> |
8626 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicValue"/> | 8769 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicValue"/> |
8627 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicValue"/> | 8770 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicValue"/> |
8628 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 8771 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -8632,14 +8775,6 @@ | |||
8632 | <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"/> | 8775 | <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"/> |
8633 | </ownedStyle> | 8776 | </ownedStyle> |
8634 | <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']"/> | 8777 | <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']"/> |
8635 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_SyqzkHuWEeeCn_RNMwgEBg" name=" symbolicReference : SymbolicDeclaration" tooltipText=""> | ||
8636 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//SymbolicValue/symbolicReference"/> | ||
8637 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//SymbolicValue/symbolicReference"/> | ||
8638 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_SysowHuWEeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> | ||
8639 | <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"/> | ||
8640 | </ownedStyle> | ||
8641 | <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']"/> | ||
8642 | </ownedElements> | ||
8643 | </ownedDiagramElements> | 8778 | </ownedDiagramElements> |
8644 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIIbdnEeau1vMV3Bsx4w" name="AtomicTerm" tooltipText="" outgoingEdges="_l6ZuibdnEeau1vMV3Bsx4w" incomingEdges="_l6ZujbdnEeau1vMV3Bsx4w _l6ZukbdnEeau1vMV3Bsx4w _l6ZulbdnEeau1vMV3Bsx4w _zEk0sHuWEeeCn_RNMwgEBg" width="12" height="10"> | 8779 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIIbdnEeau1vMV3Bsx4w" name="AtomicTerm" tooltipText="" outgoingEdges="_l6ZuibdnEeau1vMV3Bsx4w" incomingEdges="_l6ZujbdnEeau1vMV3Bsx4w _l6ZukbdnEeau1vMV3Bsx4w _l6ZulbdnEeau1vMV3Bsx4w _zEk0sHuWEeeCn_RNMwgEBg" width="12" height="10"> |
8645 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//AtomicTerm"/> | 8780 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//AtomicTerm"/> |
@@ -8707,7 +8842,7 @@ | |||
8707 | <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']"/> | 8842 | <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']"/> |
8708 | </ownedElements> | 8843 | </ownedElements> |
8709 | </ownedDiagramElements> | 8844 | </ownedDiagramElements> |
8710 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIL7dnEeau1vMV3Bsx4w" name="Variable" tooltipText="" outgoingEdges="_JfkfULd8Eeau1vMV3Bsx4w _SzZzYHuWEeeCn_RNMwgEBg" incomingEdges="_l6Zt8bdnEeau1vMV3Bsx4w" width="12" height="10"> | 8845 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6ZIL7dnEeau1vMV3Bsx4w" name="Variable" tooltipText="" outgoingEdges="_JfkfULd8Eeau1vMV3Bsx4w _e1jg0IKgEeeAppuRs-roLg" incomingEdges="_l6Zt8bdnEeau1vMV3Bsx4w" width="12" height="10"> |
8711 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> | 8846 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> |
8712 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> | 8847 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> |
8713 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 8848 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -8946,7 +9081,7 @@ | |||
8946 | </ownedStyle> | 9081 | </ownedStyle> |
8947 | <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']"/> | 9082 | <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']"/> |
8948 | </ownedDiagramElements> | 9083 | </ownedDiagramElements> |
8949 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6Ztz7dnEeau1vMV3Bsx4w" name="TermDescription" tooltipText="" incomingEdges="_l6ZufbdnEeau1vMV3Bsx4w _SzZzYHuWEeeCn_RNMwgEBg" width="12" height="10"> | 9084 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_l6Ztz7dnEeau1vMV3Bsx4w" name="TermDescription" tooltipText="" incomingEdges="_l6ZufbdnEeau1vMV3Bsx4w _e1jg1IKgEeeAppuRs-roLg" width="12" height="10"> |
8950 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TermDescription"/> | 9085 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TermDescription"/> |
8951 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TermDescription"/> | 9086 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TermDescription"/> |
8952 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 9087 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -9694,7 +9829,7 @@ | |||
9694 | </ownedStyle> | 9829 | </ownedStyle> |
9695 | <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']"/> | 9830 | <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']"/> |
9696 | </ownedDiagramElements> | 9831 | </ownedDiagramElements> |
9697 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_JfJBgLd8Eeau1vMV3Bsx4w" name="TypeReference" tooltipText="" incomingEdges="_JfkfULd8Eeau1vMV3Bsx4w _LsuTYLd8Eeau1vMV3Bsx4w" width="12" height="10"> | 9832 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_JfJBgLd8Eeau1vMV3Bsx4w" name="TypeReference" tooltipText="" incomingEdges="_JfkfULd8Eeau1vMV3Bsx4w _LsuTYLd8Eeau1vMV3Bsx4w _hS4pcIKhEeeAppuRs-roLg" width="12" height="10"> |
9698 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> | 9833 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> |
9699 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> | 9834 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> |
9700 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 9835 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -9743,18 +9878,6 @@ | |||
9743 | </ownedStyle> | 9878 | </ownedStyle> |
9744 | <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%20ESupertypes']"/> | 9879 | <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%20ESupertypes']"/> |
9745 | </ownedDiagramElements> | 9880 | </ownedDiagramElements> |
9746 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_SzZzYHuWEeeCn_RNMwgEBg" sourceNode="_l6ZIL7dnEeau1vMV3Bsx4w" targetNode="_l6Ztz7dnEeau1vMV3Bsx4w"> | ||
9747 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> | ||
9748 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//Variable/@eGenericSuperTypes.0"/> | ||
9749 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_SzaacHuWEeeCn_RNMwgEBg" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
9750 | <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%20ESupertypes']/@conditionnalStyles.0/@style"/> | ||
9751 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_SzaacXuWEeeCn_RNMwgEBg" showIcon="false"> | ||
9752 | <labelFormat>italic</labelFormat> | ||
9753 | </beginLabelStyle> | ||
9754 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_SzaacnuWEeeCn_RNMwgEBg" showIcon="false"/> | ||
9755 | </ownedStyle> | ||
9756 | <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%20ESupertypes']"/> | ||
9757 | </ownedDiagramElements> | ||
9758 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_XgmiUHuWEeeCn_RNMwgEBg" name="StringLiteral" tooltipText="" outgoingEdges="_zEk0sHuWEeeCn_RNMwgEBg" width="12" height="10"> | 9881 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_XgmiUHuWEeeCn_RNMwgEBg" name="StringLiteral" tooltipText="" outgoingEdges="_zEk0sHuWEeeCn_RNMwgEBg" width="12" height="10"> |
9759 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringLiteral"/> | 9882 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringLiteral"/> |
9760 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringLiteral"/> | 9883 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringLiteral"/> |
@@ -9786,6 +9909,160 @@ | |||
9786 | </ownedStyle> | 9909 | </ownedStyle> |
9787 | <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%20ESupertypes']"/> | 9910 | <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%20ESupertypes']"/> |
9788 | </ownedDiagramElements> | 9911 | </ownedDiagramElements> |
9912 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_PQURUIKgEeeAppuRs-roLg" name="TransitiveClosure" tooltipText="" outgoingEdges="_Vi5psIKgEeeAppuRs-roLg _YRIxkIKgEeeAppuRs-roLg _mNGgsIKhEeeAppuRs-roLg" width="12" height="10"> | ||
9913 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TransitiveClosure"/> | ||
9914 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TransitiveClosure"/> | ||
9915 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
9916 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
9917 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
9918 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_PQdbQIKgEeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
9919 | <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"/> | ||
9920 | </ownedStyle> | ||
9921 | <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']"/> | ||
9922 | </ownedDiagramElements> | ||
9923 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Vi5psIKgEeeAppuRs-roLg" name="[0..1] leftOperand" sourceNode="_PQURUIKgEeeAppuRs-roLg" targetNode="_l6ZIGbdnEeau1vMV3Bsx4w"> | ||
9924 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/leftOperand"/> | ||
9925 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/leftOperand"/> | ||
9926 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Vi5psYKgEeeAppuRs-roLg" description="_l6XRhLdnEeau1vMV3Bsx4w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
9927 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Vi5psoKgEeeAppuRs-roLg" showIcon="false"> | ||
9928 | <customFeatures>labelSize</customFeatures> | ||
9929 | </centerLabelStyle> | ||
9930 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_Vi5ps4KgEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"> | ||
9931 | <customFeatures>labelSize</customFeatures> | ||
9932 | </endLabelStyle> | ||
9933 | </ownedStyle> | ||
9934 | <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']"/> | ||
9935 | </ownedDiagramElements> | ||
9936 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_YRIxkIKgEeeAppuRs-roLg" name="[0..1] rightOperand" sourceNode="_PQURUIKgEeeAppuRs-roLg" targetNode="_l6ZIGbdnEeau1vMV3Bsx4w"> | ||
9937 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/rightOperand"/> | ||
9938 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/rightOperand"/> | ||
9939 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_YRIxkYKgEeeAppuRs-roLg" description="_l6XRhLdnEeau1vMV3Bsx4w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
9940 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_YRIxkoKgEeeAppuRs-roLg" showIcon="false"> | ||
9941 | <customFeatures>labelSize</customFeatures> | ||
9942 | </centerLabelStyle> | ||
9943 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_YRIxk4KgEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"> | ||
9944 | <customFeatures>labelSize</customFeatures> | ||
9945 | </endLabelStyle> | ||
9946 | </ownedStyle> | ||
9947 | <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']"/> | ||
9948 | </ownedDiagramElements> | ||
9949 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_e0z58IKgEeeAppuRs-roLg" name="SymbolicDeclaration" tooltipText="" outgoingEdges="_e1jg1IKgEeeAppuRs-roLg" incomingEdges="_e1Zv0IKgEeeAppuRs-roLg _e1jg0IKgEeeAppuRs-roLg _hTMLcIKhEeeAppuRs-roLg" width="12" height="10"> | ||
9950 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicDeclaration"/> | ||
9951 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicDeclaration"/> | ||
9952 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
9953 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
9954 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
9955 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_e0z58YKgEeeAppuRs-roLg" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> | ||
9956 | <labelFormat>italic</labelFormat> | ||
9957 | <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"/> | ||
9958 | </ownedStyle> | ||
9959 | <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']"/> | ||
9960 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_e1Ql4IKgEeeAppuRs-roLg" name="name : EString" tooltipText=""> | ||
9961 | <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//SymbolicDeclaration/name"/> | ||
9962 | <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//SymbolicDeclaration/name"/> | ||
9963 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_e1Ql4YKgEeeAppuRs-roLg" labelAlignment="LEFT" description="_fCSyIHuWEeeCn_RNMwgEBg"> | ||
9964 | <labelFormat>bold</labelFormat> | ||
9965 | </ownedStyle> | ||
9966 | <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']"/> | ||
9967 | </ownedElements> | ||
9968 | </ownedDiagramElements> | ||
9969 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_e1Zv0IKgEeeAppuRs-roLg" name="[0..1] symbolicReference" sourceNode="_l6ZIH7dnEeau1vMV3Bsx4w" targetNode="_e0z58IKgEeeAppuRs-roLg"> | ||
9970 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//SymbolicValue/symbolicReference"/> | ||
9971 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//SymbolicValue/symbolicReference"/> | ||
9972 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_e1Zv0YKgEeeAppuRs-roLg" routingStyle="manhattan" strokeColor="0,0,0"> | ||
9973 | <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"/> | ||
9974 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_e1Zv0oKgEeeAppuRs-roLg" showIcon="false"> | ||
9975 | <customFeatures>labelSize</customFeatures> | ||
9976 | </centerLabelStyle> | ||
9977 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_e1Zv04KgEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"> | ||
9978 | <customFeatures>labelSize</customFeatures> | ||
9979 | </endLabelStyle> | ||
9980 | </ownedStyle> | ||
9981 | <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']"/> | ||
9982 | </ownedDiagramElements> | ||
9983 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_e1jg0IKgEeeAppuRs-roLg" sourceNode="_l6ZIL7dnEeau1vMV3Bsx4w" targetNode="_e0z58IKgEeeAppuRs-roLg"> | ||
9984 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Variable"/> | ||
9985 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//Variable/@eGenericSuperTypes.0"/> | ||
9986 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_e1jg0YKgEeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
9987 | <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%20ESupertypes']/@style"/> | ||
9988 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_e1jg0oKgEeeAppuRs-roLg" showIcon="false"> | ||
9989 | <labelFormat>italic</labelFormat> | ||
9990 | </beginLabelStyle> | ||
9991 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_e1jg04KgEeeAppuRs-roLg" showIcon="false"/> | ||
9992 | </ownedStyle> | ||
9993 | <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%20ESupertypes']"/> | ||
9994 | </ownedDiagramElements> | ||
9995 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_e1jg1IKgEeeAppuRs-roLg" sourceNode="_e0z58IKgEeeAppuRs-roLg" targetNode="_l6Ztz7dnEeau1vMV3Bsx4w"> | ||
9996 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//SymbolicDeclaration"/> | ||
9997 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//SymbolicDeclaration/@eGenericSuperTypes.0"/> | ||
9998 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_e1jg1YKgEeeAppuRs-roLg" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
9999 | <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%20ESupertypes']/@conditionnalStyles.0/@style"/> | ||
10000 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_e1jg1oKgEeeAppuRs-roLg" showIcon="false"> | ||
10001 | <labelFormat>italic</labelFormat> | ||
10002 | </beginLabelStyle> | ||
10003 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_e1jg14KgEeeAppuRs-roLg" showIcon="false"/> | ||
10004 | </ownedStyle> | ||
10005 | <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%20ESupertypes']"/> | ||
10006 | </ownedDiagramElements> | ||
10007 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_hSSzkIKhEeeAppuRs-roLg" name="Relation" tooltipText="" outgoingEdges="_hS4pcIKhEeeAppuRs-roLg _hTMLcIKhEeeAppuRs-roLg" incomingEdges="_mNGgsIKhEeeAppuRs-roLg" width="12" height="10"> | ||
10008 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> | ||
10009 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> | ||
10010 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
10011 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
10012 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
10013 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_hSSzkYKhEeeAppuRs-roLg" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> | ||
10014 | <labelFormat>italic</labelFormat> | ||
10015 | <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"/> | ||
10016 | </ownedStyle> | ||
10017 | <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']"/> | ||
10018 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_hSvfgIKhEeeAppuRs-roLg" name=" annotations : RelationAnnotation" tooltipText=""> | ||
10019 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/> | ||
10020 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/> | ||
10021 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_hSvfgYKhEeeAppuRs-roLg" labelAlignment="LEFT" color="114,159,207"> | ||
10022 | <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"/> | ||
10023 | </ownedStyle> | ||
10024 | <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']"/> | ||
10025 | </ownedElements> | ||
10026 | </ownedDiagramElements> | ||
10027 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_hS4pcIKhEeeAppuRs-roLg" name="[0..*] parameters" sourceNode="_hSSzkIKhEeeAppuRs-roLg" targetNode="_JfJBgLd8Eeau1vMV3Bsx4w"> | ||
10028 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/> | ||
10029 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/> | ||
10030 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_hS4pcYKhEeeAppuRs-roLg" description="_l6XRhLdnEeau1vMV3Bsx4w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
10031 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_hS4pcoKhEeeAppuRs-roLg" showIcon="false"> | ||
10032 | <customFeatures>labelSize</customFeatures> | ||
10033 | </centerLabelStyle> | ||
10034 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_hS4pc4KhEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"> | ||
10035 | <customFeatures>labelSize</customFeatures> | ||
10036 | </endLabelStyle> | ||
10037 | </ownedStyle> | ||
10038 | <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']"/> | ||
10039 | </ownedDiagramElements> | ||
10040 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_hTMLcIKhEeeAppuRs-roLg" sourceNode="_hSSzkIKhEeeAppuRs-roLg" targetNode="_e0z58IKgEeeAppuRs-roLg"> | ||
10041 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> | ||
10042 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//Relation/@eGenericSuperTypes.0"/> | ||
10043 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_hTMLcYKhEeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
10044 | <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%20ESupertypes']/@style"/> | ||
10045 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_hTMLcoKhEeeAppuRs-roLg" showIcon="false"> | ||
10046 | <labelFormat>italic</labelFormat> | ||
10047 | </beginLabelStyle> | ||
10048 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_hTMLc4KhEeeAppuRs-roLg" showIcon="false"/> | ||
10049 | </ownedStyle> | ||
10050 | <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%20ESupertypes']"/> | ||
10051 | </ownedDiagramElements> | ||
10052 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_mNGgsIKhEeeAppuRs-roLg" name="[0..1] relation" sourceNode="_PQURUIKgEeeAppuRs-roLg" targetNode="_hSSzkIKhEeeAppuRs-roLg"> | ||
10053 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/relation"/> | ||
10054 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//TransitiveClosure/relation"/> | ||
10055 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_mNGgsYKhEeeAppuRs-roLg" routingStyle="manhattan" strokeColor="0,0,0"> | ||
10056 | <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"/> | ||
10057 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_mNGgsoKhEeeAppuRs-roLg" showIcon="false"> | ||
10058 | <customFeatures>labelSize</customFeatures> | ||
10059 | </centerLabelStyle> | ||
10060 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_mNGgs4KhEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"> | ||
10061 | <customFeatures>labelSize</customFeatures> | ||
10062 | </endLabelStyle> | ||
10063 | </ownedStyle> | ||
10064 | <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']"/> | ||
10065 | </ownedDiagramElements> | ||
9789 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 10066 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
9790 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_l6Zva7dnEeau1vMV3Bsx4w"/> | 10067 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_l6Zva7dnEeau1vMV3Bsx4w"/> |
9791 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | 10068 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> |