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