aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird230
1 files changed, 115 insertions, 115 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
index f71e8258..b100bd66 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
@@ -1,29 +1,29 @@
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="_1TrH4EN2EeaLedz6YCMZEQ" selectedViews="_1XkwcEN2EeaLedz6YCMZEQ _1Xw9sEN2EeaLedz6YCMZEQ _1X1PIEN2EeaLedz6YCMZEQ _1X_nMEN2EeaLedz6YCMZEQ" version="11.1.0.201608251200"> 3 <viewpoint:DAnalysis uid="_1TrH4EN2EeaLedz6YCMZEQ" selectedViews="_1XkwcEN2EeaLedz6YCMZEQ _1Xw9sEN2EeaLedz6YCMZEQ _1X1PIEN2EeaLedz6YCMZEQ _1X_nMEN2EeaLedz6YCMZEQ" version="14.1.0.201810161215">
4 <semanticResources>logicproblem.ecore</semanticResources> 4 <semanticResources>logicproblem.ecore</semanticResources>
5 <semanticResources>logiclanguage.ecore</semanticResources> 5 <semanticResources>logiclanguage.ecore</semanticResources>
6 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> 6 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>
7 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1XkwcEN2EeaLedz6YCMZEQ"> 7 <ownedViews xmi:type="viewpoint:DView" uid="_1XkwcEN2EeaLedz6YCMZEQ">
8 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> 8 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
9 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_mej4wHt9EeeCn_RNMwgEBg" name="logicproblem class diagram" representation="_2bjV8EN2EeaLedz6YCMZEQ"> 9 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_mej4wHt9EeeCn_RNMwgEBg" name="logicproblem class diagram" repPath="#_2bjV8EN2EeaLedz6YCMZEQ">
10 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> 10 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
11 <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> 11 <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/>
12 </ownedRepresentationDescriptors> 12 </ownedRepresentationDescriptors>
13 </ownedViews> 13 </ownedViews>
14 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1Xw9sEN2EeaLedz6YCMZEQ"> 14 <ownedViews xmi:type="viewpoint:DView" uid="_1Xw9sEN2EeaLedz6YCMZEQ">
15 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> 15 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
16 </ownedViews> 16 </ownedViews>
17 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1X1PIEN2EeaLedz6YCMZEQ"> 17 <ownedViews xmi:type="viewpoint:DView" uid="_1X1PIEN2EeaLedz6YCMZEQ">
18 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> 18 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
19 </ownedViews> 19 </ownedViews>
20 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1X_nMEN2EeaLedz6YCMZEQ"> 20 <ownedViews xmi:type="viewpoint:DView" uid="_1X_nMEN2EeaLedz6YCMZEQ">
21 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> 21 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
22 </ownedViews> 22 </ownedViews>
23 </viewpoint:DAnalysis> 23 </viewpoint:DAnalysis>
24 <diagram:DSemanticDiagram xmi:id="_2bjV8EN2EeaLedz6YCMZEQ" name="logicproblem class diagram"> 24 <diagram:DSemanticDiagram uid="_2bjV8EN2EeaLedz6YCMZEQ" name="logicproblem class diagram">
25 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2bjV8UN2EeaLedz6YCMZEQ" source="DANNOTATION_CUSTOMIZATION_KEY"> 25 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_2bjV8UN2EeaLedz6YCMZEQ" source="DANNOTATION_CUSTOMIZATION_KEY">
26 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_2bjV8kN2EeaLedz6YCMZEQ"> 26 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_2bjV8kN2EeaLedz6YCMZEQ">
27 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan"> 27 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan">
28 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 28 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
29 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_3OOwEUN2EeaLedz6YCMZEQ" showIcon="false" labelExpression="service:render"> 29 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_3OOwEUN2EeaLedz6YCMZEQ" showIcon="false" labelExpression="service:render">
@@ -47,7 +47,7 @@
47 </computedStyleDescriptions> 47 </computedStyleDescriptions>
48 </data> 48 </data>
49 </ownedAnnotationEntries> 49 </ownedAnnotationEntries>
50 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2btuAEN2EeaLedz6YCMZEQ" source="GMF_DIAGRAMS"> 50 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_2btuAEN2EeaLedz6YCMZEQ" source="GMF_DIAGRAMS">
51 <data xmi:type="notation:Diagram" xmi:id="_2btuAUN2EeaLedz6YCMZEQ" type="Sirius" element="_2bjV8EN2EeaLedz6YCMZEQ" measurementUnit="Pixel"> 51 <data xmi:type="notation:Diagram" xmi:id="_2btuAUN2EeaLedz6YCMZEQ" type="Sirius" element="_2bjV8EN2EeaLedz6YCMZEQ" measurementUnit="Pixel">
52 <children xmi:type="notation:Node" xmi:id="_3OTokEN2EeaLedz6YCMZEQ" type="2003" element="_3N8cMEN2EeaLedz6YCMZEQ"> 52 <children xmi:type="notation:Node" xmi:id="_3OTokEN2EeaLedz6YCMZEQ" type="2003" element="_3N8cMEN2EeaLedz6YCMZEQ">
53 <children xmi:type="notation:Node" xmi:id="_3OUPoEN2EeaLedz6YCMZEQ" type="5007"/> 53 <children xmi:type="notation:Node" xmi:id="_3OUPoEN2EeaLedz6YCMZEQ" type="5007"/>
@@ -90,7 +90,7 @@
90 <styles xmi:type="notation:FilteringStyle" xmi:id="_HiMGwkN3EeaLedz6YCMZEQ"/> 90 <styles xmi:type="notation:FilteringStyle" xmi:id="_HiMGwkN3EeaLedz6YCMZEQ"/>
91 </children> 91 </children>
92 <styles xmi:type="notation:ShapeStyle" xmi:id="_HiLfsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/> 92 <styles xmi:type="notation:ShapeStyle" xmi:id="_HiLfsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
93 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiLfskN3EeaLedz6YCMZEQ" x="-80" y="-130" height="33"/> 93 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiLfskN3EeaLedz6YCMZEQ" x="-80" y="-130" height="56"/>
94 </children> 94 </children>
95 <children xmi:type="notation:Node" xmi:id="_IlsLIEN3EeaLedz6YCMZEQ" type="2003" element="_IljoQEN3EeaLedz6YCMZEQ"> 95 <children xmi:type="notation:Node" xmi:id="_IlsLIEN3EeaLedz6YCMZEQ" type="2003" element="_IljoQEN3EeaLedz6YCMZEQ">
96 <children xmi:type="notation:Node" xmi:id="_IlsLI0N3EeaLedz6YCMZEQ" type="5007"/> 96 <children xmi:type="notation:Node" xmi:id="_IlsLI0N3EeaLedz6YCMZEQ" type="5007"/>
@@ -166,7 +166,7 @@
166 <styles xmi:type="notation:FilteringStyle" xmi:id="_MhSeBkN3EeaLedz6YCMZEQ"/> 166 <styles xmi:type="notation:FilteringStyle" xmi:id="_MhSeBkN3EeaLedz6YCMZEQ"/>
167 </children> 167 </children>
168 <styles xmi:type="notation:ShapeStyle" xmi:id="_MhSeAUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/> 168 <styles xmi:type="notation:ShapeStyle" xmi:id="_MhSeAUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
169 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhSeAkN3EeaLedz6YCMZEQ" x="670" y="5" height="38"/> 169 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhSeAkN3EeaLedz6YCMZEQ" x="708" y="5" width="174" height="68"/>
170 </children> 170 </children>
171 <children xmi:type="notation:Node" xmi:id="_tFNcMEN3EeaLedz6YCMZEQ" type="2003" element="_tFBO8EN3EeaLedz6YCMZEQ"> 171 <children xmi:type="notation:Node" xmi:id="_tFNcMEN3EeaLedz6YCMZEQ" type="2003" element="_tFBO8EN3EeaLedz6YCMZEQ">
172 <children xmi:type="notation:Node" xmi:id="_tFNcM0N3EeaLedz6YCMZEQ" type="5007"/> 172 <children xmi:type="notation:Node" xmi:id="_tFNcM0N3EeaLedz6YCMZEQ" type="5007"/>
@@ -224,7 +224,7 @@
224 <styles xmi:type="notation:FontStyle" xmi:id="_HiMGxUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 224 <styles xmi:type="notation:FontStyle" xmi:id="_HiMGxUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
225 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HiMGxkN3EeaLedz6YCMZEQ" points="[-4, -1, 511, -99]$[-456, -1, 59, -99]"/> 225 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HiMGxkN3EeaLedz6YCMZEQ" points="[-4, -1, 511, -99]$[-456, -1, 59, -99]"/>
226 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4EN3EeaLedz6YCMZEQ" id="(0.041666666666666664,0.2682926829268293)"/> 226 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4EN3EeaLedz6YCMZEQ" id="(0.041666666666666664,0.2682926829268293)"/>
227 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4UN3EeaLedz6YCMZEQ" id="(0.5,3.161290322580645)"/> 227 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4UN3EeaLedz6YCMZEQ" id="(0.5,2.283154121863799)"/>
228 </edges> 228 </edges>
229 <edges xmi:type="notation:Edge" xmi:id="_IltZQEN3EeaLedz6YCMZEQ" type="4001" element="_Ilpu4EN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ"> 229 <edges xmi:type="notation:Edge" xmi:id="_IltZQEN3EeaLedz6YCMZEQ" type="4001" element="_Ilpu4EN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ">
230 <children xmi:type="notation:Node" xmi:id="_IltZREN3EeaLedz6YCMZEQ" type="6001"> 230 <children xmi:type="notation:Node" xmi:id="_IltZREN3EeaLedz6YCMZEQ" type="6001">
@@ -288,7 +288,7 @@
288 <styles xmi:type="notation:FontStyle" xmi:id="_MhTsIkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 288 <styles xmi:type="notation:FontStyle" xmi:id="_MhTsIkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
289 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_MhTsI0N3EeaLedz6YCMZEQ" points="[1, 98, -179, -180]$[1, 145, -179, -133]$[180, 145, 0, -133]$[180, 180, 0, -98]"/> 289 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_MhTsI0N3EeaLedz6YCMZEQ" points="[1, 98, -179, -180]$[1, 145, -179, -133]$[180, 145, 0, -133]$[180, 180, 0, -98]"/>
290 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsKkN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> 290 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsKkN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/>
291 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsK0N3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> 291 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsK0N3EeaLedz6YCMZEQ" id="(0.38953488372093026,1.6085858585858586)"/>
292 </edges> 292 </edges>
293 <edges xmi:type="notation:Edge" xmi:id="_3AjD8EN3EeaLedz6YCMZEQ" type="4001" element="_3AVBgEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_tFNcMEN3EeaLedz6YCMZEQ"> 293 <edges xmi:type="notation:Edge" xmi:id="_3AjD8EN3EeaLedz6YCMZEQ" type="4001" element="_3AVBgEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_tFNcMEN3EeaLedz6YCMZEQ">
294 <children xmi:type="notation:Node" xmi:id="_3AjrAEN3EeaLedz6YCMZEQ" type="6001"> 294 <children xmi:type="notation:Node" xmi:id="_3AjrAEN3EeaLedz6YCMZEQ" type="6001">
@@ -368,385 +368,385 @@
368 <styles xmi:type="notation:FontStyle" xmi:id="_KpeLUkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 368 <styles xmi:type="notation:FontStyle" xmi:id="_KpeLUkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
369 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_KpeLU0N4EeaLedz6YCMZEQ" points="[0, 6, 260, 30]$[-364, 6, -104, 30]$[-364, -5, -104, 19]"/> 369 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_KpeLU0N4EeaLedz6YCMZEQ" points="[0, 6, 260, 30]$[-364, 6, -104, 30]$[-364, -5, -104, 19]"/>
370 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeLWkN4EeaLedz6YCMZEQ" id="(0.0,0.5)"/> 370 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeLWkN4EeaLedz6YCMZEQ" id="(0.0,0.5)"/>
371 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeyYEN4EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> 371 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeyYEN4EeaLedz6YCMZEQ" id="(1.0,0.30303030303030304)"/>
372 </edges> 372 </edges>
373 </data> 373 </data>
374 </ownedAnnotationEntries> 374 </ownedAnnotationEntries>
375 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_3N8cMEN2EeaLedz6YCMZEQ" name="LogicProblem" tooltipText="" outgoingEdges="_G71RYEN3EeaLedz6YCMZEQ _HiJDcEN3EeaLedz6YCMZEQ _Ilpu4EN3EeaLedz6YCMZEQ _LiJVMEN3EeaLedz6YCMZEQ _L8UvwEN3EeaLedz6YCMZEQ _MhOMkEN3EeaLedz6YCMZEQ _3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> 375 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_3N8cMEN2EeaLedz6YCMZEQ" name="LogicProblem" tooltipText="" outgoingEdges="_G71RYEN3EeaLedz6YCMZEQ _HiJDcEN3EeaLedz6YCMZEQ _Ilpu4EN3EeaLedz6YCMZEQ _LiJVMEN3EeaLedz6YCMZEQ _L8UvwEN3EeaLedz6YCMZEQ _MhOMkEN3EeaLedz6YCMZEQ _3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10">
376 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> 376 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/>
377 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> 377 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/>
378 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 378 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
379 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 379 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
380 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 380 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
381 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_3N-4cEN2EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 381 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_3N-4cEN2EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
382 <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"/> 382 <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"/>
383 </ownedStyle> 383 </ownedStyle>
384 <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']"/> 384 <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']"/>
385 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okC-kHt9EeeCn_RNMwgEBg" name=" annotations : Annotation" tooltipText=""> 385 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okC-kHt9EeeCn_RNMwgEBg" name=" annotations : Annotation" tooltipText="">
386 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/annotations"/> 386 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/annotations"/>
387 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/annotations"/> 387 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/annotations"/>
388 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okJFMHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 388 <ownedStyle xmi:type="diagram:BundledImage" uid="_okJFMHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
389 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 389 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
390 </ownedStyle> 390 </ownedStyle>
391 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 391 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
392 </ownedElements> 392 </ownedElements>
393 </ownedDiagramElements> 393 </ownedDiagramElements>
394 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_G7tVkEN3EeaLedz6YCMZEQ" name="Type" tooltipText="" outgoingEdges="_G714cEN3EeaLedz6YCMZEQ" incomingEdges="_G71RYEN3EeaLedz6YCMZEQ _G714cEN3EeaLedz6YCMZEQ _8k9uwEN3EeaLedz6YCMZEQ" width="12" height="10"> 394 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_G7tVkEN3EeaLedz6YCMZEQ" name="Type" tooltipText="" outgoingEdges="_G714cEN3EeaLedz6YCMZEQ" incomingEdges="_G71RYEN3EeaLedz6YCMZEQ _G714cEN3EeaLedz6YCMZEQ _8k9uwEN3EeaLedz6YCMZEQ" width="12" height="10">
395 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> 395 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/>
396 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> 396 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/>
397 <decorations xmi:type="viewpoint:Decoration" xmi:id="_G7zcMEN3EeaLedz6YCMZEQ"> 397 <decorations xmi:type="viewpoint:Decoration" uid="_G7zcMEN3EeaLedz6YCMZEQ">
398 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 398 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
399 </decorations> 399 </decorations>
400 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_G7t8oEN3EeaLedz6YCMZEQ" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> 400 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_G7t8oEN3EeaLedz6YCMZEQ" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
401 <labelFormat>italic</labelFormat> 401 <labelFormat>italic</labelFormat>
402 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> 402 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
403 </ownedStyle> 403 </ownedStyle>
404 <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']"/> 404 <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']"/>
405 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7xnAEN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> 405 <ownedElements xmi:type="diagram:DNodeListElement" uid="_G7xnAEN3EeaLedz6YCMZEQ" name="name : EString" tooltipText="">
406 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> 406 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/>
407 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> 407 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/>
408 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7yOEUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 408 <ownedStyle xmi:type="diagram:BundledImage" uid="_G7yOEUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ">
409 <labelFormat>bold</labelFormat> 409 <labelFormat>bold</labelFormat>
410 </ownedStyle> 410 </ownedStyle>
411 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> 411 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
412 </ownedElements> 412 </ownedElements>
413 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7y1IEN3EeaLedz6YCMZEQ" name="isAbstract : EBoolean = false" tooltipText=""> 413 <ownedElements xmi:type="diagram:DNodeListElement" uid="_G7y1IEN3EeaLedz6YCMZEQ" name="isAbstract : EBoolean = false" tooltipText="">
414 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> 414 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/>
415 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> 415 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/>
416 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7y1IUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 416 <ownedStyle xmi:type="diagram:BundledImage" uid="_G7y1IUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ">
417 <labelFormat>bold</labelFormat> 417 <labelFormat>bold</labelFormat>
418 </ownedStyle> 418 </ownedStyle>
419 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> 419 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
420 </ownedElements> 420 </ownedElements>
421 </ownedDiagramElements> 421 </ownedDiagramElements>
422 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G71RYEN3EeaLedz6YCMZEQ" name="[0..*] types" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> 422 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_G71RYEN3EeaLedz6YCMZEQ" name="[0..*] types" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ">
423 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> 423 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/>
424 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> 424 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/>
425 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G71RYUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 425 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_G71RYUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
426 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_G71RYkN3EeaLedz6YCMZEQ" showIcon="false"> 426 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_G71RYkN3EeaLedz6YCMZEQ" showIcon="false">
427 <customFeatures>labelSize</customFeatures> 427 <customFeatures>labelSize</customFeatures>
428 </centerLabelStyle> 428 </centerLabelStyle>
429 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G71RY0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 429 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_G71RY0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
430 <customFeatures>labelSize</customFeatures> 430 <customFeatures>labelSize</customFeatures>
431 </endLabelStyle> 431 </endLabelStyle>
432 </ownedStyle> 432 </ownedStyle>
433 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 433 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
434 </ownedDiagramElements> 434 </ownedDiagramElements>
435 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G714cEN3EeaLedz6YCMZEQ" sourceNode="_G7tVkEN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ" beginLabel="[0..*] supertypes" endLabel="[0..*] subtypes"> 435 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_G714cEN3EeaLedz6YCMZEQ" sourceNode="_G7tVkEN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ" beginLabel="[0..*] supertypes" endLabel="[0..*] subtypes">
436 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> 436 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/>
437 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> 437 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/>
438 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/supertypes"/> 438 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/supertypes"/>
439 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G714cUN3EeaLedz6YCMZEQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> 439 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_G714cUN3EeaLedz6YCMZEQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0">
440 <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"/> 440 <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"/>
441 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_G714ckN3EeaLedz6YCMZEQ" showIcon="false"/> 441 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_G714ckN3EeaLedz6YCMZEQ" showIcon="false"/>
442 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G714c0N3EeaLedz6YCMZEQ" showIcon="false"/> 442 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_G714c0N3EeaLedz6YCMZEQ" showIcon="false"/>
443 </ownedStyle> 443 </ownedStyle>
444 <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']"/> 444 <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']"/>
445 </ownedDiagramElements> 445 </ownedDiagramElements>
446 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_HiAgkEN3EeaLedz6YCMZEQ" name="DefinedElement" tooltipText="" incomingEdges="_HiJDcEN3EeaLedz6YCMZEQ" width="12" height="10"> 446 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_HiAgkEN3EeaLedz6YCMZEQ" name="DefinedElement" tooltipText="" incomingEdges="_HiJDcEN3EeaLedz6YCMZEQ" width="12" height="10">
447 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> 447 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/>
448 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> 448 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/>
449 <decorations xmi:type="viewpoint:Decoration" xmi:id="_HiHOQEN3EeaLedz6YCMZEQ"> 449 <decorations xmi:type="viewpoint:Decoration" uid="_HiHOQEN3EeaLedz6YCMZEQ">
450 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 450 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
451 </decorations> 451 </decorations>
452 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 452 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
453 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 453 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
454 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 454 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
455 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_HiAgkUN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 455 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_HiAgkUN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
456 <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"/> 456 <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"/>
457 </ownedStyle> 457 </ownedStyle>
458 <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']"/> 458 <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']"/>
459 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okOkwHt9EeeCn_RNMwgEBg" name=" definedInType : TypeDefinition" tooltipText=""> 459 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okOkwHt9EeeCn_RNMwgEBg" name=" definedInType : TypeDefinition" tooltipText="">
460 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> 460 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/>
461 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/> 461 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//DefinedElement/definedInType"/>
462 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okPy4Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207"> 462 <ownedStyle xmi:type="diagram:BundledImage" uid="_FMe1YW6MEemSyfDlsGAqLA" labelAlignment="LEFT" color="114,159,207">
463 <labelFormat>bold</labelFormat> 463 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
464 </ownedStyle> 464 </ownedStyle>
465 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 465 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
466 </ownedElements> 466 </ownedElements>
467 </ownedDiagramElements> 467 </ownedDiagramElements>
468 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HiJDcEN3EeaLedz6YCMZEQ" name="[0..*] elements" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_HiAgkEN3EeaLedz6YCMZEQ"> 468 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_HiJDcEN3EeaLedz6YCMZEQ" name="[0..*] elements" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_HiAgkEN3EeaLedz6YCMZEQ">
469 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> 469 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/>
470 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> 470 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/>
471 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_HiJqgEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 471 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_HiJqgEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
472 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_HiJqgUN3EeaLedz6YCMZEQ" showIcon="false"> 472 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_HiJqgUN3EeaLedz6YCMZEQ" showIcon="false">
473 <customFeatures>labelSize</customFeatures> 473 <customFeatures>labelSize</customFeatures>
474 </centerLabelStyle> 474 </centerLabelStyle>
475 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_HiJqgkN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 475 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_HiJqgkN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
476 <customFeatures>labelSize</customFeatures> 476 <customFeatures>labelSize</customFeatures>
477 </endLabelStyle> 477 </endLabelStyle>
478 </ownedStyle> 478 </ownedStyle>
479 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 479 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
480 </ownedDiagramElements> 480 </ownedDiagramElements>
481 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_IljoQEN3EeaLedz6YCMZEQ" name="Function" tooltipText="" incomingEdges="_Ilpu4EN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ" width="12" height="10"> 481 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_IljoQEN3EeaLedz6YCMZEQ" name="Function" tooltipText="" incomingEdges="_Ilpu4EN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ" width="12" height="10">
482 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> 482 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/>
483 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> 483 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/>
484 <decorations xmi:type="viewpoint:Decoration" xmi:id="_IlogwEN3EeaLedz6YCMZEQ"> 484 <decorations xmi:type="viewpoint:Decoration" uid="_IlogwEN3EeaLedz6YCMZEQ">
485 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 485 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
486 </decorations> 486 </decorations>
487 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 487 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
488 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 488 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
489 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 489 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
490 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_Pdi3EMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> 490 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_Pdi3EMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
491 <labelFormat>italic</labelFormat> 491 <labelFormat>italic</labelFormat>
492 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> 492 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
493 </ownedStyle> 493 </ownedStyle>
494 <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']"/> 494 <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']"/>
495 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okRBAHt9EeeCn_RNMwgEBg" name=" range : TypeReference" tooltipText=""> 495 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okRBAHt9EeeCn_RNMwgEBg" name=" range : TypeReference" tooltipText="">
496 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/range"/> 496 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/range"/>
497 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/range"/> 497 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/range"/>
498 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okRBAXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207"> 498 <ownedStyle xmi:type="diagram:BundledImage" uid="_okRBAXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207">
499 <labelFormat>bold</labelFormat> 499 <labelFormat>bold</labelFormat>
500 </ownedStyle> 500 </ownedStyle>
501 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 501 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
502 </ownedElements> 502 </ownedElements>
503 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okRoEHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText=""> 503 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okRoEHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText="">
504 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/> 504 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/>
505 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/> 505 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/>
506 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okRoEXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 506 <ownedStyle xmi:type="diagram:BundledImage" uid="_okRoEXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
507 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 507 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
508 </ownedStyle> 508 </ownedStyle>
509 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 509 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
510 </ownedElements> 510 </ownedElements>
511 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okSPIHt9EeeCn_RNMwgEBg" name=" annotations : FunctionAnnotation" tooltipText=""> 511 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okSPIHt9EeeCn_RNMwgEBg" name=" annotations : FunctionAnnotation" tooltipText="">
512 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/> 512 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/>
513 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/> 513 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/>
514 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okSPIXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 514 <ownedStyle xmi:type="diagram:BundledImage" uid="_okSPIXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
515 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 515 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
516 </ownedStyle> 516 </ownedStyle>
517 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 517 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
518 </ownedElements> 518 </ownedElements>
519 </ownedDiagramElements> 519 </ownedDiagramElements>
520 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Ilpu4EN3EeaLedz6YCMZEQ" name="[0..*] functions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> 520 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_Ilpu4EN3EeaLedz6YCMZEQ" name="[0..*] functions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ">
521 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> 521 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/>
522 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> 522 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/>
523 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_IlqV8EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 523 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_IlqV8EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
524 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_IlqV8UN3EeaLedz6YCMZEQ" showIcon="false"> 524 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_IlqV8UN3EeaLedz6YCMZEQ" showIcon="false">
525 <customFeatures>labelSize</customFeatures> 525 <customFeatures>labelSize</customFeatures>
526 </centerLabelStyle> 526 </centerLabelStyle>
527 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_IlqV8kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 527 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_IlqV8kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
528 <customFeatures>labelSize</customFeatures> 528 <customFeatures>labelSize</customFeatures>
529 </endLabelStyle> 529 </endLabelStyle>
530 </ownedStyle> 530 </ownedStyle>
531 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 531 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
532 </ownedDiagramElements> 532 </ownedDiagramElements>
533 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_LiCAcEN3EeaLedz6YCMZEQ" name="Assertion" tooltipText="" incomingEdges="_LiJVMEN3EeaLedz6YCMZEQ" width="12" height="10"> 533 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_LiCAcEN3EeaLedz6YCMZEQ" name="Assertion" tooltipText="" incomingEdges="_LiJVMEN3EeaLedz6YCMZEQ" width="12" height="10">
534 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> 534 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/>
535 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> 535 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/>
536 <decorations xmi:type="viewpoint:Decoration" xmi:id="_LiG48EN3EeaLedz6YCMZEQ"> 536 <decorations xmi:type="viewpoint:Decoration" uid="_LiG48EN3EeaLedz6YCMZEQ">
537 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 537 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
538 </decorations> 538 </decorations>
539 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 539 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
540 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 540 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
541 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 541 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
542 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_wJzDsMFcEea_b6UyFzv22g" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 542 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_wJzDsMFcEea_b6UyFzv22g" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
543 <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"/> 543 <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"/>
544 </ownedStyle> 544 </ownedStyle>
545 <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']"/> 545 <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']"/>
546 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LiGR4EN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> 546 <ownedElements xmi:type="diagram:DNodeListElement" uid="_LiGR4EN3EeaLedz6YCMZEQ" name="name : EString" tooltipText="">
547 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> 547 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/>
548 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> 548 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/>
549 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LiGR4UN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 549 <ownedStyle xmi:type="diagram:BundledImage" uid="_LiGR4UN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ">
550 <labelFormat>bold</labelFormat> 550 <labelFormat>bold</labelFormat>
551 </ownedStyle> 551 </ownedStyle>
552 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> 552 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
553 </ownedElements> 553 </ownedElements>
554 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okUrYHt9EeeCn_RNMwgEBg" name=" value : Term" tooltipText=""> 554 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okUrYHt9EeeCn_RNMwgEBg" name=" value : Term" tooltipText="">
555 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/> 555 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/>
556 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/> 556 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/>
557 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okVScHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207"> 557 <ownedStyle xmi:type="diagram:BundledImage" uid="_okVScHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207">
558 <labelFormat>bold</labelFormat> 558 <labelFormat>bold</labelFormat>
559 </ownedStyle> 559 </ownedStyle>
560 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 560 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
561 </ownedElements> 561 </ownedElements>
562 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okV5gHt9EeeCn_RNMwgEBg" name=" annotations : AssertionAnnotation" tooltipText=""> 562 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okV5gHt9EeeCn_RNMwgEBg" name=" annotations : AssertionAnnotation" tooltipText="">
563 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/> 563 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/>
564 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/> 564 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/>
565 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okV5gXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 565 <ownedStyle xmi:type="diagram:BundledImage" uid="_okV5gXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
566 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 566 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
567 </ownedStyle> 567 </ownedStyle>
568 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 568 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
569 </ownedElements> 569 </ownedElements>
570 </ownedDiagramElements> 570 </ownedDiagramElements>
571 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_LiJVMEN3EeaLedz6YCMZEQ" name="[0..*] assertions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_LiCAcEN3EeaLedz6YCMZEQ"> 571 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_LiJVMEN3EeaLedz6YCMZEQ" name="[0..*] assertions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_LiCAcEN3EeaLedz6YCMZEQ">
572 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> 572 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/>
573 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> 573 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/>
574 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_LiJVMUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 574 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_LiJVMUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
575 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_LiJVMkN3EeaLedz6YCMZEQ" showIcon="false"> 575 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_LiJVMkN3EeaLedz6YCMZEQ" showIcon="false">
576 <customFeatures>labelSize</customFeatures> 576 <customFeatures>labelSize</customFeatures>
577 </centerLabelStyle> 577 </centerLabelStyle>
578 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_LiJVM0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 578 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_LiJVM0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
579 <customFeatures>labelSize</customFeatures> 579 <customFeatures>labelSize</customFeatures>
580 </endLabelStyle> 580 </endLabelStyle>
581 </ownedStyle> 581 </ownedStyle>
582 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 582 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
583 </ownedDiagramElements> 583 </ownedDiagramElements>
584 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_L8KXsEN3EeaLedz6YCMZEQ" name="Relation" tooltipText="" incomingEdges="_L8UvwEN3EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ" width="12" height="10"> 584 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_L8KXsEN3EeaLedz6YCMZEQ" name="Relation" tooltipText="" incomingEdges="_L8UvwEN3EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ" width="12" height="10">
585 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> 585 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/>
586 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> 586 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/>
587 <decorations xmi:type="viewpoint:Decoration" xmi:id="_L8RscEN3EeaLedz6YCMZEQ"> 587 <decorations xmi:type="viewpoint:Decoration" uid="_L8RscEN3EeaLedz6YCMZEQ">
588 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 588 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
589 </decorations> 589 </decorations>
590 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 590 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
591 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 591 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
592 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 592 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
593 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_PdkFMMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> 593 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_PdkFMMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
594 <labelFormat>italic</labelFormat> 594 <labelFormat>italic</labelFormat>
595 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> 595 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
596 </ownedStyle> 596 </ownedStyle>
597 <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']"/> 597 <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']"/>
598 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okXHoHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText=""> 598 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okXHoHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText="">
599 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/> 599 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/>
600 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/> 600 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/parameters"/>
601 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okXusHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 601 <ownedStyle xmi:type="diagram:BundledImage" uid="_okXusHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
602 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 602 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
603 </ownedStyle> 603 </ownedStyle>
604 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 604 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
605 </ownedElements> 605 </ownedElements>
606 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okYVwHt9EeeCn_RNMwgEBg" name=" annotations : RelationAnnotation" tooltipText=""> 606 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okYVwHt9EeeCn_RNMwgEBg" name=" annotations : RelationAnnotation" tooltipText="">
607 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/> 607 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/>
608 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/> 608 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/>
609 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okYVwXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 609 <ownedStyle xmi:type="diagram:BundledImage" uid="_okYVwXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
610 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 610 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
611 </ownedStyle> 611 </ownedStyle>
612 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 612 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
613 </ownedElements> 613 </ownedElements>
614 </ownedDiagramElements> 614 </ownedDiagramElements>
615 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_L8UvwEN3EeaLedz6YCMZEQ" name="[0..*] relations" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> 615 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_L8UvwEN3EeaLedz6YCMZEQ" name="[0..*] relations" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ">
616 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> 616 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/>
617 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> 617 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/>
618 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_L8VW0EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 618 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_L8VW0EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
619 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_L8VW0UN3EeaLedz6YCMZEQ" showIcon="false"> 619 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_L8VW0UN3EeaLedz6YCMZEQ" showIcon="false">
620 <customFeatures>labelSize</customFeatures> 620 <customFeatures>labelSize</customFeatures>
621 </centerLabelStyle> 621 </centerLabelStyle>
622 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_L8VW0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 622 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_L8VW0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
623 <customFeatures>labelSize</customFeatures> 623 <customFeatures>labelSize</customFeatures>
624 </endLabelStyle> 624 </endLabelStyle>
625 </ownedStyle> 625 </ownedStyle>
626 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 626 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
627 </ownedDiagramElements> 627 </ownedDiagramElements>
628 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_MhFCoEN3EeaLedz6YCMZEQ" name="Constant" tooltipText="" incomingEdges="_MhOMkEN3EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" width="12" height="10"> 628 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_MhFCoEN3EeaLedz6YCMZEQ" name="Constant" tooltipText="" incomingEdges="_MhOMkEN3EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" width="12" height="10">
629 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> 629 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/>
630 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> 630 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/>
631 <decorations xmi:type="viewpoint:Decoration" xmi:id="_MhKiMEN3EeaLedz6YCMZEQ"> 631 <decorations xmi:type="viewpoint:Decoration" uid="_MhKiMEN3EeaLedz6YCMZEQ">
632 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/> 632 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
633 </decorations> 633 </decorations>
634 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 634 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
635 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 635 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
636 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 636 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
637 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_PdlTUMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228"> 637 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_PdlTUMDnEea_b6UyFzv22g" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
638 <labelFormat>italic</labelFormat> 638 <labelFormat>italic</labelFormat>
639 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> 639 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
640 </ownedStyle> 640 </ownedStyle>
641 <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']"/> 641 <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']"/>
642 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okY80Ht9EeeCn_RNMwgEBg" name=" type : TypeReference" tooltipText=""> 642 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okY80Ht9EeeCn_RNMwgEBg" name=" type : TypeReference" tooltipText="">
643 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/type"/> 643 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/type"/>
644 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/type"/> 644 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/type"/>
645 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okZj4Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207"> 645 <ownedStyle xmi:type="diagram:BundledImage" uid="_okZj4Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207">
646 <labelFormat>bold</labelFormat> 646 <labelFormat>bold</labelFormat>
647 </ownedStyle> 647 </ownedStyle>
648 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 648 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
649 </ownedElements> 649 </ownedElements>
650 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okZj4Xt9EeeCn_RNMwgEBg" name=" annotations : ConstantAnnotation" tooltipText=""> 650 <ownedElements xmi:type="diagram:DNodeListElement" uid="_okZj4Xt9EeeCn_RNMwgEBg" name=" annotations : ConstantAnnotation" tooltipText="">
651 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/> 651 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/>
652 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/> 652 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/>
653 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okaK8Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207"> 653 <ownedStyle xmi:type="diagram:BundledImage" uid="_okaK8Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
654 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> 654 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>
655 </ownedStyle> 655 </ownedStyle>
656 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> 656 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>
657 </ownedElements> 657 </ownedElements>
658 </ownedDiagramElements> 658 </ownedDiagramElements>
659 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_MhOMkEN3EeaLedz6YCMZEQ" name="[0..*] constants" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> 659 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_MhOMkEN3EeaLedz6YCMZEQ" name="[0..*] constants" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ">
660 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> 660 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/>
661 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> 661 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/>
662 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MhOzoEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 662 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_MhOzoEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
663 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MhOzoUN3EeaLedz6YCMZEQ" showIcon="false"> 663 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_MhOzoUN3EeaLedz6YCMZEQ" showIcon="false">
664 <customFeatures>labelSize</customFeatures> 664 <customFeatures>labelSize</customFeatures>
665 </centerLabelStyle> 665 </centerLabelStyle>
666 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MhOzokN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 666 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_MhOzokN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
667 <customFeatures>labelSize</customFeatures> 667 <customFeatures>labelSize</customFeatures>
668 </endLabelStyle> 668 </endLabelStyle>
669 </ownedStyle> 669 </ownedStyle>
670 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 670 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
671 </ownedDiagramElements> 671 </ownedDiagramElements>
672 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_tFBO8EN3EeaLedz6YCMZEQ" name="ContainmentHierarchy" tooltipText="" outgoingEdges="_8k9uwEN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" incomingEdges="_3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> 672 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_tFBO8EN3EeaLedz6YCMZEQ" name="ContainmentHierarchy" tooltipText="" outgoingEdges="_8k9uwEN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" incomingEdges="_3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10">
673 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> 673 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/>
674 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> 674 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/>
675 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 675 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
676 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 676 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
677 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 677 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
678 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_tFB2AEN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 678 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_tFB2AEN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
679 <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"/> 679 <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"/>
680 </ownedStyle> 680 </ownedStyle>
681 <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']"/> 681 <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']"/>
682 </ownedDiagramElements> 682 </ownedDiagramElements>
683 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3AVBgEN3EeaLedz6YCMZEQ" name="[0..*] containmentHierarchies" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_tFBO8EN3EeaLedz6YCMZEQ"> 683 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_3AVBgEN3EeaLedz6YCMZEQ" name="[0..*] containmentHierarchies" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_tFBO8EN3EeaLedz6YCMZEQ">
684 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> 684 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/>
685 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> 685 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/>
686 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_PachAEO6EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 686 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_PachAEO6EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
687 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_PachAUO6EeaLedz6YCMZEQ" showIcon="false"/> 687 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_PachAUO6EeaLedz6YCMZEQ" showIcon="false"/>
688 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_PachAkO6EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelColor="39,76,114"/> 688 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_PachAkO6EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>
689 </ownedStyle> 689 </ownedStyle>
690 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 690 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
691 </ownedDiagramElements> 691 </ownedDiagramElements>
692 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8k9uwEN3EeaLedz6YCMZEQ" name="[0..*] typesOrderedInHierarchy" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> 692 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_8k9uwEN3EeaLedz6YCMZEQ" name="[0..*] typesOrderedInHierarchy" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ">
693 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> 693 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/>
694 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> 694 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/>
695 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_8k-V0EN3EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 695 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_8k-V0EN3EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0">
696 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> 696 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/>
697 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_8k-V0UN3EeaLedz6YCMZEQ" showIcon="false"> 697 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_8k-V0UN3EeaLedz6YCMZEQ" showIcon="false">
698 <customFeatures>labelSize</customFeatures> 698 <customFeatures>labelSize</customFeatures>
699 </centerLabelStyle> 699 </centerLabelStyle>
700 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_8k-V0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 700 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_8k-V0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
701 <customFeatures>labelSize</customFeatures> 701 <customFeatures>labelSize</customFeatures>
702 </endLabelStyle> 702 </endLabelStyle>
703 </ownedStyle> 703 </ownedStyle>
704 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 704 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
705 </ownedDiagramElements> 705 </ownedDiagramElements>
706 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_DZsx8EN4EeaLedz6YCMZEQ" name="[0..*] containmentFunctions" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> 706 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_DZsx8EN4EeaLedz6YCMZEQ" name="[0..*] containmentFunctions" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ">
707 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> 707 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/>
708 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> 708 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/>
709 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_DZsx8UN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 709 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_DZsx8UN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0">
710 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> 710 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/>
711 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_DZsx8kN4EeaLedz6YCMZEQ" showIcon="false"> 711 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_DZsx8kN4EeaLedz6YCMZEQ" showIcon="false">
712 <customFeatures>labelSize</customFeatures> 712 <customFeatures>labelSize</customFeatures>
713 </centerLabelStyle> 713 </centerLabelStyle>
714 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_DZsx80N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 714 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_DZsx80N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
715 <customFeatures>labelSize</customFeatures> 715 <customFeatures>labelSize</customFeatures>
716 </endLabelStyle> 716 </endLabelStyle>
717 </ownedStyle> 717 </ownedStyle>
718 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 718 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
719 </ownedDiagramElements> 719 </ownedDiagramElements>
720 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_GOFlIEN4EeaLedz6YCMZEQ" name="[0..*] containmentRelations" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> 720 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_GOFlIEN4EeaLedz6YCMZEQ" name="[0..*] containmentRelations" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ">
721 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> 721 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/>
722 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> 722 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/>
723 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_GOGMMEN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 723 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_GOGMMEN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0">
724 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> 724 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/>
725 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_GOGMMUN4EeaLedz6YCMZEQ" showIcon="false"> 725 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_GOGMMUN4EeaLedz6YCMZEQ" showIcon="false">
726 <customFeatures>labelSize</customFeatures> 726 <customFeatures>labelSize</customFeatures>
727 </centerLabelStyle> 727 </centerLabelStyle>
728 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_GOGMMkN4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 728 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_GOGMMkN4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
729 <customFeatures>labelSize</customFeatures> 729 <customFeatures>labelSize</customFeatures>
730 </endLabelStyle> 730 </endLabelStyle>
731 </ownedStyle> 731 </ownedStyle>
732 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 732 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
733 </ownedDiagramElements> 733 </ownedDiagramElements>
734 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_KpR-EEN4EeaLedz6YCMZEQ" name="[0..1] rootConstant" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> 734 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_KpR-EEN4EeaLedz6YCMZEQ" name="[0..1] rootConstant" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ">
735 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> 735 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/>
736 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> 736 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/>
737 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_KpR-EUN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 737 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_KpR-EUN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0">
738 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/> 738 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']/@style"/>
739 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_KpR-EkN4EeaLedz6YCMZEQ" showIcon="false"> 739 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_KpR-EkN4EeaLedz6YCMZEQ" showIcon="false">
740 <customFeatures>labelSize</customFeatures> 740 <customFeatures>labelSize</customFeatures>
741 </centerLabelStyle> 741 </centerLabelStyle>
742 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_KpR-E0N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 742 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_KpR-E0N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
743 <customFeatures>labelSize</customFeatures> 743 <customFeatures>labelSize</customFeatures>
744 </endLabelStyle> 744 </endLabelStyle>
745 </ownedStyle> 745 </ownedStyle>
746 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 746 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
747 </ownedDiagramElements> 747 </ownedDiagramElements>
748 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> 748 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
749 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_2bjV9UN2EeaLedz6YCMZEQ"/> 749 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_2bjV9UN2EeaLedz6YCMZEQ"/>
750 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> 750 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
751 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/> 751 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>
752 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/> 752 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-27 05:03:05 +0000