aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-24 19:03:35 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-24 19:03:35 -0500
commitd7e2de55047e357ca6a4db4709885ca59946a484 (patch)
tree227768e3e5c2b5805a108ec77ee408fe1e582e50 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird
parentProject workspace folder structure generation patch (diff)
downloadVIATRA-Generator-d7e2de55047e357ca6a4db4709885ca59946a484.tar.gz
VIATRA-Generator-d7e2de55047e357ca6a4db4709885ca59946a484.tar.zst
VIATRA-Generator-d7e2de55047e357ca6a4db4709885ca59946a484.zip
Translated PQueryies are added to annotation.
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird804
1 files changed, 426 insertions, 378 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird
index b4c8ec92..1af6ebf0 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.aird
@@ -1,394 +1,442 @@
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="_hKMI0LzSEeaj7tVusjQpHg" selectedViews="_hMdZsLzSEeaj7tVusjQpHg _hMvGgLzSEeaj7tVusjQpHg _hM760LzSEeaj7tVusjQpHg _hNNAkLzSEeaj7tVusjQpHg" 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>ViatraModelAnnotations.ecore</semanticResources> 3 <viewpoint:DAnalysis xmi:id="_hKMI0LzSEeaj7tVusjQpHg" selectedViews="_hMdZsLzSEeaj7tVusjQpHg _hMvGgLzSEeaj7tVusjQpHg _hM760LzSEeaj7tVusjQpHg _hNNAkLzSEeaj7tVusjQpHg" version="11.1.0.201608251200">
4 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources> 4 <semanticResources>ViatraModelAnnotations.ecore</semanticResources>
5 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources> 5 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources>
6 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> 6 <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources>
7 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hMdZsLzSEeaj7tVusjQpHg"> 7 <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>
8 <ownedRepresentations xmi:type="diagram:DSemanticDiagram" xmi:id="_h6EtoLzSEeaj7tVusjQpHg" name="viatra2logicannotations class diagram"> 8 <ownedViews xmi:type="viewpoint:DView" xmi:id="_hMdZsLzSEeaj7tVusjQpHg">
9 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6EtobzSEeaj7tVusjQpHg" 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="_h6EtorzSEeaj7tVusjQpHg"> 10 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_HjHhMBfyEeiKzNmzswRwjA" name="viatra2logicannotations class diagram" representation="_h6EtoLzSEeaj7tVusjQpHg">
11 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan"> 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 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 12 <target xmi:type="ecore:EPackage" href="ViatraModelAnnotations.ecore#/"/>
13 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_JijTsbzTEeaj7tVusjQpHg" showIcon="false" labelExpression="service:render"> 13 </ownedRepresentationDescriptors>
14 <labelFormat>bold</labelFormat> 14 </ownedViews>
15 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 15 <ownedViews xmi:type="viewpoint:DView" xmi:id="_hMvGgLzSEeaj7tVusjQpHg">
16 </centerLabelStyleDescription> 16 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
17 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_JijTsrzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> 17 </ownedViews>
18 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> 18 <ownedViews xmi:type="viewpoint:DView" xmi:id="_hM760LzSEeaj7tVusjQpHg">
19 </endLabelStyleDescription> 19 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
20 </computedStyleDescriptions> 20 </ownedViews>
21 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="__q-j0L2REeaj7tVusjQpHg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> 21 <ownedViews xmi:type="viewpoint:DView" xmi:id="_hNNAkLzSEeaj7tVusjQpHg">
22 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 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 xmi:id="_h6EtoLzSEeaj7tVusjQpHg" name="viatra2logicannotations class diagram">
26 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6EtobzSEeaj7tVusjQpHg" source="DANNOTATION_CUSTOMIZATION_KEY">
27 <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_h6EtorzSEeaj7tVusjQpHg">
28 <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan">
29 <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
30 <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_JijTsbzTEeaj7tVusjQpHg" showIcon="false" labelExpression="service:render">
23 <labelFormat>bold</labelFormat> 31 <labelFormat>bold</labelFormat>
24 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 32 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
25 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> 33 </centerLabelStyleDescription>
26 </computedStyleDescriptions> 34 <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_JijTsrzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
27 </data> 35 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
28 </ownedAnnotationEntries> 36 </endLabelStyleDescription>
29 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6IYALzSEeaj7tVusjQpHg" source="GMF_DIAGRAMS"> 37 </computedStyleDescriptions>
30 <data xmi:type="notation:Diagram" xmi:id="_h6IYAbzSEeaj7tVusjQpHg" type="Sirius" element="_h6EtoLzSEeaj7tVusjQpHg" measurementUnit="Pixel"> 38 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="__q-j0L2REeaj7tVusjQpHg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
31 <children xmi:type="notation:Node" xmi:id="_8vuhcLzSEeaj7tVusjQpHg" type="2003" element="_8vqQALzSEeaj7tVusjQpHg"> 39 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
32 <children xmi:type="notation:Node" xmi:id="_8vuhc7zSEeaj7tVusjQpHg" type="5007"/> 40 <labelFormat>bold</labelFormat>
33 <children xmi:type="notation:Node" xmi:id="_8vuhdLzSEeaj7tVusjQpHg" type="7004"> 41 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
34 <children xmi:type="notation:Node" xmi:id="_4D-9QL2REeaj7tVusjQpHg" type="3010" element="_4Dt3gL2REeaj7tVusjQpHg"> 42 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
35 <styles xmi:type="notation:FontStyle" xmi:id="_4D-9Qb2REeaj7tVusjQpHg" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/> 43 </computedStyleDescriptions>
36 <layoutConstraint xmi:type="notation:Location" xmi:id="_4D-9Qr2REeaj7tVusjQpHg"/> 44 <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_JMersBfyEeiKzNmzswRwjA" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
37 </children> 45 <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
38 <styles xmi:type="notation:SortingStyle" xmi:id="_8vuhdbzSEeaj7tVusjQpHg"/> 46 <labelFormat>bold</labelFormat>
39 <styles xmi:type="notation:FilteringStyle" xmi:id="_8vuhdrzSEeaj7tVusjQpHg"/> 47 <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
48 <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/>
49 </computedStyleDescriptions>
50 </data>
51 </ownedAnnotationEntries>
52 <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_h6IYALzSEeaj7tVusjQpHg" source="GMF_DIAGRAMS">
53 <data xmi:type="notation:Diagram" xmi:id="_h6IYAbzSEeaj7tVusjQpHg" type="Sirius" element="_h6EtoLzSEeaj7tVusjQpHg" measurementUnit="Pixel">
54 <children xmi:type="notation:Node" xmi:id="_8vuhcLzSEeaj7tVusjQpHg" type="2003" element="_8vqQALzSEeaj7tVusjQpHg">
55 <children xmi:type="notation:Node" xmi:id="_8vuhc7zSEeaj7tVusjQpHg" type="5007"/>
56 <children xmi:type="notation:Node" xmi:id="_8vuhdLzSEeaj7tVusjQpHg" type="7004">
57 <children xmi:type="notation:Node" xmi:id="_4D-9QL2REeaj7tVusjQpHg" type="3010" element="_4Dt3gL2REeaj7tVusjQpHg">
58 <styles xmi:type="notation:FontStyle" xmi:id="_4D-9Qb2REeaj7tVusjQpHg" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
59 <layoutConstraint xmi:type="notation:Location" xmi:id="_4D-9Qr2REeaj7tVusjQpHg"/>
40 </children> 60 </children>
41 <styles xmi:type="notation:ShapeStyle" xmi:id="_8vuhcbzSEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 61 <children xmi:type="notation:Node" xmi:id="_NFBDgBfyEeiKzNmzswRwjA" type="3010" element="_NEcbwBfyEeiKzNmzswRwjA">
42 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8vuhcrzSEeaj7tVusjQpHg" x="5" y="390" width="228" height="53"/> 62 <styles xmi:type="notation:FontStyle" xmi:id="_NFBDgRfyEeiKzNmzswRwjA" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
43 </children> 63 <layoutConstraint xmi:type="notation:Location" xmi:id="_NFBDghfyEeiKzNmzswRwjA"/>
44 <children xmi:type="notation:Node" xmi:id="_Ci29sLzTEeaj7tVusjQpHg" type="2003" element="_Ciz6YLzTEeaj7tVusjQpHg">
45 <children xmi:type="notation:Node" xmi:id="_Ci29s7zTEeaj7tVusjQpHg" type="5007"/>
46 <children xmi:type="notation:Node" xmi:id="_Ci3kwLzTEeaj7tVusjQpHg" type="7004">
47 <styles xmi:type="notation:SortingStyle" xmi:id="_Ci3kwbzTEeaj7tVusjQpHg"/>
48 <styles xmi:type="notation:FilteringStyle" xmi:id="_Ci3kwrzTEeaj7tVusjQpHg"/>
49 </children> 64 </children>
50 <styles xmi:type="notation:ShapeStyle" xmi:id="_Ci29sbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 65 <styles xmi:type="notation:SortingStyle" xmi:id="_8vuhdbzSEeaj7tVusjQpHg"/>
51 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ci29srzTEeaj7tVusjQpHg" x="520" y="390" width="263" height="53"/> 66 <styles xmi:type="notation:FilteringStyle" xmi:id="_8vuhdrzSEeaj7tVusjQpHg"/>
52 </children> 67 </children>
53 <children xmi:type="notation:Node" xmi:id="_hos0ULzTEeaj7tVusjQpHg" type="2003" element="_hon70LzTEeaj7tVusjQpHg"> 68 <styles xmi:type="notation:ShapeStyle" xmi:id="_8vuhcbzSEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
54 <children xmi:type="notation:Node" xmi:id="_hotbYLzTEeaj7tVusjQpHg" type="5007"/> 69 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8vuhcrzSEeaj7tVusjQpHg" x="5" y="390" width="228" height="68"/>
55 <children xmi:type="notation:Node" xmi:id="_hotbYbzTEeaj7tVusjQpHg" type="7004"> 70 </children>
56 <styles xmi:type="notation:SortingStyle" xmi:id="_hotbYrzTEeaj7tVusjQpHg"/> 71 <children xmi:type="notation:Node" xmi:id="_Ci29sLzTEeaj7tVusjQpHg" type="2003" element="_Ciz6YLzTEeaj7tVusjQpHg">
57 <styles xmi:type="notation:FilteringStyle" xmi:id="_hotbY7zTEeaj7tVusjQpHg"/> 72 <children xmi:type="notation:Node" xmi:id="_Ci29s7zTEeaj7tVusjQpHg" type="5007"/>
58 </children> 73 <children xmi:type="notation:Node" xmi:id="_Ci3kwLzTEeaj7tVusjQpHg" type="7004">
59 <styles xmi:type="notation:ShapeStyle" xmi:id="_hos0UbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 74 <styles xmi:type="notation:SortingStyle" xmi:id="_Ci3kwbzTEeaj7tVusjQpHg"/>
60 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hos0UrzTEeaj7tVusjQpHg" x="180" y="320" height="23"/> 75 <styles xmi:type="notation:FilteringStyle" xmi:id="_Ci3kwrzTEeaj7tVusjQpHg"/>
61 </children> 76 </children>
62 <children xmi:type="notation:Node" xmi:id="_kYcYELzTEeaj7tVusjQpHg" type="2003" element="_kYYGoLzTEeaj7tVusjQpHg"> 77 <styles xmi:type="notation:ShapeStyle" xmi:id="_Ci29sbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
63 <children xmi:type="notation:Node" xmi:id="_kYcYE7zTEeaj7tVusjQpHg" type="5007"/> 78 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ci29srzTEeaj7tVusjQpHg" x="520" y="390" width="263" height="53"/>
64 <children xmi:type="notation:Node" xmi:id="_kYc_ILzTEeaj7tVusjQpHg" type="7004"> 79 </children>
65 <styles xmi:type="notation:SortingStyle" xmi:id="_kYc_IbzTEeaj7tVusjQpHg"/> 80 <children xmi:type="notation:Node" xmi:id="_hos0ULzTEeaj7tVusjQpHg" type="2003" element="_hon70LzTEeaj7tVusjQpHg">
66 <styles xmi:type="notation:FilteringStyle" xmi:id="_kYc_IrzTEeaj7tVusjQpHg"/> 81 <children xmi:type="notation:Node" xmi:id="_hotbYLzTEeaj7tVusjQpHg" type="5007"/>
82 <children xmi:type="notation:Node" xmi:id="_hotbYbzTEeaj7tVusjQpHg" type="7004">
83 <children xmi:type="notation:Node" xmi:id="_JNaf0BfyEeiKzNmzswRwjA" type="3010" element="_JMX-ABfyEeiKzNmzswRwjA">
84 <styles xmi:type="notation:FontStyle" xmi:id="_JNaf0RfyEeiKzNmzswRwjA" fontName="Segoe UI" fontHeight="8" bold="true"/>
85 <layoutConstraint xmi:type="notation:Location" xmi:id="_JNaf0hfyEeiKzNmzswRwjA"/>
67 </children> 86 </children>
68 <styles xmi:type="notation:ShapeStyle" xmi:id="_kYcYEbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 87 <styles xmi:type="notation:SortingStyle" xmi:id="_hotbYrzTEeaj7tVusjQpHg"/>
69 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYcYErzTEeaj7tVusjQpHg" x="403" y="245" height="35"/> 88 <styles xmi:type="notation:FilteringStyle" xmi:id="_hotbY7zTEeaj7tVusjQpHg"/>
70 </children> 89 </children>
71 <children xmi:type="notation:Node" xmi:id="_pqrGsLzTEeaj7tVusjQpHg" type="2003" element="_pqmOMLzTEeaj7tVusjQpHg"> 90 <styles xmi:type="notation:ShapeStyle" xmi:id="_hos0UbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
72 <children xmi:type="notation:Node" xmi:id="_pqrtwLzTEeaj7tVusjQpHg" type="5007"/> 91 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_hos0UrzTEeaj7tVusjQpHg" x="180" y="320" height="23"/>
73 <children xmi:type="notation:Node" xmi:id="_pqrtwbzTEeaj7tVusjQpHg" type="7004"> 92 </children>
74 <styles xmi:type="notation:SortingStyle" xmi:id="_pqrtwrzTEeaj7tVusjQpHg"/> 93 <children xmi:type="notation:Node" xmi:id="_kYcYELzTEeaj7tVusjQpHg" type="2003" element="_kYYGoLzTEeaj7tVusjQpHg">
75 <styles xmi:type="notation:FilteringStyle" xmi:id="_pqrtw7zTEeaj7tVusjQpHg"/> 94 <children xmi:type="notation:Node" xmi:id="_kYcYE7zTEeaj7tVusjQpHg" type="5007"/>
76 </children> 95 <children xmi:type="notation:Node" xmi:id="_kYc_ILzTEeaj7tVusjQpHg" type="7004">
77 <styles xmi:type="notation:ShapeStyle" xmi:id="_pqrGsbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 96 <styles xmi:type="notation:SortingStyle" xmi:id="_kYc_IbzTEeaj7tVusjQpHg"/>
78 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqrGsrzTEeaj7tVusjQpHg" x="580" y="320" height="28"/> 97 <styles xmi:type="notation:FilteringStyle" xmi:id="_kYc_IrzTEeaj7tVusjQpHg"/>
79 </children> 98 </children>
80 <children xmi:type="notation:Node" xmi:id="_7hZUIPObEeauOJk-5mBnBg" type="2003" element="_7gtXoPObEeauOJk-5mBnBg"> 99 <styles xmi:type="notation:ShapeStyle" xmi:id="_kYcYEbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
81 <children xmi:type="notation:Node" xmi:id="_7hjFIPObEeauOJk-5mBnBg" type="5007"/> 100 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYcYErzTEeaj7tVusjQpHg" x="403" y="245" height="35"/>
82 <children xmi:type="notation:Node" xmi:id="_7hkTQPObEeauOJk-5mBnBg" type="7004"> 101 </children>
83 <styles xmi:type="notation:SortingStyle" xmi:id="_7hkTQfObEeauOJk-5mBnBg"/> 102 <children xmi:type="notation:Node" xmi:id="_pqrGsLzTEeaj7tVusjQpHg" type="2003" element="_pqmOMLzTEeaj7tVusjQpHg">
84 <styles xmi:type="notation:FilteringStyle" xmi:id="_7hkTQvObEeauOJk-5mBnBg"/> 103 <children xmi:type="notation:Node" xmi:id="_pqrtwLzTEeaj7tVusjQpHg" type="5007"/>
104 <children xmi:type="notation:Node" xmi:id="_pqrtwbzTEeaj7tVusjQpHg" type="7004">
105 <children xmi:type="notation:Node" xmi:id="_JNuo4BfyEeiKzNmzswRwjA" type="3010" element="_JMjkMBfyEeiKzNmzswRwjA">
106 <styles xmi:type="notation:FontStyle" xmi:id="_JNuo4RfyEeiKzNmzswRwjA" fontName="Segoe UI" fontHeight="8" bold="true"/>
107 <layoutConstraint xmi:type="notation:Location" xmi:id="_JNuo4hfyEeiKzNmzswRwjA"/>
85 </children> 108 </children>
86 <styles xmi:type="notation:ShapeStyle" xmi:id="_7hZUIfObEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/> 109 <styles xmi:type="notation:SortingStyle" xmi:id="_pqrtwrzTEeaj7tVusjQpHg"/>
87 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_7hZUIvObEeauOJk-5mBnBg" x="245" y="390" width="263" height="53"/> 110 <styles xmi:type="notation:FilteringStyle" xmi:id="_pqrtw7zTEeaj7tVusjQpHg"/>
88 </children> 111 </children>
89 <styles xmi:type="notation:DiagramStyle" xmi:id="_h6IYArzSEeaj7tVusjQpHg"/> 112 <styles xmi:type="notation:ShapeStyle" xmi:id="_pqrGsbzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
90 <edges xmi:type="notation:Edge" xmi:id="_HcowELzTEeaj7tVusjQpHg" type="4001" element="_HcjQgLzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_8vuhcLzSEeaj7tVusjQpHg"> 113 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqrGsrzTEeaj7tVusjQpHg" x="580" y="320" height="28"/>
91 <children xmi:type="notation:Node" xmi:id="_HcowFLzTEeaj7tVusjQpHg" type="6001"> 114 </children>
92 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowFbzTEeaj7tVusjQpHg" x="113" y="-12" width="59" height="17"/> 115 <children xmi:type="notation:Node" xmi:id="_7hZUIPObEeauOJk-5mBnBg" type="2003" element="_7gtXoPObEeauOJk-5mBnBg">
93 </children> 116 <children xmi:type="notation:Node" xmi:id="_7hjFIPObEeauOJk-5mBnBg" type="5007"/>
94 <children xmi:type="notation:Node" xmi:id="_HcowFrzTEeaj7tVusjQpHg" type="6002"> 117 <children xmi:type="notation:Node" xmi:id="_7hkTQPObEeauOJk-5mBnBg" type="7004">
95 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowF7zTEeaj7tVusjQpHg" x="1" y="366"/> 118 <styles xmi:type="notation:SortingStyle" xmi:id="_7hkTQfObEeauOJk-5mBnBg"/>
96 </children> 119 <styles xmi:type="notation:FilteringStyle" xmi:id="_7hkTQvObEeauOJk-5mBnBg"/>
97 <children xmi:type="notation:Node" xmi:id="_HcowGLzTEeaj7tVusjQpHg" type="6003"> 120 </children>
98 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowGbzTEeaj7tVusjQpHg" x="4" y="139"/> 121 <styles xmi:type="notation:ShapeStyle" xmi:id="_7hZUIfObEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/>
99 </children> 122 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_7hZUIvObEeauOJk-5mBnBg" x="245" y="390" width="263" height="53"/>
100 <styles xmi:type="notation:ConnectorStyle" xmi:id="_HcowEbzTEeaj7tVusjQpHg" routing="Rectilinear"/> 123 </children>
101 <styles xmi:type="notation:FontStyle" xmi:id="_HcowErzTEeaj7tVusjQpHg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 124 <styles xmi:type="notation:DiagramStyle" xmi:id="_h6IYArzSEeaj7tVusjQpHg"/>
102 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HcowE7zTEeaj7tVusjQpHg" points="[131, 21, 420, 26]$[131, 150, 420, 155]$[-401, 150, -112, 155]$[-401, 26, -112, 31]"/> 125 <edges xmi:type="notation:Edge" xmi:id="_HcowELzTEeaj7tVusjQpHg" type="4001" element="_HcjQgLzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_8vuhcLzSEeaj7tVusjQpHg">
103 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXILzTEeaj7tVusjQpHg" id="(0.0,0.49019607843137253)"/> 126 <children xmi:type="notation:Node" xmi:id="_HcowFLzTEeaj7tVusjQpHg" type="6001">
104 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXIbzTEeaj7tVusjQpHg" id="(1.0,0.39215686274509803)"/> 127 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowFbzTEeaj7tVusjQpHg" x="113" y="-12" width="59" height="17"/>
105 </edges> 128 </children>
106 <edges xmi:type="notation:Edge" xmi:id="_hotbZLzTEeaj7tVusjQpHg" type="4001" element="_hormMLzTEeaj7tVusjQpHg" source="_8vuhcLzSEeaj7tVusjQpHg" target="_hos0ULzTEeaj7tVusjQpHg"> 129 <children xmi:type="notation:Node" xmi:id="_HcowFrzTEeaj7tVusjQpHg" type="6002">
107 <children xmi:type="notation:Node" xmi:id="_houCcLzTEeaj7tVusjQpHg" type="6001"> 130 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowF7zTEeaj7tVusjQpHg" x="1" y="366"/>
108 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCcbzTEeaj7tVusjQpHg" y="-10"/> 131 </children>
109 </children> 132 <children xmi:type="notation:Node" xmi:id="_HcowGLzTEeaj7tVusjQpHg" type="6003">
110 <children xmi:type="notation:Node" xmi:id="_houCcrzTEeaj7tVusjQpHg" type="6002"> 133 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HcowGbzTEeaj7tVusjQpHg" x="4" y="139"/>
111 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCc7zTEeaj7tVusjQpHg" y="10"/> 134 </children>
112 </children> 135 <styles xmi:type="notation:ConnectorStyle" xmi:id="_HcowEbzTEeaj7tVusjQpHg" routing="Rectilinear"/>
113 <children xmi:type="notation:Node" xmi:id="_houCdLzTEeaj7tVusjQpHg" type="6003"> 136 <styles xmi:type="notation:FontStyle" xmi:id="_HcowErzTEeaj7tVusjQpHg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
114 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCdbzTEeaj7tVusjQpHg" y="10"/> 137 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HcowE7zTEeaj7tVusjQpHg" points="[131, 21, 420, 26]$[131, 150, 420, 155]$[-401, 150, -112, 155]$[-401, 26, -112, 31]"/>
115 </children> 138 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXILzTEeaj7tVusjQpHg" id="(0.0,0.49019607843137253)"/>
116 <styles xmi:type="notation:ConnectorStyle" xmi:id="_hotbZbzTEeaj7tVusjQpHg" routing="Tree"/> 139 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_HcpXIbzTEeaj7tVusjQpHg" id="(1.0,0.30303030303030304)"/>
117 <styles xmi:type="notation:FontStyle" xmi:id="_hotbZrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 140 </edges>
118 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hotbZ7zTEeaj7tVusjQpHg" points="[115, 240, 115, 240]$[0, 0, 0, 0]"/> 141 <edges xmi:type="notation:Edge" xmi:id="_hotbZLzTEeaj7tVusjQpHg" type="4001" element="_hormMLzTEeaj7tVusjQpHg" source="_8vuhcLzSEeaj7tVusjQpHg" target="_hos0ULzTEeaj7tVusjQpHg">
119 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesLzTEeaj7tVusjQpHg" id="(0.6769911504424779,0.3926128590971272)"/> 142 <children xmi:type="notation:Node" xmi:id="_houCcLzTEeaj7tVusjQpHg" type="6001">
120 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesbzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/> 143 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCcbzTEeaj7tVusjQpHg" y="-10"/>
121 </edges> 144 </children>
122 <edges xmi:type="notation:Edge" xmi:id="_kYdmMLzTEeaj7tVusjQpHg" type="4001" element="_kYbxALzTEeaj7tVusjQpHg" source="_hos0ULzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg"> 145 <children xmi:type="notation:Node" xmi:id="_houCcrzTEeaj7tVusjQpHg" type="6002">
123 <children xmi:type="notation:Node" xmi:id="_kYeNQLzTEeaj7tVusjQpHg" type="6001"> 146 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCc7zTEeaj7tVusjQpHg" y="10"/>
124 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQbzTEeaj7tVusjQpHg" y="-10"/> 147 </children>
125 </children> 148 <children xmi:type="notation:Node" xmi:id="_houCdLzTEeaj7tVusjQpHg" type="6003">
126 <children xmi:type="notation:Node" xmi:id="_kYeNQrzTEeaj7tVusjQpHg" type="6002"> 149 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_houCdbzTEeaj7tVusjQpHg" y="10"/>
127 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQ7zTEeaj7tVusjQpHg" y="10"/> 150 </children>
128 </children> 151 <styles xmi:type="notation:ConnectorStyle" xmi:id="_hotbZbzTEeaj7tVusjQpHg" routing="Tree"/>
129 <children xmi:type="notation:Node" xmi:id="_kYeNRLzTEeaj7tVusjQpHg" type="6003"> 152 <styles xmi:type="notation:FontStyle" xmi:id="_hotbZrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
130 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNRbzTEeaj7tVusjQpHg" y="10"/> 153 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hotbZ7zTEeaj7tVusjQpHg" points="[115, 240, 115, 240]$[0, 0, 0, 0]"/>
131 </children> 154 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesLzTEeaj7tVusjQpHg" id="(0.6769911504424779,0.3033826638477801)"/>
132 <styles xmi:type="notation:ConnectorStyle" xmi:id="_kYdmMbzTEeaj7tVusjQpHg" routing="Tree"/> 155 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_howesbzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/>
133 <styles xmi:type="notation:FontStyle" xmi:id="_kYdmMrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 156 </edges>
134 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kYdmM7zTEeaj7tVusjQpHg" points="[126, 55, 126, 55]$[0, 0, 0, 0]"/> 157 <edges xmi:type="notation:Edge" xmi:id="_kYdmMLzTEeaj7tVusjQpHg" type="4001" element="_kYbxALzTEeaj7tVusjQpHg" source="_hos0ULzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg">
135 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkLzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/> 158 <children xmi:type="notation:Node" xmi:id="_kYeNQLzTEeaj7tVusjQpHg" type="6001">
136 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkbzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/> 159 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQbzTEeaj7tVusjQpHg" y="-10"/>
137 </edges> 160 </children>
138 <edges xmi:type="notation:Edge" xmi:id="_pqsU0LzTEeaj7tVusjQpHg" type="4001" element="_pqp4kLzTEeaj7tVusjQpHg" source="_pqrGsLzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg"> 161 <children xmi:type="notation:Node" xmi:id="_kYeNQrzTEeaj7tVusjQpHg" type="6002">
139 <children xmi:type="notation:Node" xmi:id="_pqsU1LzTEeaj7tVusjQpHg" type="6001"> 162 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNQ7zTEeaj7tVusjQpHg" y="10"/>
140 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU1bzTEeaj7tVusjQpHg" y="-10"/> 163 </children>
141 </children> 164 <children xmi:type="notation:Node" xmi:id="_kYeNRLzTEeaj7tVusjQpHg" type="6003">
142 <children xmi:type="notation:Node" xmi:id="_pqsU1rzTEeaj7tVusjQpHg" type="6002"> 165 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_kYeNRbzTEeaj7tVusjQpHg" y="10"/>
143 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU17zTEeaj7tVusjQpHg" y="10"/> 166 </children>
144 </children> 167 <styles xmi:type="notation:ConnectorStyle" xmi:id="_kYdmMbzTEeaj7tVusjQpHg" routing="Tree"/>
145 <children xmi:type="notation:Node" xmi:id="_pqsU2LzTEeaj7tVusjQpHg" type="6003"> 168 <styles xmi:type="notation:FontStyle" xmi:id="_kYdmMrzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
146 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU2bzTEeaj7tVusjQpHg" y="10"/> 169 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_kYdmM7zTEeaj7tVusjQpHg" points="[126, 55, 126, 55]$[0, 0, 0, 0]"/>
147 </children> 170 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkLzTEeaj7tVusjQpHg" id="(0.5,2.3333333333333335)"/>
148 <styles xmi:type="notation:ConnectorStyle" xmi:id="_pqsU0bzTEeaj7tVusjQpHg" routing="Tree"/> 171 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_kYhQkbzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/>
149 <styles xmi:type="notation:FontStyle" xmi:id="_pqsU0rzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 172 </edges>
150 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pqsU07zTEeaj7tVusjQpHg" points="[0, 0, 0, 0]$[305, -26, 305, -26]"/> 173 <edges xmi:type="notation:Edge" xmi:id="_pqsU0LzTEeaj7tVusjQpHg" type="4001" element="_pqp4kLzTEeaj7tVusjQpHg" source="_pqrGsLzTEeaj7tVusjQpHg" target="_kYcYELzTEeaj7tVusjQpHg">
151 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74LzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/> 174 <children xmi:type="notation:Node" xmi:id="_pqsU1LzTEeaj7tVusjQpHg" type="6001">
152 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74bzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/> 175 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU1bzTEeaj7tVusjQpHg" y="-10"/>
153 </edges> 176 </children>
154 <edges xmi:type="notation:Edge" xmi:id="_rIM0oLzTEeaj7tVusjQpHg" type="4001" element="_rIFf4LzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_pqrGsLzTEeaj7tVusjQpHg"> 177 <children xmi:type="notation:Node" xmi:id="_pqsU1rzTEeaj7tVusjQpHg" type="6002">
155 <children xmi:type="notation:Node" xmi:id="_rINbsLzTEeaj7tVusjQpHg" type="6001"> 178 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU17zTEeaj7tVusjQpHg" y="10"/>
156 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbsbzTEeaj7tVusjQpHg" y="-10"/> 179 </children>
157 </children> 180 <children xmi:type="notation:Node" xmi:id="_pqsU2LzTEeaj7tVusjQpHg" type="6003">
158 <children xmi:type="notation:Node" xmi:id="_rINbsrzTEeaj7tVusjQpHg" type="6002"> 181 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pqsU2bzTEeaj7tVusjQpHg" y="10"/>
159 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbs7zTEeaj7tVusjQpHg" y="10"/> 182 </children>
160 </children> 183 <styles xmi:type="notation:ConnectorStyle" xmi:id="_pqsU0bzTEeaj7tVusjQpHg" routing="Tree"/>
161 <children xmi:type="notation:Node" xmi:id="_rINbtLzTEeaj7tVusjQpHg" type="6003"> 184 <styles xmi:type="notation:FontStyle" xmi:id="_pqsU0rzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
162 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbtbzTEeaj7tVusjQpHg" y="10"/> 185 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pqsU07zTEeaj7tVusjQpHg" points="[0, 0, 0, 0]$[305, -26, 305, -26]"/>
163 </children> 186 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74LzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/>
164 <styles xmi:type="notation:ConnectorStyle" xmi:id="_rIM0obzTEeaj7tVusjQpHg" routing="Tree"/> 187 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pqs74bzTEeaj7tVusjQpHg" id="(0.5,-0.48484848484848486)"/>
165 <styles xmi:type="notation:FontStyle" xmi:id="_rIM0orzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/> 188 </edges>
166 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_rIM0o7zTEeaj7tVusjQpHg" points="[0, 0, 0, 37]$[0, -37, 0, 0]"/> 189 <edges xmi:type="notation:Edge" xmi:id="_rIM0oLzTEeaj7tVusjQpHg" type="4001" element="_rIFf4LzTEeaj7tVusjQpHg" source="_Ci29sLzTEeaj7tVusjQpHg" target="_pqrGsLzTEeaj7tVusjQpHg">
167 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwLzTEeaj7tVusjQpHg" id="(0.4866920152091255,0.17282261741906063)"/> 190 <children xmi:type="notation:Node" xmi:id="_rINbsLzTEeaj7tVusjQpHg" type="6001">
168 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwbzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/> 191 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbsbzTEeaj7tVusjQpHg" y="-10"/>
169 </edges> 192 </children>
170 <edges xmi:type="notation:Edge" xmi:id="_Ff16QPOcEeauOJk-5mBnBg" type="4001" element="_Fff8APOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_hos0ULzTEeaj7tVusjQpHg"> 193 <children xmi:type="notation:Node" xmi:id="_rINbsrzTEeaj7tVusjQpHg" type="6002">
171 <children xmi:type="notation:Node" xmi:id="_Ff4WgPOcEeauOJk-5mBnBg" type="6001"> 194 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbs7zTEeaj7tVusjQpHg" y="10"/>
172 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff4WgfOcEeauOJk-5mBnBg" y="-10"/> 195 </children>
173 </children> 196 <children xmi:type="notation:Node" xmi:id="_rINbtLzTEeaj7tVusjQpHg" type="6003">
174 <children xmi:type="notation:Node" xmi:id="_Ff5koPOcEeauOJk-5mBnBg" type="6002"> 197 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rINbtbzTEeaj7tVusjQpHg" y="10"/>
175 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff5kofOcEeauOJk-5mBnBg" y="10"/> 198 </children>
176 </children> 199 <styles xmi:type="notation:ConnectorStyle" xmi:id="_rIM0obzTEeaj7tVusjQpHg" routing="Tree"/>
177 <children xmi:type="notation:Node" xmi:id="_Ff6ywPOcEeauOJk-5mBnBg" type="6003"> 200 <styles xmi:type="notation:FontStyle" xmi:id="_rIM0orzTEeaj7tVusjQpHg" fontName="Segoe UI" fontHeight="8"/>
178 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff6ywfOcEeauOJk-5mBnBg" y="10"/> 201 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_rIM0o7zTEeaj7tVusjQpHg" points="[0, 0, 0, 37]$[0, -37, 0, 0]"/>
179 </children> 202 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwLzTEeaj7tVusjQpHg" id="(0.4866920152091255,0.17282261741906063)"/>
180 <styles xmi:type="notation:ConnectorStyle" xmi:id="_Ff16QfOcEeauOJk-5mBnBg" routing="Tree"/> 203 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_rIOCwbzTEeaj7tVusjQpHg" id="(0.5,1.8846153846153846)"/>
181 <styles xmi:type="notation:FontStyle" xmi:id="_Ff16QvOcEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/> 204 </edges>
182 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Ff16Q_OcEeauOJk-5mBnBg" points="[0, 0, 245, 116]$[-245, -116, 0, 0]"/> 205 <edges xmi:type="notation:Edge" xmi:id="_Ff16QPOcEeauOJk-5mBnBg" type="4001" element="_Fff8APOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_hos0ULzTEeaj7tVusjQpHg">
183 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8A4POcEeauOJk-5mBnBg" id="(0.40229885057471265,0.09803921568627451)"/> 206 <children xmi:type="notation:Node" xmi:id="_Ff4WgPOcEeauOJk-5mBnBg" type="6001">
184 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8n8POcEeauOJk-5mBnBg" id="(0.5,2.3333333333333335)"/> 207 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff4WgfOcEeauOJk-5mBnBg" y="-10"/>
185 </edges> 208 </children>
186 <edges xmi:type="notation:Edge" xmi:id="_fhjIoPOcEeauOJk-5mBnBg" type="4001" element="_fhW7YPOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_8vuhcLzSEeaj7tVusjQpHg"> 209 <children xmi:type="notation:Node" xmi:id="_Ff5koPOcEeauOJk-5mBnBg" type="6002">
187 <children xmi:type="notation:Node" xmi:id="_fhjvsPOcEeauOJk-5mBnBg" type="6001"> 210 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff5kofOcEeauOJk-5mBnBg" y="10"/>
188 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvsfOcEeauOJk-5mBnBg" x="8" y="10"/> 211 </children>
189 </children> 212 <children xmi:type="notation:Node" xmi:id="_Ff6ywPOcEeauOJk-5mBnBg" type="6003">
190 <children xmi:type="notation:Node" xmi:id="_fhjvsvOcEeauOJk-5mBnBg" type="6002"> 213 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Ff6ywfOcEeauOJk-5mBnBg" y="10"/>
191 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvs_OcEeauOJk-5mBnBg" x="-8" y="133"/> 214 </children>
192 </children> 215 <styles xmi:type="notation:ConnectorStyle" xmi:id="_Ff16QfOcEeauOJk-5mBnBg" routing="Tree"/>
193 <children xmi:type="notation:Node" xmi:id="_fhjvtPOcEeauOJk-5mBnBg" type="6003"> 216 <styles xmi:type="notation:FontStyle" xmi:id="_Ff16QvOcEeauOJk-5mBnBg" fontName="Segoe UI" fontHeight="8"/>
194 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvtfOcEeauOJk-5mBnBg" x="8" y="98"/> 217 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Ff16Q_OcEeauOJk-5mBnBg" points="[0, 0, 245, 116]$[-245, -116, 0, 0]"/>
195 </children> 218 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8A4POcEeauOJk-5mBnBg" id="(0.40229885057471265,0.09803921568627451)"/>
196 <styles xmi:type="notation:ConnectorStyle" xmi:id="_fhjIofOcEeauOJk-5mBnBg" routing="Rectilinear"/> 219 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ff8n8POcEeauOJk-5mBnBg" id="(0.5,2.3333333333333335)"/>
197 <styles xmi:type="notation:FontStyle" xmi:id="_fhjIovOcEeauOJk-5mBnBg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 220 </edges>
198 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fhjIo_OcEeauOJk-5mBnBg" points="[131, 26, 145, 26]$[131, 80, 145, 80]$[-110, 80, -96, 80]$[-110, 26, -96, 26]"/> 221 <edges xmi:type="notation:Edge" xmi:id="_fhjIoPOcEeauOJk-5mBnBg" type="4001" element="_fhW7YPOcEeauOJk-5mBnBg" source="_7hZUIPObEeauOJk-5mBnBg" target="_8vuhcLzSEeaj7tVusjQpHg">
199 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvtvOcEeauOJk-5mBnBg" id="(0.0,0.49019607843137253)"/> 222 <children xmi:type="notation:Node" xmi:id="_fhjvsPOcEeauOJk-5mBnBg" type="6001">
200 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvt_OcEeauOJk-5mBnBg" id="(1.0,0.49019607843137253)"/> 223 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvsfOcEeauOJk-5mBnBg" x="8" y="10"/>
201 </edges> 224 </children>
202 </data> 225 <children xmi:type="notation:Node" xmi:id="_fhjvsvOcEeauOJk-5mBnBg" type="6002">
203 </ownedAnnotationEntries> 226 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvs_OcEeauOJk-5mBnBg" x="-8" y="133"/>
204 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_8vqQALzSEeaj7tVusjQpHg" name="TransfomedViatraQuery" tooltipText="" outgoingEdges="_hormMLzTEeaj7tVusjQpHg" incomingEdges="_HcjQgLzTEeaj7tVusjQpHg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10"> 227 </children>
205 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> 228 <children xmi:type="notation:Node" xmi:id="_fhjvtPOcEeauOJk-5mBnBg" type="6003">
206 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/> 229 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fhjvtfOcEeauOJk-5mBnBg" x="8" y="98"/>
207 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 230 </children>
208 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 231 <styles xmi:type="notation:ConnectorStyle" xmi:id="_fhjIofOcEeauOJk-5mBnBg" routing="Rectilinear"/>
209 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 232 <styles xmi:type="notation:FontStyle" xmi:id="_fhjIovOcEeauOJk-5mBnBg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
210 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="__LnHQL2REeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 233 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fhjIo_OcEeauOJk-5mBnBg" points="[131, 26, 145, 26]$[131, 80, 145, 80]$[-110, 80, -96, 80]$[-110, 26, -96, 26]"/>
211 <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"/> 234 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvtvOcEeauOJk-5mBnBg" id="(0.0,0.49019607843137253)"/>
212 </ownedStyle> 235 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fhjvt_OcEeauOJk-5mBnBg" id="(1.0,0.3787878787878788)"/>
213 <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']"/> 236 </edges>
214 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4Dt3gL2REeaj7tVusjQpHg" name="patternFullyQualifiedName : EString" tooltipText=""> 237 </data>
215 <target xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/> 238 </ownedAnnotationEntries>
216 <semanticElements xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/> 239 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_8vqQALzSEeaj7tVusjQpHg" name="TransfomedViatraQuery" tooltipText="" outgoingEdges="_hormMLzTEeaj7tVusjQpHg" incomingEdges="_HcjQgLzTEeaj7tVusjQpHg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10">
217 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="__q-j0b2REeaj7tVusjQpHg" labelAlignment="LEFT" description="__q-j0L2REeaj7tVusjQpHg"> 240 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/>
218 <labelFormat>bold</labelFormat> 241 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/>
219 </ownedStyle> 242 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
220 <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']"/> 243 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
221 </ownedElements> 244 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
222 </ownedDiagramElements> 245 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_Sxe3EBfyEeiKzNmzswRwjA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
223 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_Ciz6YLzTEeaj7tVusjQpHg" name="TransformedViatraWellformednessConstraint" tooltipText="" outgoingEdges="_HcjQgLzTEeaj7tVusjQpHg _rIFf4LzTEeaj7tVusjQpHg" width="12" height="10"> 246 <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"/>
224 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/> 247 </ownedStyle>
225 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/> 248 <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']"/>
226 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 249 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4Dt3gL2REeaj7tVusjQpHg" name="patternFullyQualifiedName : EString" tooltipText="">
227 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 250 <target xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/>
228 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 251 <semanticElements xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternFullyQualifiedName"/>
229 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_Ci0hcLzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 252 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="__q-j0b2REeaj7tVusjQpHg" labelAlignment="LEFT" description="__q-j0L2REeaj7tVusjQpHg">
230 <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"/> 253 <labelFormat>bold</labelFormat>
231 </ownedStyle>
232 <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']"/>
233 </ownedDiagramElements>
234 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HcjQgLzTEeaj7tVusjQpHg" name="[1..1] query" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_8vqQALzSEeaj7tVusjQpHg">
235 <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/>
236 <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/>
237 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_JijTs7zTEeaj7tVusjQpHg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0">
238 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_JijTtLzTEeaj7tVusjQpHg" showIcon="false">
239 <labelFormat>bold</labelFormat>
240 </centerLabelStyle>
241 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_JijTtbzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
242 </ownedStyle>
243 <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']"/>
244 </ownedDiagramElements>
245 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_hon70LzTEeaj7tVusjQpHg" name="RelationAnnotation" tooltipText="" outgoingEdges="_kYbxALzTEeaj7tVusjQpHg" incomingEdges="_hormMLzTEeaj7tVusjQpHg _Fff8APOcEeauOJk-5mBnBg" width="12" height="10">
246 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
247 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
248 <decorations xmi:type="viewpoint:Decoration" xmi:id="_hoq_ILzTEeaj7tVusjQpHg">
249 <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']"/>
250 </decorations>
251 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
252 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
253 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
254 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_hon70bzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
255 <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"/>
256 </ownedStyle>
257 <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']"/>
258 </ownedDiagramElements>
259 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_hormMLzTEeaj7tVusjQpHg" sourceNode="_8vqQALzSEeaj7tVusjQpHg" targetNode="_hon70LzTEeaj7tVusjQpHg">
260 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/>
261 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/@eGenericSuperTypes.0"/>
262 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="__LpjgL2REeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
263 <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"/>
264 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="__Lpjgb2REeaj7tVusjQpHg" showIcon="false">
265 <labelFormat>italic</labelFormat>
266 </beginLabelStyle>
267 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="__Lpjgr2REeaj7tVusjQpHg" showIcon="false"/>
268 </ownedStyle>
269 <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']"/>
270 </ownedDiagramElements>
271 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_kYYGoLzTEeaj7tVusjQpHg" name="Annotation" tooltipText="" incomingEdges="_kYbxALzTEeaj7tVusjQpHg _pqp4kLzTEeaj7tVusjQpHg" width="12" height="10">
272 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/>
273 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/>
274 <decorations xmi:type="viewpoint:Decoration" xmi:id="_kYai4LzTEeaj7tVusjQpHg">
275 <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']"/>
276 </decorations>
277 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
278 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
279 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
280 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_kYYGobzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
281 <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"/>
282 </ownedStyle>
283 <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']"/>
284 </ownedDiagramElements>
285 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_kYbxALzTEeaj7tVusjQpHg" sourceNode="_hon70LzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg">
286 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
287 <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation/@eGenericSuperTypes.0"/>
288 <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40LzTEeaj7tVusjQpHg">
289 <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']"/>
290 </decorations>
291 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_kYbxAbzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
292 <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"/>
293 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_kYbxArzTEeaj7tVusjQpHg" showIcon="false">
294 <labelFormat>italic</labelFormat>
295 </beginLabelStyle>
296 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_kYbxA7zTEeaj7tVusjQpHg" showIcon="false"/>
297 </ownedStyle>
298 <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']"/>
299 </ownedDiagramElements>
300 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pqmOMLzTEeaj7tVusjQpHg" name="AssertionAnnotation" tooltipText="" outgoingEdges="_pqp4kLzTEeaj7tVusjQpHg" incomingEdges="_rIFf4LzTEeaj7tVusjQpHg" width="12" height="10">
301 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
302 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
303 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pqpRgLzTEeaj7tVusjQpHg">
304 <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']"/>
305 </decorations>
306 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
307 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
308 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
309 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pqmOMbzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
310 <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"/>
311 </ownedStyle>
312 <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']"/>
313 </ownedDiagramElements>
314 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pqp4kLzTEeaj7tVusjQpHg" sourceNode="_pqmOMLzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg">
315 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
316 <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/@eGenericSuperTypes.0"/>
317 <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40bzTEeaj7tVusjQpHg">
318 <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']"/>
319 </decorations>
320 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pqqfoLzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
321 <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"/>
322 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pqqfobzTEeaj7tVusjQpHg" showIcon="false">
323 <labelFormat>italic</labelFormat>
324 </beginLabelStyle>
325 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pqqforzTEeaj7tVusjQpHg" showIcon="false"/>
326 </ownedStyle>
327 <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']"/>
328 </ownedDiagramElements>
329 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_rIFf4LzTEeaj7tVusjQpHg" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_pqmOMLzTEeaj7tVusjQpHg">
330 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/>
331 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/@eGenericSuperTypes.0"/>
332 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_rIGG8LzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
333 <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"/>
334 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_rIGG8bzTEeaj7tVusjQpHg" showIcon="false">
335 <labelFormat>italic</labelFormat>
336 </beginLabelStyle>
337 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_rIGG8rzTEeaj7tVusjQpHg" showIcon="false"/>
338 </ownedStyle> 254 </ownedStyle>
339 <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']"/> 255 <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']"/>
340 </ownedDiagramElements> 256 </ownedElements>
341 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_7gtXoPObEeauOJk-5mBnBg" name="DefinedByDerivedFeature" tooltipText="" outgoingEdges="_Fff8APOcEeauOJk-5mBnBg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10"> 257 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_NEcbwBfyEeiKzNmzswRwjA" name="patternPQuery : EJavaObject" tooltipText="">
342 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> 258 <target xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternPQuery"/>
343 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> 259 <semanticElements xmi:type="ecore:EAttribute" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/patternPQuery"/>
344 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 260 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_c0t2kBfyEeiKzNmzswRwjA" labelAlignment="LEFT" description="__q-j0L2REeaj7tVusjQpHg">
345 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 261 <labelFormat>bold</labelFormat>
346 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
347 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_7gvM0PObEeauOJk-5mBnBg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
348 <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 </ownedStyle> 262 </ownedStyle>
350 <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']"/> 263 <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']"/>
351 </ownedDiagramElements> 264 </ownedElements>
352 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Fff8APOcEeauOJk-5mBnBg" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_hon70LzTEeaj7tVusjQpHg"> 265 </ownedDiagramElements>
353 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/> 266 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_Ciz6YLzTEeaj7tVusjQpHg" name="TransformedViatraWellformednessConstraint" tooltipText="" outgoingEdges="_HcjQgLzTEeaj7tVusjQpHg _rIFf4LzTEeaj7tVusjQpHg" width="12" height="10">
354 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/@eGenericSuperTypes.0"/> 267 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/>
355 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_FfgjEPOcEeauOJk-5mBnBg" targetArrow="InputClosedArrow" routingStyle="tree"> 268 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/>
356 <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"/> 269 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
357 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_FfgjEfOcEeauOJk-5mBnBg" showIcon="false"> 270 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
358 <labelFormat>italic</labelFormat> 271 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
359 </beginLabelStyle> 272 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_Ci0hcLzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
360 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_FfgjEvOcEeauOJk-5mBnBg" showIcon="false"/> 273 <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"/>
274 </ownedStyle>
275 <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']"/>
276 </ownedDiagramElements>
277 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_HcjQgLzTEeaj7tVusjQpHg" name="[1..1] query" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_8vqQALzSEeaj7tVusjQpHg">
278 <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/>
279 <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/query"/>
280 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_JijTs7zTEeaj7tVusjQpHg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0">
281 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_JijTtLzTEeaj7tVusjQpHg" showIcon="false">
282 <labelFormat>bold</labelFormat>
283 </centerLabelStyle>
284 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_JijTtbzTEeaj7tVusjQpHg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
285 </ownedStyle>
286 <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']"/>
287 </ownedDiagramElements>
288 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_hon70LzTEeaj7tVusjQpHg" name="RelationAnnotation" tooltipText="" outgoingEdges="_kYbxALzTEeaj7tVusjQpHg" incomingEdges="_hormMLzTEeaj7tVusjQpHg _Fff8APOcEeauOJk-5mBnBg" width="12" height="10">
289 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
290 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
291 <decorations xmi:type="viewpoint:Decoration" xmi:id="_hoq_ILzTEeaj7tVusjQpHg">
292 <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']"/>
293 </decorations>
294 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
295 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
296 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
297 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_hon70bzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
298 <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"/>
299 </ownedStyle>
300 <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']"/>
301 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_JMX-ABfyEeiKzNmzswRwjA" name=" target : Relation" tooltipText="">
302 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation/target"/>
303 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation/target"/>
304 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_JMhH8BfyEeiKzNmzswRwjA" labelAlignment="LEFT" description="_JMersBfyEeiKzNmzswRwjA" color="114,159,207">
305 <labelFormat>bold</labelFormat>
361 </ownedStyle> 306 </ownedStyle>
362 <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']"/> 307 <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']"/>
363 </ownedDiagramElements> 308 </ownedElements>
364 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fhW7YPOcEeauOJk-5mBnBg" name="[1..1] query" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_8vqQALzSEeaj7tVusjQpHg"> 309 </ownedDiagramElements>
365 <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/> 310 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_hormMLzTEeaj7tVusjQpHg" sourceNode="_8vqQALzSEeaj7tVusjQpHg" targetNode="_hon70LzTEeaj7tVusjQpHg">
366 <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/> 311 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery"/>
367 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_hzsKYPOcEeauOJk-5mBnBg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0"> 312 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransfomedViatraQuery/@eGenericSuperTypes.0"/>
368 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_hzsKYfOcEeauOJk-5mBnBg" showIcon="false"> 313 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_SxrrYBfyEeiKzNmzswRwjA" targetArrow="InputClosedArrow" routingStyle="tree">
369 <labelFormat>bold</labelFormat> 314 <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"/>
370 </centerLabelStyle> 315 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_SxrrYRfyEeiKzNmzswRwjA" showIcon="false">
371 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_hzsKYvOcEeauOJk-5mBnBg" labelSize="6" showIcon="false" labelColor="39,76,114"/> 316 <labelFormat>italic</labelFormat>
317 </beginLabelStyle>
318 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_SxrrYhfyEeiKzNmzswRwjA" showIcon="false"/>
319 </ownedStyle>
320 <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']"/>
321 </ownedDiagramElements>
322 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_kYYGoLzTEeaj7tVusjQpHg" name="Annotation" tooltipText="" incomingEdges="_kYbxALzTEeaj7tVusjQpHg _pqp4kLzTEeaj7tVusjQpHg" width="12" height="10">
323 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/>
324 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//Annotation"/>
325 <decorations xmi:type="viewpoint:Decoration" xmi:id="_kYai4LzTEeaj7tVusjQpHg">
326 <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']"/>
327 </decorations>
328 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
329 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
330 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
331 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_kYYGobzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
332 <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"/>
333 </ownedStyle>
334 <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']"/>
335 </ownedDiagramElements>
336 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_kYbxALzTEeaj7tVusjQpHg" sourceNode="_hon70LzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg">
337 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"/>
338 <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation/@eGenericSuperTypes.0"/>
339 <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40LzTEeaj7tVusjQpHg">
340 <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']"/>
341 </decorations>
342 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_kYbxAbzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
343 <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"/>
344 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_kYbxArzTEeaj7tVusjQpHg" showIcon="false">
345 <labelFormat>italic</labelFormat>
346 </beginLabelStyle>
347 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_kYbxA7zTEeaj7tVusjQpHg" showIcon="false"/>
348 </ownedStyle>
349 <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']"/>
350 </ownedDiagramElements>
351 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pqmOMLzTEeaj7tVusjQpHg" name="AssertionAnnotation" tooltipText="" outgoingEdges="_pqp4kLzTEeaj7tVusjQpHg" incomingEdges="_rIFf4LzTEeaj7tVusjQpHg" width="12" height="10">
352 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
353 <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
354 <decorations xmi:type="viewpoint:Decoration" xmi:id="_pqpRgLzTEeaj7tVusjQpHg">
355 <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']"/>
356 </decorations>
357 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
358 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
359 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
360 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pqmOMbzTEeaj7tVusjQpHg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
361 <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"/>
362 </ownedStyle>
363 <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']"/>
364 <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_JMjkMBfyEeiKzNmzswRwjA" name=" target : Assertion" tooltipText="">
365 <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>
366 <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>
367 <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_JMkyUBfyEeiKzNmzswRwjA" labelAlignment="LEFT" description="_JMersBfyEeiKzNmzswRwjA" color="114,159,207">
368 <labelFormat>bold</labelFormat>
372 </ownedStyle> 369 </ownedStyle>
373 <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']"/> 370 <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']"/>
374 </ownedDiagramElements> 371 </ownedElements>
375 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> 372 </ownedDiagramElements>
376 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_h6FUsrzSEeaj7tVusjQpHg"/> 373 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pqp4kLzTEeaj7tVusjQpHg" sourceNode="_pqmOMLzTEeaj7tVusjQpHg" targetNode="_kYYGoLzTEeaj7tVusjQpHg">
377 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> 374 <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>
378 <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']"/> 375 <semanticElements xmi:type="ecore:EGenericType" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/@eGenericSuperTypes.0"/>
379 <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']"/> 376 <decorations xmi:type="viewpoint:Decoration" xmi:id="_rIE40bzTEeaj7tVusjQpHg">
380 <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']"/> 377 <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']"/>
381 <target xmi:type="ecore:EPackage" href="ViatraModelAnnotations.ecore#/"/> 378 </decorations>
382 </ownedRepresentations> 379 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pqqfoLzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
383 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> 380 <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"/>
384 </ownedViews> 381 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pqqfobzTEeaj7tVusjQpHg" showIcon="false">
385 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hMvGgLzSEeaj7tVusjQpHg"> 382 <labelFormat>italic</labelFormat>
386 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> 383 </beginLabelStyle>
387 </ownedViews> 384 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pqqforzTEeaj7tVusjQpHg" showIcon="false"/>
388 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hM760LzSEeaj7tVusjQpHg"> 385 </ownedStyle>
389 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> 386 <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']"/>
390 </ownedViews> 387 </ownedDiagramElements>
391 <ownedViews xmi:type="viewpoint:DRepresentationContainer" xmi:id="_hNNAkLzSEeaj7tVusjQpHg"> 388 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_rIFf4LzTEeaj7tVusjQpHg" sourceNode="_Ciz6YLzTEeaj7tVusjQpHg" targetNode="_pqmOMLzTEeaj7tVusjQpHg">
392 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> 389 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint"/>
393 </ownedViews> 390 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//TransformedViatraWellformednessConstraint/@eGenericSuperTypes.0"/>
394</viewpoint:DAnalysis> 391 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_rIGG8LzTEeaj7tVusjQpHg" targetArrow="InputClosedArrow" routingStyle="tree">
392 <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"/>
393 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_rIGG8bzTEeaj7tVusjQpHg" showIcon="false">
394 <labelFormat>italic</labelFormat>
395 </beginLabelStyle>
396 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_rIGG8rzTEeaj7tVusjQpHg" showIcon="false"/>
397 </ownedStyle>
398 <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']"/>
399 </ownedDiagramElements>
400 <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_7gtXoPObEeauOJk-5mBnBg" name="DefinedByDerivedFeature" tooltipText="" outgoingEdges="_Fff8APOcEeauOJk-5mBnBg _fhW7YPOcEeauOJk-5mBnBg" width="12" height="10">
401 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/>
402 <semanticElements xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/>
403 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
404 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
405 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
406 <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_7gvM0PObEeauOJk-5mBnBg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
407 <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"/>
408 </ownedStyle>
409 <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']"/>
410 </ownedDiagramElements>
411 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_Fff8APOcEeauOJk-5mBnBg" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_hon70LzTEeaj7tVusjQpHg">
412 <target xmi:type="ecore:EClass" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature"/>
413 <semanticElements xmi:type="ecore:EGenericType" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/@eGenericSuperTypes.0"/>
414 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_FfgjEPOcEeauOJk-5mBnBg" targetArrow="InputClosedArrow" routingStyle="tree">
415 <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"/>
416 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_FfgjEfOcEeauOJk-5mBnBg" showIcon="false">
417 <labelFormat>italic</labelFormat>
418 </beginLabelStyle>
419 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_FfgjEvOcEeauOJk-5mBnBg" showIcon="false"/>
420 </ownedStyle>
421 <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']"/>
422 </ownedDiagramElements>
423 <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fhW7YPOcEeauOJk-5mBnBg" name="[1..1] query" sourceNode="_7gtXoPObEeauOJk-5mBnBg" targetNode="_8vqQALzSEeaj7tVusjQpHg">
424 <target xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/>
425 <semanticElements xmi:type="ecore:EReference" href="ViatraModelAnnotations.ecore#//DefinedByDerivedFeature/query"/>
426 <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_hzsKYPOcEeauOJk-5mBnBg" description="_JijTsLzTEeaj7tVusjQpHg" routingStyle="manhattan" strokeColor="0,0,0">
427 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_hzsKYfOcEeauOJk-5mBnBg" showIcon="false">
428 <labelFormat>bold</labelFormat>
429 </centerLabelStyle>
430 <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_hzsKYvOcEeauOJk-5mBnBg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
431 </ownedStyle>
432 <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']"/>
433 </ownedDiagramElements>
434 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
435 <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_h6FUsrzSEeaj7tVusjQpHg"/>
436 <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
437 <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']"/>
438 <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']"/>
439 <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']"/>
440 <target xmi:type="ecore:EPackage" href="ViatraModelAnnotations.ecore#/"/>
441 </diagram:DSemanticDiagram>
442</xmi:XMI>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 14:10:47 +0000