diff options
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.aird | 230 |
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']"/> |