aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-06-13 13:26:17 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-06-13 13:26:17 +0200
commit24a88ba612f46e64c26e72e950c41eef67504537 (patch)
tree18a0000ce173fc68d374e925295ac94e8fb1994d
parentUpdated partial model representation (diff)
downloadVIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.tar.gz
VIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.tar.zst
VIATRA-Generator-24a88ba612f46e64c26e72e950c41eef67504537.zip
type multiplicity is refined to 0
Diffstat
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.aird125
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore4
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"
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 10:10:39 +0000