diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 13:26:17 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-13 13:26:17 +0200 |
commit | 24a88ba612f46e64c26e72e950c41eef67504537 (patch) | |
tree | 18a0000ce173fc68d374e925295ac94e8fb1994d /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model | |
parent | Updated partial model representation (diff) | |
download | VIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.tar.gz VIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.tar.zst VIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.zip |
type multiplicity is refined to 0
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird | 125 | ||||
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore | 4 |
2 files changed, 59 insertions, 70 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 28669eae..2a817e82 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 | |||
@@ -1,33 +1,33 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> | 2 | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> |
3 | <viewpoint:DAnalysis xmi:id="_VrVKcDx1EeWiQ_wtFd6fGQ" selectedViews="_WD40YDx1EeWiQ_wtFd6fGQ _WEG20Dx1EeWiQ_wtFd6fGQ _WEIE8Dx1EeWiQ_wtFd6fGQ _WEOLkDx1EeWiQ_wtFd6fGQ" version="11.1.0.201608251200"> | 3 | <viewpoint:DAnalysis xmi:id="_VrVKcDx1EeWiQ_wtFd6fGQ" selectedViews="_WD40YDx1EeWiQ_wtFd6fGQ _WEG20Dx1EeWiQ_wtFd6fGQ _WEIE8Dx1EeWiQ_wtFd6fGQ _WEOLkDx1EeWiQ_wtFd6fGQ" version="12.1.0.201708031200"> |
4 | <semanticResources>logiclanguage.ecore</semanticResources> | 4 | <semanticResources>logiclanguage.ecore</semanticResources> |
5 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | 5 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> |
6 | <semanticResources>logicproblem.ecore</semanticResources> | 6 | <semanticResources>logicproblem.ecore</semanticResources> |
7 | <semanticResources>logicresult.ecore</semanticResources> | 7 | <semanticResources>logicresult.ecore</semanticResources> |
8 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_WD40YDx1EeWiQ_wtFd6fGQ"> | 8 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_WD40YDx1EeWiQ_wtFd6fGQ"> |
9 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | 9 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> |
10 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUHt9EeeCn_RNMwgEBg" name="All elements" representation="_XL9PsDx1EeWiQ_wtFd6fGQ"> | 10 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUHt9EeeCn_RNMwgEBg" name="All elements" repPath="#_TBG5QG7rEeifqZoaQeIEkw"> |
11 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 11 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
12 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 12 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
13 | </ownedRepresentationDescriptors> | 13 | </ownedRepresentationDescriptors> |
14 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUXt9EeeCn_RNMwgEBg" name="logicproblem class diagram" representation="_veq9MGCGEeWg-_mfCA72gg"> | 14 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUXt9EeeCn_RNMwgEBg" name="logicproblem class diagram" repPath="#_TC2lsG7rEeifqZoaQeIEkw"> |
15 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 15 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
16 | <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> | 16 | <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> |
17 | </ownedRepresentationDescriptors> | 17 | </ownedRepresentationDescriptors> |
18 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUnt9EeeCn_RNMwgEBg" name="Types and Type References" representation="_v6LzUIApEeW6pe97ikalXw"> | 18 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO0WUnt9EeeCn_RNMwgEBg" name="Types and Type References" repPath="#_TDHEYG7rEeifqZoaQeIEkw"> |
19 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 19 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
20 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 20 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
21 | </ownedRepresentationDescriptors> | 21 | </ownedRepresentationDescriptors> |
22 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09YHt9EeeCn_RNMwgEBg" name="Constants, Functions and Relations" representation="_FSREgIP2EeWOre-0TMCmMQ"> | 22 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09YHt9EeeCn_RNMwgEBg" name="Constants, Functions and Relations" repPath="#_TDSDgG7rEeifqZoaQeIEkw"> |
23 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 23 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
24 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 24 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
25 | </ownedRepresentationDescriptors> | 25 | </ownedRepresentationDescriptors> |
26 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09YXt9EeeCn_RNMwgEBg" name="LogicResult" representation="_LobkUAJFEea4lsNl5Yuy6Q"> | 26 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09YXt9EeeCn_RNMwgEBg" name="LogicResult" repPath="#_TDxLsG7rEeifqZoaQeIEkw"> |
27 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 27 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
28 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 28 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
29 | </ownedRepresentationDescriptors> | 29 | </ownedRepresentationDescriptors> |
30 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09Ynt9EeeCn_RNMwgEBg" name="Terms" representation="_l6XRgLdnEeau1vMV3Bsx4w"> | 30 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_xO09Ynt9EeeCn_RNMwgEBg" name="Terms" repPath="#_TD8K0G7rEeifqZoaQeIEkw"> |
31 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 31 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
32 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 32 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
33 | </ownedRepresentationDescriptors> | 33 | </ownedRepresentationDescriptors> |
@@ -42,7 +42,7 @@ | |||
42 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | 42 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> |
43 | </ownedViews> | 43 | </ownedViews> |
44 | </viewpoint:DAnalysis> | 44 | </viewpoint:DAnalysis> |
45 | <diagram:DSemanticDiagram xmi:id="_XL9PsDx1EeWiQ_wtFd6fGQ" name="All elements"> | 45 | <diagram:DSemanticDiagram xmi:id="_XL9PsDx1EeWiQ_wtFd6fGQ" name="All elements" uid="_TBG5QG7rEeifqZoaQeIEkw"> |
46 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_XL9PsTx1EeWiQ_wtFd6fGQ" source="DANNOTATION_CUSTOMIZATION_KEY"> | 46 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_XL9PsTx1EeWiQ_wtFd6fGQ" source="DANNOTATION_CUSTOMIZATION_KEY"> |
47 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_XL9Psjx1EeWiQ_wtFd6fGQ"> | 47 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_XL9Psjx1EeWiQ_wtFd6fGQ"> |
48 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_bcoasDx1EeWiQ_wtFd6fGQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 48 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_bcoasDx1EeWiQ_wtFd6fGQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
@@ -1876,7 +1876,7 @@ | |||
1876 | </children> | 1876 | </children> |
1877 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Nuid0WB2EeWUrY3nJWVIeg" routing="Rectilinear"/> | 1877 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Nuid0WB2EeWUrY3nJWVIeg" routing="Rectilinear"/> |
1878 | <styles xmi:type="notation:FontStyle" xmi:id="_Nuid0mB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 1878 | <styles xmi:type="notation:FontStyle" xmi:id="_Nuid0mB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
1879 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Nuid02B2EeWUrY3nJWVIeg" points="[0, 0, -2379, 60]$[2379, -60, 0, 0]"/> | 1879 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Nuid02B2EeWUrY3nJWVIeg" points="[0, 0, 3321, 331]$[0, -165, 3321, 166]$[-3311, -165, 10, 166]$[-3311, -330, 10, 1]"/> |
1880 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NujE5mB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> | 1880 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NujE5mB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> |
1881 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NujE52B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> | 1881 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NujE52B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> |
1882 | </edges> | 1882 | </edges> |
@@ -1892,7 +1892,7 @@ | |||
1892 | </children> | 1892 | </children> |
1893 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_RGa_oWB2EeWUrY3nJWVIeg" routing="Tree"/> | 1893 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_RGa_oWB2EeWUrY3nJWVIeg" routing="Tree"/> |
1894 | <styles xmi:type="notation:FontStyle" xmi:id="_RGa_omB2EeWUrY3nJWVIeg" fontName="Segoe UI" fontHeight="8"/> | 1894 | <styles xmi:type="notation:FontStyle" xmi:id="_RGa_omB2EeWUrY3nJWVIeg" fontName="Segoe UI" fontHeight="8"/> |
1895 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RGa_o2B2EeWUrY3nJWVIeg" points="[0, 0, -2379, 60]$[2379, -60, 0, 0]"/> | 1895 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RGa_o2B2EeWUrY3nJWVIeg" points="[0, 0, 3321, 331]$[-3311, -330, 10, 1]"/> |
1896 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RGbmtmB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> | 1896 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RGbmtmB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> |
1897 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RGbmt2B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> | 1897 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RGbmt2B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> |
1898 | </edges> | 1898 | </edges> |
@@ -1908,7 +1908,7 @@ | |||
1908 | </children> | 1908 | </children> |
1909 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_SFEZMWB2EeWUrY3nJWVIeg" routing="Rectilinear"/> | 1909 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_SFEZMWB2EeWUrY3nJWVIeg" routing="Rectilinear"/> |
1910 | <styles xmi:type="notation:FontStyle" xmi:id="_SFEZMmB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 1910 | <styles xmi:type="notation:FontStyle" xmi:id="_SFEZMmB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
1911 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFEZM2B2EeWUrY3nJWVIeg" points="[0, 0, -2379, 60]$[2379, -60, 0, 0]"/> | 1911 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFEZM2B2EeWUrY3nJWVIeg" points="[0, 0, 3321, 331]$[0, -165, 3321, 166]$[-3311, -165, 10, 166]$[-3311, -330, 10, 1]"/> |
1912 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFFAQmB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> | 1912 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFFAQmB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> |
1913 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFFAQ2B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> | 1913 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFFAQ2B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> |
1914 | </edges> | 1914 | </edges> |
@@ -1924,7 +1924,7 @@ | |||
1924 | </children> | 1924 | </children> |
1925 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_UsPPwWB2EeWUrY3nJWVIeg" routing="Rectilinear"/> | 1925 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_UsPPwWB2EeWUrY3nJWVIeg" routing="Rectilinear"/> |
1926 | <styles xmi:type="notation:FontStyle" xmi:id="_UsPPwmB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 1926 | <styles xmi:type="notation:FontStyle" xmi:id="_UsPPwmB2EeWUrY3nJWVIeg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
1927 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_UsPPw2B2EeWUrY3nJWVIeg" points="[0, 0, -2379, 60]$[2379, -60, 0, 0]"/> | 1927 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_UsPPw2B2EeWUrY3nJWVIeg" points="[0, 0, 3321, 331]$[0, -165, 3321, 166]$[-3311, -165, 10, 166]$[-3311, -330, 10, 1]"/> |
1928 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UsRE8mB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> | 1928 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UsRE8mB2EeWUrY3nJWVIeg" id="(0.5,0.0)"/> |
1929 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UsRE82B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> | 1929 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UsRE82B2EeWUrY3nJWVIeg" id="(0.5,1.0)"/> |
1930 | </edges> | 1930 | </edges> |
@@ -1940,7 +1940,7 @@ | |||
1940 | </children> | 1940 | </children> |
1941 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Hk6noWL8EeW2rMch79jPxg" routing="Tree"/> | 1941 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Hk6noWL8EeW2rMch79jPxg" routing="Tree"/> |
1942 | <styles xmi:type="notation:FontStyle" xmi:id="_Hk6nomL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> | 1942 | <styles xmi:type="notation:FontStyle" xmi:id="_Hk6nomL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> |
1943 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Hk6no2L8EeW2rMch79jPxg" points="[0, 0, 87, 229]$[-87, -229, 0, 0]"/> | 1943 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Hk6no2L8EeW2rMch79jPxg" points="[0, 0, 102, 273]$[-101, -271, 1, 2]"/> |
1944 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Hk_gIGL8EeW2rMch79jPxg" id="(0.5,0.0)"/> | 1944 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Hk_gIGL8EeW2rMch79jPxg" id="(0.5,0.0)"/> |
1945 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Hk_gIWL8EeW2rMch79jPxg" id="(0.5,1.0)"/> | 1945 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Hk_gIWL8EeW2rMch79jPxg" id="(0.5,1.0)"/> |
1946 | </edges> | 1946 | </edges> |
@@ -1956,7 +1956,7 @@ | |||
1956 | </children> | 1956 | </children> |
1957 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_JjSY0WL8EeW2rMch79jPxg" routing="Rectilinear"/> | 1957 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_JjSY0WL8EeW2rMch79jPxg" routing="Rectilinear"/> |
1958 | <styles xmi:type="notation:FontStyle" xmi:id="_JjSY0mL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 1958 | <styles xmi:type="notation:FontStyle" xmi:id="_JjSY0mL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
1959 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_JjSY02L8EeW2rMch79jPxg" points="[0, 0, -129, -7]$[129, 7, 0, 0]"/> | 1959 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_JjSY02L8EeW2rMch79jPxg" points="[0, 0, -97, -5]$[48, 0, -49, -5]$[48, 5, -49, 0]$[97, 5, 0, 0]"/> |
1960 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_JjTm8GL8EeW2rMch79jPxg" id="(1.0,0.33)"/> | 1960 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_JjTm8GL8EeW2rMch79jPxg" id="(1.0,0.33)"/> |
1961 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_JjTm8WL8EeW2rMch79jPxg" id="(0.0,0.38)"/> | 1961 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_JjTm8WL8EeW2rMch79jPxg" id="(0.0,0.38)"/> |
1962 | </edges> | 1962 | </edges> |
@@ -1972,7 +1972,7 @@ | |||
1972 | </children> | 1972 | </children> |
1973 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_OZtVMWL8EeW2rMch79jPxg" routing="Tree"/> | 1973 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_OZtVMWL8EeW2rMch79jPxg" routing="Tree"/> |
1974 | <styles xmi:type="notation:FontStyle" xmi:id="_OZtVMmL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> | 1974 | <styles xmi:type="notation:FontStyle" xmi:id="_OZtVMmL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> |
1975 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_OZtVM2L8EeW2rMch79jPxg" points="[0, 0, -13, 313]$[13, -313, 0, 0]"/> | 1975 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_OZtVM2L8EeW2rMch79jPxg" points="[0, 0, 36, 336]$[-35, -327, 1, 9]"/> |
1976 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_OZujUGL8EeW2rMch79jPxg" id="(0.4583333333333333,0.0)"/> | 1976 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_OZujUGL8EeW2rMch79jPxg" id="(0.4583333333333333,0.0)"/> |
1977 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_OZujUWL8EeW2rMch79jPxg" id="(0.5,0.5)"/> | 1977 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_OZujUWL8EeW2rMch79jPxg" id="(0.5,0.5)"/> |
1978 | </edges> | 1978 | </edges> |
@@ -1988,7 +1988,7 @@ | |||
1988 | </children> | 1988 | </children> |
1989 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_VHnXoWL8EeW2rMch79jPxg" routing="Tree"/> | 1989 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_VHnXoWL8EeW2rMch79jPxg" routing="Tree"/> |
1990 | <styles xmi:type="notation:FontStyle" xmi:id="_VHnXomL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> | 1990 | <styles xmi:type="notation:FontStyle" xmi:id="_VHnXomL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> |
1991 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_VHnXo2L8EeW2rMch79jPxg" points="[0, 0, 92, 40]$[-92, -40, 0, 0]"/> | 1991 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_VHnXo2L8EeW2rMch79jPxg" points="[0, 0, 341, 161]$[-339, -160, 2, 1]"/> |
1992 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VHnXqmL8EeW2rMch79jPxg" id="(0.75,0.0)"/> | 1992 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VHnXqmL8EeW2rMch79jPxg" id="(0.75,0.0)"/> |
1993 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VHnXq2L8EeW2rMch79jPxg" id="(0.5,1.0)"/> | 1993 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VHnXq2L8EeW2rMch79jPxg" id="(0.5,1.0)"/> |
1994 | </edges> | 1994 | </edges> |
@@ -2004,7 +2004,7 @@ | |||
2004 | </children> | 2004 | </children> |
2005 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_WqPoAWL8EeW2rMch79jPxg" routing="Tree"/> | 2005 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_WqPoAWL8EeW2rMch79jPxg" routing="Tree"/> |
2006 | <styles xmi:type="notation:FontStyle" xmi:id="_WqPoAmL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> | 2006 | <styles xmi:type="notation:FontStyle" xmi:id="_WqPoAmL8EeW2rMch79jPxg" fontName="Segoe UI" fontHeight="8"/> |
2007 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_WqPoA2L8EeW2rMch79jPxg" points="[0, 0, 174, 253]$[-174, -253, 0, 0]"/> | 2007 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_WqPoA2L8EeW2rMch79jPxg" points="[0, 0, 176, 291]$[-176, -290, 0, 1]"/> |
2008 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WqQPFGL8EeW2rMch79jPxg" id="(0.2857142857142857,0.0)"/> | 2008 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WqQPFGL8EeW2rMch79jPxg" id="(0.2857142857142857,0.0)"/> |
2009 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WqQPFWL8EeW2rMch79jPxg" id="(0.5,0.5)"/> | 2009 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WqQPFWL8EeW2rMch79jPxg" id="(0.5,0.5)"/> |
2010 | </edges> | 2010 | </edges> |
@@ -2020,7 +2020,7 @@ | |||
2020 | </children> | 2020 | </children> |
2021 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_dHn7IWL8EeW2rMch79jPxg" routing="Rectilinear"/> | 2021 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_dHn7IWL8EeW2rMch79jPxg" routing="Rectilinear"/> |
2022 | <styles xmi:type="notation:FontStyle" xmi:id="_dHn7ImL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2022 | <styles xmi:type="notation:FontStyle" xmi:id="_dHn7ImL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2023 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_dHn7I2L8EeW2rMch79jPxg" points="[0, 0, 54, -69]$[-54, 69, 0, 0]"/> | 2023 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_dHn7I2L8EeW2rMch79jPxg" points="[0, 0, 41, -52]$[-21, 0, 20, -52]$[-21, 52, 20, 0]$[-41, 52, 0, 0]"/> |
2024 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dHoiNmL8EeW2rMch79jPxg" id="(0.0,0.45)"/> | 2024 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dHoiNmL8EeW2rMch79jPxg" id="(0.0,0.45)"/> |
2025 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dHoiN2L8EeW2rMch79jPxg" id="(1.0,0.5252525252525253)"/> | 2025 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dHoiN2L8EeW2rMch79jPxg" id="(1.0,0.5252525252525253)"/> |
2026 | </edges> | 2026 | </edges> |
@@ -2036,7 +2036,7 @@ | |||
2036 | </children> | 2036 | </children> |
2037 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_gIGCgWL8EeW2rMch79jPxg" routing="Rectilinear"/> | 2037 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_gIGCgWL8EeW2rMch79jPxg" routing="Rectilinear"/> |
2038 | <styles xmi:type="notation:FontStyle" xmi:id="_gIGCgmL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 2038 | <styles xmi:type="notation:FontStyle" xmi:id="_gIGCgmL8EeW2rMch79jPxg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
2039 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_gIGCg2L8EeW2rMch79jPxg" points="[0, 0, -167, 19]$[167, -19, 0, 0]"/> | 2039 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_gIGCg2L8EeW2rMch79jPxg" points="[6, 1, -240, -35]$[6, 36, -240, 0]$[246, 36, 0, 0]"/> |
2040 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gIGplmL8EeW2rMch79jPxg" id="(1.0,0.49)"/> | 2040 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gIGplmL8EeW2rMch79jPxg" id="(1.0,0.49)"/> |
2041 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gIGpl2L8EeW2rMch79jPxg" id="(0.0,0.35)"/> | 2041 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gIGpl2L8EeW2rMch79jPxg" id="(0.0,0.35)"/> |
2042 | </edges> | 2042 | </edges> |
@@ -2052,7 +2052,7 @@ | |||
2052 | </children> | 2052 | </children> |
2053 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ahhRIWPkEeWuQbyserbs4Q" routing="Tree"/> | 2053 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ahhRIWPkEeWuQbyserbs4Q" routing="Tree"/> |
2054 | <styles xmi:type="notation:FontStyle" xmi:id="_ahhRImPkEeWuQbyserbs4Q" fontName="Segoe UI" fontHeight="8"/> | 2054 | <styles xmi:type="notation:FontStyle" xmi:id="_ahhRImPkEeWuQbyserbs4Q" fontName="Segoe UI" fontHeight="8"/> |
2055 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ahhRI2PkEeWuQbyserbs4Q" points="[0, 0, 367, 368]$[-367, -368, 0, 0]"/> | 2055 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ahhRI2PkEeWuQbyserbs4Q" points="[0, 0, 203, 491]$[-202, -489, 1, 2]"/> |
2056 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ahmJoGPkEeWuQbyserbs4Q" id="(0.7916666666666666,0.0)"/> | 2056 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ahmJoGPkEeWuQbyserbs4Q" id="(0.7916666666666666,0.0)"/> |
2057 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ahmJoWPkEeWuQbyserbs4Q" id="(0.5,1.0)"/> | 2057 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ahmJoWPkEeWuQbyserbs4Q" id="(0.5,1.0)"/> |
2058 | </edges> | 2058 | </edges> |
@@ -3895,7 +3895,7 @@ | |||
3895 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 3895 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
3896 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 3896 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
3897 | </diagram:DSemanticDiagram> | 3897 | </diagram:DSemanticDiagram> |
3898 | <diagram:DSemanticDiagram xmi:id="_veq9MGCGEeWg-_mfCA72gg" name="logicproblem class diagram"> | 3898 | <diagram:DSemanticDiagram xmi:id="_veq9MGCGEeWg-_mfCA72gg" name="logicproblem class diagram" uid="_TC2lsG7rEeifqZoaQeIEkw"> |
3899 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_veq9MWCGEeWg-_mfCA72gg" source="DANNOTATION_CUSTOMIZATION_KEY"> | 3899 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_veq9MWCGEeWg-_mfCA72gg" source="DANNOTATION_CUSTOMIZATION_KEY"> |
3900 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_veq9MmCGEeWg-_mfCA72gg"> | 3900 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_veq9MmCGEeWg-_mfCA72gg"> |
3901 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_w24tUGCGEeWg-_mfCA72gg" sourceArrow="FillDiamond" routingStyle="manhattan"> | 3901 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_w24tUGCGEeWg-_mfCA72gg" sourceArrow="FillDiamond" routingStyle="manhattan"> |
@@ -4252,7 +4252,7 @@ | |||
4252 | </children> | 4252 | </children> |
4253 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ichmYcDjEea_b6UyFzv22g" routing="Rectilinear"/> | 4253 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ichmYcDjEea_b6UyFzv22g" routing="Rectilinear"/> |
4254 | <styles xmi:type="notation:FontStyle" xmi:id="_ichmYsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> | 4254 | <styles xmi:type="notation:FontStyle" xmi:id="_ichmYsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> |
4255 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ichmY8DjEea_b6UyFzv22g" points="[415, 555, 415, 555]$[430, 450, 430, 450]"/> | 4255 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ichmY8DjEea_b6UyFzv22g" points="[-11, -19, 40, 71]$[-11, -89, 40, 1]$[-50, -89, 1, 1]"/> |
4256 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_icyFEMDjEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4256 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_icyFEMDjEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4257 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_icyFEcDjEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4257 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_icyFEcDjEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4258 | </edges> | 4258 | </edges> |
@@ -4268,7 +4268,7 @@ | |||
4268 | </children> | 4268 | </children> |
4269 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_jkTGwcDjEea_b6UyFzv22g" routing="Rectilinear"/> | 4269 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_jkTGwcDjEea_b6UyFzv22g" routing="Rectilinear"/> |
4270 | <styles xmi:type="notation:FontStyle" xmi:id="_jkTGwsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> | 4270 | <styles xmi:type="notation:FontStyle" xmi:id="_jkTGwsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> |
4271 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_jkTGw8DjEea_b6UyFzv22g" points="[551, 555, 551, 555]$[560, 450, 560, 450]"/> | 4271 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_jkTGw8DjEea_b6UyFzv22g" points="[-14, -21, 47, 71]$[-14, -91, 47, 1]$[-60, -91, 1, 1]"/> |
4272 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_jkTt1sDjEea_b6UyFzv22g" id="(0.5,0.4883720930232558)"/> | 4272 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_jkTt1sDjEea_b6UyFzv22g" id="(0.5,0.4883720930232558)"/> |
4273 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_jkTt18DjEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4273 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_jkTt18DjEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4274 | </edges> | 4274 | </edges> |
@@ -4284,7 +4284,7 @@ | |||
4284 | </children> | 4284 | </children> |
4285 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_kiyvUcDjEea_b6UyFzv22g" routing="Rectilinear"/> | 4285 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_kiyvUcDjEea_b6UyFzv22g" routing="Rectilinear"/> |
4286 | <styles xmi:type="notation:FontStyle" xmi:id="_kiyvUsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> | 4286 | <styles xmi:type="notation:FontStyle" xmi:id="_kiyvUsDjEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> |
4287 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kiyvU8DjEea_b6UyFzv22g" points="[690, 555, 690, 555]$[690, 450, 690, 450]"/> | 4287 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kiyvU8DjEea_b6UyFzv22g" points="[-16, -21, 51, 71]$[-16, -91, 51, 1]$[-66, -91, 1, 1]"/> |
4288 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kiz9csDjEea_b6UyFzv22g" id="(0.49624060150375937,0.4883720930232558)"/> | 4288 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kiz9csDjEea_b6UyFzv22g" id="(0.49624060150375937,0.4883720930232558)"/> |
4289 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kiz9c8DjEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4289 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kiz9c8DjEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4290 | </edges> | 4290 | </edges> |
@@ -4300,7 +4300,7 @@ | |||
4300 | </children> | 4300 | </children> |
4301 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_XtsIUcDnEea_b6UyFzv22g" routing="Rectilinear"/> | 4301 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_XtsIUcDnEea_b6UyFzv22g" routing="Rectilinear"/> |
4302 | <styles xmi:type="notation:FontStyle" xmi:id="_XtsIUsDnEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> | 4302 | <styles xmi:type="notation:FontStyle" xmi:id="_XtsIUsDnEea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> |
4303 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_XtsIU8DnEea_b6UyFzv22g" points="[747, 395, 747, 395]$[747, 270, 747, 270]"/> | 4303 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_XtsIU8DnEea_b6UyFzv22g" points="[-10, -19, 59, 126]$[-10, -143, 59, 2]$[-68, -143, 1, 2]"/> |
4304 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_XtsvYMDnEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4304 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_XtsvYMDnEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4305 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_XtsvYcDnEea_b6UyFzv22g" id="(0.5,0.5)"/> | 4305 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_XtsvYcDnEea_b6UyFzv22g" id="(0.5,0.5)"/> |
4306 | </edges> | 4306 | </edges> |
@@ -4695,7 +4695,7 @@ | |||
4695 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 4695 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
4696 | <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> | 4696 | <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> |
4697 | </diagram:DSemanticDiagram> | 4697 | </diagram:DSemanticDiagram> |
4698 | <diagram:DSemanticDiagram xmi:id="_v6LzUIApEeW6pe97ikalXw" name="Types and Type References"> | 4698 | <diagram:DSemanticDiagram xmi:id="_v6LzUIApEeW6pe97ikalXw" name="Types and Type References" uid="_TDHEYG7rEeifqZoaQeIEkw"> |
4699 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_v6LzUYApEeW6pe97ikalXw" source="DANNOTATION_CUSTOMIZATION_KEY"> | 4699 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_v6LzUYApEeW6pe97ikalXw" source="DANNOTATION_CUSTOMIZATION_KEY"> |
4700 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_v6LzUoApEeW6pe97ikalXw"> | 4700 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_v6LzUoApEeW6pe97ikalXw"> |
4701 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_yNw_gIApEeW6pe97ikalXw" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 4701 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_yNw_gIApEeW6pe97ikalXw" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
@@ -4704,17 +4704,6 @@ | |||
4704 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 4704 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
4705 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | 4705 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> |
4706 | </computedStyleDescriptions> | 4706 | </computedStyleDescriptions> |
4707 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_ydH8gHt9EeeCn_RNMwgEBg" sourceArrow="InputArrow" routingStyle="manhattan"> | ||
4708 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
4709 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_ydH8gXt9EeeCn_RNMwgEBg" showIcon="false" labelExpression="service:renderEOpposite"> | ||
4710 | <labelFormat>bold</labelFormat> | ||
4711 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
4712 | </beginLabelStyleDescription> | ||
4713 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_ydH8gnt9EeeCn_RNMwgEBg" showIcon="false" labelExpression="service:render"> | ||
4714 | <labelFormat>bold</labelFormat> | ||
4715 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
4716 | </endLabelStyleDescription> | ||
4717 | </computedStyleDescriptions> | ||
4718 | </data> | 4707 | </data> |
4719 | </ownedAnnotationEntries> | 4708 | </ownedAnnotationEntries> |
4720 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_v6ac0IApEeW6pe97ikalXw" source="GMF_DIAGRAMS"> | 4709 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_v6ac0IApEeW6pe97ikalXw" source="GMF_DIAGRAMS"> |
@@ -5198,7 +5187,7 @@ | |||
5198 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 5187 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
5199 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | 5188 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> |
5200 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | 5189 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> |
5201 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_yM4OsYApEeW6pe97ikalXw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 5190 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_W210sG7rEeifqZoaQeIEkw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
5202 | <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"/> | 5191 | <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"/> |
5203 | </ownedStyle> | 5192 | </ownedStyle> |
5204 | <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']"/> | 5193 | <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']"/> |
@@ -5233,7 +5222,7 @@ | |||
5233 | </ownedDiagramElements> | 5222 | </ownedDiagramElements> |
5234 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOweAIApEeW6pe97ikalXw" sourceNode="_yLnqcIApEeW6pe97ikalXw" targetNode="_yMqMQIApEeW6pe97ikalXw"> | 5223 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOweAIApEeW6pe97ikalXw" sourceNode="_yLnqcIApEeW6pe97ikalXw" targetNode="_yMqMQIApEeW6pe97ikalXw"> |
5235 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> | 5224 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> |
5236 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//Type/@eGenericSuperTypes.0"/> | 5225 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> |
5237 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_uOS_EImGEeWccOHwfpGNpw" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> | 5226 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_uOS_EImGEeWccOHwfpGNpw" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> |
5238 | <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"/> | 5227 | <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"/> |
5239 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_uOS_EYmGEeWccOHwfpGNpw" showIcon="false"> | 5228 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_uOS_EYmGEeWccOHwfpGNpw" showIcon="false"> |
@@ -5245,7 +5234,7 @@ | |||
5245 | </ownedDiagramElements> | 5234 | </ownedDiagramElements> |
5246 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOxsI4ApEeW6pe97ikalXw" sourceNode="_yLsi8IApEeW6pe97ikalXw" targetNode="_yLnqcIApEeW6pe97ikalXw"> | 5235 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOxsI4ApEeW6pe97ikalXw" sourceNode="_yLsi8IApEeW6pe97ikalXw" targetNode="_yLnqcIApEeW6pe97ikalXw"> |
5247 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDefinition"/> | 5236 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDefinition"/> |
5248 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//TypeDefinition/@eGenericSuperTypes.0"/> | 5237 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDefinition"/> |
5249 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yOyTMIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5238 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yOyTMIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5250 | <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"/> | 5239 | <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"/> |
5251 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yOyTMYApEeW6pe97ikalXw" showIcon="false"> | 5240 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yOyTMYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5257,7 +5246,7 @@ | |||
5257 | </ownedDiagramElements> | 5246 | </ownedDiagramElements> |
5258 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOy6QIApEeW6pe97ikalXw" sourceNode="_yLtxEIApEeW6pe97ikalXw" targetNode="_yMqMQIApEeW6pe97ikalXw"> | 5247 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOy6QIApEeW6pe97ikalXw" sourceNode="_yLtxEIApEeW6pe97ikalXw" targetNode="_yMqMQIApEeW6pe97ikalXw"> |
5259 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> | 5248 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> |
5260 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//TypeReference/@eGenericSuperTypes.0"/> | 5249 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeReference"/> |
5261 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yOzhUIApEeW6pe97ikalXw" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> | 5250 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yOzhUIApEeW6pe97ikalXw" lineStyle="dash" targetArrow="InputClosedArrow" routingStyle="tree"> |
5262 | <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"/> | 5251 | <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"/> |
5263 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yOzhUYApEeW6pe97ikalXw" showIcon="false"> | 5252 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yOzhUYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5269,7 +5258,7 @@ | |||
5269 | </ownedDiagramElements> | 5258 | </ownedDiagramElements> |
5270 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOzhU4ApEeW6pe97ikalXw" sourceNode="_yLu_MIApEeW6pe97ikalXw" targetNode="_yLtxEIApEeW6pe97ikalXw"> | 5259 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yOzhU4ApEeW6pe97ikalXw" sourceNode="_yLu_MIApEeW6pe97ikalXw" targetNode="_yLtxEIApEeW6pe97ikalXw"> |
5271 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//ComplexTypeReference"/> | 5260 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//ComplexTypeReference"/> |
5272 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//ComplexTypeReference/@eGenericSuperTypes.0"/> | 5261 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//ComplexTypeReference"/> |
5273 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO0IYIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5262 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO0IYIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5274 | <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"/> | 5263 | <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"/> |
5275 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO0IYYApEeW6pe97ikalXw" showIcon="false"> | 5264 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO0IYYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5281,7 +5270,7 @@ | |||
5281 | </ownedDiagramElements> | 5270 | </ownedDiagramElements> |
5282 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO0IY4ApEeW6pe97ikalXw" sourceNode="_yLw0YIApEeW6pe97ikalXw" targetNode="_yLtxEIApEeW6pe97ikalXw"> | 5271 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO0IY4ApEeW6pe97ikalXw" sourceNode="_yLw0YIApEeW6pe97ikalXw" targetNode="_yLtxEIApEeW6pe97ikalXw"> |
5283 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//PrimitiveTypeReference"/> | 5272 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//PrimitiveTypeReference"/> |
5284 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//PrimitiveTypeReference/@eGenericSuperTypes.0"/> | 5273 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//PrimitiveTypeReference"/> |
5285 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO0vcIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5274 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO0vcIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5286 | <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"/> | 5275 | <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"/> |
5287 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO0vcYApEeW6pe97ikalXw" showIcon="false"> | 5276 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO0vcYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5293,7 +5282,7 @@ | |||
5293 | </ownedDiagramElements> | 5282 | </ownedDiagramElements> |
5294 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO0vc4ApEeW6pe97ikalXw" sourceNode="_yL_d4IApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> | 5283 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO0vc4ApEeW6pe97ikalXw" sourceNode="_yL_d4IApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> |
5295 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//IntTypeReference"/> | 5284 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//IntTypeReference"/> |
5296 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//IntTypeReference/@eGenericSuperTypes.0"/> | 5285 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//IntTypeReference"/> |
5297 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO1WgIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5286 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO1WgIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5298 | <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"/> | 5287 | <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"/> |
5299 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO1WgYApEeW6pe97ikalXw" showIcon="false"> | 5288 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO1WgYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5305,7 +5294,7 @@ | |||
5305 | </ownedDiagramElements> | 5294 | </ownedDiagramElements> |
5306 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO19kIApEeW6pe97ikalXw" sourceNode="_yMBTEIApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> | 5295 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO19kIApEeW6pe97ikalXw" sourceNode="_yMBTEIApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> |
5307 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//BoolTypeReference"/> | 5296 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//BoolTypeReference"/> |
5308 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//BoolTypeReference/@eGenericSuperTypes.0"/> | 5297 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//BoolTypeReference"/> |
5309 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO2koIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5298 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO2koIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5310 | <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"/> | 5299 | <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"/> |
5311 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO2koYApEeW6pe97ikalXw" showIcon="false"> | 5300 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO2koYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5317,7 +5306,7 @@ | |||
5317 | </ownedDiagramElements> | 5306 | </ownedDiagramElements> |
5318 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO2ko4ApEeW6pe97ikalXw" sourceNode="_yMChMIApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> | 5307 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yO2ko4ApEeW6pe97ikalXw" sourceNode="_yMChMIApEeW6pe97ikalXw" targetNode="_yLw0YIApEeW6pe97ikalXw"> |
5319 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//RealTypeReference"/> | 5308 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//RealTypeReference"/> |
5320 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//RealTypeReference/@eGenericSuperTypes.0"/> | 5309 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//RealTypeReference"/> |
5321 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO3LsIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5310 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yO3LsIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5322 | <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"/> | 5311 | <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"/> |
5323 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO3LsYApEeW6pe97ikalXw" showIcon="false"> | 5312 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yO3LsYApEeW6pe97ikalXw" showIcon="false"> |
@@ -5329,13 +5318,13 @@ | |||
5329 | </ownedDiagramElements> | 5318 | </ownedDiagramElements> |
5330 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yPalU4ApEeW6pe97ikalXw" sourceNode="_yM4OsIApEeW6pe97ikalXw" targetNode="_yLnqcIApEeW6pe97ikalXw"> | 5319 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_yPalU4ApEeW6pe97ikalXw" sourceNode="_yM4OsIApEeW6pe97ikalXw" targetNode="_yLnqcIApEeW6pe97ikalXw"> |
5331 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDeclaration"/> | 5320 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDeclaration"/> |
5332 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//TypeDeclaration/@eGenericSuperTypes.0"/> | 5321 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//TypeDeclaration"/> |
5333 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_yPbMYIApEeW6pe97ikalXw" targetArrow="InputClosedArrow" routingStyle="tree"> | 5322 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_W3FsUG7rEeifqZoaQeIEkw" targetArrow="InputClosedArrow" routingStyle="tree"> |
5334 | <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"/> | 5323 | <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"/> |
5335 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_yPbMYYApEeW6pe97ikalXw" showIcon="false"> | 5324 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_W3FsUW7rEeifqZoaQeIEkw" showIcon="false"> |
5336 | <labelFormat>italic</labelFormat> | 5325 | <labelFormat>italic</labelFormat> |
5337 | </beginLabelStyle> | 5326 | </beginLabelStyle> |
5338 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_yPbMYoApEeW6pe97ikalXw" showIcon="false"/> | 5327 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_W3FsUm7rEeifqZoaQeIEkw" showIcon="false"/> |
5339 | </ownedStyle> | 5328 | </ownedStyle> |
5340 | <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']"/> | 5329 | <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']"/> |
5341 | </ownedDiagramElements> | 5330 | </ownedDiagramElements> |
@@ -5350,17 +5339,14 @@ | |||
5350 | </ownedStyle> | 5339 | </ownedStyle> |
5351 | <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='Bi-directional%20EC_EReference%20']"/> | 5340 | <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='Bi-directional%20EC_EReference%20']"/> |
5352 | </ownedDiagramElements> | 5341 | </ownedDiagramElements> |
5353 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ydGHUHt9EeeCn_RNMwgEBg" sourceNode="_yLrU0IApEeW6pe97ikalXw" targetNode="_yLsi8IApEeW6pe97ikalXw" beginLabel="[0..*] elements" endLabel="[1..*] definedInType"> | 5342 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ydGHUHt9EeeCn_RNMwgEBg" sourceNode="_yLrU0IApEeW6pe97ikalXw" targetNode="_yLsi8IApEeW6pe97ikalXw" beginLabel="[0..*] elements" endLabel="[0..*] definedInType"> |
5354 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> | 5343 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> |
5355 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> | 5344 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> |
5356 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//TypeDefinition/elements"/> | 5345 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//TypeDefinition/elements"/> |
5357 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ydH8g3t9EeeCn_RNMwgEBg" description="_ydH8gHt9EeeCn_RNMwgEBg" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | 5346 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Uzv7kG7rEeifqZoaQeIEkw" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> |
5358 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ydH8hHt9EeeCn_RNMwgEBg" showIcon="false"> | 5347 | <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='Bi-directional%20EC_EReference%20']/@style"/> |
5359 | <labelFormat>bold</labelFormat> | 5348 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Uzv7kW7rEeifqZoaQeIEkw" showIcon="false"/> |
5360 | </beginLabelStyle> | 5349 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_Uzv7km7rEeifqZoaQeIEkw" showIcon="false"/> |
5361 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_ydH8hXt9EeeCn_RNMwgEBg" showIcon="false"> | ||
5362 | <labelFormat>bold</labelFormat> | ||
5363 | </endLabelStyle> | ||
5364 | </ownedStyle> | 5350 | </ownedStyle> |
5365 | <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='Bi-directional%20EC_EReference%20']"/> | 5351 | <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='Bi-directional%20EC_EReference%20']"/> |
5366 | </ownedDiagramElements> | 5352 | </ownedDiagramElements> |
@@ -5377,7 +5363,7 @@ | |||
5377 | </ownedDiagramElements> | 5363 | </ownedDiagramElements> |
5378 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8SF2gHt9EeeCn_RNMwgEBg" sourceNode="_1t3UgHt9EeeCn_RNMwgEBg" targetNode="_yLw0YIApEeW6pe97ikalXw"> | 5364 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8SF2gHt9EeeCn_RNMwgEBg" sourceNode="_1t3UgHt9EeeCn_RNMwgEBg" targetNode="_yLw0YIApEeW6pe97ikalXw"> |
5379 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringTypeReference"/> | 5365 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringTypeReference"/> |
5380 | <semanticElements xmi:type="ecore:EGenericType" href="logiclanguage.ecore#//StringTypeReference/@eGenericSuperTypes.0"/> | 5366 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//StringTypeReference"/> |
5381 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_8SGdkHt9EeeCn_RNMwgEBg" targetArrow="InputClosedArrow" routingStyle="tree"> | 5367 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_8SGdkHt9EeeCn_RNMwgEBg" targetArrow="InputClosedArrow" routingStyle="tree"> |
5382 | <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"/> | 5368 | <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"/> |
5383 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_8SGdkXt9EeeCn_RNMwgEBg" showIcon="false"> | 5369 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_8SGdkXt9EeeCn_RNMwgEBg" showIcon="false"> |
@@ -5395,7 +5381,7 @@ | |||
5395 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 5381 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
5396 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 5382 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
5397 | </diagram:DSemanticDiagram> | 5383 | </diagram:DSemanticDiagram> |
5398 | <diagram:DSemanticDiagram xmi:id="_FSREgIP2EeWOre-0TMCmMQ" name="Constants, Functions and Relations"> | 5384 | <diagram:DSemanticDiagram xmi:id="_FSREgIP2EeWOre-0TMCmMQ" name="Constants, Functions and Relations" uid="_TDSDgG7rEeifqZoaQeIEkw"> |
5399 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_FSREgYP2EeWOre-0TMCmMQ" source="DANNOTATION_CUSTOMIZATION_KEY"> | 5385 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_FSREgYP2EeWOre-0TMCmMQ" source="DANNOTATION_CUSTOMIZATION_KEY"> |
5400 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_FSREgoP2EeWOre-0TMCmMQ"> | 5386 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_FSREgoP2EeWOre-0TMCmMQ"> |
5401 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_FSREg4P2EeWOre-0TMCmMQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 5387 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_FSREg4P2EeWOre-0TMCmMQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
@@ -5567,13 +5553,16 @@ | |||
5567 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_FSRGCYP2EeWOre-0TMCmMQ" x="382" y="275" width="133" height="43"/> | 5553 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_FSRGCYP2EeWOre-0TMCmMQ" x="382" y="275" width="133" height="43"/> |
5568 | </children> | 5554 | </children> |
5569 | <children xmi:type="notation:Shape" xmi:id="_QM90MIV6EeWhkpx1k3JSIA" type="Note" fontName="Segoe UI" description="Binary Decision Diagram" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> | 5555 | <children xmi:type="notation:Shape" xmi:id="_QM90MIV6EeWhkpx1k3JSIA" type="Note" fontName="Segoe UI" description="Binary Decision Diagram" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> |
5556 | <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_TLIX8G7rEeifqZoaQeIEkw" source="specificStyles"> | ||
5557 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_TLIX8W7rEeifqZoaQeIEkw" key="verticalAlignment" value="8"/> | ||
5558 | </eAnnotations> | ||
5570 | <children xmi:type="notation:BasicDecorationNode" xmi:id="_QNCssIV6EeWhkpx1k3JSIA" type="DiagramName"> | 5559 | <children xmi:type="notation:BasicDecorationNode" xmi:id="_QNCssIV6EeWhkpx1k3JSIA" type="DiagramName"> |
5571 | <element xsi:nil="true"/> | 5560 | <element xsi:nil="true"/> |
5572 | </children> | 5561 | </children> |
5573 | <children xmi:type="notation:BasicDecorationNode" xmi:id="_QNDTwIV6EeWhkpx1k3JSIA" type="Description"> | 5562 | <children xmi:type="notation:BasicDecorationNode" xmi:id="_QNDTwIV6EeWhkpx1k3JSIA" type="Description"> |
5574 | <element xsi:nil="true"/> | 5563 | <element xsi:nil="true"/> |
5575 | </children> | 5564 | </children> |
5576 | <styles xmi:type="notation:TextStyle" xmi:id="_QM90MYV6EeWhkpx1k3JSIA"/> | 5565 | <styles xmi:type="notation:TextStyle" xmi:id="_QM90MYV6EeWhkpx1k3JSIA" textAlignment="Center"/> |
5577 | <styles xmi:type="notation:LineTypeStyle" xmi:id="_QM90MoV6EeWhkpx1k3JSIA"/> | 5566 | <styles xmi:type="notation:LineTypeStyle" xmi:id="_QM90MoV6EeWhkpx1k3JSIA"/> |
5578 | <element xsi:nil="true"/> | 5567 | <element xsi:nil="true"/> |
5579 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QM90M4V6EeWhkpx1k3JSIA" x="294" y="710" height="34"/> | 5568 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QM90M4V6EeWhkpx1k3JSIA" x="294" y="710" height="34"/> |
@@ -6557,7 +6546,7 @@ | |||
6557 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 6546 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
6558 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 6547 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
6559 | </diagram:DSemanticDiagram> | 6548 | </diagram:DSemanticDiagram> |
6560 | <diagram:DSemanticDiagram xmi:id="_LobkUAJFEea4lsNl5Yuy6Q" name="LogicResult"> | 6549 | <diagram:DSemanticDiagram xmi:id="_LobkUAJFEea4lsNl5Yuy6Q" name="LogicResult" uid="_TDxLsG7rEeifqZoaQeIEkw"> |
6561 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_LobkUQJFEea4lsNl5Yuy6Q" source="DANNOTATION_CUSTOMIZATION_KEY"> | 6550 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_LobkUQJFEea4lsNl5Yuy6Q" source="DANNOTATION_CUSTOMIZATION_KEY"> |
6562 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_LobkUgJFEea4lsNl5Yuy6Q"> | 6551 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_LobkUgJFEea4lsNl5Yuy6Q"> |
6563 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_LobkUwJFEea4lsNl5Yuy6Q" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 6552 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_LobkUwJFEea4lsNl5Yuy6Q" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
@@ -7251,7 +7240,7 @@ | |||
7251 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 7240 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
7252 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> | 7241 | <target xmi:type="ecore:EPackage" href="logiclanguage.ecore#/"/> |
7253 | </diagram:DSemanticDiagram> | 7242 | </diagram:DSemanticDiagram> |
7254 | <diagram:DSemanticDiagram xmi:id="_l6XRgLdnEeau1vMV3Bsx4w" name="Terms"> | 7243 | <diagram:DSemanticDiagram xmi:id="_l6XRgLdnEeau1vMV3Bsx4w" name="Terms" uid="_TD8K0G7rEeifqZoaQeIEkw"> |
7255 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_l6XRgbdnEeau1vMV3Bsx4w" source="DANNOTATION_CUSTOMIZATION_KEY"> | 7244 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_l6XRgbdnEeau1vMV3Bsx4w" source="DANNOTATION_CUSTOMIZATION_KEY"> |
7256 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_l6XRgrdnEeau1vMV3Bsx4w"> | 7245 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_l6XRgrdnEeau1vMV3Bsx4w"> |
7257 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_l6XRhLdnEeau1vMV3Bsx4w" sourceArrow="FillDiamond" routingStyle="manhattan"> | 7246 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_l6XRhLdnEeau1vMV3Bsx4w" sourceArrow="FillDiamond" routingStyle="manhattan"> |
@@ -7799,7 +7788,7 @@ | |||
7799 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X55bdnEeau1vMV3Bsx4w" y="-10"/> | 7788 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X55bdnEeau1vMV3Bsx4w" y="-10"/> |
7800 | </children> | 7789 | </children> |
7801 | <children xmi:type="notation:Node" xmi:id="_l6X55rdnEeau1vMV3Bsx4w" type="6002"> | 7790 | <children xmi:type="notation:Node" xmi:id="_l6X55rdnEeau1vMV3Bsx4w" type="6002"> |
7802 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X557dnEeau1vMV3Bsx4w" x="2570" y="10"/> | 7791 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X557dnEeau1vMV3Bsx4w" y="10"/> |
7803 | </children> | 7792 | </children> |
7804 | <children xmi:type="notation:Node" xmi:id="_l6X56LdnEeau1vMV3Bsx4w" type="6003"> | 7793 | <children xmi:type="notation:Node" xmi:id="_l6X56LdnEeau1vMV3Bsx4w" type="6003"> |
7805 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X56bdnEeau1vMV3Bsx4w" x="454" y="10"/> | 7794 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_l6X56bdnEeau1vMV3Bsx4w" x="454" y="10"/> |
@@ -8558,7 +8547,7 @@ | |||
8558 | </children> | 8547 | </children> |
8559 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_kRvlgbd1Eeau1vMV3Bsx4w" routing="Rectilinear"/> | 8548 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_kRvlgbd1Eeau1vMV3Bsx4w" routing="Rectilinear"/> |
8560 | <styles xmi:type="notation:FontStyle" xmi:id="_kRvlgrd1Eeau1vMV3Bsx4w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 8549 | <styles xmi:type="notation:FontStyle" xmi:id="_kRvlgrd1Eeau1vMV3Bsx4w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
8561 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kRvlg7d1Eeau1vMV3Bsx4w" points="[0, 0, -2418, 60]$[2418, -60, 0, 0]"/> | 8550 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kRvlg7d1Eeau1vMV3Bsx4w" points="[0, 0, 341, 383]$[0, -191, 341, 192]$[-341, -191, 0, 192]$[-341, -382, 0, 1]"/> |
8562 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kR0eALd1Eeau1vMV3Bsx4w" id="(0.5,0.0)"/> | 8551 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kR0eALd1Eeau1vMV3Bsx4w" id="(0.5,0.0)"/> |
8563 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kR0eAbd1Eeau1vMV3Bsx4w" id="(0.5,1.0)"/> | 8552 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kR0eAbd1Eeau1vMV3Bsx4w" id="(0.5,1.0)"/> |
8564 | </edges> | 8553 | </edges> |
@@ -8606,7 +8595,7 @@ | |||
8606 | </children> | 8595 | </children> |
8607 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Bo3owbqxEeau1vMV3Bsx4w" routing="Tree"/> | 8596 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Bo3owbqxEeau1vMV3Bsx4w" routing="Tree"/> |
8608 | <styles xmi:type="notation:FontStyle" xmi:id="_Bo3owrqxEeau1vMV3Bsx4w" fontName="Segoe UI" fontHeight="8"/> | 8597 | <styles xmi:type="notation:FontStyle" xmi:id="_Bo3owrqxEeau1vMV3Bsx4w" fontName="Segoe UI" fontHeight="8"/> |
8609 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Bo3ow7qxEeau1vMV3Bsx4w" points="[0, 0, 399, 378]$[-399, -378, 0, 0]"/> | 8598 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Bo3ow7qxEeau1vMV3Bsx4w" points="[0, 0, 341, 383]$[-341, -382, 0, 1]"/> |
8610 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8LqxEeau1vMV3Bsx4w" id="(0.5,0.0)"/> | 8599 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8LqxEeau1vMV3Bsx4w" id="(0.5,0.0)"/> |
8611 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8bqxEeau1vMV3Bsx4w" id="(0.5,1.0)"/> | 8600 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Bo5d8bqxEeau1vMV3Bsx4w" id="(0.5,1.0)"/> |
8612 | </edges> | 8601 | </edges> |
@@ -8622,7 +8611,7 @@ | |||
8622 | </children> | 8611 | </children> |
8623 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_zFvSUXuWEeeCn_RNMwgEBg" routing="Tree"/> | 8612 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_zFvSUXuWEeeCn_RNMwgEBg" routing="Tree"/> |
8624 | <styles xmi:type="notation:FontStyle" xmi:id="_zFvSUnuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> | 8613 | <styles xmi:type="notation:FontStyle" xmi:id="_zFvSUnuWEeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/> |
8625 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_zFvSU3uWEeeCn_RNMwgEBg" points="[0, 0, 202, 250]$[-202, -250, 0, 0]"/> | 8614 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_zFvSU3uWEeeCn_RNMwgEBg" points="[0, 0, 142, 198]$[-142, -197, 0, 1]"/> |
8626 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgcnuWEeeCn_RNMwgEBg" id="(0.5932203389830508,0.0)"/> | 8615 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgcnuWEeeCn_RNMwgEBg" id="(0.5932203389830508,0.0)"/> |
8627 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgc3uWEeeCn_RNMwgEBg" id="(0.5,1.0)"/> | 8616 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_zFwgc3uWEeeCn_RNMwgEBg" id="(0.5,1.0)"/> |
8628 | </edges> | 8617 | </edges> |
@@ -8766,7 +8755,7 @@ | |||
8766 | </children> | 8755 | </children> |
8767 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_sHL8sYKlEeeAppuRs-roLg" routing="Tree"/> | 8756 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_sHL8sYKlEeeAppuRs-roLg" routing="Tree"/> |
8768 | <styles xmi:type="notation:FontStyle" xmi:id="_sHL8soKlEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | 8757 | <styles xmi:type="notation:FontStyle" xmi:id="_sHL8soKlEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> |
8769 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_sHL8s4KlEeeAppuRs-roLg" points="[0, 0, 352, 174]$[-352, -174, 0, 0]"/> | 8758 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_sHL8s4KlEeeAppuRs-roLg" points="[0, 0, 471, 203]$[-469, -202, 2, 1]"/> |
8770 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sHL8uoKlEeeAppuRs-roLg" id="(0.0,0.5)"/> | 8759 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sHL8uoKlEeeAppuRs-roLg" id="(0.0,0.5)"/> |
8771 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sHL8u4KlEeeAppuRs-roLg" id="(0.5,1.0)"/> | 8760 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_sHL8u4KlEeeAppuRs-roLg" id="(0.5,1.0)"/> |
8772 | </edges> | 8761 | </edges> |
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore index aee6cd78..76624917 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore | |||
@@ -12,8 +12,8 @@ | |||
12 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | 12 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> |
13 | </eClassifiers> | 13 | </eClassifiers> |
14 | <eClassifiers xsi:type="ecore:EClass" name="DefinedElement" eSuperTypes="#//SymbolicDeclaration"> | 14 | <eClassifiers xsi:type="ecore:EClass" name="DefinedElement" eSuperTypes="#//SymbolicDeclaration"> |
15 | <eStructuralFeatures xsi:type="ecore:EReference" name="definedInType" lowerBound="1" | 15 | <eStructuralFeatures xsi:type="ecore:EReference" name="definedInType" upperBound="-1" |
16 | upperBound="-1" eType="#//TypeDefinition" eOpposite="#//TypeDefinition/elements"/> | 16 | eType="#//TypeDefinition" eOpposite="#//TypeDefinition/elements"/> |
17 | </eClassifiers> | 17 | </eClassifiers> |
18 | <eClassifiers xsi:type="ecore:EClass" name="TypeDefinition" eSuperTypes="#//Type"> | 18 | <eClassifiers xsi:type="ecore:EClass" name="TypeDefinition" eSuperTypes="#//Type"> |
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | 19 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" |