diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird | 612 |
1 files changed, 612 insertions, 0 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 new file mode 100644 index 00000000..23bef98c --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.aird | |||
@@ -0,0 +1,612 @@ | |||
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"> | ||
3 | <semanticResources>logicproblem.ecore</semanticResources> | ||
4 | <semanticResources>logiclanguage.ecore</semanticResources> | ||
5 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | ||
6 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1XkwcEN2EeaLedz6YCMZEQ"> | ||
7 | <ownedRepresentations xmi:type="diagram:DSemanticDiagram" xmi:id="_2bjV8EN2EeaLedz6YCMZEQ" name="logicproblem class diagram"> | ||
8 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2bjV8UN2EeaLedz6YCMZEQ" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
9 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_2bjV8kN2EeaLedz6YCMZEQ"> | ||
10 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
11 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
12 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_3OOwEUN2EeaLedz6YCMZEQ" showIcon="false" labelExpression="service:render"> | ||
13 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
14 | </centerLabelStyleDescription> | ||
15 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_3OOwEkN2EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
16 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
17 | </endLabelStyleDescription> | ||
18 | </computedStyleDescriptions> | ||
19 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_G7yOEEN3EeaLedz6YCMZEQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
20 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
21 | <labelFormat>bold</labelFormat> | ||
22 | <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']"/> | ||
24 | </computedStyleDescriptions> | ||
25 | </data> | ||
26 | </ownedAnnotationEntries> | ||
27 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_2btuAEN2EeaLedz6YCMZEQ" source="GMF_DIAGRAMS"> | ||
28 | <data xmi:type="notation:Diagram" xmi:id="_2btuAUN2EeaLedz6YCMZEQ" type="Sirius" element="_2bjV8EN2EeaLedz6YCMZEQ" measurementUnit="Pixel"> | ||
29 | <children xmi:type="notation:Node" xmi:id="_3OTokEN2EeaLedz6YCMZEQ" type="2003" element="_3N8cMEN2EeaLedz6YCMZEQ"> | ||
30 | <children xmi:type="notation:Node" xmi:id="_3OUPoEN2EeaLedz6YCMZEQ" type="5007"/> | ||
31 | <children xmi:type="notation:Node" xmi:id="_3OU2sEN2EeaLedz6YCMZEQ" type="7004"> | ||
32 | <styles xmi:type="notation:SortingStyle" xmi:id="_3OU2sUN2EeaLedz6YCMZEQ"/> | ||
33 | <styles xmi:type="notation:FilteringStyle" xmi:id="_3OU2skN2EeaLedz6YCMZEQ"/> | ||
34 | </children> | ||
35 | <styles xmi:type="notation:ShapeStyle" xmi:id="_3OTokUN2EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/> | ||
36 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OTokkN2EeaLedz6YCMZEQ" x="490" y="-115" height="40"/> | ||
37 | </children> | ||
38 | <children xmi:type="notation:Node" xmi:id="_G73toEN3EeaLedz6YCMZEQ" type="2003" element="_G7tVkEN3EeaLedz6YCMZEQ"> | ||
39 | <children xmi:type="notation:Node" xmi:id="_G73to0N3EeaLedz6YCMZEQ" type="5007"/> | ||
40 | <children xmi:type="notation:Node" xmi:id="_G73tpEN3EeaLedz6YCMZEQ" type="7004"> | ||
41 | <children xmi:type="notation:Node" xmi:id="_G74UsEN3EeaLedz6YCMZEQ" type="3010" element="_G7xnAEN3EeaLedz6YCMZEQ"> | ||
42 | <styles xmi:type="notation:FontStyle" xmi:id="_G74UsUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
43 | <layoutConstraint xmi:type="notation:Location" xmi:id="_G74UskN3EeaLedz6YCMZEQ"/> | ||
44 | </children> | ||
45 | <children xmi:type="notation:Node" xmi:id="_G747wEN3EeaLedz6YCMZEQ" type="3010" element="_G7y1IEN3EeaLedz6YCMZEQ"> | ||
46 | <styles xmi:type="notation:FontStyle" xmi:id="_G747wUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
47 | <layoutConstraint xmi:type="notation:Location" xmi:id="_G747wkN3EeaLedz6YCMZEQ"/> | ||
48 | </children> | ||
49 | <styles xmi:type="notation:SortingStyle" xmi:id="_G73tpUN3EeaLedz6YCMZEQ"/> | ||
50 | <styles xmi:type="notation:FilteringStyle" xmi:id="_G73tpkN3EeaLedz6YCMZEQ"/> | ||
51 | </children> | ||
52 | <styles xmi:type="notation:ShapeStyle" xmi:id="_G73toUN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
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> | ||
113 | <styles xmi:type="notation:DiagramStyle" xmi:id="_2btuAkN2EeaLedz6YCMZEQ"/> | ||
114 | <edges xmi:type="notation:Edge" xmi:id="_G747w0N3EeaLedz6YCMZEQ" type="4001" element="_G71RYEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> | ||
115 | <children xmi:type="notation:Node" xmi:id="_G75i0EN3EeaLedz6YCMZEQ" type="6001"> | ||
116 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i0UN3EeaLedz6YCMZEQ" x="-93" y="-10"/> | ||
117 | </children> | ||
118 | <children xmi:type="notation:Node" xmi:id="_G75i0kN3EeaLedz6YCMZEQ" type="6002"> | ||
119 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i00N3EeaLedz6YCMZEQ" x="1" y="-10"/> | ||
120 | </children> | ||
121 | <children xmi:type="notation:Node" xmi:id="_G75i1EN3EeaLedz6YCMZEQ" type="6003"> | ||
122 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i1UN3EeaLedz6YCMZEQ" x="9"/> | ||
123 | </children> | ||
124 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_G747xEN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
125 | <styles xmi:type="notation:FontStyle" xmi:id="_G747xUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
126 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_G747xkN3EeaLedz6YCMZEQ" points="[0, 0, 402, -187]$[-402, 0, 0, -187]$[-402, 89, 0, -98]"/> | ||
127 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i1kN3EeaLedz6YCMZEQ" id="(0.0,0.6829268292682927)"/> | ||
128 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G75i10N3EeaLedz6YCMZEQ" id="(0.5,1.380281690140845)"/> | ||
129 | </edges> | ||
130 | <edges xmi:type="notation:Edge" xmi:id="_G75i2EN3EeaLedz6YCMZEQ" type="4001" element="_G714cEN3EeaLedz6YCMZEQ" source="_G73toEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> | ||
131 | <children xmi:type="notation:Node" xmi:id="_G75i3EN3EeaLedz6YCMZEQ" type="6001"> | ||
132 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i3UN3EeaLedz6YCMZEQ" x="8" y="-5"/> | ||
133 | </children> | ||
134 | <children xmi:type="notation:Node" xmi:id="_G75i3kN3EeaLedz6YCMZEQ" type="6002"> | ||
135 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i30N3EeaLedz6YCMZEQ" x="-23" y="26"/> | ||
136 | </children> | ||
137 | <children xmi:type="notation:Node" xmi:id="_G75i4EN3EeaLedz6YCMZEQ" type="6003"> | ||
138 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_G75i4UN3EeaLedz6YCMZEQ" x="-35" y="14"/> | ||
139 | </children> | ||
140 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_G75i2UN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
141 | <styles xmi:type="notation:FontStyle" xmi:id="_G75i2kN3EeaLedz6YCMZEQ" fontName="Segoe UI" fontHeight="8"/> | ||
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]"/> | ||
143 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4EN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/> | ||
144 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_G76J4UN3EeaLedz6YCMZEQ" id="(0.5,0.6901408450704225)"/> | ||
145 | </edges> | ||
146 | <edges xmi:type="notation:Edge" xmi:id="_HiMGw0N3EeaLedz6YCMZEQ" type="4001" element="_HiJDcEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_HiLfsEN3EeaLedz6YCMZEQ"> | ||
147 | <children xmi:type="notation:Node" xmi:id="_HiMt0EN3EeaLedz6YCMZEQ" type="6001"> | ||
148 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt0UN3EeaLedz6YCMZEQ" x="-62" y="15"/> | ||
149 | </children> | ||
150 | <children xmi:type="notation:Node" xmi:id="_HiMt0kN3EeaLedz6YCMZEQ" type="6002"> | ||
151 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt00N3EeaLedz6YCMZEQ" x="7" y="-10"/> | ||
152 | </children> | ||
153 | <children xmi:type="notation:Node" xmi:id="_HiMt1EN3EeaLedz6YCMZEQ" type="6003"> | ||
154 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HiMt1UN3EeaLedz6YCMZEQ" x="-446" y="42"/> | ||
155 | </children> | ||
156 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_HiMGxEN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
157 | <styles xmi:type="notation:FontStyle" xmi:id="_HiMGxUN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
158 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HiMGxkN3EeaLedz6YCMZEQ" points="[-4, -1, 511, -99]$[-456, -1, 59, -99]"/> | ||
159 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4EN3EeaLedz6YCMZEQ" id="(0.041666666666666664,0.2682926829268293)"/> | ||
160 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HiNU4UN3EeaLedz6YCMZEQ" id="(0.5,3.161290322580645)"/> | ||
161 | </edges> | ||
162 | <edges xmi:type="notation:Edge" xmi:id="_IltZQEN3EeaLedz6YCMZEQ" type="4001" element="_Ilpu4EN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ"> | ||
163 | <children xmi:type="notation:Node" xmi:id="_IltZREN3EeaLedz6YCMZEQ" type="6001"> | ||
164 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZRUN3EeaLedz6YCMZEQ" x="140" y="-16"/> | ||
165 | </children> | ||
166 | <children xmi:type="notation:Node" xmi:id="_IltZRkN3EeaLedz6YCMZEQ" type="6002"> | ||
167 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZR0N3EeaLedz6YCMZEQ" x="15" y="40"/> | ||
168 | </children> | ||
169 | <children xmi:type="notation:Node" xmi:id="_IltZSEN3EeaLedz6YCMZEQ" type="6003"> | ||
170 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_IltZSUN3EeaLedz6YCMZEQ" x="-5" y="8"/> | ||
171 | </children> | ||
172 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_IltZQUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
173 | <styles xmi:type="notation:FontStyle" xmi:id="_IltZQkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
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]"/> | ||
175 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> | ||
176 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_IluAUUN3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> | ||
177 | </edges> | ||
178 | <edges xmi:type="notation:Edge" xmi:id="_LiNmoEN3EeaLedz6YCMZEQ" type="4001" element="_LiJVMEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_LiMYgEN3EeaLedz6YCMZEQ"> | ||
179 | <children xmi:type="notation:Node" xmi:id="_LiNmpEN3EeaLedz6YCMZEQ" type="6001"> | ||
180 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmpUN3EeaLedz6YCMZEQ" x="42" y="10"/> | ||
181 | </children> | ||
182 | <children xmi:type="notation:Node" xmi:id="_LiNmpkN3EeaLedz6YCMZEQ" type="6002"> | ||
183 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmp0N3EeaLedz6YCMZEQ" y="10"/> | ||
184 | </children> | ||
185 | <children xmi:type="notation:Node" xmi:id="_LiNmqEN3EeaLedz6YCMZEQ" type="6003"> | ||
186 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_LiNmqUN3EeaLedz6YCMZEQ" x="10"/> | ||
187 | </children> | ||
188 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_LiNmoUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
189 | <styles xmi:type="notation:FontStyle" xmi:id="_LiNmokN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
190 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_LiNmo0N3EeaLedz6YCMZEQ" points="[59, 55, -276, -223]$[335, 55, 0, -223]$[335, 180, 0, -98]"/> | ||
191 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> | ||
192 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LiONsUN3EeaLedz6YCMZEQ" id="(0.5,1.9215686274509804)"/> | ||
193 | </edges> | ||
194 | <edges xmi:type="notation:Edge" xmi:id="_L8aPUEN3EeaLedz6YCMZEQ" type="4001" element="_L8UvwEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ"> | ||
195 | <children xmi:type="notation:Node" xmi:id="_L8aPVEN3EeaLedz6YCMZEQ" type="6001"> | ||
196 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8aPVUN3EeaLedz6YCMZEQ" x="22" y="39"/> | ||
197 | </children> | ||
198 | <children xmi:type="notation:Node" xmi:id="_L8a2YEN3EeaLedz6YCMZEQ" type="6002"> | ||
199 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2YUN3EeaLedz6YCMZEQ" x="10"/> | ||
200 | </children> | ||
201 | <children xmi:type="notation:Node" xmi:id="_L8a2YkN3EeaLedz6YCMZEQ" type="6003"> | ||
202 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_L8a2Y0N3EeaLedz6YCMZEQ" x="10"/> | ||
203 | </children> | ||
204 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_L8aPUUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
205 | <styles xmi:type="notation:FontStyle" xmi:id="_L8aPUkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
206 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_L8aPU0N3EeaLedz6YCMZEQ" points="[0, 98, 0, -180]$[0, 278, 0, 0]"/> | ||
207 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZEN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> | ||
208 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_L8a2ZUN3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> | ||
209 | </edges> | ||
210 | <edges xmi:type="notation:Edge" xmi:id="_MhTsIEN3EeaLedz6YCMZEQ" type="4001" element="_MhOMkEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ"> | ||
211 | <children xmi:type="notation:Node" xmi:id="_MhTsJEN3EeaLedz6YCMZEQ" type="6001"> | ||
212 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJUN3EeaLedz6YCMZEQ" x="54" y="16"/> | ||
213 | </children> | ||
214 | <children xmi:type="notation:Node" xmi:id="_MhTsJkN3EeaLedz6YCMZEQ" type="6002"> | ||
215 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsJ0N3EeaLedz6YCMZEQ" x="18" y="-96"/> | ||
216 | </children> | ||
217 | <children xmi:type="notation:Node" xmi:id="_MhTsKEN3EeaLedz6YCMZEQ" type="6003"> | ||
218 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_MhTsKUN3EeaLedz6YCMZEQ" x="4" y="7"/> | ||
219 | </children> | ||
220 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_MhTsIUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
221 | <styles xmi:type="notation:FontStyle" xmi:id="_MhTsIkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
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]"/> | ||
223 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsKkN3EeaLedz6YCMZEQ" id="(0.5,-1.5789473684210527)"/> | ||
224 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_MhTsK0N3EeaLedz6YCMZEQ" id="(0.5,2.7222222222222223)"/> | ||
225 | </edges> | ||
226 | <edges xmi:type="notation:Edge" xmi:id="_3AjD8EN3EeaLedz6YCMZEQ" type="4001" element="_3AVBgEN3EeaLedz6YCMZEQ" source="_3OTokEN2EeaLedz6YCMZEQ" target="_tFNcMEN3EeaLedz6YCMZEQ"> | ||
227 | <children xmi:type="notation:Node" xmi:id="_3AjrAEN3EeaLedz6YCMZEQ" type="6001"> | ||
228 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrAUN3EeaLedz6YCMZEQ" y="-10"/> | ||
229 | </children> | ||
230 | <children xmi:type="notation:Node" xmi:id="_3AjrAkN3EeaLedz6YCMZEQ" type="6002"> | ||
231 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrA0N3EeaLedz6YCMZEQ" y="10"/> | ||
232 | </children> | ||
233 | <children xmi:type="notation:Node" xmi:id="_3AjrBEN3EeaLedz6YCMZEQ" type="6003"> | ||
234 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3AjrBUN3EeaLedz6YCMZEQ" x="-16" y="172"/> | ||
235 | </children> | ||
236 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_3AjD8UN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
237 | <styles xmi:type="notation:FontStyle" xmi:id="_3AjD8kN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
238 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_3AjD80N3EeaLedz6YCMZEQ" points="[0, -16, -387, -136]$[482, -16, 95, -136]$[482, 100, 95, -20]"/> | ||
239 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEEN3EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> | ||
240 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3AkSEUN3EeaLedz6YCMZEQ" id="(0.0,0.20408163265306123)"/> | ||
241 | </edges> | ||
242 | <edges xmi:type="notation:Edge" xmi:id="_8lKjEEN3EeaLedz6YCMZEQ" type="4001" element="_8k9uwEN3EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_G73toEN3EeaLedz6YCMZEQ"> | ||
243 | <children xmi:type="notation:Node" xmi:id="_8lKjFEN3EeaLedz6YCMZEQ" type="6001"> | ||
244 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lKjFUN3EeaLedz6YCMZEQ" y="10"/> | ||
245 | </children> | ||
246 | <children xmi:type="notation:Node" xmi:id="_8lLKIEN3EeaLedz6YCMZEQ" type="6002"> | ||
247 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKIUN3EeaLedz6YCMZEQ" x="91" y="10"/> | ||
248 | </children> | ||
249 | <children xmi:type="notation:Node" xmi:id="_8lLKIkN3EeaLedz6YCMZEQ" type="6003"> | ||
250 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8lLKI0N3EeaLedz6YCMZEQ" x="-134" y="10"/> | ||
251 | </children> | ||
252 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_8lKjEUN3EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
253 | <styles xmi:type="notation:FontStyle" xmi:id="_8lKjEkN3EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
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]"/> | ||
255 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJEN3EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/> | ||
256 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8lLKJUN3EeaLedz6YCMZEQ" id="(1.0,0.8450704225352113)"/> | ||
257 | </edges> | ||
258 | <edges xmi:type="notation:Edge" xmi:id="_DZ3xEEN4EeaLedz6YCMZEQ" type="4001" element="_DZsx8EN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_IlsLIEN3EeaLedz6YCMZEQ"> | ||
259 | <children xmi:type="notation:Node" xmi:id="_DZ4YIEN4EeaLedz6YCMZEQ" type="6001"> | ||
260 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YIUN4EeaLedz6YCMZEQ" x="227" y="-9"/> | ||
261 | </children> | ||
262 | <children xmi:type="notation:Node" xmi:id="_DZ4YIkN4EeaLedz6YCMZEQ" type="6002"> | ||
263 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YI0N4EeaLedz6YCMZEQ" x="-10" y="10"/> | ||
264 | </children> | ||
265 | <children xmi:type="notation:Node" xmi:id="_DZ4YJEN4EeaLedz6YCMZEQ" type="6003"> | ||
266 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DZ4YJUN4EeaLedz6YCMZEQ" x="-107" y="10"/> | ||
267 | </children> | ||
268 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_DZ3xEUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
269 | <styles xmi:type="notation:FontStyle" xmi:id="_DZ3xEkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
270 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DZ3xE0N4EeaLedz6YCMZEQ" points="[0, 12, 573, 66]$[-631, 12, -58, 66]$[-631, -46, -58, 8]"/> | ||
271 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJkN4EeaLedz6YCMZEQ" id="(0.0,0.8673469387755102)"/> | ||
272 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DZ4YJ0N4EeaLedz6YCMZEQ" id="(1.0,0.7948717948717948)"/> | ||
273 | </edges> | ||
274 | <edges xmi:type="notation:Edge" xmi:id="_GOVcwEN4EeaLedz6YCMZEQ" type="4001" element="_GOFlIEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_L8ZBMEN3EeaLedz6YCMZEQ"> | ||
275 | <children xmi:type="notation:Node" xmi:id="_GOVcxEN4EeaLedz6YCMZEQ" type="6001"> | ||
276 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcxUN4EeaLedz6YCMZEQ" x="95" y="-11"/> | ||
277 | </children> | ||
278 | <children xmi:type="notation:Node" xmi:id="_GOVcxkN4EeaLedz6YCMZEQ" type="6002"> | ||
279 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcx0N4EeaLedz6YCMZEQ" x="-7" y="10"/> | ||
280 | </children> | ||
281 | <children xmi:type="notation:Node" xmi:id="_GOVcyEN4EeaLedz6YCMZEQ" type="6003"> | ||
282 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GOVcyUN4EeaLedz6YCMZEQ" x="-87" y="10"/> | ||
283 | </children> | ||
284 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_GOVcwUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
285 | <styles xmi:type="notation:FontStyle" xmi:id="_GOVcwkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
286 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_GOVcw0N4EeaLedz6YCMZEQ" points="[0, 10, 387, 55]$[-445, 10, -58, 55]$[-445, -26, -58, 19]"/> | ||
287 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0EN4EeaLedz6YCMZEQ" id="(0.0,0.6632653061224489)"/> | ||
288 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GOWD0UN4EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> | ||
289 | </edges> | ||
290 | <edges xmi:type="notation:Edge" xmi:id="_KpeLUEN4EeaLedz6YCMZEQ" type="4001" element="_KpR-EEN4EeaLedz6YCMZEQ" source="_tFNcMEN3EeaLedz6YCMZEQ" target="_MhSeAEN3EeaLedz6YCMZEQ"> | ||
291 | <children xmi:type="notation:Node" xmi:id="_KpeLVEN4EeaLedz6YCMZEQ" type="6001"> | ||
292 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLVUN4EeaLedz6YCMZEQ" x="-14" y="-11"/> | ||
293 | </children> | ||
294 | <children xmi:type="notation:Node" xmi:id="_KpeLVkN4EeaLedz6YCMZEQ" type="6002"> | ||
295 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLV0N4EeaLedz6YCMZEQ" x="-7" y="10"/> | ||
296 | </children> | ||
297 | <children xmi:type="notation:Node" xmi:id="_KpeLWEN4EeaLedz6YCMZEQ" type="6003"> | ||
298 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KpeLWUN4EeaLedz6YCMZEQ" x="-67" y="10"/> | ||
299 | </children> | ||
300 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_KpeLUUN4EeaLedz6YCMZEQ" routing="Rectilinear"/> | ||
301 | <styles xmi:type="notation:FontStyle" xmi:id="_KpeLUkN4EeaLedz6YCMZEQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
302 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_KpeLU0N4EeaLedz6YCMZEQ" points="[0, 6, 207, 35]$[-265, 6, -58, 35]$[-265, -10, -58, 19]"/> | ||
303 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeLWkN4EeaLedz6YCMZEQ" id="(0.0,0.5)"/> | ||
304 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_KpeyYEN4EeaLedz6YCMZEQ" id="(1.0,0.5128205128205128)"/> | ||
305 | </edges> | ||
306 | </data> | ||
307 | </ownedAnnotationEntries> | ||
308 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_3N8cMEN2EeaLedz6YCMZEQ" name="LogicProblem" tooltipText="" outgoingEdges="_G71RYEN3EeaLedz6YCMZEQ _HiJDcEN3EeaLedz6YCMZEQ _Ilpu4EN3EeaLedz6YCMZEQ _LiJVMEN3EeaLedz6YCMZEQ _L8UvwEN3EeaLedz6YCMZEQ _MhOMkEN3EeaLedz6YCMZEQ _3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> | ||
309 | <target xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> | ||
310 | <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//LogicProblem"/> | ||
311 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
312 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
313 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
314 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_3N-4cEN2EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
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"/> | ||
316 | </ownedStyle> | ||
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']"/> | ||
318 | </ownedDiagramElements> | ||
319 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_G7tVkEN3EeaLedz6YCMZEQ" name="Type" tooltipText="" outgoingEdges="_G714cEN3EeaLedz6YCMZEQ" incomingEdges="_G71RYEN3EeaLedz6YCMZEQ _G714cEN3EeaLedz6YCMZEQ _8k9uwEN3EeaLedz6YCMZEQ" width="12" height="10"> | ||
320 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> | ||
321 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Type"/> | ||
322 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_G7zcMEN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
324 | </decorations> | ||
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"> | ||
326 | <labelFormat>italic</labelFormat> | ||
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"/> | ||
328 | </ownedStyle> | ||
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']"/> | ||
330 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7xnAEN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> | ||
331 | <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> | ||
332 | <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/name"/> | ||
333 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7yOEUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> | ||
334 | <labelFormat>bold</labelFormat> | ||
335 | </ownedStyle> | ||
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']"/> | ||
337 | </ownedElements> | ||
338 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_G7y1IEN3EeaLedz6YCMZEQ" name="isAbstract : EBoolean = false" tooltipText=""> | ||
339 | <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> | ||
340 | <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Type/isAbstract"/> | ||
341 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_G7y1IUN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> | ||
342 | <labelFormat>bold</labelFormat> | ||
343 | </ownedStyle> | ||
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']"/> | ||
345 | </ownedElements> | ||
346 | </ownedDiagramElements> | ||
347 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G71RYEN3EeaLedz6YCMZEQ" name="[0..*] types" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> | ||
348 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> | ||
349 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/types"/> | ||
350 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G71RYUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
351 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_G71RYkN3EeaLedz6YCMZEQ" showIcon="false"> | ||
352 | <customFeatures>labelSize</customFeatures> | ||
353 | </centerLabelStyle> | ||
354 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G71RY0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
355 | <customFeatures>labelSize</customFeatures> | ||
356 | </endLabelStyle> | ||
357 | </ownedStyle> | ||
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']"/> | ||
359 | </ownedDiagramElements> | ||
360 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_G714cEN3EeaLedz6YCMZEQ" sourceNode="_G7tVkEN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ" beginLabel="[0..*] supertypes" endLabel="[0..*] subtypes"> | ||
361 | <target xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> | ||
362 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/subtypes"/> | ||
363 | <semanticElements xmi:type="ecore:EReference" href="logiclanguage.ecore#//Type/supertypes"/> | ||
364 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_G714cUN3EeaLedz6YCMZEQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | ||
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"/> | ||
366 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_G714ckN3EeaLedz6YCMZEQ" showIcon="false"/> | ||
367 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_G714c0N3EeaLedz6YCMZEQ" showIcon="false"/> | ||
368 | </ownedStyle> | ||
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']"/> | ||
370 | </ownedDiagramElements> | ||
371 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_HiAgkEN3EeaLedz6YCMZEQ" name="DefinedElement" tooltipText="" incomingEdges="_HiJDcEN3EeaLedz6YCMZEQ" width="12" height="10"> | ||
372 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> | ||
373 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//DefinedElement"/> | ||
374 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_HiHOQEN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
376 | </decorations> | ||
377 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
378 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
379 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
380 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_HiAgkUN3EeaLedz6YCMZEQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
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"/> | ||
382 | </ownedStyle> | ||
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']"/> | ||
384 | </ownedDiagramElements> | ||
385 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HiJDcEN3EeaLedz6YCMZEQ" name="[0..*] elements" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_HiAgkEN3EeaLedz6YCMZEQ"> | ||
386 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> | ||
387 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/elements"/> | ||
388 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_HiJqgEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
389 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_HiJqgUN3EeaLedz6YCMZEQ" showIcon="false"> | ||
390 | <customFeatures>labelSize</customFeatures> | ||
391 | </centerLabelStyle> | ||
392 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_HiJqgkN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
393 | <customFeatures>labelSize</customFeatures> | ||
394 | </endLabelStyle> | ||
395 | </ownedStyle> | ||
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']"/> | ||
397 | </ownedDiagramElements> | ||
398 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_IljoQEN3EeaLedz6YCMZEQ" name="Function" tooltipText="" incomingEdges="_Ilpu4EN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ" width="12" height="10"> | ||
399 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> | ||
400 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Function"/> | ||
401 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_IlogwEN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
403 | </decorations> | ||
404 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
405 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
406 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
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"> | ||
408 | <labelFormat>italic</labelFormat> | ||
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"/> | ||
410 | </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']"/> | ||
412 | </ownedDiagramElements> | ||
413 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Ilpu4EN3EeaLedz6YCMZEQ" name="[0..*] functions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> | ||
414 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> | ||
415 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/functions"/> | ||
416 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_IlqV8EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
417 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_IlqV8UN3EeaLedz6YCMZEQ" showIcon="false"> | ||
418 | <customFeatures>labelSize</customFeatures> | ||
419 | </centerLabelStyle> | ||
420 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_IlqV8kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
421 | <customFeatures>labelSize</customFeatures> | ||
422 | </endLabelStyle> | ||
423 | </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']"/> | ||
425 | </ownedDiagramElements> | ||
426 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_LiCAcEN3EeaLedz6YCMZEQ" name="Assertion" tooltipText="" incomingEdges="_LiJVMEN3EeaLedz6YCMZEQ" width="12" height="10"> | ||
427 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> | ||
428 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Assertion"/> | ||
429 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_LiG48EN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
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> | ||
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']"/> | ||
439 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LiGR4EN3EeaLedz6YCMZEQ" name="name : EString" tooltipText=""> | ||
440 | <target xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> | ||
441 | <semanticElements xmi:type="ecore:EAttribute" href="logiclanguage.ecore#//Assertion/name"/> | ||
442 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LiGR4UN3EeaLedz6YCMZEQ" labelAlignment="LEFT" description="_G7yOEEN3EeaLedz6YCMZEQ"> | ||
443 | <labelFormat>bold</labelFormat> | ||
444 | </ownedStyle> | ||
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']"/> | ||
446 | </ownedElements> | ||
447 | </ownedDiagramElements> | ||
448 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_LiJVMEN3EeaLedz6YCMZEQ" name="[0..*] assertions" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_LiCAcEN3EeaLedz6YCMZEQ"> | ||
449 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> | ||
450 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/assertions"/> | ||
451 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_LiJVMUN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
452 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_LiJVMkN3EeaLedz6YCMZEQ" showIcon="false"> | ||
453 | <customFeatures>labelSize</customFeatures> | ||
454 | </centerLabelStyle> | ||
455 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_LiJVM0N3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
456 | <customFeatures>labelSize</customFeatures> | ||
457 | </endLabelStyle> | ||
458 | </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']"/> | ||
460 | </ownedDiagramElements> | ||
461 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_L8KXsEN3EeaLedz6YCMZEQ" name="Relation" tooltipText="" incomingEdges="_L8UvwEN3EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ" width="12" height="10"> | ||
462 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> | ||
463 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Relation"/> | ||
464 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_L8RscEN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
466 | </decorations> | ||
467 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
468 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
469 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
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"> | ||
471 | <labelFormat>italic</labelFormat> | ||
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"/> | ||
473 | </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']"/> | ||
475 | </ownedDiagramElements> | ||
476 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_L8UvwEN3EeaLedz6YCMZEQ" name="[0..*] relations" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> | ||
477 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> | ||
478 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/relations"/> | ||
479 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_L8VW0EN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
480 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_L8VW0UN3EeaLedz6YCMZEQ" showIcon="false"> | ||
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> | ||
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']"/> | ||
488 | </ownedDiagramElements> | ||
489 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_MhFCoEN3EeaLedz6YCMZEQ" name="Constant" tooltipText="" incomingEdges="_MhOMkEN3EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" width="12" height="10"> | ||
490 | <target xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> | ||
491 | <semanticElements xmi:type="ecore:EClass" href="logiclanguage.ecore#//Constant"/> | ||
492 | <decorations xmi:type="viewpoint:Decoration" xmi:id="_MhKiMEN3EeaLedz6YCMZEQ"> | ||
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']"/> | ||
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> | ||
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']"/> | ||
503 | </ownedDiagramElements> | ||
504 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_MhOMkEN3EeaLedz6YCMZEQ" name="[0..*] constants" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> | ||
505 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> | ||
506 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/constants"/> | ||
507 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MhOzoEN3EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
508 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MhOzoUN3EeaLedz6YCMZEQ" showIcon="false"> | ||
509 | <customFeatures>labelSize</customFeatures> | ||
510 | </centerLabelStyle> | ||
511 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MhOzokN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
512 | <customFeatures>labelSize</customFeatures> | ||
513 | </endLabelStyle> | ||
514 | </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']"/> | ||
516 | </ownedDiagramElements> | ||
517 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_tFBO8EN3EeaLedz6YCMZEQ" name="ContainmentHierarchy" tooltipText="" outgoingEdges="_8k9uwEN3EeaLedz6YCMZEQ _DZsx8EN4EeaLedz6YCMZEQ _GOFlIEN4EeaLedz6YCMZEQ _KpR-EEN4EeaLedz6YCMZEQ" incomingEdges="_3AVBgEN3EeaLedz6YCMZEQ" width="12" height="10"> | ||
518 | <target xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> | ||
519 | <semanticElements xmi:type="ecore:EClass" href="logicproblem.ecore#//ContainmentHierarchy"/> | ||
520 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
521 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
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> | ||
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']"/> | ||
527 | </ownedDiagramElements> | ||
528 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3AVBgEN3EeaLedz6YCMZEQ" name="[0..*] containmentHierarchies" sourceNode="_3N8cMEN2EeaLedz6YCMZEQ" targetNode="_tFBO8EN3EeaLedz6YCMZEQ"> | ||
529 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
530 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
531 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_PachAEO6EeaLedz6YCMZEQ" description="_3OOwEEN2EeaLedz6YCMZEQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
532 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_PachAUO6EeaLedz6YCMZEQ" showIcon="false"/> | ||
533 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_PachAkO6EeaLedz6YCMZEQ" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
534 | </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']"/> | ||
536 | </ownedDiagramElements> | ||
537 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8k9uwEN3EeaLedz6YCMZEQ" name="[0..*] typesOrderedInHierarchy" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_G7tVkEN3EeaLedz6YCMZEQ"> | ||
538 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> | ||
539 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> | ||
540 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_8k-V0EN3EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
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"/> | ||
542 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_8k-V0UN3EeaLedz6YCMZEQ" showIcon="false"> | ||
543 | <customFeatures>labelSize</customFeatures> | ||
544 | </centerLabelStyle> | ||
545 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_8k-V0kN3EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
546 | <customFeatures>labelSize</customFeatures> | ||
547 | </endLabelStyle> | ||
548 | </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']"/> | ||
550 | </ownedDiagramElements> | ||
551 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_DZsx8EN4EeaLedz6YCMZEQ" name="[0..*] containmentFunctions" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_IljoQEN3EeaLedz6YCMZEQ"> | ||
552 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> | ||
553 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> | ||
554 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_DZsx8UN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
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"/> | ||
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> | ||
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']"/> | ||
564 | </ownedDiagramElements> | ||
565 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_GOFlIEN4EeaLedz6YCMZEQ" name="[0..*] containmentRelations" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_L8KXsEN3EeaLedz6YCMZEQ"> | ||
566 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> | ||
567 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> | ||
568 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_GOGMMEN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
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"/> | ||
570 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_GOGMMUN4EeaLedz6YCMZEQ" showIcon="false"> | ||
571 | <customFeatures>labelSize</customFeatures> | ||
572 | </centerLabelStyle> | ||
573 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_GOGMMkN4EeaLedz6YCMZEQ" showIcon="false" labelColor="39,76,114"> | ||
574 | <customFeatures>labelSize</customFeatures> | ||
575 | </endLabelStyle> | ||
576 | </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']"/> | ||
578 | </ownedDiagramElements> | ||
579 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_KpR-EEN4EeaLedz6YCMZEQ" name="[0..1] rootConstant" sourceNode="_tFBO8EN3EeaLedz6YCMZEQ" targetNode="_MhFCoEN3EeaLedz6YCMZEQ"> | ||
580 | <target xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> | ||
581 | <semanticElements xmi:type="ecore:EReference" href="logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> | ||
582 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_KpR-EUN4EeaLedz6YCMZEQ" routingStyle="manhattan" strokeColor="0,0,0"> | ||
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"/> | ||
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> | ||
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']"/> | ||
592 | </ownedDiagramElements> | ||
593 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
594 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_2bjV9UN2EeaLedz6YCMZEQ"/> | ||
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"/> | ||
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']"/> | ||
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']"/> | ||
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']"/> | ||
599 | <target xmi:type="ecore:EPackage" href="logicproblem.ecore#/"/> | ||
600 | </ownedRepresentations> | ||
601 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
602 | </ownedViews> | ||
603 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1Xw9sEN2EeaLedz6YCMZEQ"> | ||
604 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
605 | </ownedViews> | ||
606 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1X1PIEN2EeaLedz6YCMZEQ"> | ||
607 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
608 | </ownedViews> | ||
609 | <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_1X_nMEN2EeaLedz6YCMZEQ"> | ||
610 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
611 | </ownedViews> | ||
612 | </viewpoint:DAnalysis> | ||