aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird658
1 files changed, 658 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird
new file mode 100644
index 00000000..d5d1094d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird
@@ -0,0 +1,658 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">
3 <viewpoint:DAnalysis xmi:id="_Zid5oFYiEeiGP_xq1PQlCQ" selectedViews="_Z6R8sFYiEeiGP_xq1PQlCQ _Z6mFwFYiEeiGP_xq1PQlCQ _Z6nT4FYiEeiGP_xq1PQlCQ _Z6uooFYiEeiGP_xq1PQlCQ" version="12.1.0.201708031200">
4 <semanticResources>PartialModelAnnotations.ecore</semanticResources>
5 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources>
6 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources>
7 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>
8 <semanticResources>PartialInterpretation.ecore</semanticResources>
9 <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6R8sFYiEeiGP_xq1PQlCQ">
10 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
11 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_aoyogFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" repPath="#_anXsMFYiEeiGP_xq1PQlCQ">
12 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
13 <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/>
14 </ownedRepresentationDescriptors>
15 </ownedViews>
16 <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6mFwFYiEeiGP_xq1PQlCQ">
17 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
18 </ownedViews>
19 <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6nT4FYiEeiGP_xq1PQlCQ">
20 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
21 </ownedViews>
22 <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6uooFYiEeiGP_xq1PQlCQ">
23 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
24 </ownedViews>
25 </viewpoint:DAnalysis>
26 <diagram:DSemanticDiagram xmi:id="_aouXEFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" uid="_anXsMFYiEeiGP_xq1PQlCQ">
27 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_aouXEVYiEeiGP_xq1PQlCQ" source="DANNOTATION_CUSTOMIZATION_KEY">
28 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_aouXElYiEeiGP_xq1PQlCQ">
29 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_ou9tAFamEeiGP_xq1PQlCQ" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
30 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
31 <labelFormat>bold</labelFormat>
32 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
33 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/>
34 </computedStyleDescriptions>
35 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan">
36 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
37 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_EvSK4VasEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">
38 <labelFormat>bold</labelFormat>
39 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
40 </centerLabelStyleDescription>
41 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_EvSK4lasEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
42 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
43 </endLabelStyleDescription>
44 </computedStyleDescriptions>
45 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_fTh24FayEeiGP_xq1PQlCQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
46 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
47 <labelFormat>bold</labelFormat>
48 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
49 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
50 </computedStyleDescriptions>
51 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan">
52 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
53 <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_fTqZwVayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:renderEOpposite">
54 <labelFormat>bold</labelFormat>
55 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
56 </beginLabelStyleDescription>
57 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_fTqZwlayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">
58 <labelFormat>bold</labelFormat>
59 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
60 </endLabelStyleDescription>
61 </computedStyleDescriptions>
62 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan">
63 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
64 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_D7GP4VbjEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">
65 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
66 </centerLabelStyleDescription>
67 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_D7GP4lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
68 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
69 </endLabelStyleDescription>
70 </computedStyleDescriptions>
71 </data>
72 </ownedAnnotationEntries>
73 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_apWpMFYiEeiGP_xq1PQlCQ" source="GMF_DIAGRAMS">
74 <data xmi:type="notation:Diagram" xmi:id="_apWpMVYiEeiGP_xq1PQlCQ" type="Sirius" element="_aouXEFYiEeiGP_xq1PQlCQ" measurementUnit="Pixel">
75 <children xmi:type="notation:Node" xmi:id="_dimuQFYiEeiGP_xq1PQlCQ" type="2003" element="_diG_AFYiEeiGP_xq1PQlCQ">
76 <children xmi:type="notation:Node" xmi:id="_diq_sFYiEeiGP_xq1PQlCQ" type="5007"/>
77 <children xmi:type="notation:Node" xmi:id="_dis04FYiEeiGP_xq1PQlCQ" type="7004">
78 <styles xmi:type="notation:SortingStyle" xmi:id="_dis04VYiEeiGP_xq1PQlCQ"/>
79 <styles xmi:type="notation:FilteringStyle" xmi:id="_dis04lYiEeiGP_xq1PQlCQ"/>
80 </children>
81 <styles xmi:type="notation:ShapeStyle" xmi:id="_dinVUFYiEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
82 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_dinVUVYiEeiGP_xq1PQlCQ" x="136" y="270" width="198" height="38"/>
83 </children>
84 <children xmi:type="notation:Node" xmi:id="_ovB-cFamEeiGP_xq1PQlCQ" type="2003" element="_ou3mYFamEeiGP_xq1PQlCQ">
85 <children xmi:type="notation:Node" xmi:id="_ovB-c1amEeiGP_xq1PQlCQ" type="5007"/>
86 <children xmi:type="notation:Node" xmi:id="_ovClgFamEeiGP_xq1PQlCQ" type="7004">
87 <styles xmi:type="notation:SortingStyle" xmi:id="_ovClgVamEeiGP_xq1PQlCQ"/>
88 <styles xmi:type="notation:FilteringStyle" xmi:id="_ovClglamEeiGP_xq1PQlCQ"/>
89 </children>
90 <styles xmi:type="notation:ShapeStyle" xmi:id="_ovB-cVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
91 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovB-clamEeiGP_xq1PQlCQ" x="170" y="75"/>
92 </children>
93 <children xmi:type="notation:Node" xmi:id="_-riSAFamEeiGP_xq1PQlCQ" type="2003" element="_-rYhAFamEeiGP_xq1PQlCQ">
94 <children xmi:type="notation:Node" xmi:id="_-riSA1amEeiGP_xq1PQlCQ" type="5007"/>
95 <children xmi:type="notation:Node" xmi:id="_-riSBFamEeiGP_xq1PQlCQ" type="7004">
96 <styles xmi:type="notation:SortingStyle" xmi:id="_-riSBVamEeiGP_xq1PQlCQ"/>
97 <styles xmi:type="notation:FilteringStyle" xmi:id="_-riSBlamEeiGP_xq1PQlCQ"/>
98 </children>
99 <styles xmi:type="notation:ShapeStyle" xmi:id="_-riSAVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" italic="true"/>
100 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-riSAlamEeiGP_xq1PQlCQ" x="465" y="250"/>
101 </children>
102 <children xmi:type="notation:Node" xmi:id="_pMJQ4FapEeiGP_xq1PQlCQ" type="2003" element="_pLphoFapEeiGP_xq1PQlCQ">
103 <children xmi:type="notation:Node" xmi:id="_pMJ38FapEeiGP_xq1PQlCQ" type="5007"/>
104 <children xmi:type="notation:Node" xmi:id="_pMJ38VapEeiGP_xq1PQlCQ" type="7004">
105 <styles xmi:type="notation:SortingStyle" xmi:id="_pMJ38lapEeiGP_xq1PQlCQ"/>
106 <styles xmi:type="notation:FilteringStyle" xmi:id="_pMJ381apEeiGP_xq1PQlCQ"/>
107 </children>
108 <styles xmi:type="notation:ShapeStyle" xmi:id="_pMJQ4VapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
109 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMJQ4lapEeiGP_xq1PQlCQ" x="475" y="450"/>
110 </children>
111 <children xmi:type="notation:Node" xmi:id="_pMKfAFapEeiGP_xq1PQlCQ" type="2003" element="_pLrW0FapEeiGP_xq1PQlCQ">
112 <children xmi:type="notation:Node" xmi:id="_pMLGEFapEeiGP_xq1PQlCQ" type="5007"/>
113 <children xmi:type="notation:Node" xmi:id="_pMLtIFapEeiGP_xq1PQlCQ" type="7004">
114 <children xmi:type="notation:Node" xmi:id="_pMOwcFapEeiGP_xq1PQlCQ" type="3010" element="_pL9qsFapEeiGP_xq1PQlCQ">
115 <styles xmi:type="notation:FontStyle" xmi:id="_pMOwcVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
116 <layoutConstraint xmi:type="notation:Location" xmi:id="_pMOwclapEeiGP_xq1PQlCQ"/>
117 </children>
118 <styles xmi:type="notation:SortingStyle" xmi:id="_pMLtIVapEeiGP_xq1PQlCQ"/>
119 <styles xmi:type="notation:FilteringStyle" xmi:id="_pMLtIlapEeiGP_xq1PQlCQ"/>
120 </children>
121 <styles xmi:type="notation:ShapeStyle" xmi:id="_pMKfAVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
122 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMKfAlapEeiGP_xq1PQlCQ" x="650" y="450"/>
123 </children>
124 <children xmi:type="notation:Node" xmi:id="_pMMUMFapEeiGP_xq1PQlCQ" type="2003" element="_pLtzEFapEeiGP_xq1PQlCQ">
125 <children xmi:type="notation:Node" xmi:id="_pMM7QFapEeiGP_xq1PQlCQ" type="5007"/>
126 <children xmi:type="notation:Node" xmi:id="_pMM7QVapEeiGP_xq1PQlCQ" type="7004">
127 <styles xmi:type="notation:SortingStyle" xmi:id="_pMM7QlapEeiGP_xq1PQlCQ"/>
128 <styles xmi:type="notation:FilteringStyle" xmi:id="_pMM7Q1apEeiGP_xq1PQlCQ"/>
129 </children>
130 <styles xmi:type="notation:ShapeStyle" xmi:id="_pMMUMVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
131 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMMUMlapEeiGP_xq1PQlCQ" x="297" y="450"/>
132 </children>
133 <children xmi:type="notation:Node" xmi:id="_EvatwFasEeiGP_xq1PQlCQ" type="2003" element="_EvBFIFasEeiGP_xq1PQlCQ">
134 <children xmi:type="notation:Node" xmi:id="_EvbU0FasEeiGP_xq1PQlCQ" type="5007"/>
135 <children xmi:type="notation:Node" xmi:id="_Evci8FasEeiGP_xq1PQlCQ" type="7004">
136 <children xmi:type="notation:Node" xmi:id="_EvdxEFasEeiGP_xq1PQlCQ" type="3010" element="_EvOggFasEeiGP_xq1PQlCQ">
137 <styles xmi:type="notation:FontStyle" xmi:id="_EvdxEVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
138 <layoutConstraint xmi:type="notation:Location" xmi:id="_EvdxElasEeiGP_xq1PQlCQ"/>
139 </children>
140 <styles xmi:type="notation:SortingStyle" xmi:id="_Evci8VasEeiGP_xq1PQlCQ"/>
141 <styles xmi:type="notation:FilteringStyle" xmi:id="_Evci8lasEeiGP_xq1PQlCQ"/>
142 </children>
143 <styles xmi:type="notation:ShapeStyle" xmi:id="_EvatwVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
144 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvatwlasEeiGP_xq1PQlCQ" x="457" y="580"/>
145 </children>
146 <children xmi:type="notation:Node" xmi:id="_fTs2AFayEeiGP_xq1PQlCQ" type="2003" element="_fTWQsFayEeiGP_xq1PQlCQ">
147 <children xmi:type="notation:Node" xmi:id="_fTs2A1ayEeiGP_xq1PQlCQ" type="5007"/>
148 <children xmi:type="notation:Node" xmi:id="_fTtdEFayEeiGP_xq1PQlCQ" type="7004">
149 <children xmi:type="notation:Node" xmi:id="_fTuEIFayEeiGP_xq1PQlCQ" type="3010" element="_fThP0FayEeiGP_xq1PQlCQ">
150 <styles xmi:type="notation:FontStyle" xmi:id="_fTuEIVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
151 <layoutConstraint xmi:type="notation:Location" xmi:id="_fTuEIlayEeiGP_xq1PQlCQ"/>
152 </children>
153 <children xmi:type="notation:Node" xmi:id="_fTvSQFayEeiGP_xq1PQlCQ" type="3010" element="_fTid8FayEeiGP_xq1PQlCQ">
154 <styles xmi:type="notation:FontStyle" xmi:id="_fTvSQVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
155 <layoutConstraint xmi:type="notation:Location" xmi:id="_fTvSQlayEeiGP_xq1PQlCQ"/>
156 </children>
157 <styles xmi:type="notation:SortingStyle" xmi:id="_fTtdEVayEeiGP_xq1PQlCQ"/>
158 <styles xmi:type="notation:FilteringStyle" xmi:id="_fTtdElayEeiGP_xq1PQlCQ"/>
159 </children>
160 <styles xmi:type="notation:ShapeStyle" xmi:id="_fTs2AVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
161 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTs2AlayEeiGP_xq1PQlCQ" x="445" y="80"/>
162 </children>
163 <children xmi:type="notation:Node" xmi:id="_4FAb8FdAEeiGP_xq1PQlCQ" type="2003" element="_4EoogFdAEeiGP_xq1PQlCQ">
164 <children xmi:type="notation:Node" xmi:id="_4FAb81dAEeiGP_xq1PQlCQ" type="5007"/>
165 <children xmi:type="notation:Node" xmi:id="_4FBDAFdAEeiGP_xq1PQlCQ" type="7004">
166 <children xmi:type="notation:Node" xmi:id="_4FBqEFdAEeiGP_xq1PQlCQ" type="3010" element="_4E2q8FdAEeiGP_xq1PQlCQ">
167 <styles xmi:type="notation:FontStyle" xmi:id="_4FBqEVdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/>
168 <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqEldAEeiGP_xq1PQlCQ"/>
169 </children>
170 <children xmi:type="notation:Node" xmi:id="_4FBqE1dAEeiGP_xq1PQlCQ" type="3010" element="_4E3SAVdAEeiGP_xq1PQlCQ">
171 <styles xmi:type="notation:FontStyle" xmi:id="_4FBqFFdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/>
172 <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqFVdAEeiGP_xq1PQlCQ"/>
173 </children>
174 <styles xmi:type="notation:SortingStyle" xmi:id="_4FBDAVdAEeiGP_xq1PQlCQ"/>
175 <styles xmi:type="notation:FilteringStyle" xmi:id="_4FBDAldAEeiGP_xq1PQlCQ"/>
176 </children>
177 <styles xmi:type="notation:ShapeStyle" xmi:id="_4FAb8VdAEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
178 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_4FAb8ldAEeiGP_xq1PQlCQ" x="139" y="360" height="73"/>
179 </children>
180 <styles xmi:type="notation:DiagramStyle" xmi:id="_apWpMlYiEeiGP_xq1PQlCQ"/>
181 <edges xmi:type="notation:Edge" xmi:id="_ovFBwFamEeiGP_xq1PQlCQ" type="4001" element="_ou_iMFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_ovB-cFamEeiGP_xq1PQlCQ">
182 <children xmi:type="notation:Node" xmi:id="_ovG28FamEeiGP_xq1PQlCQ" type="6001">
183 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovG28VamEeiGP_xq1PQlCQ" y="-10"/>
184 </children>
185 <children xmi:type="notation:Node" xmi:id="_ovHeAFamEeiGP_xq1PQlCQ" type="6002">
186 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovHeAVamEeiGP_xq1PQlCQ" y="10"/>
187 </children>
188 <children xmi:type="notation:Node" xmi:id="_ovIFEFamEeiGP_xq1PQlCQ" type="6003">
189 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovIFEVamEeiGP_xq1PQlCQ" y="10"/>
190 </children>
191 <styles xmi:type="notation:ConnectorStyle" xmi:id="_ovFBwVamEeiGP_xq1PQlCQ" routing="Tree"/>
192 <styles xmi:type="notation:FontStyle" xmi:id="_ovFBwlamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
193 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ovFBw1amEeiGP_xq1PQlCQ" points="[-99, -40, 265, 105]$[-304, -122, 60, 23]"/>
194 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/>
195 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
196 </edges>
197 <edges xmi:type="notation:Edge" xmi:id="_-ri5EFamEeiGP_xq1PQlCQ" type="4001" element="_-rf1wFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">
198 <children xmi:type="notation:Node" xmi:id="_-rjgIFamEeiGP_xq1PQlCQ" type="6001">
199 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgIVamEeiGP_xq1PQlCQ" x="9" y="3"/>
200 </children>
201 <children xmi:type="notation:Node" xmi:id="_-rjgIlamEeiGP_xq1PQlCQ" type="6002">
202 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgI1amEeiGP_xq1PQlCQ" x="-18" y="10"/>
203 </children>
204 <children xmi:type="notation:Node" xmi:id="_-rjgJFamEeiGP_xq1PQlCQ" type="6003">
205 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgJVamEeiGP_xq1PQlCQ" x="-2" y="10"/>
206 </children>
207 <styles xmi:type="notation:ConnectorStyle" xmi:id="_-ri5EVamEeiGP_xq1PQlCQ" routing="Rectilinear"/>
208 <styles xmi:type="notation:FontStyle" xmi:id="_-ri5ElamEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
209 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-ri5E1amEeiGP_xq1PQlCQ" points="[98, -22, -192, 2]$[231, -22, -59, 2]"/>
210 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/>
211 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
212 </edges>
213 <edges xmi:type="notation:Edge" xmi:id="_pMP-kFapEeiGP_xq1PQlCQ" type="4001" element="_pMDxUFapEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">
214 <children xmi:type="notation:Node" xmi:id="_pMQloFapEeiGP_xq1PQlCQ" type="6001">
215 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMQloVapEeiGP_xq1PQlCQ" y="-10"/>
216 </children>
217 <children xmi:type="notation:Node" xmi:id="_pMQlolapEeiGP_xq1PQlCQ" type="6002">
218 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMsFapEeiGP_xq1PQlCQ" y="10"/>
219 </children>
220 <children xmi:type="notation:Node" xmi:id="_pMRMsVapEeiGP_xq1PQlCQ" type="6003">
221 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMslapEeiGP_xq1PQlCQ" y="10"/>
222 </children>
223 <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMP-kVapEeiGP_xq1PQlCQ" routing="Tree"/>
224 <styles xmi:type="notation:FontStyle" xmi:id="_pMP-klapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
225 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMP-k1apEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/>
226 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
227 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
228 </edges>
229 <edges xmi:type="notation:Edge" xmi:id="_pMRzwlapEeiGP_xq1PQlCQ" type="4001" element="_pMFmgFapEeiGP_xq1PQlCQ" source="_pMKfAFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">
230 <children xmi:type="notation:Node" xmi:id="_pMSa0FapEeiGP_xq1PQlCQ" type="6001">
231 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa0VapEeiGP_xq1PQlCQ" y="-10"/>
232 </children>
233 <children xmi:type="notation:Node" xmi:id="_pMSa0lapEeiGP_xq1PQlCQ" type="6002">
234 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa01apEeiGP_xq1PQlCQ" y="10"/>
235 </children>
236 <children xmi:type="notation:Node" xmi:id="_pMSa1FapEeiGP_xq1PQlCQ" type="6003">
237 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa1VapEeiGP_xq1PQlCQ" y="10"/>
238 </children>
239 <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMRzw1apEeiGP_xq1PQlCQ" routing="Tree"/>
240 <styles xmi:type="notation:FontStyle" xmi:id="_pMRzxFapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
241 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMRzxVapEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/>
242 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4FapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
243 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4VapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
244 </edges>
245 <edges xmi:type="notation:Edge" xmi:id="_pMTB4lapEeiGP_xq1PQlCQ" type="4001" element="_pMG0oFapEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">
246 <children xmi:type="notation:Node" xmi:id="_pMTo8FapEeiGP_xq1PQlCQ" type="6001">
247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMTo8VapEeiGP_xq1PQlCQ" x="-41" y="-10"/>
248 </children>
249 <children xmi:type="notation:Node" xmi:id="_pMUQAFapEeiGP_xq1PQlCQ" type="6002">
250 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQAVapEeiGP_xq1PQlCQ" x="-23" y="-14"/>
251 </children>
252 <children xmi:type="notation:Node" xmi:id="_pMUQAlapEeiGP_xq1PQlCQ" type="6003">
253 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQA1apEeiGP_xq1PQlCQ" x="-31" y="10"/>
254 </children>
255 <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMTB41apEeiGP_xq1PQlCQ" routing="Tree"/>
256 <styles xmi:type="notation:FontStyle" xmi:id="_pMTB5FapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>
257 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMTB5VapEeiGP_xq1PQlCQ" points="[0, 49, 232, 124]$[0, 16, 232, 91]$[-231, 16, 1, 91]$[-231, -26, 1, 49]"/>
258 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
259 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
260 </edges>
261 <edges xmi:type="notation:Edge" xmi:id="_Eve_MFasEeiGP_xq1PQlCQ" type="4001" element="_EvQ8wFasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">
262 <children xmi:type="notation:Node" xmi:id="_EvfmQFasEeiGP_xq1PQlCQ" type="6001">
263 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQVasEeiGP_xq1PQlCQ" x="-4"/>
264 </children>
265 <children xmi:type="notation:Node" xmi:id="_EvfmQlasEeiGP_xq1PQlCQ" type="6002">
266 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQ1asEeiGP_xq1PQlCQ" x="20"/>
267 </children>
268 <children xmi:type="notation:Node" xmi:id="_EvfmRFasEeiGP_xq1PQlCQ" type="6003">
269 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmRVasEeiGP_xq1PQlCQ" x="3"/>
270 </children>
271 <styles xmi:type="notation:ConnectorStyle" xmi:id="_Eve_MVasEeiGP_xq1PQlCQ" routing="Rectilinear"/>
272 <styles xmi:type="notation:FontStyle" xmi:id="_Eve_MlasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
273 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Eve_M1asEeiGP_xq1PQlCQ" points="[-54, 49, -53, -81]$[-54, 81, -53, -49]"/>
274 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
275 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
276 </edges>
277 <edges xmi:type="notation:Edge" xmi:id="_EvgNUlasEeiGP_xq1PQlCQ" type="4001" element="_EvSx8FasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">
278 <children xmi:type="notation:Node" xmi:id="_Evg0YFasEeiGP_xq1PQlCQ" type="6001">
279 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0YVasEeiGP_xq1PQlCQ" x="-4"/>
280 </children>
281 <children xmi:type="notation:Node" xmi:id="_Evg0YlasEeiGP_xq1PQlCQ" type="6002">
282 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0Y1asEeiGP_xq1PQlCQ" x="20"/>
283 </children>
284 <children xmi:type="notation:Node" xmi:id="_Evg0ZFasEeiGP_xq1PQlCQ" type="6003">
285 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0ZVasEeiGP_xq1PQlCQ" x="-4" y="-10"/>
286 </children>
287 <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvgNU1asEeiGP_xq1PQlCQ" routing="Rectilinear"/>
288 <styles xmi:type="notation:FontStyle" xmi:id="_EvgNVFasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
289 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_EvgNVVasEeiGP_xq1PQlCQ" points="[56, 49, 57, -81]$[56, 81, 57, -49]"/>
290 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0ZlasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
291 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0Z1asEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
292 </edges>
293 <edges xmi:type="notation:Edge" xmi:id="_EvhbcFasEeiGP_xq1PQlCQ" type="4001" element="_EvUnIFasEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">
294 <children xmi:type="notation:Node" xmi:id="_EvhbdFasEeiGP_xq1PQlCQ" type="6001">
295 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbdVasEeiGP_xq1PQlCQ" x="-61" y="47"/>
296 </children>
297 <children xmi:type="notation:Node" xmi:id="_EvhbdlasEeiGP_xq1PQlCQ" type="6002">
298 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evhbd1asEeiGP_xq1PQlCQ" x="22"/>
299 </children>
300 <children xmi:type="notation:Node" xmi:id="_EvhbeFasEeiGP_xq1PQlCQ" type="6003">
301 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbeVasEeiGP_xq1PQlCQ" x="-11" y="10"/>
302 </children>
303 <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvhbcVasEeiGP_xq1PQlCQ" routing="Rectilinear"/>
304 <styles xmi:type="notation:FontStyle" xmi:id="_EvhbclasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
305 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Evhbc1asEeiGP_xq1PQlCQ" points="[1, 49, -177, -81]$[1, 141, -177, 11]$[82, 141, -96, 11]"/>
306 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
307 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
308 </edges>
309 <edges xmi:type="notation:Edge" xmi:id="_fTv5UFayEeiGP_xq1PQlCQ" type="4001" element="_fTpLoFayEeiGP_xq1PQlCQ" source="_ovB-cFamEeiGP_xq1PQlCQ" target="_fTs2AFayEeiGP_xq1PQlCQ">
310 <children xmi:type="notation:Node" xmi:id="_fTwgYFayEeiGP_xq1PQlCQ" type="6001">
311 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTwgYVayEeiGP_xq1PQlCQ" x="-18" y="-10"/>
312 </children>
313 <children xmi:type="notation:Node" xmi:id="_fTxHcFayEeiGP_xq1PQlCQ" type="6002">
314 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHcVayEeiGP_xq1PQlCQ" x="66" y="10"/>
315 </children>
316 <children xmi:type="notation:Node" xmi:id="_fTxHclayEeiGP_xq1PQlCQ" type="6003">
317 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHc1ayEeiGP_xq1PQlCQ" x="-29" y="10"/>
318 </children>
319 <styles xmi:type="notation:ConnectorStyle" xmi:id="_fTv5UVayEeiGP_xq1PQlCQ" routing="Rectilinear"/>
320 <styles xmi:type="notation:FontStyle" xmi:id="_fTv5UlayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>
321 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fTv5U1ayEeiGP_xq1PQlCQ" points="[64, -4, -206, -9]$[211, -4, -59, -9]"/>
322 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxHdFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
323 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxugFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>
324 </edges>
325 <edges xmi:type="notation:Edge" xmi:id="_8BAXcFdAEeiGP_xq1PQlCQ" type="4001" element="_8AvRsFdAEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_4FAb8FdAEeiGP_xq1PQlCQ">
326 <children xmi:type="notation:Node" xmi:id="_8BAXdFdAEeiGP_xq1PQlCQ" type="6001">
327 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXdVdAEeiGP_xq1PQlCQ" x="1" y="54"/>
328 </children>
329 <children xmi:type="notation:Node" xmi:id="_8BAXdldAEeiGP_xq1PQlCQ" type="6002">
330 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXd1dAEeiGP_xq1PQlCQ" y="10"/>
331 </children>
332 <children xmi:type="notation:Node" xmi:id="_8BAXeFdAEeiGP_xq1PQlCQ" type="6003">
333 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXeVdAEeiGP_xq1PQlCQ" y="10"/>
334 </children>
335 <styles xmi:type="notation:ConnectorStyle" xmi:id="_8BAXcVdAEeiGP_xq1PQlCQ" routing="Rectilinear"/>
336 <styles xmi:type="notation:FontStyle" xmi:id="_8BAXcldAEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
337 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_8BAXc1dAEeiGP_xq1PQlCQ" points="[9, 0, 0, -51]$[9, 51, 0, 0]"/>
338 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gFdAEeiGP_xq1PQlCQ" id="(0.4897959183673469,1.0)"/>
339 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gVdAEeiGP_xq1PQlCQ" id="(0.5368421052631579,0.0)"/>
340 </edges>
341 </data>
342 </ownedAnnotationEntries>
343 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_diG_AFYiEeiGP_xq1PQlCQ" name="PartialModelRelation2Assertion" tooltipText="" outgoingEdges="_ou_iMFamEeiGP_xq1PQlCQ _-rf1wFamEeiGP_xq1PQlCQ _8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10">
344 <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>
345 <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>
346 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
347 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
348 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
349 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_diQwAFYiEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
350 <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"/>
351 </ownedStyle>
352 <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']"/>
353 </ownedDiagramElements>
354 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ou3mYFamEeiGP_xq1PQlCQ" name="AssertionAnnotation" tooltipText="" outgoingEdges="_fTpLoFayEeiGP_xq1PQlCQ" incomingEdges="_ou_iMFamEeiGP_xq1PQlCQ" width="12" height="10">
355 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
356 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
357 <decorations xmi:type="viewpoint:Decoration" xmi:id="_ou40gVamEeiGP_xq1PQlCQ">
358 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
359 </decorations>
360 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
361 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
362 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
363 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_ou40gFamEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
364 <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"/>
365 </ownedStyle>
366 <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']"/>
367 </ownedDiagramElements>
368 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ou_iMFamEeiGP_xq1PQlCQ" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_ou3mYFamEeiGP_xq1PQlCQ">
369 <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>
370 <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>
371 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ovAwUFamEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">
372 <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"/>
373 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ovAwUVamEeiGP_xq1PQlCQ" showIcon="false">
374 <labelFormat>italic</labelFormat>
375 </beginLabelStyle>
376 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_ovAwUlamEeiGP_xq1PQlCQ" showIcon="false"/>
377 </ownedStyle>
378 <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']"/>
379 </ownedDiagramElements>
380 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_-rYhAFamEeiGP_xq1PQlCQ" name="RelationLink" tooltipText="" incomingEdges="_-rf1wFamEeiGP_xq1PQlCQ _pMDxUFapEeiGP_xq1PQlCQ _pMFmgFapEeiGP_xq1PQlCQ _pMG0oFapEeiGP_xq1PQlCQ" width="12" height="10">
381 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/>
382 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/>
383 <decorations xmi:type="viewpoint:Decoration" xmi:id="_-rZIEVamEeiGP_xq1PQlCQ">
384 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
385 </decorations>
386 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
387 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
388 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
389 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_-rZIEFamEeiGP_xq1PQlCQ" 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">
390 <labelFormat>italic</labelFormat>
391 <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"/>
392 </ownedStyle>
393 <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']"/>
394 </ownedDiagramElements>
395 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_-rf1wFamEeiGP_xq1PQlCQ" name="[0..*] links" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">
396 <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/>
397 <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/>
398 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_D7G28FbjEeiGP_xq1PQlCQ" description="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
399 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_D7G28VbjEeiGP_xq1PQlCQ" showIcon="false"/>
400 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_D7G28lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>
401 </ownedStyle>
402 <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']"/>
403 </ownedDiagramElements>
404 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLphoFapEeiGP_xq1PQlCQ" name="BinaryElementRelationLink" tooltipText="" outgoingEdges="_pMDxUFapEeiGP_xq1PQlCQ _EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ" width="12" height="10">
405 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>
406 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>
407 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLqvwVapEeiGP_xq1PQlCQ">
408 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
409 </decorations>
410 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
411 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
412 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
413 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLqvwFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
414 <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"/>
415 </ownedStyle>
416 <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']"/>
417 </ownedDiagramElements>
418 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLrW0FapEeiGP_xq1PQlCQ" name="NaryRelationLink" tooltipText="" outgoingEdges="_pMFmgFapEeiGP_xq1PQlCQ" width="12" height="10">
419 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>
420 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>
421 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLsk8FapEeiGP_xq1PQlCQ">
422 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
423 </decorations>
424 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
425 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
426 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
427 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLr94FapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
428 <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"/>
429 </ownedStyle>
430 <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']"/>
431 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_pL9qsFapEeiGP_xq1PQlCQ" name=" elements : NaryRelationLinkElement" tooltipText="">
432 <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/>
433 <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/>
434 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_pL-RwFapEeiGP_xq1PQlCQ" labelAlignment="LEFT" color="114,159,207">
435 <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"/>
436 </ownedStyle>
437 <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']"/>
438 </ownedElements>
439 </ownedDiagramElements>
440 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLtzEFapEeiGP_xq1PQlCQ" name="UnaryElementRelationLink" tooltipText="" outgoingEdges="_pMG0oFapEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10">
441 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>
442 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>
443 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLvBMVapEeiGP_xq1PQlCQ">
444 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
445 </decorations>
446 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
447 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
448 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
449 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLvBMFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
450 <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"/>
451 </ownedStyle>
452 <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']"/>
453 </ownedDiagramElements>
454 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMDxUFapEeiGP_xq1PQlCQ" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">
455 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>
456 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>
457 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pME_c1apEeiGP_xq1PQlCQ">
458 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
459 </decorations>
460 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pME_cFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">
461 <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"/>
462 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pME_cVapEeiGP_xq1PQlCQ" showIcon="false">
463 <labelFormat>italic</labelFormat>
464 </beginLabelStyle>
465 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pME_clapEeiGP_xq1PQlCQ" showIcon="false"/>
466 </ownedStyle>
467 <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']"/>
468 </ownedDiagramElements>
469 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMFmgFapEeiGP_xq1PQlCQ" sourceNode="_pLrW0FapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">
470 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>
471 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>
472 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMGNk1apEeiGP_xq1PQlCQ">
473 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
474 </decorations>
475 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMGNkFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">
476 <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"/>
477 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMGNkVapEeiGP_xq1PQlCQ" showIcon="false">
478 <labelFormat>italic</labelFormat>
479 </beginLabelStyle>
480 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMGNklapEeiGP_xq1PQlCQ" showIcon="false"/>
481 </ownedStyle>
482 <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']"/>
483 </ownedDiagramElements>
484 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMG0oFapEeiGP_xq1PQlCQ" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">
485 <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>
486 <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>
487 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMHbs1apEeiGP_xq1PQlCQ">
488 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
489 </decorations>
490 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMHbsFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">
491 <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"/>
492 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMHbsVapEeiGP_xq1PQlCQ" showIcon="false">
493 <labelFormat>italic</labelFormat>
494 </beginLabelStyle>
495 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMHbslapEeiGP_xq1PQlCQ" showIcon="false"/>
496 </ownedStyle>
497 <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']"/>
498 </ownedDiagramElements>
499 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_EvBFIFasEeiGP_xq1PQlCQ" name="DefinedElement" tooltipText="" incomingEdges="_EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10">
500 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
501 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
502 <decorations xmi:type="viewpoint:Decoration" xmi:id="_EvC6UFasEeiGP_xq1PQlCQ">
503 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
504 </decorations>
505 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
506 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
507 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
508 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_EvCTQFasEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
509 <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"/>
510 </ownedStyle>
511 <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']"/>
512 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_EvOggFasEeiGP_xq1PQlCQ" name=" definedInType : TypeDefinition" tooltipText="">
513 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/>
514 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/>
515 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_EvPHkFasEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207">
516 <labelFormat>bold</labelFormat>
517 </ownedStyle>
518 <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']"/>
519 </ownedElements>
520 </ownedDiagramElements>
521 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvQ8wFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">
522 <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/>
523 <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/>
524 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvSK41asEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">
525 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvSK5FasEeiGP_xq1PQlCQ" showIcon="false">
526 <customFeatures>labelSize</customFeatures>
527 <labelFormat>bold</labelFormat>
528 </centerLabelStyle>
529 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvSK5VasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">
530 <customFeatures>labelSize</customFeatures>
531 </endLabelStyle>
532 </ownedStyle>
533 <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']"/>
534 </ownedDiagramElements>
535 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvSx8FasEeiGP_xq1PQlCQ" name="[1..1] param2" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">
536 <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/>
537 <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/>
538 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvTZAFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">
539 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvUAEFasEeiGP_xq1PQlCQ" showIcon="false">
540 <customFeatures>labelSize</customFeatures>
541 <labelFormat>bold</labelFormat>
542 </centerLabelStyle>
543 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvUAEVasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">
544 <customFeatures>labelSize</customFeatures>
545 </endLabelStyle>
546 </ownedStyle>
547 <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']"/>
548 </ownedDiagramElements>
549 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvUnIFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">
550 <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/>
551 <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/>
552 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvV1QFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">
553 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvV1QVasEeiGP_xq1PQlCQ" showIcon="false">
554 <customFeatures>labelSize</customFeatures>
555 <labelFormat>bold</labelFormat>
556 </centerLabelStyle>
557 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvV1QlasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">
558 <customFeatures>labelSize</customFeatures>
559 </endLabelStyle>
560 </ownedStyle>
561 <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']"/>
562 </ownedDiagramElements>
563 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_fTWQsFayEeiGP_xq1PQlCQ" name="Assertion" tooltipText="" incomingEdges="_fTpLoFayEeiGP_xq1PQlCQ" width="12" height="10">
564 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/>
565 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/>
566 <decorations xmi:type="viewpoint:Decoration" xmi:id="_fTXe0VayEeiGP_xq1PQlCQ">
567 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
568 </decorations>
569 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
570 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
571 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
572 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_fTXe0FayEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
573 <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"/>
574 </ownedStyle>
575 <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']"/>
576 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fThP0FayEeiGP_xq1PQlCQ" name="name : EString" tooltipText="">
577 <target xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/>
578 <semanticElements xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/>
579 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTh24VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_fTh24FayEeiGP_xq1PQlCQ">
580 <labelFormat>bold</labelFormat>
581 </ownedStyle>
582 <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']"/>
583 </ownedElements>
584 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fTid8FayEeiGP_xq1PQlCQ" name=" value : Term" tooltipText="">
585 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/>
586 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/>
587 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTid8VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207">
588 <labelFormat>bold</labelFormat>
589 </ownedStyle>
590 <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']"/>
591 </ownedElements>
592 </ownedDiagramElements>
593 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fTpLoFayEeiGP_xq1PQlCQ" sourceNode="_ou3mYFamEeiGP_xq1PQlCQ" targetNode="_fTWQsFayEeiGP_xq1PQlCQ" beginLabel="[0..*] annotations" endLabel="[1..1] target">
594 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>
595 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/annotations"/>
596 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>
597 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_fTrA0FayEeiGP_xq1PQlCQ" description="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0">
598 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_fTrA0VayEeiGP_xq1PQlCQ" showIcon="false">
599 <labelFormat>bold</labelFormat>
600 </beginLabelStyle>
601 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_fTrA0layEeiGP_xq1PQlCQ" showIcon="false">
602 <labelFormat>bold</labelFormat>
603 </endLabelStyle>
604 </ownedStyle>
605 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/>
606 </ownedDiagramElements>
607 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_4EoogFdAEeiGP_xq1PQlCQ" name="RelationDeclaration" tooltipText="" incomingEdges="_8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10">
608 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
609 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
610 <decorations xmi:type="viewpoint:Decoration" xmi:id="_4Ep2oFdAEeiGP_xq1PQlCQ">
611 <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>
612 </decorations>
613 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
614 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
615 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
616 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_4EpPkFdAEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
617 <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"/>
618 </ownedStyle>
619 <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']"/>
620 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E2q8FdAEeiGP_xq1PQlCQ" name=" parameters : TypeReference" tooltipText="">
621 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/>
622 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/>
623 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAFdAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT">
624 <labelFormat>italic</labelFormat>
625 <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']/@conditionnalStyles.0/@style"/>
626 </ownedStyle>
627 <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']"/>
628 </ownedElements>
629 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E3SAVdAEeiGP_xq1PQlCQ" name=" annotations : RelationAnnotation" tooltipText="">
630 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/>
631 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/>
632 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAldAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT">
633 <labelFormat>italic</labelFormat>
634 <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']/@conditionnalStyles.0/@style"/>
635 </ownedStyle>
636 <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']"/>
637 </ownedElements>
638 </ownedDiagramElements>
639 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8AvRsFdAEeiGP_xq1PQlCQ" name="[1..1] targetRelation" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_4EoogFdAEeiGP_xq1PQlCQ">
640 <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/>
641 <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/>
642 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="__TcYkFdAEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">
643 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="__TcYkVdAEeiGP_xq1PQlCQ" showIcon="false">
644 <labelFormat>bold</labelFormat>
645 </centerLabelStyle>
646 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="__TcYkldAEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>
647 </ownedStyle>
648 <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']"/>
649 </ownedDiagramElements>
650 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
651 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_aouXFFYiEeiGP_xq1PQlCQ"/>
652 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
653 <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']"/>
654 <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']"/>
655 <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']"/>
656 <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/>
657 </diagram:DSemanticDiagram>
658</xmi:XMI>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-17 01:51:11 +0000