aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 19:05:05 +0200
commit60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch)
tree5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird
parentInitial commit, migrating from SVN (diff)
downloadVIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst
VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip
Migrating Additional projects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird740
1 files changed, 740 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird
new file mode 100644
index 00000000..b088b72f
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicresult.aird
@@ -0,0 +1,740 @@
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="_VnNagGCHEeWg-_mfCA72gg" selectedViews="_VqeJ4GCHEeWg-_mfCA72gg _Vqv2sGCHEeWg-_mfCA72gg _VrDYsGCHEeWg-_mfCA72gg _VrW6sGCHEeWg-_mfCA72gg" version="10.1.0.201509162000">
3 <semanticResources>logicresult.ecore</semanticResources>
4 <semanticResources>logicproblem.ecore</semanticResources>
5 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>
6 <semanticResources>logiclanguage.ecore</semanticResources>
7 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_VqeJ4GCHEeWg-_mfCA72gg">
8 <ownedRepresentations xmi:type="diagram:DSemanticDiagram" xmi:id="_X4aoIGCHEeWg-_mfCA72gg" name="logicresult class diagram">
9 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_X4aoIWCHEeWg-_mfCA72gg" source="DANNOTATION_CUSTOMIZATION_KEY">
10 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_X4aoImCHEeWg-_mfCA72gg">
11 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_YumpQGCHEeWg-_mfCA72gg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
12 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
13 <labelFormat>bold</labelFormat>
14 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
15 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
16 </computedStyleDescriptions>
17 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_YuzdkGCHEeWg-_mfCA72gg" sourceArrow="FillDiamond" routingStyle="manhattan">
18 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
19 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_YuzdkWCHEeWg-_mfCA72gg" showIcon="false" labelExpression="service:render">
20 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
21 </centerLabelStyleDescription>
22 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_YuzdkmCHEeWg-_mfCA72gg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
23 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
24 </endLabelStyleDescription>
25 </computedStyleDescriptions>
26 </data>
27 </ownedAnnotationEntries>
28 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_X4bPMGCHEeWg-_mfCA72gg" source="GMF_DIAGRAMS">
29 <data xmi:type="notation:Diagram" xmi:id="_X4bPMWCHEeWg-_mfCA72gg" type="Sirius" element="_X4aoIGCHEeWg-_mfCA72gg" measurementUnit="Pixel">
30 <children xmi:type="notation:Node" xmi:id="_Yu91oGCHEeWg-_mfCA72gg" type="2003" element="_YuQD8GCHEeWg-_mfCA72gg">
31 <children xmi:type="notation:Node" xmi:id="_Yu-csGCHEeWg-_mfCA72gg" type="5007"/>
32 <children xmi:type="notation:Node" xmi:id="_Yu-csWCHEeWg-_mfCA72gg" type="7004">
33 <children xmi:type="notation:Node" xmi:id="_YvG_lGCHEeWg-_mfCA72gg" type="3010" element="_Yuk0EGCHEeWg-_mfCA72gg">
34 <styles xmi:type="notation:FontStyle" xmi:id="_YvG_lWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
35 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvG_lmCHEeWg-_mfCA72gg"/>
36 </children>
37 <children xmi:type="notation:Node" xmi:id="_YvHmoGCHEeWg-_mfCA72gg" type="3010" element="_YumCMGCHEeWg-_mfCA72gg">
38 <styles xmi:type="notation:FontStyle" xmi:id="_YvHmoWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
39 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvHmomCHEeWg-_mfCA72gg"/>
40 </children>
41 <styles xmi:type="notation:SortingStyle" xmi:id="_Yu-csmCHEeWg-_mfCA72gg"/>
42 <styles xmi:type="notation:FilteringStyle" xmi:id="_Yu-cs2CHEeWg-_mfCA72gg"/>
43 </children>
44 <styles xmi:type="notation:ShapeStyle" xmi:id="_Yu91oWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" italic="true"/>
45 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Yu91omCHEeWg-_mfCA72gg" x="205" y="320"/>
46 </children>
47 <children xmi:type="notation:Node" xmi:id="_Yu-ctGCHEeWg-_mfCA72gg" type="2003" element="_YuRSEGCHEeWg-_mfCA72gg">
48 <children xmi:type="notation:Node" xmi:id="_Yu_DwGCHEeWg-_mfCA72gg" type="5007"/>
49 <children xmi:type="notation:Node" xmi:id="_Yu_DwWCHEeWg-_mfCA72gg" type="7004">
50 <children xmi:type="notation:Node" xmi:id="_YvINsGCHEeWg-_mfCA72gg" type="3010" element="_YunQUGCHEeWg-_mfCA72gg">
51 <styles xmi:type="notation:FontStyle" xmi:id="_YvINsWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
52 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvINsmCHEeWg-_mfCA72gg"/>
53 </children>
54 <children xmi:type="notation:Node" xmi:id="_YvINs2CHEeWg-_mfCA72gg" type="3010" element="_YuoecWCHEeWg-_mfCA72gg">
55 <styles xmi:type="notation:FontStyle" xmi:id="_YvINtGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
56 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvINtWCHEeWg-_mfCA72gg"/>
57 </children>
58 <styles xmi:type="notation:SortingStyle" xmi:id="_Yu_DwmCHEeWg-_mfCA72gg"/>
59 <styles xmi:type="notation:FilteringStyle" xmi:id="_Yu_Dw2CHEeWg-_mfCA72gg"/>
60 </children>
61 <styles xmi:type="notation:ShapeStyle" xmi:id="_Yu-ctWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
62 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Yu-ctmCHEeWg-_mfCA72gg" x="40" y="480"/>
63 </children>
64 <children xmi:type="notation:Node" xmi:id="_Yu_DxGCHEeWg-_mfCA72gg" type="2003" element="_YuR5IWCHEeWg-_mfCA72gg">
65 <children xmi:type="notation:Node" xmi:id="_Yu_q0GCHEeWg-_mfCA72gg" type="5007"/>
66 <children xmi:type="notation:Node" xmi:id="_Yu_q0WCHEeWg-_mfCA72gg" type="7004">
67 <styles xmi:type="notation:SortingStyle" xmi:id="_Yu_q0mCHEeWg-_mfCA72gg"/>
68 <styles xmi:type="notation:FilteringStyle" xmi:id="_Yu_q02CHEeWg-_mfCA72gg"/>
69 </children>
70 <styles xmi:type="notation:ShapeStyle" xmi:id="_Yu_DxWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
71 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Yu_DxmCHEeWg-_mfCA72gg" x="415" y="480"/>
72 </children>
73 <children xmi:type="notation:Node" xmi:id="_YvAR4GCHEeWg-_mfCA72gg" type="2003" element="_YuSgMWCHEeWg-_mfCA72gg">
74 <children xmi:type="notation:Node" xmi:id="_YvAR42CHEeWg-_mfCA72gg" type="5007"/>
75 <children xmi:type="notation:Node" xmi:id="_YvAR5GCHEeWg-_mfCA72gg" type="7004">
76 <styles xmi:type="notation:SortingStyle" xmi:id="_YvAR5WCHEeWg-_mfCA72gg"/>
77 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvAR5mCHEeWg-_mfCA72gg"/>
78 </children>
79 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvAR4WCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" italic="true"/>
80 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvAR4mCHEeWg-_mfCA72gg" x="235" y="480"/>
81 </children>
82 <children xmi:type="notation:Node" xmi:id="_YvA48GCHEeWg-_mfCA72gg" type="2003" element="_YuTHQWCHEeWg-_mfCA72gg">
83 <children xmi:type="notation:Node" xmi:id="_YvA482CHEeWg-_mfCA72gg" type="5007"/>
84 <children xmi:type="notation:Node" xmi:id="_YvBgAGCHEeWg-_mfCA72gg" type="7004">
85 <children xmi:type="notation:Node" xmi:id="_YvI0wGCHEeWg-_mfCA72gg" type="3010" element="_YupskGCHEeWg-_mfCA72gg">
86 <styles xmi:type="notation:FontStyle" xmi:id="_YvI0wWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
87 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvI0wmCHEeWg-_mfCA72gg"/>
88 </children>
89 <styles xmi:type="notation:SortingStyle" xmi:id="_YvBgAWCHEeWg-_mfCA72gg"/>
90 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvBgAmCHEeWg-_mfCA72gg"/>
91 </children>
92 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvA48WCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
93 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvA48mCHEeWg-_mfCA72gg" x="15" y="640"/>
94 </children>
95 <children xmi:type="notation:Node" xmi:id="_YvBgA2CHEeWg-_mfCA72gg" type="2003" element="_YuUVYGCHEeWg-_mfCA72gg">
96 <children xmi:type="notation:Node" xmi:id="_YvCHEGCHEeWg-_mfCA72gg" type="5007"/>
97 <children xmi:type="notation:Node" xmi:id="_YvCHEWCHEeWg-_mfCA72gg" type="7004">
98 <children xmi:type="notation:Node" xmi:id="_YvI0w2CHEeWg-_mfCA72gg" type="3010" element="_Yuq6sGCHEeWg-_mfCA72gg">
99 <styles xmi:type="notation:FontStyle" xmi:id="_YvI0xGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
100 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvI0xWCHEeWg-_mfCA72gg"/>
101 </children>
102 <styles xmi:type="notation:SortingStyle" xmi:id="_YvCHEmCHEeWg-_mfCA72gg"/>
103 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvCHE2CHEeWg-_mfCA72gg"/>
104 </children>
105 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvBgBGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
106 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvBgBWCHEeWg-_mfCA72gg" x="415" y="640"/>
107 </children>
108 <children xmi:type="notation:Node" xmi:id="_YvCHFGCHEeWg-_mfCA72gg" type="2003" element="_YuVjgGCHEeWg-_mfCA72gg">
109 <children xmi:type="notation:Node" xmi:id="_YvCHF2CHEeWg-_mfCA72gg" type="5007"/>
110 <children xmi:type="notation:Node" xmi:id="_YvCuIGCHEeWg-_mfCA72gg" type="7004">
111 <children xmi:type="notation:Node" xmi:id="_YvJb0GCHEeWg-_mfCA72gg" type="3010" element="_YusI0GCHEeWg-_mfCA72gg">
112 <styles xmi:type="notation:FontStyle" xmi:id="_YvJb0WCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
113 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvJb0mCHEeWg-_mfCA72gg"/>
114 </children>
115 <children xmi:type="notation:Node" xmi:id="_YvJb02CHEeWg-_mfCA72gg" type="3010" element="_Yusv4WCHEeWg-_mfCA72gg">
116 <styles xmi:type="notation:FontStyle" xmi:id="_YvJb1GCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
117 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvJb1WCHEeWg-_mfCA72gg"/>
118 </children>
119 <children xmi:type="notation:Node" xmi:id="_YvKC4GCHEeWg-_mfCA72gg" type="3010" element="_YutW8WCHEeWg-_mfCA72gg">
120 <styles xmi:type="notation:FontStyle" xmi:id="_YvKC4WCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
121 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvKC4mCHEeWg-_mfCA72gg"/>
122 </children>
123 <styles xmi:type="notation:SortingStyle" xmi:id="_YvCuIWCHEeWg-_mfCA72gg"/>
124 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvCuImCHEeWg-_mfCA72gg"/>
125 </children>
126 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvCHFWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
127 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvCHFmCHEeWg-_mfCA72gg" x="648" y="320"/>
128 </children>
129 <children xmi:type="notation:Node" xmi:id="_YvCuI2CHEeWg-_mfCA72gg" type="2003" element="_YuWxoGCHEeWg-_mfCA72gg">
130 <children xmi:type="notation:Node" xmi:id="_YvD8QGCHEeWg-_mfCA72gg" type="5007"/>
131 <children xmi:type="notation:Node" xmi:id="_YvEjUGCHEeWg-_mfCA72gg" type="7004">
132 <children xmi:type="notation:Node" xmi:id="_YvKC42CHEeWg-_mfCA72gg" type="3010" element="_YuulEGCHEeWg-_mfCA72gg">
133 <styles xmi:type="notation:FontStyle" xmi:id="_YvKC5GCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
134 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvKC5WCHEeWg-_mfCA72gg"/>
135 </children>
136 <styles xmi:type="notation:SortingStyle" xmi:id="_YvEjUWCHEeWg-_mfCA72gg"/>
137 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvEjUmCHEeWg-_mfCA72gg"/>
138 </children>
139 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvCuJGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" italic="true"/>
140 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvCuJWCHEeWg-_mfCA72gg" x="715" y="470"/>
141 </children>
142 <children xmi:type="notation:Node" xmi:id="_YvEjU2CHEeWg-_mfCA72gg" type="2003" element="_YuX_wGCHEeWg-_mfCA72gg">
143 <children xmi:type="notation:Node" xmi:id="_YvFKYGCHEeWg-_mfCA72gg" type="5007"/>
144 <children xmi:type="notation:Node" xmi:id="_YvFKYWCHEeWg-_mfCA72gg" type="7004">
145 <styles xmi:type="notation:SortingStyle" xmi:id="_YvFKYmCHEeWg-_mfCA72gg"/>
146 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvFKY2CHEeWg-_mfCA72gg"/>
147 </children>
148 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvEjVGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
149 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvEjVWCHEeWg-_mfCA72gg" x="235" y="640"/>
150 </children>
151 <children xmi:type="notation:Node" xmi:id="_YvFxcGCHEeWg-_mfCA72gg" type="2003" element="_YuZN4GCHEeWg-_mfCA72gg">
152 <children xmi:type="notation:Node" xmi:id="_YvFxc2CHEeWg-_mfCA72gg" type="5007"/>
153 <children xmi:type="notation:Node" xmi:id="_YvGYgGCHEeWg-_mfCA72gg" type="7004">
154 <children xmi:type="notation:Node" xmi:id="_YvKp8GCHEeWg-_mfCA72gg" type="3010" element="_YuvzMGCHEeWg-_mfCA72gg">
155 <styles xmi:type="notation:FontStyle" xmi:id="_YvKp8WCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
156 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvKp8mCHEeWg-_mfCA72gg"/>
157 </children>
158 <styles xmi:type="notation:SortingStyle" xmi:id="_YvGYgWCHEeWg-_mfCA72gg"/>
159 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvGYgmCHEeWg-_mfCA72gg"/>
160 </children>
161 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvFxcWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
162 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvFxcmCHEeWg-_mfCA72gg" x="755" y="630"/>
163 </children>
164 <children xmi:type="notation:Node" xmi:id="_YvGYg2CHEeWg-_mfCA72gg" type="2003" element="_YuacAGCHEeWg-_mfCA72gg">
165 <children xmi:type="notation:Node" xmi:id="_YvG_kGCHEeWg-_mfCA72gg" type="5007"/>
166 <children xmi:type="notation:Node" xmi:id="_YvG_kWCHEeWg-_mfCA72gg" type="7004">
167 <children xmi:type="notation:Node" xmi:id="_YvLRAGCHEeWg-_mfCA72gg" type="3010" element="_YuwaQGCHEeWg-_mfCA72gg">
168 <styles xmi:type="notation:FontStyle" xmi:id="_YvLRAWCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8" bold="true"/>
169 <layoutConstraint xmi:type="notation:Location" xmi:id="_YvLRAmCHEeWg-_mfCA72gg"/>
170 </children>
171 <styles xmi:type="notation:SortingStyle" xmi:id="_YvG_kmCHEeWg-_mfCA72gg"/>
172 <styles xmi:type="notation:FilteringStyle" xmi:id="_YvG_k2CHEeWg-_mfCA72gg"/>
173 </children>
174 <styles xmi:type="notation:ShapeStyle" xmi:id="_YvGYhGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
175 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvGYhWCHEeWg-_mfCA72gg" x="605" y="630"/>
176 </children>
177 <children xmi:type="notation:Node" xmi:id="_3nsj0J7aEeae3ZkQhmCxsw" type="2003" element="_3m0aEJ7aEeae3ZkQhmCxsw">
178 <children xmi:type="notation:Node" xmi:id="_3n0foJ7aEeae3ZkQhmCxsw" type="5007"/>
179 <children xmi:type="notation:Node" xmi:id="_3n1GsJ7aEeae3ZkQhmCxsw" type="7004">
180 <children xmi:type="notation:Node" xmi:id="_7t5kMJ7aEeae3ZkQhmCxsw" type="3010" element="_7tUVYJ7aEeae3ZkQhmCxsw">
181 <styles xmi:type="notation:FontStyle" xmi:id="_7t5kMZ7aEeae3ZkQhmCxsw" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
182 <layoutConstraint xmi:type="notation:Location" xmi:id="_7t5kMp7aEeae3ZkQhmCxsw"/>
183 </children>
184 <styles xmi:type="notation:SortingStyle" xmi:id="_3n1GsZ7aEeae3ZkQhmCxsw"/>
185 <styles xmi:type="notation:FilteringStyle" xmi:id="_3n1Gsp7aEeae3ZkQhmCxsw"/>
186 </children>
187 <styles xmi:type="notation:ShapeStyle" xmi:id="_3nsj0Z7aEeae3ZkQhmCxsw" fontName="Segoe UI" fontHeight="8"/>
188 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3nsj0p7aEeae3ZkQhmCxsw" x="885" y="630" width="120" height="100"/>
189 </children>
190 <styles xmi:type="notation:DiagramStyle" xmi:id="_X4bPMmCHEeWg-_mfCA72gg"/>
191 <edges xmi:type="notation:Edge" xmi:id="_YvL4EGCHEeWg-_mfCA72gg" type="4001" element="_Yuy2gGCHEeWg-_mfCA72gg" source="_Yu91oGCHEeWg-_mfCA72gg" target="_YvCHFGCHEeWg-_mfCA72gg">
192 <children xmi:type="notation:Node" xmi:id="_YvL4FGCHEeWg-_mfCA72gg" type="6001">
193 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvL4FWCHEeWg-_mfCA72gg" y="-10"/>
194 </children>
195 <children xmi:type="notation:Node" xmi:id="_YvL4FmCHEeWg-_mfCA72gg" type="6002">
196 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvL4F2CHEeWg-_mfCA72gg" y="10"/>
197 </children>
198 <children xmi:type="notation:Node" xmi:id="_YvL4GGCHEeWg-_mfCA72gg" type="6003">
199 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvL4GWCHEeWg-_mfCA72gg" y="10"/>
200 </children>
201 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvL4EWCHEeWg-_mfCA72gg" routing="Rectilinear"/>
202 <styles xmi:type="notation:FontStyle" xmi:id="_YvL4EmCHEeWg-_mfCA72gg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
203 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvL4E2CHEeWg-_mfCA72gg" points="[88, 49, -359, -49]$[182, 49, -265, -49]"/>
204 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvMfIGCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
205 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvMfIWCHEeWg-_mfCA72gg" id="(0.49732620320855614,1.0)"/>
206 </edges>
207 <edges xmi:type="notation:Edge" xmi:id="_YvMfImCHEeWg-_mfCA72gg" type="4001" element="_Yu0Eo2CHEeWg-_mfCA72gg" source="_YvCHFGCHEeWg-_mfCA72gg" target="_YvCuI2CHEeWg-_mfCA72gg">
208 <children xmi:type="notation:Node" xmi:id="_YvMfJmCHEeWg-_mfCA72gg" type="6001">
209 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvMfJ2CHEeWg-_mfCA72gg" x="-8" y="34"/>
210 </children>
211 <children xmi:type="notation:Node" xmi:id="_YvNGMGCHEeWg-_mfCA72gg" type="6002">
212 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvNGMWCHEeWg-_mfCA72gg" y="10"/>
213 </children>
214 <children xmi:type="notation:Node" xmi:id="_YvNGMmCHEeWg-_mfCA72gg" type="6003">
215 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvNGM2CHEeWg-_mfCA72gg" y="10"/>
216 </children>
217 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvMfI2CHEeWg-_mfCA72gg" routing="Rectilinear"/>
218 <styles xmi:type="notation:FontStyle" xmi:id="_YvMfJGCHEeWg-_mfCA72gg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
219 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvMfJWCHEeWg-_mfCA72gg" points="[-80, 47, -114, -201]$[34, 47, 0, -201]$[34, 150, 0, -98]"/>
220 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvNGNGCHEeWg-_mfCA72gg" id="(0.49732620320855614,0.0)"/>
221 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvNGNWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
222 </edges>
223 <edges xmi:type="notation:Edge" xmi:id="_YvNGNmCHEeWg-_mfCA72gg" type="4001" element="_Yu1SwGCHEeWg-_mfCA72gg" source="_Yu-ctGCHEeWg-_mfCA72gg" target="_Yu91oGCHEeWg-_mfCA72gg">
224 <children xmi:type="notation:Node" xmi:id="_YvNtQGCHEeWg-_mfCA72gg" type="6001">
225 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvNtQWCHEeWg-_mfCA72gg" y="-10"/>
226 </children>
227 <children xmi:type="notation:Node" xmi:id="_YvNtQmCHEeWg-_mfCA72gg" type="6002">
228 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvNtQ2CHEeWg-_mfCA72gg" y="10"/>
229 </children>
230 <children xmi:type="notation:Node" xmi:id="_YvNtRGCHEeWg-_mfCA72gg" type="6003">
231 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvNtRWCHEeWg-_mfCA72gg" y="10"/>
232 </children>
233 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvNGN2CHEeWg-_mfCA72gg" routing="Tree"/>
234 <styles xmi:type="notation:FontStyle" xmi:id="_YvNGOGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
235 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvNGOWCHEeWg-_mfCA72gg" points="[0, 0, -187, 60]$[187, -60, 0, 0]"/>
236 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvNtRmCHEeWg-_mfCA72gg" id="(0.4962406015037593,0.0)"/>
237 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvNtR2CHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
238 </edges>
239 <edges xmi:type="notation:Edge" xmi:id="_YvOUUGCHEeWg-_mfCA72gg" type="4001" element="_Yu1502CHEeWg-_mfCA72gg" source="_Yu_DxGCHEeWg-_mfCA72gg" target="_Yu91oGCHEeWg-_mfCA72gg">
240 <children xmi:type="notation:Node" xmi:id="_YvOUVGCHEeWg-_mfCA72gg" type="6001">
241 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvOUVWCHEeWg-_mfCA72gg" y="-10"/>
242 </children>
243 <children xmi:type="notation:Node" xmi:id="_YvOUVmCHEeWg-_mfCA72gg" type="6002">
244 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvOUV2CHEeWg-_mfCA72gg" y="10"/>
245 </children>
246 <children xmi:type="notation:Node" xmi:id="_YvOUWGCHEeWg-_mfCA72gg" type="6003">
247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvOUWWCHEeWg-_mfCA72gg" y="10"/>
248 </children>
249 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvOUUWCHEeWg-_mfCA72gg" routing="Tree"/>
250 <styles xmi:type="notation:FontStyle" xmi:id="_YvOUUmCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
251 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvOUU2CHEeWg-_mfCA72gg" points="[0, 0, 182, 60]$[-182, -60, 0, 0]"/>
252 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvO7YGCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
253 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvO7YWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
254 </edges>
255 <edges xmi:type="notation:Edge" xmi:id="_YvO7YmCHEeWg-_mfCA72gg" type="4001" element="_Yu2g42CHEeWg-_mfCA72gg" source="_YvAR4GCHEeWg-_mfCA72gg" target="_Yu91oGCHEeWg-_mfCA72gg">
256 <children xmi:type="notation:Node" xmi:id="_YvO7ZmCHEeWg-_mfCA72gg" type="6001">
257 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvO7Z2CHEeWg-_mfCA72gg" y="-10"/>
258 </children>
259 <children xmi:type="notation:Node" xmi:id="_YvPicGCHEeWg-_mfCA72gg" type="6002">
260 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvPicWCHEeWg-_mfCA72gg" y="10"/>
261 </children>
262 <children xmi:type="notation:Node" xmi:id="_YvPicmCHEeWg-_mfCA72gg" type="6003">
263 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvPic2CHEeWg-_mfCA72gg" y="10"/>
264 </children>
265 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvO7Y2CHEeWg-_mfCA72gg" routing="Tree"/>
266 <styles xmi:type="notation:FontStyle" xmi:id="_YvO7ZGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
267 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvO7ZWCHEeWg-_mfCA72gg" points="[0, 0, 0, 60]$[0, -60, 0, 0]"/>
268 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvPidGCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
269 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvPidWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
270 </edges>
271 <edges xmi:type="notation:Edge" xmi:id="_YvPidmCHEeWg-_mfCA72gg" type="4001" element="_Yu3vAGCHEeWg-_mfCA72gg" source="_YvA48GCHEeWg-_mfCA72gg" target="_YvAR4GCHEeWg-_mfCA72gg">
272 <children xmi:type="notation:Node" xmi:id="_YvQJgGCHEeWg-_mfCA72gg" type="6001">
273 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQJgWCHEeWg-_mfCA72gg" y="-10"/>
274 </children>
275 <children xmi:type="notation:Node" xmi:id="_YvQJgmCHEeWg-_mfCA72gg" type="6002">
276 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQJg2CHEeWg-_mfCA72gg" y="10"/>
277 </children>
278 <children xmi:type="notation:Node" xmi:id="_YvQJhGCHEeWg-_mfCA72gg" type="6003">
279 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQJhWCHEeWg-_mfCA72gg" y="10"/>
280 </children>
281 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvPid2CHEeWg-_mfCA72gg" routing="Tree"/>
282 <styles xmi:type="notation:FontStyle" xmi:id="_YvPieGCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
283 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvPieWCHEeWg-_mfCA72gg" points="[0, 0, -201, 60]$[201, -60, 0, 0]"/>
284 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvQJhmCHEeWg-_mfCA72gg" id="(0.4968944099378882,0.0)"/>
285 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvQJh2CHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
286 </edges>
287 <edges xmi:type="notation:Edge" xmi:id="_YvQwkGCHEeWg-_mfCA72gg" type="4001" element="_Yu4WEGCHEeWg-_mfCA72gg" source="_YvBgA2CHEeWg-_mfCA72gg" target="_YvAR4GCHEeWg-_mfCA72gg">
288 <children xmi:type="notation:Node" xmi:id="_YvQwlGCHEeWg-_mfCA72gg" type="6001">
289 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQwlWCHEeWg-_mfCA72gg" y="-10"/>
290 </children>
291 <children xmi:type="notation:Node" xmi:id="_YvQwlmCHEeWg-_mfCA72gg" type="6002">
292 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQwl2CHEeWg-_mfCA72gg" y="10"/>
293 </children>
294 <children xmi:type="notation:Node" xmi:id="_YvQwmGCHEeWg-_mfCA72gg" type="6003">
295 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvQwmWCHEeWg-_mfCA72gg" y="10"/>
296 </children>
297 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvQwkWCHEeWg-_mfCA72gg" routing="Tree"/>
298 <styles xmi:type="notation:FontStyle" xmi:id="_YvQwkmCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
299 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvQwk2CHEeWg-_mfCA72gg" points="[0, 0, 181, 60]$[-181, -60, 0, 0]"/>
300 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvRXoGCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
301 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvRXoWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
302 </edges>
303 <edges xmi:type="notation:Edge" xmi:id="_YvR-sGCHEeWg-_mfCA72gg" type="4001" element="_Yu49IGCHEeWg-_mfCA72gg" source="_YvEjU2CHEeWg-_mfCA72gg" target="_YvAR4GCHEeWg-_mfCA72gg">
304 <children xmi:type="notation:Node" xmi:id="_YvTM0GCHEeWg-_mfCA72gg" type="6001">
305 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvTM0WCHEeWg-_mfCA72gg" y="-10"/>
306 </children>
307 <children xmi:type="notation:Node" xmi:id="_YvUa8GCHEeWg-_mfCA72gg" type="6002">
308 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvUa8WCHEeWg-_mfCA72gg" y="10"/>
309 </children>
310 <children xmi:type="notation:Node" xmi:id="_YvVCAGCHEeWg-_mfCA72gg" type="6003">
311 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvVCAWCHEeWg-_mfCA72gg" y="10"/>
312 </children>
313 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvR-sWCHEeWg-_mfCA72gg" routing="Tree"/>
314 <styles xmi:type="notation:FontStyle" xmi:id="_YvR-smCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
315 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvR-s2CHEeWg-_mfCA72gg" points="[0, 0, 0, 60]$[0, -60, 0, 0]"/>
316 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvVCAmCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
317 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvVCA2CHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
318 </edges>
319 <edges xmi:type="notation:Edge" xmi:id="_YvVpEGCHEeWg-_mfCA72gg" type="4001" element="_Yu5kMGCHEeWg-_mfCA72gg" source="_YvFxcGCHEeWg-_mfCA72gg" target="_YvCuI2CHEeWg-_mfCA72gg">
320 <children xmi:type="notation:Node" xmi:id="_YvVpFGCHEeWg-_mfCA72gg" type="6001">
321 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvVpFWCHEeWg-_mfCA72gg" y="-10"/>
322 </children>
323 <children xmi:type="notation:Node" xmi:id="_YvWQIGCHEeWg-_mfCA72gg" type="6002">
324 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvWQIWCHEeWg-_mfCA72gg" y="10"/>
325 </children>
326 <children xmi:type="notation:Node" xmi:id="_YvWQImCHEeWg-_mfCA72gg" type="6003">
327 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvWQI2CHEeWg-_mfCA72gg" y="10"/>
328 </children>
329 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvVpEWCHEeWg-_mfCA72gg" routing="Tree"/>
330 <styles xmi:type="notation:FontStyle" xmi:id="_YvVpEmCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
331 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvVpE2CHEeWg-_mfCA72gg" points="[0, 0, 214, 60]$[-214, -60, 0, 0]"/>
332 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvWQJGCHEeWg-_mfCA72gg" id="(0.5,0.0)"/>
333 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvWQJWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
334 </edges>
335 <edges xmi:type="notation:Edge" xmi:id="_YvW3MGCHEeWg-_mfCA72gg" type="4001" element="_Yu6LQGCHEeWg-_mfCA72gg" source="_YvGYg2CHEeWg-_mfCA72gg" target="_YvCuI2CHEeWg-_mfCA72gg">
336 <children xmi:type="notation:Node" xmi:id="_YvW3NGCHEeWg-_mfCA72gg" type="6001">
337 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvW3NWCHEeWg-_mfCA72gg" y="-10"/>
338 </children>
339 <children xmi:type="notation:Node" xmi:id="_YvW3NmCHEeWg-_mfCA72gg" type="6002">
340 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvW3N2CHEeWg-_mfCA72gg" y="10"/>
341 </children>
342 <children xmi:type="notation:Node" xmi:id="_YvW3OGCHEeWg-_mfCA72gg" type="6003">
343 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YvW3OWCHEeWg-_mfCA72gg" y="10"/>
344 </children>
345 <styles xmi:type="notation:ConnectorStyle" xmi:id="_YvW3MWCHEeWg-_mfCA72gg" routing="Tree"/>
346 <styles xmi:type="notation:FontStyle" xmi:id="_YvW3MmCHEeWg-_mfCA72gg" fontName="Segoe UI" fontHeight="8"/>
347 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_YvW3M2CHEeWg-_mfCA72gg" points="[0, 0, -224, 60]$[224, -60, 0, 0]"/>
348 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvXeQGCHEeWg-_mfCA72gg" id="(0.49645390070921985,0.0)"/>
349 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_YvXeQWCHEeWg-_mfCA72gg" id="(0.5,1.0)"/>
350 </edges>
351 <edges xmi:type="notation:Edge" xmi:id="_DUW_QJ7bEeae3ZkQhmCxsw" type="4001" element="_DT2o8J7bEeae3ZkQhmCxsw" source="_3nsj0J7aEeae3ZkQhmCxsw" target="_YvCuI2CHEeWg-_mfCA72gg">
352 <children xmi:type="notation:Node" xmi:id="_DUY0cJ7bEeae3ZkQhmCxsw" type="6001">
353 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DUY0cZ7bEeae3ZkQhmCxsw" y="-10"/>
354 </children>
355 <children xmi:type="notation:Node" xmi:id="_DUaCkJ7bEeae3ZkQhmCxsw" type="6002">
356 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DUaCkZ7bEeae3ZkQhmCxsw" y="10"/>
357 </children>
358 <children xmi:type="notation:Node" xmi:id="_DUbQsJ7bEeae3ZkQhmCxsw" type="6003">
359 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_DUbQsZ7bEeae3ZkQhmCxsw" y="10"/>
360 </children>
361 <styles xmi:type="notation:ConnectorStyle" xmi:id="_DUW_QZ7bEeae3ZkQhmCxsw" routing="Tree"/>
362 <styles xmi:type="notation:FontStyle" xmi:id="_DUW_Qp7bEeae3ZkQhmCxsw" fontName="Segoe UI" fontHeight="8"/>
363 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DUW_Q57bEeae3ZkQhmCxsw" points="[0, 0, 127, 90]$[-127, -90, 0, 0]"/>
364 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DUb3wJ7bEeae3ZkQhmCxsw" id="(0.635593220338983,0.0)"/>
365 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DUb3wZ7bEeae3ZkQhmCxsw" id="(0.5,1.0)"/>
366 </edges>
367 </data>
368 </ownedAnnotationEntries>
369 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuQD8GCHEeWg-_mfCA72gg" name="LogicResult" tooltipText="" outgoingEdges="_Yuy2gGCHEeWg-_mfCA72gg" incomingEdges="_Yu1SwGCHEeWg-_mfCA72gg _Yu1502CHEeWg-_mfCA72gg _Yu2g42CHEeWg-_mfCA72gg" width="12" height="10">
370 <target xmi:type="ecore:EClass" href="logicresult.ecore#//LogicResult"/>
371 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//LogicResult"/>
372 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuQrAGCHEeWg-_mfCA72gg" 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">
373 <labelFormat>italic</labelFormat>
374 <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"/>
375 </ownedStyle>
376 <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']"/>
377 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Yuk0EGCHEeWg-_mfCA72gg" name="trace : EJavaObject" tooltipText="">
378 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//LogicResult/trace"/>
379 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//LogicResult/trace"/>
380 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YulbIGCHEeWg-_mfCA72gg" labelAlignment="LEFT">
381 <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%20EAttribute']/@style"/>
382 </ownedStyle>
383 <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']"/>
384 </ownedElements>
385 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YumCMGCHEeWg-_mfCA72gg" name="representation : EJavaObject" tooltipText="">
386 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//LogicResult/representation"/>
387 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//LogicResult/representation"/>
388 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_ycQtQB1sEeeCcdOgljfWxA" labelAlignment="LEFT">
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%20EAttribute']/@style"/>
390 </ownedStyle>
391 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
392 </ownedElements>
393 </ownedDiagramElements>
394 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuRSEGCHEeWg-_mfCA72gg" name="ModelResult" tooltipText="" outgoingEdges="_Yu1SwGCHEeWg-_mfCA72gg" width="12" height="10">
395 <target xmi:type="ecore:EClass" href="logicresult.ecore#//ModelResult"/>
396 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//ModelResult"/>
397 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuR5IGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
398 <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"/>
399 </ownedStyle>
400 <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']"/>
401 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YunQUGCHEeWg-_mfCA72gg" name="maxInteger : EInt" tooltipText="">
402 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//ModelResult/maxInteger"/>
403 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//ModelResult/maxInteger"/>
404 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YuoecGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
405 <labelFormat>bold</labelFormat>
406 </ownedStyle>
407 <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']"/>
408 </ownedElements>
409 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YuoecWCHEeWg-_mfCA72gg" name="minInteger : EInt" tooltipText="">
410 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//ModelResult/minInteger"/>
411 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//ModelResult/minInteger"/>
412 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YupFgGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
413 <labelFormat>bold</labelFormat>
414 </ownedStyle>
415 <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']"/>
416 </ownedElements>
417 </ownedDiagramElements>
418 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuR5IWCHEeWg-_mfCA72gg" name="InconsistencyResult" tooltipText="" outgoingEdges="_Yu1502CHEeWg-_mfCA72gg" width="12" height="10">
419 <target xmi:type="ecore:EClass" href="logicresult.ecore#//InconsistencyResult"/>
420 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//InconsistencyResult"/>
421 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuSgMGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
422 <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"/>
423 </ownedStyle>
424 <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']"/>
425 </ownedDiagramElements>
426 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuSgMWCHEeWg-_mfCA72gg" name="UnknownResult" tooltipText="" outgoingEdges="_Yu2g42CHEeWg-_mfCA72gg" incomingEdges="_Yu3vAGCHEeWg-_mfCA72gg _Yu4WEGCHEeWg-_mfCA72gg _Yu49IGCHEeWg-_mfCA72gg" width="12" height="10">
427 <target xmi:type="ecore:EClass" href="logicresult.ecore#//UnknownResult"/>
428 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//UnknownResult"/>
429 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuTHQGCHEeWg-_mfCA72gg" 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">
430 <labelFormat>italic</labelFormat>
431 <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"/>
432 </ownedStyle>
433 <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']"/>
434 </ownedDiagramElements>
435 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuTHQWCHEeWg-_mfCA72gg" name="InsuficientResourcesResult" tooltipText="" outgoingEdges="_Yu3vAGCHEeWg-_mfCA72gg" width="12" height="10">
436 <target xmi:type="ecore:EClass" href="logicresult.ecore#//InsuficientResourcesResult"/>
437 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//InsuficientResourcesResult"/>
438 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuTuUGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
439 <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"/>
440 </ownedStyle>
441 <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']"/>
442 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YupskGCHEeWg-_mfCA72gg" name="resourceName : EString" tooltipText="">
443 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//InsuficientResourcesResult/resourceName"/>
444 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//InsuficientResourcesResult/resourceName"/>
445 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YuqToGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
446 <labelFormat>bold</labelFormat>
447 </ownedStyle>
448 <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']"/>
449 </ownedElements>
450 </ownedDiagramElements>
451 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuUVYGCHEeWg-_mfCA72gg" name="ErrorResult" tooltipText="" outgoingEdges="_Yu4WEGCHEeWg-_mfCA72gg" width="12" height="10">
452 <target xmi:type="ecore:EClass" href="logicresult.ecore#//ErrorResult"/>
453 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//ErrorResult"/>
454 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuU8cGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
455 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
456 </ownedStyle>
457 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
458 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Yuq6sGCHEeWg-_mfCA72gg" name="message : EString" tooltipText="">
459 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//ErrorResult/message"/>
460 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//ErrorResult/message"/>
461 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YurhwGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
462 <labelFormat>bold</labelFormat>
463 </ownedStyle>
464 <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']"/>
465 </ownedElements>
466 </ownedDiagramElements>
467 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuVjgGCHEeWg-_mfCA72gg" name="Statistics" tooltipText="" outgoingEdges="_Yu0Eo2CHEeWg-_mfCA72gg" incomingEdges="_Yuy2gGCHEeWg-_mfCA72gg" width="12" height="10">
468 <target xmi:type="ecore:EClass" href="logicresult.ecore#//Statistics"/>
469 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//Statistics"/>
470 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
471 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
472 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
473 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuWKkGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
474 <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"/>
475 </ownedStyle>
476 <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']"/>
477 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YusI0GCHEeWg-_mfCA72gg" name="transformationTime : EInt = -1" tooltipText="">
478 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/transformationTime"/>
479 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/transformationTime"/>
480 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Yusv4GCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
481 <labelFormat>bold</labelFormat>
482 </ownedStyle>
483 <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']"/>
484 </ownedElements>
485 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Yusv4WCHEeWg-_mfCA72gg" name="solverTime : EInt = -1" tooltipText="">
486 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/solverTime"/>
487 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/solverTime"/>
488 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YutW8GCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
489 <labelFormat>bold</labelFormat>
490 </ownedStyle>
491 <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']"/>
492 </ownedElements>
493 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YutW8WCHEeWg-_mfCA72gg" name="solverMemory : EInt = -1" tooltipText="">
494 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/solverMemory"/>
495 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//Statistics/solverMemory"/>
496 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Yut-AGCHEeWg-_mfCA72gg" labelAlignment="LEFT">
497 <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%20EAttribute']/@style"/>
498 </ownedStyle>
499 <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']"/>
500 </ownedElements>
501 </ownedDiagramElements>
502 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuWxoGCHEeWg-_mfCA72gg" name="StatisticEntry" tooltipText="" incomingEdges="_Yu0Eo2CHEeWg-_mfCA72gg _Yu5kMGCHEeWg-_mfCA72gg _Yu6LQGCHEeWg-_mfCA72gg _DT2o8J7bEeae3ZkQhmCxsw" width="12" height="10">
503 <target xmi:type="ecore:EClass" href="logicresult.ecore#//StatisticEntry"/>
504 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//StatisticEntry"/>
505 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
506 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
507 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
508 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuXYsGCHEeWg-_mfCA72gg" 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">
509 <labelFormat>italic</labelFormat>
510 <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"/>
511 </ownedStyle>
512 <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']"/>
513 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YuulEGCHEeWg-_mfCA72gg" name="name : EString" tooltipText="">
514 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//StatisticEntry/name"/>
515 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//StatisticEntry/name"/>
516 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YuvMIGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
517 <labelFormat>bold</labelFormat>
518 </ownedStyle>
519 <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']"/>
520 </ownedElements>
521 </ownedDiagramElements>
522 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuX_wGCHEeWg-_mfCA72gg" name="UndecidableResult" tooltipText="" outgoingEdges="_Yu49IGCHEeWg-_mfCA72gg" width="12" height="10">
523 <target xmi:type="ecore:EClass" href="logicresult.ecore#//UndecidableResult"/>
524 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//UndecidableResult"/>
525 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuYm0GCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
526 <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"/>
527 </ownedStyle>
528 <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']"/>
529 </ownedDiagramElements>
530 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuZN4GCHEeWg-_mfCA72gg" name="IntStatisticEntry" tooltipText="" outgoingEdges="_Yu5kMGCHEeWg-_mfCA72gg" width="12" height="10">
531 <target xmi:type="ecore:EClass" href="logicresult.ecore#//IntStatisticEntry"/>
532 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//IntStatisticEntry"/>
533 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
534 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
535 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
536 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YuZ08GCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
537 <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"/>
538 </ownedStyle>
539 <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']"/>
540 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YuvzMGCHEeWg-_mfCA72gg" name="value : EInt" tooltipText="">
541 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//IntStatisticEntry/value"/>
542 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//IntStatisticEntry/value"/>
543 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YuvzMWCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
544 <labelFormat>bold</labelFormat>
545 </ownedStyle>
546 <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']"/>
547 </ownedElements>
548 </ownedDiagramElements>
549 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_YuacAGCHEeWg-_mfCA72gg" name="RealStatisticEntry" tooltipText="" outgoingEdges="_Yu6LQGCHEeWg-_mfCA72gg" width="12" height="10">
550 <target xmi:type="ecore:EClass" href="logicresult.ecore#//RealStatisticEntry"/>
551 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//RealStatisticEntry"/>
552 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
553 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
554 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
555 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_YubDEGCHEeWg-_mfCA72gg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
556 <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"/>
557 </ownedStyle>
558 <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']"/>
559 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_YuwaQGCHEeWg-_mfCA72gg" name="value : EDouble = 0.0" tooltipText="">
560 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//RealStatisticEntry/value"/>
561 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//RealStatisticEntry/value"/>
562 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_YuxoYGCHEeWg-_mfCA72gg" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
563 <labelFormat>bold</labelFormat>
564 </ownedStyle>
565 <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']"/>
566 </ownedElements>
567 </ownedDiagramElements>
568 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yuy2gGCHEeWg-_mfCA72gg" name="[0..1] statistics" sourceNode="_YuQD8GCHEeWg-_mfCA72gg" targetNode="_YuVjgGCHEeWg-_mfCA72gg">
569 <target xmi:type="ecore:EReference" href="logicresult.ecore#//LogicResult/statistics"/>
570 <semanticElements xmi:type="ecore:EReference" href="logicresult.ecore#//LogicResult/statistics"/>
571 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu0EoGCHEeWg-_mfCA72gg" description="_YuzdkGCHEeWg-_mfCA72gg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
572 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu0EoWCHEeWg-_mfCA72gg" showIcon="false">
573 <customFeatures>labelSize</customFeatures>
574 </centerLabelStyle>
575 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_Yu0EomCHEeWg-_mfCA72gg" showIcon="false" labelColor="39,76,114">
576 <customFeatures>labelSize</customFeatures>
577 </endLabelStyle>
578 </ownedStyle>
579 <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']"/>
580 </ownedDiagramElements>
581 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu0Eo2CHEeWg-_mfCA72gg" name="[0..*] entries" sourceNode="_YuVjgGCHEeWg-_mfCA72gg" targetNode="_YuWxoGCHEeWg-_mfCA72gg">
582 <target xmi:type="ecore:EReference" href="logicresult.ecore#//Statistics/entries"/>
583 <semanticElements xmi:type="ecore:EReference" href="logicresult.ecore#//Statistics/entries"/>
584 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu0rsGCHEeWg-_mfCA72gg" description="_YuzdkGCHEeWg-_mfCA72gg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
585 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu0rsWCHEeWg-_mfCA72gg" showIcon="false">
586 <customFeatures>labelSize</customFeatures>
587 </centerLabelStyle>
588 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_Yu0rsmCHEeWg-_mfCA72gg" showIcon="false" labelColor="39,76,114">
589 <customFeatures>labelSize</customFeatures>
590 </endLabelStyle>
591 </ownedStyle>
592 <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']"/>
593 </ownedDiagramElements>
594 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu1SwGCHEeWg-_mfCA72gg" sourceNode="_YuRSEGCHEeWg-_mfCA72gg" targetNode="_YuQD8GCHEeWg-_mfCA72gg">
595 <target xmi:type="ecore:EClass" href="logicresult.ecore#//ModelResult"/>
596 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//ModelResult/@eGenericSuperTypes.0"/>
597 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu150GCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
598 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
599 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu150WCHEeWg-_mfCA72gg" showIcon="false">
600 <labelFormat>italic</labelFormat>
601 </beginLabelStyle>
602 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu150mCHEeWg-_mfCA72gg" showIcon="false"/>
603 </ownedStyle>
604 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
605 </ownedDiagramElements>
606 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu1502CHEeWg-_mfCA72gg" sourceNode="_YuR5IWCHEeWg-_mfCA72gg" targetNode="_YuQD8GCHEeWg-_mfCA72gg">
607 <target xmi:type="ecore:EClass" href="logicresult.ecore#//InconsistencyResult"/>
608 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//InconsistencyResult/@eGenericSuperTypes.0"/>
609 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu2g4GCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
610 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
611 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu2g4WCHEeWg-_mfCA72gg" showIcon="false">
612 <labelFormat>italic</labelFormat>
613 </beginLabelStyle>
614 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu2g4mCHEeWg-_mfCA72gg" showIcon="false"/>
615 </ownedStyle>
616 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
617 </ownedDiagramElements>
618 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu2g42CHEeWg-_mfCA72gg" sourceNode="_YuSgMWCHEeWg-_mfCA72gg" targetNode="_YuQD8GCHEeWg-_mfCA72gg">
619 <target xmi:type="ecore:EClass" href="logicresult.ecore#//UnknownResult"/>
620 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//UnknownResult/@eGenericSuperTypes.0"/>
621 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu3H8GCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
622 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
623 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu3H8WCHEeWg-_mfCA72gg" showIcon="false">
624 <labelFormat>italic</labelFormat>
625 </beginLabelStyle>
626 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu3H8mCHEeWg-_mfCA72gg" showIcon="false"/>
627 </ownedStyle>
628 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
629 </ownedDiagramElements>
630 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu3vAGCHEeWg-_mfCA72gg" sourceNode="_YuTHQWCHEeWg-_mfCA72gg" targetNode="_YuSgMWCHEeWg-_mfCA72gg">
631 <target xmi:type="ecore:EClass" href="logicresult.ecore#//InsuficientResourcesResult"/>
632 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//InsuficientResourcesResult/@eGenericSuperTypes.0"/>
633 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu3vAWCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
634 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
635 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu3vAmCHEeWg-_mfCA72gg" showIcon="false">
636 <labelFormat>italic</labelFormat>
637 </beginLabelStyle>
638 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu3vA2CHEeWg-_mfCA72gg" showIcon="false"/>
639 </ownedStyle>
640 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
641 </ownedDiagramElements>
642 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu4WEGCHEeWg-_mfCA72gg" sourceNode="_YuUVYGCHEeWg-_mfCA72gg" targetNode="_YuSgMWCHEeWg-_mfCA72gg">
643 <target xmi:type="ecore:EClass" href="logicresult.ecore#//ErrorResult"/>
644 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//ErrorResult/@eGenericSuperTypes.0"/>
645 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu4WEWCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
646 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
647 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu4WEmCHEeWg-_mfCA72gg" showIcon="false">
648 <labelFormat>italic</labelFormat>
649 </beginLabelStyle>
650 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu4WE2CHEeWg-_mfCA72gg" showIcon="false"/>
651 </ownedStyle>
652 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
653 </ownedDiagramElements>
654 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu49IGCHEeWg-_mfCA72gg" sourceNode="_YuX_wGCHEeWg-_mfCA72gg" targetNode="_YuSgMWCHEeWg-_mfCA72gg">
655 <target xmi:type="ecore:EClass" href="logicresult.ecore#//UndecidableResult"/>
656 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//UndecidableResult/@eGenericSuperTypes.0"/>
657 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu49IWCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
658 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
659 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu49ImCHEeWg-_mfCA72gg" showIcon="false">
660 <labelFormat>italic</labelFormat>
661 </beginLabelStyle>
662 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu49I2CHEeWg-_mfCA72gg" showIcon="false"/>
663 </ownedStyle>
664 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
665 </ownedDiagramElements>
666 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu5kMGCHEeWg-_mfCA72gg" sourceNode="_YuZN4GCHEeWg-_mfCA72gg" targetNode="_YuWxoGCHEeWg-_mfCA72gg">
667 <target xmi:type="ecore:EClass" href="logicresult.ecore#//IntStatisticEntry"/>
668 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//IntStatisticEntry/@eGenericSuperTypes.0"/>
669 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu5kMWCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
670 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
671 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu5kMmCHEeWg-_mfCA72gg" showIcon="false">
672 <labelFormat>italic</labelFormat>
673 </beginLabelStyle>
674 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu5kM2CHEeWg-_mfCA72gg" showIcon="false"/>
675 </ownedStyle>
676 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
677 </ownedDiagramElements>
678 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Yu6LQGCHEeWg-_mfCA72gg" sourceNode="_YuacAGCHEeWg-_mfCA72gg" targetNode="_YuWxoGCHEeWg-_mfCA72gg">
679 <target xmi:type="ecore:EClass" href="logicresult.ecore#//RealStatisticEntry"/>
680 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//RealStatisticEntry/@eGenericSuperTypes.0"/>
681 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_Yu6yUGCHEeWg-_mfCA72gg" targetArrow="InputClosedArrow" routingStyle="tree">
682 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
683 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_Yu6yUWCHEeWg-_mfCA72gg" showIcon="false">
684 <labelFormat>italic</labelFormat>
685 </beginLabelStyle>
686 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_Yu6yUmCHEeWg-_mfCA72gg" showIcon="false"/>
687 </ownedStyle>
688 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
689 </ownedDiagramElements>
690 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_3m0aEJ7aEeae3ZkQhmCxsw" name="StringStatisticEntry" tooltipText="" outgoingEdges="_DT2o8J7bEeae3ZkQhmCxsw" width="12" height="10">
691 <target xmi:type="ecore:EClass" href="logicresult.ecore#//StringStatisticEntry"/>
692 <semanticElements xmi:type="ecore:EClass" href="logicresult.ecore#//StringStatisticEntry"/>
693 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
694 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
695 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
696 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_999iUJ7aEeae3ZkQhmCxsw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
697 <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"/>
698 </ownedStyle>
699 <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']"/>
700 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_7tUVYJ7aEeae3ZkQhmCxsw" name="value : EString = Unfilled" tooltipText="">
701 <target xmi:type="ecore:EAttribute" href="logicresult.ecore#//StringStatisticEntry/value"/>
702 <semanticElements xmi:type="ecore:EAttribute" href="logicresult.ecore#//StringStatisticEntry/value"/>
703 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_AVIOAJ7bEeae3ZkQhmCxsw" labelAlignment="LEFT" description="_YumpQGCHEeWg-_mfCA72gg">
704 <labelFormat>bold</labelFormat>
705 </ownedStyle>
706 <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']"/>
707 </ownedElements>
708 </ownedDiagramElements>
709 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_DT2o8J7bEeae3ZkQhmCxsw" sourceNode="_3m0aEJ7aEeae3ZkQhmCxsw" targetNode="_YuWxoGCHEeWg-_mfCA72gg">
710 <target xmi:type="ecore:EClass" href="logicresult.ecore#//StringStatisticEntry"/>
711 <semanticElements xmi:type="ecore:EGenericType" href="logicresult.ecore#//StringStatisticEntry/@eGenericSuperTypes.0"/>
712 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_DT3QAJ7bEeae3ZkQhmCxsw" targetArrow="InputClosedArrow" routingStyle="tree">
713 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
714 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_DT3QAZ7bEeae3ZkQhmCxsw" showIcon="false">
715 <labelFormat>italic</labelFormat>
716 </beginLabelStyle>
717 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_DT3QAp7bEeae3ZkQhmCxsw" showIcon="false"/>
718 </ownedStyle>
719 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
720 </ownedDiagramElements>
721 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
722 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_X4aoJWCHEeWg-_mfCA72gg"/>
723 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
724 <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']"/>
725 <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']"/>
726 <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']"/>
727 <target xmi:type="ecore:EPackage" href="logicresult.ecore#/"/>
728 </ownedRepresentations>
729 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
730 </ownedViews>
731 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_Vqv2sGCHEeWg-_mfCA72gg">
732 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
733 </ownedViews>
734 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_VrDYsGCHEeWg-_mfCA72gg">
735 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
736 </ownedViews>
737 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_VrW6sGCHEeWg-_mfCA72gg">
738 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
739 </ownedViews>
740</viewpoint:DAnalysis>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 18:11:19 +0000