aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-07 16:50:35 +0200
committerLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2017-08-07 16:50:35 +0200
commite7311dc3c728b18bd1c04fa8f51c9c6f0c042921 (patch)
tree3f4d479305ee9d168698537221a13638d33550c9 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird
parentattributes and references that not included to a logic problem are (diff)
downloadVIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.tar.gz
VIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.tar.zst
VIATRA-Generator-e7311dc3c728b18bd1c04fa8f51c9c6f0c042921.zip
added String to the logic problem, and representations returns the set
of relevant primitive objects.
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.aird1334
1 files changed, 739 insertions, 595 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 23bef98c..f71e8258 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,612 +1,756 @@
1<?xml version="1.0" encoding="UTF-8"?> 1<?xml version="1.0" encoding="UTF-8"?>
2<viewpoint:DAnalysis 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" xmi:id="_1TrH4EN2EeaLedz6YCMZEQ" selectedViews="_1XkwcEN2EeaLedz6YCMZEQ _1Xw9sEN2EeaLedz6YCMZEQ _1X1PIEN2EeaLedz6YCMZEQ _1X_nMEN2EeaLedz6YCMZEQ" version="10.1.0.201509162000"> 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 <semanticResources>logicproblem.ecore</semanticResources> 3 <viewpoint:DAnalysis xmi:id="_1TrH4EN2EeaLedz6YCMZEQ" selectedViews="_1XkwcEN2EeaLedz6YCMZEQ _1Xw9sEN2EeaLedz6YCMZEQ _1X1PIEN2EeaLedz6YCMZEQ _1X_nMEN2EeaLedz6YCMZEQ" version="11.1.0.201608251200">
4 <semanticResources>logiclanguage.ecore</semanticResources> 4 <semanticResources>logicproblem.ecore</semanticResources>
5 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> 5 <semanticResources>logiclanguage.ecore</semanticResources>
6 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1XkwcEN2EeaLedz6YCMZEQ"> 6 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>
7 <ownedRepresentations xmi:type="diagram:DSemanticDiagram" xmi:id="_2bjV8EN2EeaLedz6YCMZEQ" name="logicproblem class diagram"> 7 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1XkwcEN2EeaLedz6YCMZEQ">
8 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2bjV8UN2EeaLedz6YCMZEQ" source="DANNOTATION_CUSTOMIZATION_KEY"> 8 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
9 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_2bjV8kN2EeaLedz6YCMZEQ"> 9 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_mej4wHt9EeeCn_RNMwgEBg" name="logicproblem class diagram" representation="_2bjV8EN2EeaLedz6YCMZEQ">
10 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan"> 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 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 11 <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/>
12 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_3OOwEUN2EeaLedz6YCMZEQ" showIcon="false" labelExpression="service:render"> 12 </ownedRepresentationDescriptors>
13 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 13 </ownedViews>
14 </centerLabelStyleDescription> 14 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1Xw9sEN2EeaLedz6YCMZEQ">
15 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_3OOwEkN2EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> 15 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
16 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> 16 </ownedViews>
17 </endLabelStyleDescription> 17 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1X1PIEN2EeaLedz6YCMZEQ">
18 </computedStyleDescriptions> 18 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
19 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_G7yOEEN3EeaLedz6YCMZEQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> 19 </ownedViews>
20 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 20 <ownedViews xmi:type="viewpoint:DView" xmi:id="_1X_nMEN2EeaLedz6YCMZEQ">
21 <labelFormat>bold</labelFormat> 21 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
22 </ownedViews>
23 </viewpoint:DAnalysis>
24 <diagram:DSemanticDiagram xmi:id="_2bjV8EN2EeaLedz6YCMZEQ" name="logicproblem class diagram">
25 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2bjV8UN2EeaLedz6YCMZEQ" source="DANNOTATION_CUSTOMIZATION_KEY">
26 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_2bjV8kN2EeaLedz6YCMZEQ">
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']"/>
29 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_3OOwEUN2EeaLedz6YCMZEQ" showIcon="false" labelExpression="service:render">
22 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 30 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
23 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 31 </centerLabelStyleDescription>
24 </computedStyleDescriptions> 32 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_3OOwEkN2EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
25 </data> 33 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
26 </ownedAnnotationEntries> 34 </endLabelStyleDescription>
27 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2btuAEN2EeaLedz6YCMZEQ" source="GMF_DIAGRAMS"> 35 </computedStyleDescriptions>
28 <data xmi:type="notation:Diagram" xmi:id="_2btuAUN2EeaLedz6YCMZEQ" type="Sirius" element="_2bjV8EN2EeaLedz6YCMZEQ" measurementUnit="Pixel"> 36 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_G7yOEEN3EeaLedz6YCMZEQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
29 <children xmi:type="notation:Node" xmi:id="_3OTokEN2EeaLedz6YCMZEQ" type="2003" element="_3N8cMEN2EeaLedz6YCMZEQ"> 37 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
30 <children xmi:type="notation:Node" xmi:id="_3OUPoEN2EeaLedz6YCMZEQ" type="5007"/> 38 <labelFormat>bold</labelFormat>
31 <children xmi:type="notation:Node" xmi:id="_3OU2sEN2EeaLedz6YCMZEQ" type="7004"> 39 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
32 <styles xmi:type="notation:SortingStyle" xmi:id="_3OU2sUN2EeaLedz6YCMZEQ"/> 40 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
33 <styles xmi:type="notation:FilteringStyle" xmi:id="_3OU2skN2EeaLedz6YCMZEQ"/> 41 </computedStyleDescriptions>
34 </children> 42 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_okPL0Ht9EeeCn_RNMwgEBg" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
35 <styles xmi:type="notation:ShapeStyle" xmi:id="_3OTokUN2EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/> 43 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
36 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OTokkN2EeaLedz6YCMZEQ" x="490" y="-115" height="40"/> 44 <labelFormat>bold</labelFormat>
37 </children> 45 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
38 <children xmi:type="notation:Node" xmi:id="_G73toEN3EeaLedz6YCMZEQ" type="2003" element="_G7tVkEN3EeaLedz6YCMZEQ"> 46 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/>
39 <children xmi:type="notation:Node" xmi:id="_G73to0N3EeaLedz6YCMZEQ" type="5007"/> 47 </computedStyleDescriptions>
40 <children xmi:type="notation:Node" xmi:id="_G73tpEN3EeaLedz6YCMZEQ" type="7004"> 48 </data>
41 <children xmi:type="notation:Node" xmi:id="_G74UsEN3EeaLedz6YCMZEQ" type="3010" element="_G7xnAEN3EeaLedz6YCMZEQ"> 49 </ownedAnnotationEntries>
42 <styles xmi:type="notation:FontStyle" xmi:id="_G74UsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/> 50 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2btuAEN2EeaLedz6YCMZEQ" source="GMF_DIAGRAMS">
43 <layoutConstraint xmi:type="notation:Location" xmi:id="_G74UskN3EeaLedz6YCMZEQ"/> 51 <data xmi:type="notation:Diagram" xmi:id="_2btuAUN2EeaLedz6YCMZEQ" type="Sirius" element="_2bjV8EN2EeaLedz6YCMZEQ" measurementUnit="Pixel">
44 </children> 52 <children xmi:type="notation:Node" xmi:id="_3OTokEN2EeaLedz6YCMZEQ" type="2003" element="_3N8cMEN2EeaLedz6YCMZEQ">
45 <children xmi:type="notation:Node" xmi:id="_G747wEN3EeaLedz6YCMZEQ" type="3010" element="_G7y1IEN3EeaLedz6YCMZEQ"> 53 <children xmi:type="notation:Node" xmi:id="_3OUPoEN2EeaLedz6YCMZEQ" type="5007"/>
46 <styles xmi:type="notation:FontStyle" xmi:id="_G747wUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/> 54 <children xmi:type="notation:Node" xmi:id="_3OU2sEN2EeaLedz6YCMZEQ" type="7004">
47 <layoutConstraint xmi:type="notation:Location" xmi:id="_G747wkN3EeaLedz6YCMZEQ"/> 55 <children xmi:type="notation:Node" xmi:id="_olE5UHt9EeeCn_RNMwgEBg" type="3010" element="_okC-kHt9EeeCn_RNMwgEBg">
48 </children> 56 <styles xmi:type="notation:FontStyle" xmi:id="_olE5UXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
49 <styles xmi:type="notation:SortingStyle" xmi:id="_G73tpUN3EeaLedz6YCMZEQ"/> 57 <layoutConstraint xmi:type="notation:Location" xmi:id="_olE5Unt9EeeCn_RNMwgEBg"/>
50 <styles xmi:type="notation:FilteringStyle" xmi:id="_G73tpkN3EeaLedz6YCMZEQ"/> 58 </children>
51 </children> 59 <styles xmi:type="notation:SortingStyle" xmi:id="_3OU2sUN2EeaLedz6YCMZEQ"/>
52 <styles xmi:type="notation:ShapeStyle" xmi:id="_G73toUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/> 60 <styles xmi:type="notation:FilteringStyle" xmi:id="_3OU2skN2EeaLedz6YCMZEQ"/>
53 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G73tokN3EeaLedz6YCMZEQ" height="73"/>
54 </children>
55 <children xmi:type="notation:Node" xmi:id="_HiLfsEN3EeaLedz6YCMZEQ" type="2003" element="_HiAgkEN3EeaLedz6YCMZEQ">
56 <children xmi:type="notation:Node" xmi:id="_HiLfs0N3EeaLedz6YCMZEQ" type="5007"/>
57 <children xmi:type="notation:Node" xmi:id="_HiMGwEN3EeaLedz6YCMZEQ" type="7004">
58 <styles xmi:type="notation:SortingStyle" xmi:id="_HiMGwUN3EeaLedz6YCMZEQ"/>
59 <styles xmi:type="notation:FilteringStyle" xmi:id="_HiMGwkN3EeaLedz6YCMZEQ"/>
60 </children>
61 <styles xmi:type="notation:ShapeStyle" xmi:id="_HiLfsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
62 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiLfskN3EeaLedz6YCMZEQ" x="-80" y="-130" height="33"/>
63 </children>
64 <children xmi:type="notation:Node" xmi:id="_IlsLIEN3EeaLedz6YCMZEQ" type="2003" element="_IljoQEN3EeaLedz6YCMZEQ">
65 <children xmi:type="notation:Node" xmi:id="_IlsLI0N3EeaLedz6YCMZEQ" type="5007"/>
66 <children xmi:type="notation:Node" xmi:id="_IlsLJEN3EeaLedz6YCMZEQ" type="7004">
67 <styles xmi:type="notation:SortingStyle" xmi:id="_IlsLJUN3EeaLedz6YCMZEQ"/>
68 <styles xmi:type="notation:FilteringStyle" xmi:id="_IlsLJkN3EeaLedz6YCMZEQ"/>
69 </children>
70 <styles xmi:type="notation:ShapeStyle" xmi:id="_IlsLIUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
71 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IlsLIkN3EeaLedz6YCMZEQ" x="304" y="5" height="38"/>
72 </children>
73 <children xmi:type="notation:Node" xmi:id="_LiMYgEN3EeaLedz6YCMZEQ" type="2003" element="_LiCAcEN3EeaLedz6YCMZEQ">
74 <children xmi:type="notation:Node" xmi:id="_LiMYg0N3EeaLedz6YCMZEQ" type="5007"/>
75 <children xmi:type="notation:Node" xmi:id="_LiMYhEN3EeaLedz6YCMZEQ" type="7004">
76 <children xmi:type="notation:Node" xmi:id="_LiM_kEN3EeaLedz6YCMZEQ" type="3010" element="_LiGR4EN3EeaLedz6YCMZEQ">
77 <styles xmi:type="notation:FontStyle" xmi:id="_LiM_kUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
78 <layoutConstraint xmi:type="notation:Location" xmi:id="_LiM_kkN3EeaLedz6YCMZEQ"/>
79 </children>
80 <styles xmi:type="notation:SortingStyle" xmi:id="_LiMYhUN3EeaLedz6YCMZEQ"/>
81 <styles xmi:type="notation:FilteringStyle" xmi:id="_LiMYhkN3EeaLedz6YCMZEQ"/>
82 </children>
83 <styles xmi:type="notation:ShapeStyle" xmi:id="_LiMYgUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
84 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiMYgkN3EeaLedz6YCMZEQ" x="825" y="5" height="53"/>
85 </children>
86 <children xmi:type="notation:Node" xmi:id="_L8ZBMEN3EeaLedz6YCMZEQ" type="2003" element="_L8KXsEN3EeaLedz6YCMZEQ">
87 <children xmi:type="notation:Node" xmi:id="_L8ZoQEN3EeaLedz6YCMZEQ" type="5007"/>
88 <children xmi:type="notation:Node" xmi:id="_L8ZoQUN3EeaLedz6YCMZEQ" type="7004">
89 <styles xmi:type="notation:SortingStyle" xmi:id="_L8ZoQkN3EeaLedz6YCMZEQ"/>
90 <styles xmi:type="notation:FilteringStyle" xmi:id="_L8ZoQ0N3EeaLedz6YCMZEQ"/>
91 </children>
92 <styles xmi:type="notation:ShapeStyle" xmi:id="_L8ZBMUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
93 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8ZBMkN3EeaLedz6YCMZEQ" x="490" y="5" height="38"/>
94 </children>
95 <children xmi:type="notation:Node" xmi:id="_MhSeAEN3EeaLedz6YCMZEQ" type="2003" element="_MhFCoEN3EeaLedz6YCMZEQ">
96 <children xmi:type="notation:Node" xmi:id="_MhSeA0N3EeaLedz6YCMZEQ" type="5007"/>
97 <children xmi:type="notation:Node" xmi:id="_MhSeBEN3EeaLedz6YCMZEQ" type="7004">
98 <styles xmi:type="notation:SortingStyle" xmi:id="_MhSeBUN3EeaLedz6YCMZEQ"/>
99 <styles xmi:type="notation:FilteringStyle" xmi:id="_MhSeBkN3EeaLedz6YCMZEQ"/>
100 </children>
101 <styles xmi:type="notation:ShapeStyle" xmi:id="_MhSeAUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
102 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhSeAkN3EeaLedz6YCMZEQ" x="670" y="5" height="38"/>
103 </children>
104 <children xmi:type="notation:Node" xmi:id="_tFNcMEN3EeaLedz6YCMZEQ" type="2003" element="_tFBO8EN3EeaLedz6YCMZEQ">
105 <children xmi:type="notation:Node" xmi:id="_tFNcM0N3EeaLedz6YCMZEQ" type="5007"/>
106 <children xmi:type="notation:Node" xmi:id="_tFNcNEN3EeaLedz6YCMZEQ" type="7004">
107 <styles xmi:type="notation:SortingStyle" xmi:id="_tFNcNUN3EeaLedz6YCMZEQ"/>
108 <styles xmi:type="notation:FilteringStyle" xmi:id="_tFNcNkN3EeaLedz6YCMZEQ"/>
109 </children>
110 <styles xmi:type="notation:ShapeStyle" xmi:id="_tFNcMUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
111 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_tFNcMkN3EeaLedz6YCMZEQ" x="995" y="5" width="153" height="100"/>
112 </children> 61 </children>
113 <styles xmi:type="notation:DiagramStyle" xmi:id="_2btuAkN2EeaLedz6YCMZEQ"/> 62 <styles xmi:type="notation:ShapeStyle" xmi:id="_3OTokUN2EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
114 <edges xmi:type="notation:Edge" xmi:id="_G747w0N3EeaLedz6YCMZEQ" type="4001" element="_G71RYEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> 63 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OTokkN2EeaLedz6YCMZEQ" x="490" y="-115" height="40"/>
115 <children xmi:type="notation:Node" xmi:id="_G75i0EN3EeaLedz6YCMZEQ" type="6001"> 64 </children>
116 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i0UN3EeaLedz6YCMZEQ" x="-93" y="-10"/> 65 <children xmi:type="notation:Node" xmi:id="_G73toEN3EeaLedz6YCMZEQ" type="2003" element="_G7tVkEN3EeaLedz6YCMZEQ">
117 </children> 66 <children xmi:type="notation:Node" xmi:id="_G73to0N3EeaLedz6YCMZEQ" type="5007"/>
118 <children xmi:type="notation:Node" xmi:id="_G75i0kN3EeaLedz6YCMZEQ" type="6002"> 67 <children xmi:type="notation:Node" xmi:id="_G73tpEN3EeaLedz6YCMZEQ" type="7004">
119 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i00N3EeaLedz6YCMZEQ" x="1" y="-10"/> 68 <children xmi:type="notation:Node" xmi:id="_G74UsEN3EeaLedz6YCMZEQ" type="3010" element="_G7xnAEN3EeaLedz6YCMZEQ">
120 </children> 69 <styles xmi:type="notation:FontStyle" xmi:id="_G74UsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
121 <children xmi:type="notation:Node" xmi:id="_G75i1EN3EeaLedz6YCMZEQ" type="6003"> 70 <layoutConstraint xmi:type="notation:Location" xmi:id="_G74UskN3EeaLedz6YCMZEQ"/>
122 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i1UN3EeaLedz6YCMZEQ" x="9"/> 71 </children>
123 </children> 72 <children xmi:type="notation:Node" xmi:id="_G747wEN3EeaLedz6YCMZEQ" type="3010" element="_G7y1IEN3EeaLedz6YCMZEQ">
124 <styles xmi:type="notation:ConnectorStyle" xmi:id="_G747xEN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 73 <styles xmi:type="notation:FontStyle" xmi:id="_G747wUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
125 <styles xmi:type="notation:FontStyle" xmi:id="_G747xUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 74 <layoutConstraint xmi:type="notation:Location" xmi:id="_G747wkN3EeaLedz6YCMZEQ"/>
126 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_G747xkN3EeaLedz6YCMZEQ" points="[0, 0, 402, -187]$[-402, 0, 0, -187]$[-402, 89, 0, -98]"/> 75 </children>
127 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i1kN3EeaLedz6YCMZEQ" id="(0.0,0.6829268292682927)"/> 76 <styles xmi:type="notation:SortingStyle" xmi:id="_G73tpUN3EeaLedz6YCMZEQ"/>
128 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i10N3EeaLedz6YCMZEQ" id="(0.5,1.380281690140845)"/> 77 <styles xmi:type="notation:FilteringStyle" xmi:id="_G73tpkN3EeaLedz6YCMZEQ"/>
129 </edges> 78 </children>
130 <edges xmi:type="notation:Edge" xmi:id="_G75i2EN3EeaLedz6YCMZEQ" type="4001" element="_G714cEN3EeaLedz6YCMZEQ" source="_G73toEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> 79 <styles xmi:type="notation:ShapeStyle" xmi:id="_G73toUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
131 <children xmi:type="notation:Node" xmi:id="_G75i3EN3EeaLedz6YCMZEQ" type="6001"> 80 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G73tokN3EeaLedz6YCMZEQ" height="73"/>
132 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i3UN3EeaLedz6YCMZEQ" x="8" y="-5"/> 81 </children>
133 </children> 82 <children xmi:type="notation:Node" xmi:id="_HiLfsEN3EeaLedz6YCMZEQ" type="2003" element="_HiAgkEN3EeaLedz6YCMZEQ">
134 <children xmi:type="notation:Node" xmi:id="_G75i3kN3EeaLedz6YCMZEQ" type="6002"> 83 <children xmi:type="notation:Node" xmi:id="_HiLfs0N3EeaLedz6YCMZEQ" type="5007"/>
135 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i30N3EeaLedz6YCMZEQ" x="-23" y="26"/> 84 <children xmi:type="notation:Node" xmi:id="_HiMGwEN3EeaLedz6YCMZEQ" type="7004">
136 </children> 85 <children xmi:type="notation:Node" xmi:id="_olMOEHt9EeeCn_RNMwgEBg" type="3010" element="_okOkwHt9EeeCn_RNMwgEBg">
137 <children xmi:type="notation:Node" xmi:id="_G75i4EN3EeaLedz6YCMZEQ" type="6003"> 86 <styles xmi:type="notation:FontStyle" xmi:id="_olMOEXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8" bold="true"/>
138 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i4UN3EeaLedz6YCMZEQ" x="-35" y="14"/> 87 <layoutConstraint xmi:type="notation:Location" xmi:id="_olMOEnt9EeeCn_RNMwgEBg"/>
139 </children> 88 </children>
140 <styles xmi:type="notation:ConnectorStyle" xmi:id="_G75i2UN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 89 <styles xmi:type="notation:SortingStyle" xmi:id="_HiMGwUN3EeaLedz6YCMZEQ"/>
141 <styles xmi:type="notation:FontStyle" xmi:id="_G75i2kN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/> 90 <styles xmi:type="notation:FilteringStyle" xmi:id="_HiMGwkN3EeaLedz6YCMZEQ"/>
142 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_G75i20N3EeaLedz6YCMZEQ" points="[88, 24, 88, 24]$[112, 24, 112, 24]$[112, -64, 112, -64]$[44, -64, 44, -64]$[44, -49, 44, -49]"/> 91 </children>
143 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4EN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/> 92 <styles xmi:type="notation:ShapeStyle" xmi:id="_HiLfsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
144 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4UN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/> 93 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiLfskN3EeaLedz6YCMZEQ" x="-80" y="-130" height="33"/>
145 </edges> 94 </children>
146 <edges xmi:type="notation:Edge" xmi:id="_HiMGw0N3EeaLedz6YCMZEQ" type="4001" element="_HiJDcEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_HiLfsEN3EeaLedz6YCMZEQ"> 95 <children xmi:type="notation:Node" xmi:id="_IlsLIEN3EeaLedz6YCMZEQ" type="2003" element="_IljoQEN3EeaLedz6YCMZEQ">
147 <children xmi:type="notation:Node" xmi:id="_HiMt0EN3EeaLedz6YCMZEQ" type="6001"> 96 <children xmi:type="notation:Node" xmi:id="_IlsLI0N3EeaLedz6YCMZEQ" type="5007"/>
148 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt0UN3EeaLedz6YCMZEQ" x="-62" y="15"/> 97 <children xmi:type="notation:Node" xmi:id="_IlsLJEN3EeaLedz6YCMZEQ" type="7004">
149 </children> 98 <children xmi:type="notation:Node" xmi:id="_olNcMHt9EeeCn_RNMwgEBg" type="3010" element="_okRBAHt9EeeCn_RNMwgEBg">
150 <children xmi:type="notation:Node" xmi:id="_HiMt0kN3EeaLedz6YCMZEQ" type="6002"> 99 <styles xmi:type="notation:FontStyle" xmi:id="_olNcMXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8" bold="true"/>
151 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt00N3EeaLedz6YCMZEQ" x="7" y="-10"/> 100 <layoutConstraint xmi:type="notation:Location" xmi:id="_olNcMnt9EeeCn_RNMwgEBg"/>
152 </children> 101 </children>
153 <children xmi:type="notation:Node" xmi:id="_HiMt1EN3EeaLedz6YCMZEQ" type="6003"> 102 <children xmi:type="notation:Node" xmi:id="_olOqUHt9EeeCn_RNMwgEBg" type="3010" element="_okRoEHt9EeeCn_RNMwgEBg">
154 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt1UN3EeaLedz6YCMZEQ" x="-446" y="42"/> 103 <styles xmi:type="notation:FontStyle" xmi:id="_olOqUXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
155 </children> 104 <layoutConstraint xmi:type="notation:Location" xmi:id="_olOqUnt9EeeCn_RNMwgEBg"/>
156 <styles xmi:type="notation:ConnectorStyle" xmi:id="_HiMGxEN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 105 </children>
157 <styles xmi:type="notation:FontStyle" xmi:id="_HiMGxUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 106 <children xmi:type="notation:Node" xmi:id="_olPRYHt9EeeCn_RNMwgEBg" type="3010" element="_okSPIHt9EeeCn_RNMwgEBg">
158 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HiMGxkN3EeaLedz6YCMZEQ" points="[-4, -1, 511, -99]$[-456, -1, 59, -99]"/> 107 <styles xmi:type="notation:FontStyle" xmi:id="_olPRYXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
159 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4EN3EeaLedz6YCMZEQ" id="(0.041666666666666664,0.2682926829268293)"/> 108 <layoutConstraint xmi:type="notation:Location" xmi:id="_olPRYnt9EeeCn_RNMwgEBg"/>
160 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4UN3EeaLedz6YCMZEQ" id="(0.5,3.161290322580645)"/> 109 </children>
161 </edges> 110 <styles xmi:type="notation:SortingStyle" xmi:id="_IlsLJUN3EeaLedz6YCMZEQ"/>
162 <edges xmi:type="notation:Edge" xmi:id="_IltZQEN3EeaLedz6YCMZEQ" type="4001" element="_Ilpu4EN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ"> 111 <styles xmi:type="notation:FilteringStyle" xmi:id="_IlsLJkN3EeaLedz6YCMZEQ"/>
163 <children xmi:type="notation:Node" xmi:id="_IltZREN3EeaLedz6YCMZEQ" type="6001"> 112 </children>
164 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZRUN3EeaLedz6YCMZEQ" x="140" y="-16"/> 113 <styles xmi:type="notation:ShapeStyle" xmi:id="_IlsLIUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
165 </children> 114 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IlsLIkN3EeaLedz6YCMZEQ" x="235" y="5" height="68"/>
166 <children xmi:type="notation:Node" xmi:id="_IltZRkN3EeaLedz6YCMZEQ" type="6002"> 115 </children>
167 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZR0N3EeaLedz6YCMZEQ" x="15" y="40"/> 116 <children xmi:type="notation:Node" xmi:id="_LiMYgEN3EeaLedz6YCMZEQ" type="2003" element="_LiCAcEN3EeaLedz6YCMZEQ">
168 </children> 117 <children xmi:type="notation:Node" xmi:id="_LiMYg0N3EeaLedz6YCMZEQ" type="5007"/>
169 <children xmi:type="notation:Node" xmi:id="_IltZSEN3EeaLedz6YCMZEQ" type="6003"> 118 <children xmi:type="notation:Node" xmi:id="_LiMYhEN3EeaLedz6YCMZEQ" type="7004">
170 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZSUN3EeaLedz6YCMZEQ" x="-5" y="8"/> 119 <children xmi:type="notation:Node" xmi:id="_LiM_kEN3EeaLedz6YCMZEQ" type="3010" element="_LiGR4EN3EeaLedz6YCMZEQ">
171 </children> 120 <styles xmi:type="notation:FontStyle" xmi:id="_LiM_kUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
172 <styles xmi:type="notation:ConnectorStyle" xmi:id="_IltZQUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 121 <layoutConstraint xmi:type="notation:Location" xmi:id="_LiM_kkN3EeaLedz6YCMZEQ"/>
173 <styles xmi:type="notation:FontStyle" xmi:id="_IltZQkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 122 </children>
174 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_IltZQ0N3EeaLedz6YCMZEQ" points="[0, 98, 186, -180]$[0, 145, 186, -133]$[-186, 145, 0, -133]$[-186, 180, 0, -98]"/> 123 <children xmi:type="notation:Node" xmi:id="_olP4cHt9EeeCn_RNMwgEBg" type="3010" element="_okUrYHt9EeeCn_RNMwgEBg">
175 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> 124 <styles xmi:type="notation:FontStyle" xmi:id="_olP4cXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8" bold="true"/>
176 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUUN3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> 125 <layoutConstraint xmi:type="notation:Location" xmi:id="_olP4cnt9EeeCn_RNMwgEBg"/>
177 </edges> 126 </children>
178 <edges xmi:type="notation:Edge" xmi:id="_LiNmoEN3EeaLedz6YCMZEQ" type="4001" element="_LiJVMEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_LiMYgEN3EeaLedz6YCMZEQ"> 127 <children xmi:type="notation:Node" xmi:id="_olQfgHt9EeeCn_RNMwgEBg" type="3010" element="_okV5gHt9EeeCn_RNMwgEBg">
179 <children xmi:type="notation:Node" xmi:id="_LiNmpEN3EeaLedz6YCMZEQ" type="6001"> 128 <styles xmi:type="notation:FontStyle" xmi:id="_olQfgXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
180 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmpUN3EeaLedz6YCMZEQ" x="42" y="10"/> 129 <layoutConstraint xmi:type="notation:Location" xmi:id="_olQfgnt9EeeCn_RNMwgEBg"/>
181 </children> 130 </children>
182 <children xmi:type="notation:Node" xmi:id="_LiNmpkN3EeaLedz6YCMZEQ" type="6002"> 131 <styles xmi:type="notation:SortingStyle" xmi:id="_LiMYhUN3EeaLedz6YCMZEQ"/>
183 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmp0N3EeaLedz6YCMZEQ" y="10"/> 132 <styles xmi:type="notation:FilteringStyle" xmi:id="_LiMYhkN3EeaLedz6YCMZEQ"/>
184 </children> 133 </children>
185 <children xmi:type="notation:Node" xmi:id="_LiNmqEN3EeaLedz6YCMZEQ" type="6003"> 134 <styles xmi:type="notation:ShapeStyle" xmi:id="_LiMYgUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
186 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmqUN3EeaLedz6YCMZEQ" x="10"/> 135 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiMYgkN3EeaLedz6YCMZEQ" x="895" y="5" height="53"/>
187 </children> 136 </children>
188 <styles xmi:type="notation:ConnectorStyle" xmi:id="_LiNmoUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 137 <children xmi:type="notation:Node" xmi:id="_L8ZBMEN3EeaLedz6YCMZEQ" type="2003" element="_L8KXsEN3EeaLedz6YCMZEQ">
189 <styles xmi:type="notation:FontStyle" xmi:id="_LiNmokN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 138 <children xmi:type="notation:Node" xmi:id="_L8ZoQEN3EeaLedz6YCMZEQ" type="5007"/>
190 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_LiNmo0N3EeaLedz6YCMZEQ" points="[59, 55, -276, -223]$[335, 55, 0, -223]$[335, 180, 0, -98]"/> 139 <children xmi:type="notation:Node" xmi:id="_L8ZoQUN3EeaLedz6YCMZEQ" type="7004">
191 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> 140 <children xmi:type="notation:Node" xmi:id="_olRGkHt9EeeCn_RNMwgEBg" type="3010" element="_okXHoHt9EeeCn_RNMwgEBg">
192 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsUN3EeaLedz6YCMZEQ" id="(0.5,1.9215686274509804)"/> 141 <styles xmi:type="notation:FontStyle" xmi:id="_olRGkXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
193 </edges> 142 <layoutConstraint xmi:type="notation:Location" xmi:id="_olRGknt9EeeCn_RNMwgEBg"/>
194 <edges xmi:type="notation:Edge" xmi:id="_L8aPUEN3EeaLedz6YCMZEQ" type="4001" element="_L8UvwEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ"> 143 </children>
195 <children xmi:type="notation:Node" xmi:id="_L8aPVEN3EeaLedz6YCMZEQ" type="6001"> 144 <children xmi:type="notation:Node" xmi:id="_olRtoHt9EeeCn_RNMwgEBg" type="3010" element="_okYVwHt9EeeCn_RNMwgEBg">
196 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8aPVUN3EeaLedz6YCMZEQ" x="22" y="39"/> 145 <styles xmi:type="notation:FontStyle" xmi:id="_olRtoXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
197 </children> 146 <layoutConstraint xmi:type="notation:Location" xmi:id="_olRtont9EeeCn_RNMwgEBg"/>
198 <children xmi:type="notation:Node" xmi:id="_L8a2YEN3EeaLedz6YCMZEQ" type="6002"> 147 </children>
199 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2YUN3EeaLedz6YCMZEQ" x="10"/> 148 <styles xmi:type="notation:SortingStyle" xmi:id="_L8ZoQkN3EeaLedz6YCMZEQ"/>
200 </children> 149 <styles xmi:type="notation:FilteringStyle" xmi:id="_L8ZoQ0N3EeaLedz6YCMZEQ"/>
201 <children xmi:type="notation:Node" xmi:id="_L8a2YkN3EeaLedz6YCMZEQ" type="6003"> 150 </children>
202 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2Y0N3EeaLedz6YCMZEQ" x="10"/> 151 <styles xmi:type="notation:ShapeStyle" xmi:id="_L8ZBMUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
203 </children> 152 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8ZBMkN3EeaLedz6YCMZEQ" x="490" y="5" height="68"/>
204 <styles xmi:type="notation:ConnectorStyle" xmi:id="_L8aPUUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 153 </children>
205 <styles xmi:type="notation:FontStyle" xmi:id="_L8aPUkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 154 <children xmi:type="notation:Node" xmi:id="_MhSeAEN3EeaLedz6YCMZEQ" type="2003" element="_MhFCoEN3EeaLedz6YCMZEQ">
206 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_L8aPU0N3EeaLedz6YCMZEQ" points="[0, 98, 0, -180]$[0, 278, 0, 0]"/> 155 <children xmi:type="notation:Node" xmi:id="_MhSeA0N3EeaLedz6YCMZEQ" type="5007"/>
207 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> 156 <children xmi:type="notation:Node" xmi:id="_MhSeBEN3EeaLedz6YCMZEQ" type="7004">
208 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZUN3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> 157 <children xmi:type="notation:Node" xmi:id="_olSUsHt9EeeCn_RNMwgEBg" type="3010" element="_okY80Ht9EeeCn_RNMwgEBg">
209 </edges> 158 <styles xmi:type="notation:FontStyle" xmi:id="_olSUsXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8" bold="true"/>
210 <edges xmi:type="notation:Edge" xmi:id="_MhTsIEN3EeaLedz6YCMZEQ" type="4001" element="_MhOMkEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ"> 159 <layoutConstraint xmi:type="notation:Location" xmi:id="_olSUsnt9EeeCn_RNMwgEBg"/>
211 <children xmi:type="notation:Node" xmi:id="_MhTsJEN3EeaLedz6YCMZEQ" type="6001"> 160 </children>
212 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJUN3EeaLedz6YCMZEQ" x="54" y="16"/> 161 <children xmi:type="notation:Node" xmi:id="_olS7wHt9EeeCn_RNMwgEBg" type="3010" element="_okZj4Xt9EeeCn_RNMwgEBg">
213 </children> 162 <styles xmi:type="notation:FontStyle" xmi:id="_olS7wXt9EeeCn_RNMwgEBg" fontName="Segoe UI" fontHeight="8"/>
214 <children xmi:type="notation:Node" xmi:id="_MhTsJkN3EeaLedz6YCMZEQ" type="6002"> 163 <layoutConstraint xmi:type="notation:Location" xmi:id="_olS7wnt9EeeCn_RNMwgEBg"/>
215 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJ0N3EeaLedz6YCMZEQ" x="18" y="-96"/> 164 </children>
216 </children> 165 <styles xmi:type="notation:SortingStyle" xmi:id="_MhSeBUN3EeaLedz6YCMZEQ"/>
217 <children xmi:type="notation:Node" xmi:id="_MhTsKEN3EeaLedz6YCMZEQ" type="6003"> 166 <styles xmi:type="notation:FilteringStyle" xmi:id="_MhSeBkN3EeaLedz6YCMZEQ"/>
218 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsKUN3EeaLedz6YCMZEQ" x="4" y="7"/> 167 </children>
219 </children> 168 <styles xmi:type="notation:ShapeStyle" xmi:id="_MhSeAUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
220 <styles xmi:type="notation:ConnectorStyle" xmi:id="_MhTsIUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 169 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhSeAkN3EeaLedz6YCMZEQ" x="670" y="5" height="38"/>
221 <styles xmi:type="notation:FontStyle" xmi:id="_MhTsIkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 170 </children>
222 <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]"/> 171 <children xmi:type="notation:Node" xmi:id="_tFNcMEN3EeaLedz6YCMZEQ" type="2003" element="_tFBO8EN3EeaLedz6YCMZEQ">
223 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsKkN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> 172 <children xmi:type="notation:Node" xmi:id="_tFNcM0N3EeaLedz6YCMZEQ" type="5007"/>
224 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsK0N3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> 173 <children xmi:type="notation:Node" xmi:id="_tFNcNEN3EeaLedz6YCMZEQ" type="7004">
225 </edges> 174 <styles xmi:type="notation:SortingStyle" xmi:id="_tFNcNUN3EeaLedz6YCMZEQ"/>
226 <edges xmi:type="notation:Edge" xmi:id="_3AjD8EN3EeaLedz6YCMZEQ" type="4001" element="_3AVBgEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_tFNcMEN3EeaLedz6YCMZEQ"> 175 <styles xmi:type="notation:FilteringStyle" xmi:id="_tFNcNkN3EeaLedz6YCMZEQ"/>
227 <children xmi:type="notation:Node" xmi:id="_3AjrAEN3EeaLedz6YCMZEQ" type="6001"> 176 </children>
228 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrAUN3EeaLedz6YCMZEQ" y="-10"/> 177 <styles xmi:type="notation:ShapeStyle" xmi:id="_tFNcMUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
229 </children> 178 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_tFNcMkN3EeaLedz6YCMZEQ" x="1140" width="153" height="100"/>
230 <children xmi:type="notation:Node" xmi:id="_3AjrAkN3EeaLedz6YCMZEQ" type="6002"> 179 </children>
231 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrA0N3EeaLedz6YCMZEQ" y="10"/> 180 <styles xmi:type="notation:DiagramStyle" xmi:id="_2btuAkN2EeaLedz6YCMZEQ"/>
232 </children> 181 <edges xmi:type="notation:Edge" xmi:id="_G747w0N3EeaLedz6YCMZEQ" type="4001" element="_G71RYEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ">
233 <children xmi:type="notation:Node" xmi:id="_3AjrBEN3EeaLedz6YCMZEQ" type="6003"> 182 <children xmi:type="notation:Node" xmi:id="_G75i0EN3EeaLedz6YCMZEQ" type="6001">
234 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrBUN3EeaLedz6YCMZEQ" x="-16" y="172"/> 183 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i0UN3EeaLedz6YCMZEQ" x="-93" y="-10"/>
235 </children> 184 </children>
236 <styles xmi:type="notation:ConnectorStyle" xmi:id="_3AjD8UN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 185 <children xmi:type="notation:Node" xmi:id="_G75i0kN3EeaLedz6YCMZEQ" type="6002">
237 <styles xmi:type="notation:FontStyle" xmi:id="_3AjD8kN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 186 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i00N3EeaLedz6YCMZEQ" x="1" y="-10"/>
238 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_3AjD80N3EeaLedz6YCMZEQ" points="[0, -16, -387, -136]$[482, -16, 95, -136]$[482, 100, 95, -20]"/> 187 </children>
239 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEEN3EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> 188 <children xmi:type="notation:Node" xmi:id="_G75i1EN3EeaLedz6YCMZEQ" type="6003">
240 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEUN3EeaLedz6YCMZEQ" id="(0.0,0.20408163265306123)"/> 189 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i1UN3EeaLedz6YCMZEQ" x="9"/>
241 </edges> 190 </children>
242 <edges xmi:type="notation:Edge" xmi:id="_8lKjEEN3EeaLedz6YCMZEQ" type="4001" element="_8k9uwEN3EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> 191 <styles xmi:type="notation:ConnectorStyle" xmi:id="_G747xEN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
243 <children xmi:type="notation:Node" xmi:id="_8lKjFEN3EeaLedz6YCMZEQ" type="6001"> 192 <styles xmi:type="notation:FontStyle" xmi:id="_G747xUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
244 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lKjFUN3EeaLedz6YCMZEQ" y="10"/> 193 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_G747xkN3EeaLedz6YCMZEQ" points="[0, 0, 402, -187]$[-402, 0, 0, -187]$[-402, 89, 0, -98]"/>
245 </children> 194 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i1kN3EeaLedz6YCMZEQ" id="(0.0,0.6829268292682927)"/>
246 <children xmi:type="notation:Node" xmi:id="_8lLKIEN3EeaLedz6YCMZEQ" type="6002"> 195 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i10N3EeaLedz6YCMZEQ" id="(0.5,1.380281690140845)"/>
247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKIUN3EeaLedz6YCMZEQ" x="91" y="10"/> 196 </edges>
248 </children> 197 <edges xmi:type="notation:Edge" xmi:id="_G75i2EN3EeaLedz6YCMZEQ" type="4001" element="_G714cEN3EeaLedz6YCMZEQ" source="_G73toEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ">
249 <children xmi:type="notation:Node" xmi:id="_8lLKIkN3EeaLedz6YCMZEQ" type="6003"> 198 <children xmi:type="notation:Node" xmi:id="_G75i3EN3EeaLedz6YCMZEQ" type="6001">
250 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKI0N3EeaLedz6YCMZEQ" x="-134" y="10"/> 199 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i3UN3EeaLedz6YCMZEQ" x="8" y="-5"/>
251 </children> 200 </children>
252 <styles xmi:type="notation:ConnectorStyle" xmi:id="_8lKjEUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> 201 <children xmi:type="notation:Node" xmi:id="_G75i3kN3EeaLedz6YCMZEQ" type="6002">
253 <styles xmi:type="notation:FontStyle" xmi:id="_8lKjEkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 202 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i30N3EeaLedz6YCMZEQ" x="-23" y="26"/>
254 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_8lKjE0N3EeaLedz6YCMZEQ" points="[76, 13, 895, 43]$[76, 70, 895, 100]$[-906, 70, -87, 100]$[-906, -19, -87, 11]"/> 203 </children>
255 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJEN3EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/> 204 <children xmi:type="notation:Node" xmi:id="_G75i4EN3EeaLedz6YCMZEQ" type="6003">
256 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJUN3EeaLedz6YCMZEQ" id="(1.0,0.8450704225352113)"/> 205 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i4UN3EeaLedz6YCMZEQ" x="-35" y="14"/>
257 </edges> 206 </children>
258 <edges xmi:type="notation:Edge" xmi:id="_DZ3xEEN4EeaLedz6YCMZEQ" type="4001" element="_DZsx8EN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ"> 207 <styles xmi:type="notation:ConnectorStyle" xmi:id="_G75i2UN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
259 <children xmi:type="notation:Node" xmi:id="_DZ4YIEN4EeaLedz6YCMZEQ" type="6001"> 208 <styles xmi:type="notation:FontStyle" xmi:id="_G75i2kN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/>
260 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YIUN4EeaLedz6YCMZEQ" x="227" y="-9"/> 209 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_G75i20N3EeaLedz6YCMZEQ" points="[88, 24, 88, 24]$[112, 24, 112, 24]$[112, -64, 112, -64]$[44, -64, 44, -64]$[44, -49, 44, -49]"/>
261 </children> 210 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4EN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/>
262 <children xmi:type="notation:Node" xmi:id="_DZ4YIkN4EeaLedz6YCMZEQ" type="6002"> 211 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4UN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/>
263 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YI0N4EeaLedz6YCMZEQ" x="-10" y="10"/> 212 </edges>
264 </children> 213 <edges xmi:type="notation:Edge" xmi:id="_HiMGw0N3EeaLedz6YCMZEQ" type="4001" element="_HiJDcEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_HiLfsEN3EeaLedz6YCMZEQ">
265 <children xmi:type="notation:Node" xmi:id="_DZ4YJEN4EeaLedz6YCMZEQ" type="6003"> 214 <children xmi:type="notation:Node" xmi:id="_HiMt0EN3EeaLedz6YCMZEQ" type="6001">
266 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YJUN4EeaLedz6YCMZEQ" x="-107" y="10"/> 215 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt0UN3EeaLedz6YCMZEQ" x="-62" y="15"/>
267 </children> 216 </children>
268 <styles xmi:type="notation:ConnectorStyle" xmi:id="_DZ3xEUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> 217 <children xmi:type="notation:Node" xmi:id="_HiMt0kN3EeaLedz6YCMZEQ" type="6002">
269 <styles xmi:type="notation:FontStyle" xmi:id="_DZ3xEkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 218 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt00N3EeaLedz6YCMZEQ" x="7" y="-10"/>
270 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DZ3xE0N4EeaLedz6YCMZEQ" points="[0, 12, 573, 66]$[-631, 12, -58, 66]$[-631, -46, -58, 8]"/> 219 </children>
271 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJkN4EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/> 220 <children xmi:type="notation:Node" xmi:id="_HiMt1EN3EeaLedz6YCMZEQ" type="6003">
272 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJ0N4EeaLedz6YCMZEQ" id="(1.0,0.7948717948717948)"/> 221 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt1UN3EeaLedz6YCMZEQ" x="-446" y="42"/>
273 </edges> 222 </children>
274 <edges xmi:type="notation:Edge" xmi:id="_GOVcwEN4EeaLedz6YCMZEQ" type="4001" element="_GOFlIEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ"> 223 <styles xmi:type="notation:ConnectorStyle" xmi:id="_HiMGxEN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
275 <children xmi:type="notation:Node" xmi:id="_GOVcxEN4EeaLedz6YCMZEQ" type="6001"> 224 <styles xmi:type="notation:FontStyle" xmi:id="_HiMGxUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
276 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcxUN4EeaLedz6YCMZEQ" x="95" y="-11"/> 225 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HiMGxkN3EeaLedz6YCMZEQ" points="[-4, -1, 511, -99]$[-456, -1, 59, -99]"/>
277 </children> 226 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4EN3EeaLedz6YCMZEQ" id="(0.041666666666666664,0.2682926829268293)"/>
278 <children xmi:type="notation:Node" xmi:id="_GOVcxkN4EeaLedz6YCMZEQ" type="6002"> 227 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4UN3EeaLedz6YCMZEQ" id="(0.5,3.161290322580645)"/>
279 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcx0N4EeaLedz6YCMZEQ" x="-7" y="10"/> 228 </edges>
280 </children> 229 <edges xmi:type="notation:Edge" xmi:id="_IltZQEN3EeaLedz6YCMZEQ" type="4001" element="_Ilpu4EN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ">
281 <children xmi:type="notation:Node" xmi:id="_GOVcyEN4EeaLedz6YCMZEQ" type="6003"> 230 <children xmi:type="notation:Node" xmi:id="_IltZREN3EeaLedz6YCMZEQ" type="6001">
282 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcyUN4EeaLedz6YCMZEQ" x="-87" y="10"/> 231 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZRUN3EeaLedz6YCMZEQ" x="174" y="-16"/>
283 </children> 232 </children>
284 <styles xmi:type="notation:ConnectorStyle" xmi:id="_GOVcwUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> 233 <children xmi:type="notation:Node" xmi:id="_IltZRkN3EeaLedz6YCMZEQ" type="6002">
285 <styles xmi:type="notation:FontStyle" xmi:id="_GOVcwkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 234 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZR0N3EeaLedz6YCMZEQ" x="5" y="40"/>
286 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_GOVcw0N4EeaLedz6YCMZEQ" points="[0, 10, 387, 55]$[-445, 10, -58, 55]$[-445, -26, -58, 19]"/> 235 </children>
287 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0EN4EeaLedz6YCMZEQ" id="(0.0,0.6632653061224489)"/> 236 <children xmi:type="notation:Node" xmi:id="_IltZSEN3EeaLedz6YCMZEQ" type="6003">
288 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0UN4EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> 237 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZSUN3EeaLedz6YCMZEQ" x="-64" y="8"/>
289 </edges> 238 </children>
290 <edges xmi:type="notation:Edge" xmi:id="_KpeLUEN4EeaLedz6YCMZEQ" type="4001" element="_KpR-EEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ"> 239 <styles xmi:type="notation:ConnectorStyle" xmi:id="_IltZQUN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
291 <children xmi:type="notation:Node" xmi:id="_KpeLVEN4EeaLedz6YCMZEQ" type="6001"> 240 <styles xmi:type="notation:FontStyle" xmi:id="_IltZQkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
292 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLVUN4EeaLedz6YCMZEQ" x="-14" y="-11"/> 241 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_IltZQ0N3EeaLedz6YCMZEQ" points="[8, 101, 240, -187]$[8, 151, 240, -137]$[-240, 151, -8, -137]$[-240, 182, -8, -106]"/>
293 </children> 242 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/>
294 <children xmi:type="notation:Node" xmi:id="_KpeLVkN4EeaLedz6YCMZEQ" type="6002"> 243 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUUN3EeaLedz6YCMZEQ" id="(0.5,1.6085858585858586)"/>
295 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLV0N4EeaLedz6YCMZEQ" x="-7" y="10"/> 244 </edges>
296 </children> 245 <edges xmi:type="notation:Edge" xmi:id="_LiNmoEN3EeaLedz6YCMZEQ" type="4001" element="_LiJVMEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_LiMYgEN3EeaLedz6YCMZEQ">
297 <children xmi:type="notation:Node" xmi:id="_KpeLWEN4EeaLedz6YCMZEQ" type="6003"> 246 <children xmi:type="notation:Node" xmi:id="_LiNmpEN3EeaLedz6YCMZEQ" type="6001">
298 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLWUN4EeaLedz6YCMZEQ" x="-67" y="10"/> 247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmpUN3EeaLedz6YCMZEQ" x="7" y="10"/>
299 </children> 248 </children>
300 <styles xmi:type="notation:ConnectorStyle" xmi:id="_KpeLUUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> 249 <children xmi:type="notation:Node" xmi:id="_LiNmpkN3EeaLedz6YCMZEQ" type="6002">
301 <styles xmi:type="notation:FontStyle" xmi:id="_KpeLUkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 250 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmp0N3EeaLedz6YCMZEQ" x="-10" y="10"/>
302 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_KpeLU0N4EeaLedz6YCMZEQ" points="[0, 6, 207, 35]$[-265, 6, -58, 35]$[-265, -10, -58, 19]"/> 251 </children>
303 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeLWkN4EeaLedz6YCMZEQ" id="(0.0,0.5)"/> 252 <children xmi:type="notation:Node" xmi:id="_LiNmqEN3EeaLedz6YCMZEQ" type="6003">
304 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeyYEN4EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> 253 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmqUN3EeaLedz6YCMZEQ" x="20"/>
305 </edges> 254 </children>
306 </data> 255 <styles xmi:type="notation:ConnectorStyle" xmi:id="_LiNmoUN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
307 </ownedAnnotationEntries> 256 <styles xmi:type="notation:FontStyle" xmi:id="_LiNmokN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
308 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_3N8cMEN2EeaLedz6YCMZEQ" name="LogicProblem" tooltipText="" outgoingEdges="_G71RYEN3EeaLedz6YCMZEQ _HiJDcEN3EeaLedz6YCMZEQ _Ilpu4EN3EeaLedz6YCMZEQ _LiJVMEN3EeaLedz6YCMZEQ _L8UvwEN3EeaLedz6YCMZEQ _MhOMkEN3EeaLedz6YCMZEQ _3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> 257 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_LiNmo0N3EeaLedz6YCMZEQ" points="[82, 75, -347, -205]$[417, 75, -12, -205]$[417, 182, -12, -98]"/>
309 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> 258 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/>
310 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> 259 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsUN3EeaLedz6YCMZEQ" id="(0.5,1.9215686274509804)"/>
311 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 260 </edges>
312 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 261 <edges xmi:type="notation:Edge" xmi:id="_L8aPUEN3EeaLedz6YCMZEQ" type="4001" element="_L8UvwEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ">
313 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 262 <children xmi:type="notation:Node" xmi:id="_L8aPVEN3EeaLedz6YCMZEQ" type="6001">
314 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_3N-4cEN2EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 263 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8aPVUN3EeaLedz6YCMZEQ" x="22" y="39"/>
315 <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"/> 264 </children>
316 </ownedStyle> 265 <children xmi:type="notation:Node" xmi:id="_L8a2YEN3EeaLedz6YCMZEQ" type="6002">
317 <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']"/> 266 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2YUN3EeaLedz6YCMZEQ" x="10"/>
318 </ownedDiagramElements> 267 </children>
319 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_G7tVkEN3EeaLedz6YCMZEQ" name="Type" tooltipText="" outgoingEdges="_G714cEN3EeaLedz6YCMZEQ" incomingEdges="_G71RYEN3EeaLedz6YCMZEQ _G714cEN3EeaLedz6YCMZEQ _8k9uwEN3EeaLedz6YCMZEQ" width="12" height="10"> 268 <children xmi:type="notation:Node" xmi:id="_L8a2YkN3EeaLedz6YCMZEQ" type="6003">
320 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> 269 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2Y0N3EeaLedz6YCMZEQ" x="10"/>
321 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> 270 </children>
322 <decorations xmi:type="viewpoint:Decoration" xmi:id="_G7zcMEN3EeaLedz6YCMZEQ"> 271 <styles xmi:type="notation:ConnectorStyle" xmi:id="_L8aPUUN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
323 <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']"/> 272 <styles xmi:type="notation:FontStyle" xmi:id="_L8aPUkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
324 </decorations> 273 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_L8aPU0N3EeaLedz6YCMZEQ" points="[0, 98, 0, -180]$[0, 278, 0, 0]"/>
325 <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"> 274 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/>
326 <labelFormat>italic</labelFormat> 275 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZUN3EeaLedz6YCMZEQ" id="(0.5,1.6085858585858586)"/>
327 <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"/> 276 </edges>
328 </ownedStyle> 277 <edges xmi:type="notation:Edge" xmi:id="_MhTsIEN3EeaLedz6YCMZEQ" type="4001" element="_MhOMkEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ">
329 <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']"/> 278 <children xmi:type="notation:Node" xmi:id="_MhTsJEN3EeaLedz6YCMZEQ" type="6001">
330 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7xnAEN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> 279 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJUN3EeaLedz6YCMZEQ" x="54" y="16"/>
331 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> 280 </children>
332 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> 281 <children xmi:type="notation:Node" xmi:id="_MhTsJkN3EeaLedz6YCMZEQ" type="6002">
333 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7yOEUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 282 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJ0N3EeaLedz6YCMZEQ" x="18" y="-96"/>
334 <labelFormat>bold</labelFormat> 283 </children>
335 </ownedStyle> 284 <children xmi:type="notation:Node" xmi:id="_MhTsKEN3EeaLedz6YCMZEQ" type="6003">
336 <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']"/> 285 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsKUN3EeaLedz6YCMZEQ" x="4" y="7"/>
337 </ownedElements> 286 </children>
338 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7y1IEN3EeaLedz6YCMZEQ" name="isAbstract : EBoolean = false" tooltipText=""> 287 <styles xmi:type="notation:ConnectorStyle" xmi:id="_MhTsIUN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
339 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> 288 <styles xmi:type="notation:FontStyle" xmi:id="_MhTsIkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
340 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> 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]"/>
341 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7y1IUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 290 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsKkN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/>
342 <labelFormat>bold</labelFormat> 291 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsK0N3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/>
343 </ownedStyle> 292 </edges>
344 <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']"/> 293 <edges xmi:type="notation:Edge" xmi:id="_3AjD8EN3EeaLedz6YCMZEQ" type="4001" element="_3AVBgEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_tFNcMEN3EeaLedz6YCMZEQ">
345 </ownedElements> 294 <children xmi:type="notation:Node" xmi:id="_3AjrAEN3EeaLedz6YCMZEQ" type="6001">
346 </ownedDiagramElements> 295 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrAUN3EeaLedz6YCMZEQ" x="-70" y="-10"/>
347 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G71RYEN3EeaLedz6YCMZEQ" name="[0..*] types" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> 296 </children>
348 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> 297 <children xmi:type="notation:Node" xmi:id="_3AjrAkN3EeaLedz6YCMZEQ" type="6002">
349 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> 298 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrA0N3EeaLedz6YCMZEQ" x="-21" y="10"/>
350 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G71RYUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 299 </children>
351 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_G71RYkN3EeaLedz6YCMZEQ" showIcon="false"> 300 <children xmi:type="notation:Node" xmi:id="_3AjrBEN3EeaLedz6YCMZEQ" type="6003">
352 <customFeatures>labelSize</customFeatures> 301 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrBUN3EeaLedz6YCMZEQ" x="10" y="317"/>
353 </centerLabelStyle> 302 </children>
354 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G71RY0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 303 <styles xmi:type="notation:ConnectorStyle" xmi:id="_3AjD8UN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
355 <customFeatures>labelSize</customFeatures> 304 <styles xmi:type="notation:FontStyle" xmi:id="_3AjD8kN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
356 </endLabelStyle> 305 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_3AjD80N3EeaLedz6YCMZEQ" points="[0, -16, -487, -131]$[604, -16, 117, -131]$[604, 95, 117, -20]"/>
357 </ownedStyle> 306 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEEN3EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/>
358 <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']"/> 307 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEUN3EeaLedz6YCMZEQ" id="(0.0,0.20408163265306123)"/>
359 </ownedDiagramElements> 308 </edges>
360 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G714cEN3EeaLedz6YCMZEQ" sourceNode="_G7tVkEN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ" beginLabel="[0..*] supertypes" endLabel="[0..*] subtypes"> 309 <edges xmi:type="notation:Edge" xmi:id="_8lKjEEN3EeaLedz6YCMZEQ" type="4001" element="_8k9uwEN3EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ">
361 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> 310 <children xmi:type="notation:Node" xmi:id="_8lKjFEN3EeaLedz6YCMZEQ" type="6001">
362 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> 311 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lKjFUN3EeaLedz6YCMZEQ" x="75" y="10"/>
363 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/supertypes"/> 312 </children>
364 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G714cUN3EeaLedz6YCMZEQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> 313 <children xmi:type="notation:Node" xmi:id="_8lLKIEN3EeaLedz6YCMZEQ" type="6002">
365 <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"/> 314 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKIUN3EeaLedz6YCMZEQ" x="218" y="10"/>
366 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_G714ckN3EeaLedz6YCMZEQ" showIcon="false"/> 315 </children>
367 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G714c0N3EeaLedz6YCMZEQ" showIcon="false"/> 316 <children xmi:type="notation:Node" xmi:id="_8lLKIkN3EeaLedz6YCMZEQ" type="6003">
368 </ownedStyle> 317 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKI0N3EeaLedz6YCMZEQ" x="-111" y="10"/>
369 <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']"/> 318 </children>
370 </ownedDiagramElements> 319 <styles xmi:type="notation:ConnectorStyle" xmi:id="_8lKjEUN3EeaLedz6YCMZEQ" routing="Rectilinear"/>
371 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_HiAgkEN3EeaLedz6YCMZEQ" name="DefinedElement" tooltipText="" incomingEdges="_HiJDcEN3EeaLedz6YCMZEQ" width="12" height="10"> 320 <styles xmi:type="notation:FontStyle" xmi:id="_8lKjEkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
372 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> 321 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_8lKjE0N3EeaLedz6YCMZEQ" points="[76, 13, 1040, 38]$[76, 75, 1040, 100]$[-1051, 75, -87, 100]$[-1051, -14, -87, 11]"/>
373 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> 322 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJEN3EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/>
374 <decorations xmi:type="viewpoint:Decoration" xmi:id="_HiHOQEN3EeaLedz6YCMZEQ"> 323 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJUN3EeaLedz6YCMZEQ" id="(1.0,0.8450704225352113)"/>
375 <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']"/> 324 </edges>
376 </decorations> 325 <edges xmi:type="notation:Edge" xmi:id="_DZ3xEEN4EeaLedz6YCMZEQ" type="4001" element="_DZsx8EN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ">
377 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 326 <children xmi:type="notation:Node" xmi:id="_DZ4YIEN4EeaLedz6YCMZEQ" type="6001">
378 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 327 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YIUN4EeaLedz6YCMZEQ" x="267" y="-9"/>
379 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 328 </children>
380 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_HiAgkUN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 329 <children xmi:type="notation:Node" xmi:id="_DZ4YIkN4EeaLedz6YCMZEQ" type="6002">
381 <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"/> 330 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YI0N4EeaLedz6YCMZEQ" x="105" y="10"/>
382 </ownedStyle> 331 </children>
383 <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']"/> 332 <children xmi:type="notation:Node" xmi:id="_DZ4YJEN4EeaLedz6YCMZEQ" type="6003">
384 </ownedDiagramElements> 333 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YJUN4EeaLedz6YCMZEQ" x="-140" y="10"/>
385 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HiJDcEN3EeaLedz6YCMZEQ" name="[0..*] elements" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_HiAgkEN3EeaLedz6YCMZEQ"> 334 </children>
386 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> 335 <styles xmi:type="notation:ConnectorStyle" xmi:id="_DZ3xEUN4EeaLedz6YCMZEQ" routing="Rectilinear"/>
387 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> 336 <styles xmi:type="notation:FontStyle" xmi:id="_DZ3xEkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
388 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_HiJqgEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 337 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DZ3xE0N4EeaLedz6YCMZEQ" points="[0, 12, 696, 61]$[-800, 12, -104, 61]$[-800, -14, -104, 35]"/>
389 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_HiJqgUN3EeaLedz6YCMZEQ" showIcon="false"> 338 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJkN4EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/>
390 <customFeatures>labelSize</customFeatures> 339 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJ0N4EeaLedz6YCMZEQ" id="(1.0,0.46969696969696967)"/>
391 </centerLabelStyle> 340 </edges>
392 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_HiJqgkN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 341 <edges xmi:type="notation:Edge" xmi:id="_GOVcwEN4EeaLedz6YCMZEQ" type="4001" element="_GOFlIEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ">
393 <customFeatures>labelSize</customFeatures> 342 <children xmi:type="notation:Node" xmi:id="_GOVcxEN4EeaLedz6YCMZEQ" type="6001">
394 </endLabelStyle> 343 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcxUN4EeaLedz6YCMZEQ" x="170" y="-11"/>
395 </ownedStyle> 344 </children>
396 <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']"/> 345 <children xmi:type="notation:Node" xmi:id="_GOVcxkN4EeaLedz6YCMZEQ" type="6002">
397 </ownedDiagramElements> 346 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcx0N4EeaLedz6YCMZEQ" x="117" y="10"/>
398 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_IljoQEN3EeaLedz6YCMZEQ" name="Function" tooltipText="" incomingEdges="_Ilpu4EN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ" width="12" height="10"> 347 </children>
399 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> 348 <children xmi:type="notation:Node" xmi:id="_GOVcyEN4EeaLedz6YCMZEQ" type="6003">
400 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> 349 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcyUN4EeaLedz6YCMZEQ" x="-61" y="10"/>
401 <decorations xmi:type="viewpoint:Decoration" xmi:id="_IlogwEN3EeaLedz6YCMZEQ"> 350 </children>
402 <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']"/> 351 <styles xmi:type="notation:ConnectorStyle" xmi:id="_GOVcwUN4EeaLedz6YCMZEQ" routing="Rectilinear"/>
403 </decorations> 352 <styles xmi:type="notation:FontStyle" xmi:id="_GOVcwkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
404 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 353 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_GOVcw0N4EeaLedz6YCMZEQ" points="[0, 10, 444, 50]$[-546, 10, -102, 50]$[-546, 6, -102, 46]"/>
405 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 354 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0EN4EeaLedz6YCMZEQ" id="(0.0,0.6632653061224489)"/>
406 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 355 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0UN4EeaLedz6YCMZEQ" id="(1.0,0.30303030303030304)"/>
407 <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"> 356 </edges>
408 <labelFormat>italic</labelFormat> 357 <edges xmi:type="notation:Edge" xmi:id="_KpeLUEN4EeaLedz6YCMZEQ" type="4001" element="_KpR-EEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ">
409 <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"/> 358 <children xmi:type="notation:Node" xmi:id="_KpeLVEN4EeaLedz6YCMZEQ" type="6001">
359 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLVUN4EeaLedz6YCMZEQ" x="61" y="-11"/>
360 </children>
361 <children xmi:type="notation:Node" xmi:id="_KpeLVkN4EeaLedz6YCMZEQ" type="6002">
362 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLV0N4EeaLedz6YCMZEQ" x="117" y="10"/>
363 </children>
364 <children xmi:type="notation:Node" xmi:id="_KpeLWEN4EeaLedz6YCMZEQ" type="6003">
365 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLWUN4EeaLedz6YCMZEQ" x="-41" y="10"/>
366 </children>
367 <styles xmi:type="notation:ConnectorStyle" xmi:id="_KpeLUUN4EeaLedz6YCMZEQ" routing="Rectilinear"/>
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]"/>
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)"/>
372 </edges>
373 </data>
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">
376 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/>
377 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/>
378 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
379 <arrangeConstraints>KEEP_SIZE</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">
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>
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="">
386 <target 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">
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"/>
410 </ownedStyle> 390 </ownedStyle>
411 <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']"/> 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']"/>
412 </ownedDiagramElements> 392 </ownedElements>
413 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Ilpu4EN3EeaLedz6YCMZEQ" name="[0..*] functions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> 393 </ownedDiagramElements>
414 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> 394 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_G7tVkEN3EeaLedz6YCMZEQ" name="Type" tooltipText="" outgoingEdges="_G714cEN3EeaLedz6YCMZEQ" incomingEdges="_G71RYEN3EeaLedz6YCMZEQ _G714cEN3EeaLedz6YCMZEQ _8k9uwEN3EeaLedz6YCMZEQ" width="12" height="10">
415 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> 395 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/>
416 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_IlqV8EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 396 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/>
417 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_IlqV8UN3EeaLedz6YCMZEQ" showIcon="false"> 397 <decorations xmi:type="viewpoint:Decoration" xmi:id="_G7zcMEN3EeaLedz6YCMZEQ">
418 <customFeatures>labelSize</customFeatures> 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']"/>
419 </centerLabelStyle> 399 </decorations>
420 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_IlqV8kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 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">
421 <customFeatures>labelSize</customFeatures> 401 <labelFormat>italic</labelFormat>
422 </endLabelStyle> 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>
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="">
406 <target 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">
409 <labelFormat>bold</labelFormat>
423 </ownedStyle> 410 </ownedStyle>
424 <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']"/> 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']"/>
425 </ownedDiagramElements> 412 </ownedElements>
426 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_LiCAcEN3EeaLedz6YCMZEQ" name="Assertion" tooltipText="" incomingEdges="_LiJVMEN3EeaLedz6YCMZEQ" width="12" height="10"> 413 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7y1IEN3EeaLedz6YCMZEQ" name="isAbstract : EBoolean = false" tooltipText="">
427 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> 414 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/>
428 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> 415 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/>
429 <decorations xmi:type="viewpoint:Decoration" xmi:id="_LiG48EN3EeaLedz6YCMZEQ"> 416 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7y1IUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ">
430 <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']"/> 417 <labelFormat>bold</labelFormat>
431 </decorations>
432 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
433 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
434 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
435 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_wJzDsMFcEea_b6UyFzv22g" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
436 <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"/>
437 </ownedStyle> 418 </ownedStyle>
438 <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']"/> 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']"/>
439 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LiGR4EN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> 420 </ownedElements>
440 <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> 421 </ownedDiagramElements>
441 <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> 422 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G71RYEN3EeaLedz6YCMZEQ" name="[0..*] types" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ">
442 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LiGR4UN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> 423 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/>
443 <labelFormat>bold</labelFormat> 424 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/>
444 </ownedStyle> 425 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G71RYUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
445 <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']"/> 426 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_G71RYkN3EeaLedz6YCMZEQ" showIcon="false">
446 </ownedElements> 427 <customFeatures>labelSize</customFeatures>
447 </ownedDiagramElements> 428 </centerLabelStyle>
448 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_LiJVMEN3EeaLedz6YCMZEQ" name="[0..*] assertions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_LiCAcEN3EeaLedz6YCMZEQ"> 429 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G71RY0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
449 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> 430 <customFeatures>labelSize</customFeatures>
450 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> 431 </endLabelStyle>
451 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_LiJVMUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 432 </ownedStyle>
452 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_LiJVMkN3EeaLedz6YCMZEQ" showIcon="false"> 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']"/>
453 <customFeatures>labelSize</customFeatures> 434 </ownedDiagramElements>
454 </centerLabelStyle> 435 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G714cEN3EeaLedz6YCMZEQ" sourceNode="_G7tVkEN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ" beginLabel="[0..*] supertypes" endLabel="[0..*] subtypes">
455 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_LiJVM0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 436 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/>
456 <customFeatures>labelSize</customFeatures> 437 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/>
457 </endLabelStyle> 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">
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"/>
442 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G714c0N3EeaLedz6YCMZEQ" showIcon="false"/>
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']"/>
445 </ownedDiagramElements>
446 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_HiAgkEN3EeaLedz6YCMZEQ" name="DefinedElement" tooltipText="" incomingEdges="_HiJDcEN3EeaLedz6YCMZEQ" width="12" height="10">
447 <target 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">
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>
452 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
453 <arrangeConstraints>KEEP_SIZE</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">
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>
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="">
460 <target 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">
463 <labelFormat>bold</labelFormat>
458 </ownedStyle> 464 </ownedStyle>
459 <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']"/> 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']"/>
460 </ownedDiagramElements> 466 </ownedElements>
461 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_L8KXsEN3EeaLedz6YCMZEQ" name="Relation" tooltipText="" incomingEdges="_L8UvwEN3EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ" width="12" height="10"> 467 </ownedDiagramElements>
462 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> 468 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HiJDcEN3EeaLedz6YCMZEQ" name="[0..*] elements" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_HiAgkEN3EeaLedz6YCMZEQ">
463 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> 469 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/>
464 <decorations xmi:type="viewpoint:Decoration" xmi:id="_L8RscEN3EeaLedz6YCMZEQ"> 470 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/>
465 <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']"/> 471 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_HiJqgEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
466 </decorations> 472 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_HiJqgUN3EeaLedz6YCMZEQ" showIcon="false">
467 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 473 <customFeatures>labelSize</customFeatures>
468 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 474 </centerLabelStyle>
469 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 475 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_HiJqgkN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
470 <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"> 476 <customFeatures>labelSize</customFeatures>
471 <labelFormat>italic</labelFormat> 477 </endLabelStyle>
472 <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"/> 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']"/>
480 </ownedDiagramElements>
481 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_IljoQEN3EeaLedz6YCMZEQ" name="Function" tooltipText="" incomingEdges="_Ilpu4EN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ" width="12" height="10">
482 <target 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">
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>
487 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
488 <arrangeConstraints>KEEP_SIZE</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">
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"/>
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']"/>
495 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okRBAHt9EeeCn_RNMwgEBg" name=" range : TypeReference" tooltipText="">
496 <target 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">
499 <labelFormat>bold</labelFormat>
473 </ownedStyle> 500 </ownedStyle>
474 <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']"/> 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']"/>
475 </ownedDiagramElements> 502 </ownedElements>
476 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_L8UvwEN3EeaLedz6YCMZEQ" name="[0..*] relations" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> 503 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okRoEHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText="">
477 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> 504 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/>
478 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> 505 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/parameters"/>
479 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_L8VW0EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 506 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okRoEXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
480 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_L8VW0UN3EeaLedz6YCMZEQ" showIcon="false"> 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"/>
481 <customFeatures>labelSize</customFeatures>
482 </centerLabelStyle>
483 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_L8VW0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
484 <customFeatures>labelSize</customFeatures>
485 </endLabelStyle>
486 </ownedStyle> 508 </ownedStyle>
487 <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']"/> 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']"/>
488 </ownedDiagramElements> 510 </ownedElements>
489 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_MhFCoEN3EeaLedz6YCMZEQ" name="Constant" tooltipText="" incomingEdges="_MhOMkEN3EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" width="12" height="10"> 511 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okSPIHt9EeeCn_RNMwgEBg" name=" annotations : FunctionAnnotation" tooltipText="">
490 <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> 512 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/>
491 <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> 513 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Function/annotations"/>
492 <decorations xmi:type="viewpoint:Decoration" xmi:id="_MhKiMEN3EeaLedz6YCMZEQ"> 514 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okSPIXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
493 <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']"/> 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"/>
494 </decorations>
495 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
496 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
497 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
498 <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">
499 <labelFormat>italic</labelFormat>
500 <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"/>
501 </ownedStyle> 516 </ownedStyle>
502 <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']"/> 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']"/>
503 </ownedDiagramElements> 518 </ownedElements>
504 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_MhOMkEN3EeaLedz6YCMZEQ" name="[0..*] constants" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> 519 </ownedDiagramElements>
505 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> 520 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Ilpu4EN3EeaLedz6YCMZEQ" name="[0..*] functions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ">
506 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> 521 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/>
507 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MhOzoEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 522 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/>
508 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MhOzoUN3EeaLedz6YCMZEQ" showIcon="false"> 523 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_IlqV8EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
509 <customFeatures>labelSize</customFeatures> 524 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_IlqV8UN3EeaLedz6YCMZEQ" showIcon="false">
510 </centerLabelStyle> 525 <customFeatures>labelSize</customFeatures>
511 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MhOzokN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 526 </centerLabelStyle>
512 <customFeatures>labelSize</customFeatures> 527 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_IlqV8kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
513 </endLabelStyle> 528 <customFeatures>labelSize</customFeatures>
529 </endLabelStyle>
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']"/>
532 </ownedDiagramElements>
533 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_LiCAcEN3EeaLedz6YCMZEQ" name="Assertion" tooltipText="" incomingEdges="_LiJVMEN3EeaLedz6YCMZEQ" width="12" height="10">
534 <target 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">
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>
539 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
540 <arrangeConstraints>KEEP_SIZE</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">
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>
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="">
547 <target 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">
550 <labelFormat>bold</labelFormat>
514 </ownedStyle> 551 </ownedStyle>
515 <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']"/> 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']"/>
516 </ownedDiagramElements> 553 </ownedElements>
517 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_tFBO8EN3EeaLedz6YCMZEQ" name="ContainmentHierarchy" tooltipText="" outgoingEdges="_8k9uwEN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" incomingEdges="_3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> 554 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okUrYHt9EeeCn_RNMwgEBg" name=" value : Term" tooltipText="">
518 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> 555 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/>
519 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> 556 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/value"/>
520 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 557 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okVScHt9EeeCn_RNMwgEBg" labelAlignment="LEFT" description="_okPL0Ht9EeeCn_RNMwgEBg" color="114,159,207">
521 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 558 <labelFormat>bold</labelFormat>
522 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
523 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_tFB2AEN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
524 <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"/>
525 </ownedStyle> 559 </ownedStyle>
526 <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']"/> 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']"/>
527 </ownedDiagramElements> 561 </ownedElements>
528 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3AVBgEN3EeaLedz6YCMZEQ" name="[0..*] containmentHierarchies" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_tFBO8EN3EeaLedz6YCMZEQ"> 562 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okV5gHt9EeeCn_RNMwgEBg" name=" annotations : AssertionAnnotation" tooltipText="">
529 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> 563 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/>
530 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> 564 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Assertion/annotations"/>
531 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_PachAEO6EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> 565 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okV5gXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
532 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_PachAUO6EeaLedz6YCMZEQ" showIcon="false"/> 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"/>
533 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_PachAkO6EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>
534 </ownedStyle> 567 </ownedStyle>
535 <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']"/> 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']"/>
536 </ownedDiagramElements> 569 </ownedElements>
537 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8k9uwEN3EeaLedz6YCMZEQ" name="[0..*] typesOrderedInHierarchy" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> 570 </ownedDiagramElements>
538 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> 571 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_LiJVMEN3EeaLedz6YCMZEQ" name="[0..*] assertions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_LiCAcEN3EeaLedz6YCMZEQ">
539 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> 572 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/>
540 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_8k-V0EN3EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 573 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/>
541 <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"/> 574 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_LiJVMUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
542 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_8k-V0UN3EeaLedz6YCMZEQ" showIcon="false"> 575 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_LiJVMkN3EeaLedz6YCMZEQ" showIcon="false">
543 <customFeatures>labelSize</customFeatures> 576 <customFeatures>labelSize</customFeatures>
544 </centerLabelStyle> 577 </centerLabelStyle>
545 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_8k-V0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 578 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_LiJVM0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
546 <customFeatures>labelSize</customFeatures> 579 <customFeatures>labelSize</customFeatures>
547 </endLabelStyle> 580 </endLabelStyle>
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']"/>
583 </ownedDiagramElements>
584 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_L8KXsEN3EeaLedz6YCMZEQ" name="Relation" tooltipText="" incomingEdges="_L8UvwEN3EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ" width="12" height="10">
585 <target 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">
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>
590 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
591 <arrangeConstraints>KEEP_SIZE</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">
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"/>
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']"/>
598 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okXHoHt9EeeCn_RNMwgEBg" name=" parameters : TypeReference" tooltipText="">
599 <target 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">
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"/>
548 </ownedStyle> 603 </ownedStyle>
549 <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']"/> 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']"/>
550 </ownedDiagramElements> 605 </ownedElements>
551 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_DZsx8EN4EeaLedz6YCMZEQ" name="[0..*] containmentFunctions" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> 606 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okYVwHt9EeeCn_RNMwgEBg" name=" annotations : RelationAnnotation" tooltipText="">
552 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> 607 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/>
553 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> 608 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Relation/annotations"/>
554 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_DZsx8UN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 609 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okYVwXt9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
555 <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"/> 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"/>
556 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_DZsx8kN4EeaLedz6YCMZEQ" showIcon="false">
557 <customFeatures>labelSize</customFeatures>
558 </centerLabelStyle>
559 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_DZsx80N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
560 <customFeatures>labelSize</customFeatures>
561 </endLabelStyle>
562 </ownedStyle> 611 </ownedStyle>
563 <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']"/> 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']"/>
564 </ownedDiagramElements> 613 </ownedElements>
565 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_GOFlIEN4EeaLedz6YCMZEQ" name="[0..*] containmentRelations" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> 614 </ownedDiagramElements>
566 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> 615 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_L8UvwEN3EeaLedz6YCMZEQ" name="[0..*] relations" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ">
567 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> 616 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/>
568 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_GOGMMEN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 617 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/>
569 <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"/> 618 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_L8VW0EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
570 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_GOGMMUN4EeaLedz6YCMZEQ" showIcon="false"> 619 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_L8VW0UN3EeaLedz6YCMZEQ" showIcon="false">
571 <customFeatures>labelSize</customFeatures> 620 <customFeatures>labelSize</customFeatures>
572 </centerLabelStyle> 621 </centerLabelStyle>
573 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_GOGMMkN4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> 622 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_L8VW0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
574 <customFeatures>labelSize</customFeatures> 623 <customFeatures>labelSize</customFeatures>
575 </endLabelStyle> 624 </endLabelStyle>
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']"/>
627 </ownedDiagramElements>
628 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_MhFCoEN3EeaLedz6YCMZEQ" name="Constant" tooltipText="" incomingEdges="_MhOMkEN3EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" width="12" height="10">
629 <target 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">
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>
634 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
635 <arrangeConstraints>KEEP_SIZE</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">
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"/>
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']"/>
642 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okY80Ht9EeeCn_RNMwgEBg" name=" type : TypeReference" tooltipText="">
643 <target 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">
646 <labelFormat>bold</labelFormat>
576 </ownedStyle> 647 </ownedStyle>
577 <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']"/> 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']"/>
578 </ownedDiagramElements> 649 </ownedElements>
579 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_KpR-EEN4EeaLedz6YCMZEQ" name="[0..1] rootConstant" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> 650 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_okZj4Xt9EeeCn_RNMwgEBg" name=" annotations : ConstantAnnotation" tooltipText="">
580 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> 651 <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/>
581 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> 652 <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Constant/annotations"/>
582 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_KpR-EUN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> 653 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_okaK8Ht9EeeCn_RNMwgEBg" labelAlignment="LEFT" color="114,159,207">
583 <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"/> 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"/>
584 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_KpR-EkN4EeaLedz6YCMZEQ" showIcon="false">
585 <customFeatures>labelSize</customFeatures>
586 </centerLabelStyle>
587 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_KpR-E0N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
588 <customFeatures>labelSize</customFeatures>
589 </endLabelStyle>
590 </ownedStyle> 655 </ownedStyle>
591 <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']"/> 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']"/>
592 </ownedDiagramElements> 657 </ownedElements>
593 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> 658 </ownedDiagramElements>
594 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_2bjV9UN2EeaLedz6YCMZEQ"/> 659 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_MhOMkEN3EeaLedz6YCMZEQ" name="[0..*] constants" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ">
595 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> 660 <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/>
596 <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']"/> 661 <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/>
597 <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']"/> 662 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MhOzoEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
598 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> 663 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MhOzoUN3EeaLedz6YCMZEQ" showIcon="false">
599 <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> 664 <customFeatures>labelSize</customFeatures>
600 </ownedRepresentations> 665 </centerLabelStyle>
601 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> 666 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MhOzokN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
602 </ownedViews> 667 <customFeatures>labelSize</customFeatures>
603 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1Xw9sEN2EeaLedz6YCMZEQ"> 668 </endLabelStyle>
604 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> 669 </ownedStyle>
605 </ownedViews> 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']"/>
606 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1X1PIEN2EeaLedz6YCMZEQ"> 671 </ownedDiagramElements>
607 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> 672 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_tFBO8EN3EeaLedz6YCMZEQ" name="ContainmentHierarchy" tooltipText="" outgoingEdges="_8k9uwEN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" incomingEdges="_3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10">
608 </ownedViews> 673 <target xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/>
609 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1X_nMEN2EeaLedz6YCMZEQ"> 674 <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/>
610 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> 675 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
611 </ownedViews> 676 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
612</viewpoint:DAnalysis> 677 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
678 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_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"/>
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']"/>
682 </ownedDiagramElements>
683 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3AVBgEN3EeaLedz6YCMZEQ" name="[0..*] containmentHierarchies" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_tFBO8EN3EeaLedz6YCMZEQ">
684 <target 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">
687 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_PachAUO6EeaLedz6YCMZEQ" showIcon="false"/>
688 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_PachAkO6EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>
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']"/>
691 </ownedDiagramElements>
692 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8k9uwEN3EeaLedz6YCMZEQ" name="[0..*] typesOrderedInHierarchy" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ">
693 <target 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">
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">
698 <customFeatures>labelSize</customFeatures>
699 </centerLabelStyle>
700 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_8k-V0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
701 <customFeatures>labelSize</customFeatures>
702 </endLabelStyle>
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']"/>
705 </ownedDiagramElements>
706 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_DZsx8EN4EeaLedz6YCMZEQ" name="[0..*] containmentFunctions" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ">
707 <target 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">
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">
712 <customFeatures>labelSize</customFeatures>
713 </centerLabelStyle>
714 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_DZsx80N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
715 <customFeatures>labelSize</customFeatures>
716 </endLabelStyle>
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']"/>
719 </ownedDiagramElements>
720 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_GOFlIEN4EeaLedz6YCMZEQ" name="[0..*] containmentRelations" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ">
721 <target 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">
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">
726 <customFeatures>labelSize</customFeatures>
727 </centerLabelStyle>
728 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_GOGMMkN4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
729 <customFeatures>labelSize</customFeatures>
730 </endLabelStyle>
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']"/>
733 </ownedDiagramElements>
734 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_KpR-EEN4EeaLedz6YCMZEQ" name="[0..1] rootConstant" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ">
735 <target 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">
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">
740 <customFeatures>labelSize</customFeatures>
741 </centerLabelStyle>
742 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_KpR-E0N4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114">
743 <customFeatures>labelSize</customFeatures>
744 </endLabelStyle>
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']"/>
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']"/>
749 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_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"/>
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']"/>
753 <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/>
754 <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/>
755 </diagram:DSemanticDiagram>
756</xmi:XMI>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-17 04:37:41 +0000