diff options
30 files changed, 838 insertions, 52 deletions
diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.aird b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.aird new file mode 100644 index 00000000..14cf13c6 --- /dev/null +++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.aird | |||
@@ -0,0 +1,644 @@ | |||
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 uid="_a7434FdxEemijrYgpDXTdg" selectedViews="_bkGucFdxEemijrYgpDXTdg _bkS7sFdxEemijrYgpDXTdg _bkUw4FdxEemijrYgpDXTdg _bkZpYFdxEemijrYgpDXTdg" version="14.1.0.201810161215"> | ||
4 | <semanticResources>FamMetamodel.ecore</semanticResources> | ||
5 | <semanticResources>FamMetamodel.genmodel</semanticResources> | ||
6 | <ownedViews xmi:type="viewpoint:DView" uid="_bkGucFdxEemijrYgpDXTdg"> | ||
7 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
8 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_cG1oEFdxEemijrYgpDXTdg" name="functionalarchitecture class diagram" repPath="#_cFj1sFdxEemijrYgpDXTdg"> | ||
9 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
10 | <target xmi:type="ecore:EPackage" href="FamMetamodel.ecore#/"/> | ||
11 | </ownedRepresentationDescriptors> | ||
12 | </ownedViews> | ||
13 | <ownedViews xmi:type="viewpoint:DView" uid="_bkS7sFdxEemijrYgpDXTdg"> | ||
14 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
15 | </ownedViews> | ||
16 | <ownedViews xmi:type="viewpoint:DView" uid="_bkUw4FdxEemijrYgpDXTdg"> | ||
17 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
18 | </ownedViews> | ||
19 | <ownedViews xmi:type="viewpoint:DView" uid="_bkZpYFdxEemijrYgpDXTdg"> | ||
20 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
21 | </ownedViews> | ||
22 | </viewpoint:DAnalysis> | ||
23 | <diagram:DSemanticDiagram uid="_cFj1sFdxEemijrYgpDXTdg" name="functionalarchitecture class diagram"> | ||
24 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_cGvhcFdxEemijrYgpDXTdg" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
25 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_cGwIgFdxEemijrYgpDXTdg"> | ||
26 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_c7XcUFdxEemijrYgpDXTdg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
27 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
28 | <labelFormat>bold</labelFormat> | ||
29 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
30 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
31 | </computedStyleDescriptions> | ||
32 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_c7ibcFdxEemijrYgpDXTdg" routingStyle="manhattan"> | ||
33 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/> | ||
34 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_c7ibcVdxEemijrYgpDXTdg" showIcon="false" labelExpression="service:render"> | ||
35 | <labelFormat>bold</labelFormat> | ||
36 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
37 | </centerLabelStyleDescription> | ||
38 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_c7ibcldxEemijrYgpDXTdg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
39 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
40 | </endLabelStyleDescription> | ||
41 | </computedStyleDescriptions> | ||
42 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_c7pJIFdxEemijrYgpDXTdg" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
43 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
44 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_c7pJIVdxEemijrYgpDXTdg" showIcon="false" labelExpression="service:render"> | ||
45 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
46 | </centerLabelStyleDescription> | ||
47 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_c7pJIldxEemijrYgpDXTdg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
48 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
49 | </endLabelStyleDescription> | ||
50 | </computedStyleDescriptions> | ||
51 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_c7yTEFdxEemijrYgpDXTdg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan"> | ||
52 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
53 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_c7yTEVdxEemijrYgpDXTdg" showIcon="false" labelExpression="service:renderEOpposite"> | ||
54 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
55 | </beginLabelStyleDescription> | ||
56 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_c7yTEldxEemijrYgpDXTdg" showIcon="false" labelExpression="service:render"> | ||
57 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
58 | </endLabelStyleDescription> | ||
59 | </computedStyleDescriptions> | ||
60 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_c70IQFdxEemijrYgpDXTdg" sourceArrow="InputArrow" routingStyle="manhattan"> | ||
61 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
62 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_c70IQVdxEemijrYgpDXTdg" showIcon="false" labelExpression="service:renderEOpposite"> | ||
63 | <labelFormat>bold</labelFormat> | ||
64 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
65 | </beginLabelStyleDescription> | ||
66 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_c70IQldxEemijrYgpDXTdg" showIcon="false" labelExpression="service:render"> | ||
67 | <labelFormat>bold</labelFormat> | ||
68 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
69 | </endLabelStyleDescription> | ||
70 | </computedStyleDescriptions> | ||
71 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_c71WYVdxEemijrYgpDXTdg" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
72 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
73 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_c71WYldxEemijrYgpDXTdg" showIcon="false" labelExpression="service:renderEOpposite"> | ||
74 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
75 | </beginLabelStyleDescription> | ||
76 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_c71WY1dxEemijrYgpDXTdg" showIcon="false" labelExpression="service:render"> | ||
77 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
78 | </endLabelStyleDescription> | ||
79 | </computedStyleDescriptions> | ||
80 | </data> | ||
81 | </ownedAnnotationEntries> | ||
82 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_cHZBsFdxEemijrYgpDXTdg" source="GMF_DIAGRAMS"> | ||
83 | <data xmi:type="notation:Diagram" xmi:id="_cHZBsVdxEemijrYgpDXTdg" type="Sirius" element="_cFj1sFdxEemijrYgpDXTdg" measurementUnit="Pixel"> | ||
84 | <children xmi:type="notation:Node" xmi:id="_c7_ucFdxEemijrYgpDXTdg" type="2003" element="_c6ggsFdxEemijrYgpDXTdg"> | ||
85 | <children xmi:type="notation:Node" xmi:id="_c8BjoFdxEemijrYgpDXTdg" type="5007"/> | ||
86 | <children xmi:type="notation:Node" xmi:id="_c8Em8FdxEemijrYgpDXTdg" type="7004"> | ||
87 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8Em8VdxEemijrYgpDXTdg"/> | ||
88 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8Em8ldxEemijrYgpDXTdg"/> | ||
89 | </children> | ||
90 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c7_ucVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
91 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c7_ucldxEemijrYgpDXTdg" x="420" y="324"/> | ||
92 | </children> | ||
93 | <children xmi:type="notation:Node" xmi:id="_c8FOAFdxEemijrYgpDXTdg" type="2003" element="_c6q4wFdxEemijrYgpDXTdg"> | ||
94 | <children xmi:type="notation:Node" xmi:id="_c8F1EFdxEemijrYgpDXTdg" type="5007"/> | ||
95 | <children xmi:type="notation:Node" xmi:id="_c8F1EVdxEemijrYgpDXTdg" type="7004"> | ||
96 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8F1EldxEemijrYgpDXTdg"/> | ||
97 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8F1E1dxEemijrYgpDXTdg"/> | ||
98 | </children> | ||
99 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8FOAVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
100 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8FOAldxEemijrYgpDXTdg" x="117" y="216"/> | ||
101 | </children> | ||
102 | <children xmi:type="notation:Node" xmi:id="_c8F1FFdxEemijrYgpDXTdg" type="2003" element="_c6tVAFdxEemijrYgpDXTdg"> | ||
103 | <children xmi:type="notation:Node" xmi:id="_c8GcIFdxEemijrYgpDXTdg" type="5007"/> | ||
104 | <children xmi:type="notation:Node" xmi:id="_c8GcIVdxEemijrYgpDXTdg" type="7004"> | ||
105 | <children xmi:type="notation:Node" xmi:id="_c8O_AFdxEemijrYgpDXTdg" type="3010" element="_c7VAEFdxEemijrYgpDXTdg"> | ||
106 | <styles xmi:type="notation:FontStyle" xmi:id="_c8O_AVdxEemijrYgpDXTdg" fontColor="7490599" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
107 | <layoutConstraint xmi:type="notation:Location" xmi:id="_c8O_AldxEemijrYgpDXTdg"/> | ||
108 | </children> | ||
109 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8GcIldxEemijrYgpDXTdg"/> | ||
110 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8GcI1dxEemijrYgpDXTdg"/> | ||
111 | </children> | ||
112 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8F1FVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
113 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8F1FldxEemijrYgpDXTdg" x="384" y="552"/> | ||
114 | </children> | ||
115 | <children xmi:type="notation:Node" xmi:id="_c8HDMFdxEemijrYgpDXTdg" type="2003" element="_c6vKMFdxEemijrYgpDXTdg"> | ||
116 | <children xmi:type="notation:Node" xmi:id="_c8HDM1dxEemijrYgpDXTdg" type="5007"/> | ||
117 | <children xmi:type="notation:Node" xmi:id="_c8HDNFdxEemijrYgpDXTdg" type="7004"> | ||
118 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8HDNVdxEemijrYgpDXTdg"/> | ||
119 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8HDNldxEemijrYgpDXTdg"/> | ||
120 | </children> | ||
121 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8HDMVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
122 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8HDMldxEemijrYgpDXTdg" x="1380" y="252"/> | ||
123 | </children> | ||
124 | <children xmi:type="notation:Node" xmi:id="_c8HqQFdxEemijrYgpDXTdg" type="2003" element="_c6w_YFdxEemijrYgpDXTdg"> | ||
125 | <children xmi:type="notation:Node" xmi:id="_c8IRUFdxEemijrYgpDXTdg" type="5007"/> | ||
126 | <children xmi:type="notation:Node" xmi:id="_c8IRUVdxEemijrYgpDXTdg" type="7004"> | ||
127 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8IRUldxEemijrYgpDXTdg"/> | ||
128 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8IRU1dxEemijrYgpDXTdg"/> | ||
129 | </children> | ||
130 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8HqQVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
131 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8HqQldxEemijrYgpDXTdg" x="1080" y="565"/> | ||
132 | </children> | ||
133 | <children xmi:type="notation:Node" xmi:id="_c8IRVFdxEemijrYgpDXTdg" type="2003" element="_c6y0kFdxEemijrYgpDXTdg"> | ||
134 | <children xmi:type="notation:Node" xmi:id="_c8I4YFdxEemijrYgpDXTdg" type="5007"/> | ||
135 | <children xmi:type="notation:Node" xmi:id="_c8I4YVdxEemijrYgpDXTdg" type="7004"> | ||
136 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8I4YldxEemijrYgpDXTdg"/> | ||
137 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8I4Y1dxEemijrYgpDXTdg"/> | ||
138 | </children> | ||
139 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8IRVVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
140 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8IRVldxEemijrYgpDXTdg" x="744" y="324"/> | ||
141 | </children> | ||
142 | <children xmi:type="notation:Node" xmi:id="_c8I4ZFdxEemijrYgpDXTdg" type="2003" element="_c60CsFdxEemijrYgpDXTdg"> | ||
143 | <children xmi:type="notation:Node" xmi:id="_c8JfcFdxEemijrYgpDXTdg" type="5007"/> | ||
144 | <children xmi:type="notation:Node" xmi:id="_c8KGgFdxEemijrYgpDXTdg" type="7004"> | ||
145 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8KGgVdxEemijrYgpDXTdg"/> | ||
146 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8KGgldxEemijrYgpDXTdg"/> | ||
147 | </children> | ||
148 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8I4ZVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
149 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8I4ZldxEemijrYgpDXTdg" x="984" y="397"/> | ||
150 | </children> | ||
151 | <children xmi:type="notation:Node" xmi:id="_c8LUoFdxEemijrYgpDXTdg" type="2003" element="_c62e8FdxEemijrYgpDXTdg"> | ||
152 | <children xmi:type="notation:Node" xmi:id="_c8L7sFdxEemijrYgpDXTdg" type="5007"/> | ||
153 | <children xmi:type="notation:Node" xmi:id="_c8L7sVdxEemijrYgpDXTdg" type="7004"> | ||
154 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8L7sldxEemijrYgpDXTdg"/> | ||
155 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8L7s1dxEemijrYgpDXTdg"/> | ||
156 | </children> | ||
157 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8LUoVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
158 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8LUoldxEemijrYgpDXTdg" x="1188" y="397"/> | ||
159 | </children> | ||
160 | <children xmi:type="notation:Node" xmi:id="_c8MiwFdxEemijrYgpDXTdg" type="2003" element="_c64UIFdxEemijrYgpDXTdg"> | ||
161 | <children xmi:type="notation:Node" xmi:id="_c8NJ0FdxEemijrYgpDXTdg" type="5007"/> | ||
162 | <children xmi:type="notation:Node" xmi:id="_c8NJ0VdxEemijrYgpDXTdg" type="7004"> | ||
163 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8NJ0ldxEemijrYgpDXTdg"/> | ||
164 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8NJ01dxEemijrYgpDXTdg"/> | ||
165 | </children> | ||
166 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8MiwVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
167 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8MiwldxEemijrYgpDXTdg" x="1080" y="241"/> | ||
168 | </children> | ||
169 | <children xmi:type="notation:Node" xmi:id="_c8NJ1FdxEemijrYgpDXTdg" type="2003" element="_c66wYFdxEemijrYgpDXTdg"> | ||
170 | <children xmi:type="notation:Node" xmi:id="_c8Nw4FdxEemijrYgpDXTdg" type="5007"/> | ||
171 | <children xmi:type="notation:Node" xmi:id="_c8OX8FdxEemijrYgpDXTdg" type="7004"> | ||
172 | <children xmi:type="notation:Node" xmi:id="_c8RbQFdxEemijrYgpDXTdg" type="3010" element="_c7afoVdxEemijrYgpDXTdg"> | ||
173 | <styles xmi:type="notation:FontStyle" xmi:id="_c8RbQVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
174 | <layoutConstraint xmi:type="notation:Location" xmi:id="_c8RbQldxEemijrYgpDXTdg"/> | ||
175 | </children> | ||
176 | <children xmi:type="notation:Node" xmi:id="_c8SCUFdxEemijrYgpDXTdg" type="3010" element="_c7bGsFdxEemijrYgpDXTdg"> | ||
177 | <styles xmi:type="notation:FontStyle" xmi:id="_c8SCUVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
178 | <layoutConstraint xmi:type="notation:Location" xmi:id="_c8SCUldxEemijrYgpDXTdg"/> | ||
179 | </children> | ||
180 | <children xmi:type="notation:Node" xmi:id="_c8SpYFdxEemijrYgpDXTdg" type="3010" element="_c7btwFdxEemijrYgpDXTdg"> | ||
181 | <styles xmi:type="notation:FontStyle" xmi:id="_c8SpYVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
182 | <layoutConstraint xmi:type="notation:Location" xmi:id="_c8SpYldxEemijrYgpDXTdg"/> | ||
183 | </children> | ||
184 | <styles xmi:type="notation:SortingStyle" xmi:id="_c8OX8VdxEemijrYgpDXTdg"/> | ||
185 | <styles xmi:type="notation:FilteringStyle" xmi:id="_c8OX8ldxEemijrYgpDXTdg"/> | ||
186 | </children> | ||
187 | <styles xmi:type="notation:ShapeStyle" xmi:id="_c8NJ1VdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
188 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8NJ1ldxEemijrYgpDXTdg"/> | ||
189 | </children> | ||
190 | <styles xmi:type="notation:DiagramStyle" xmi:id="_cHZBsldxEemijrYgpDXTdg"/> | ||
191 | <edges xmi:type="notation:Edge" xmi:id="_c8alMFdxEemijrYgpDXTdg" type="4001" element="_c7gmQFdxEemijrYgpDXTdg" source="_c7_ucFdxEemijrYgpDXTdg" target="_c8FOAFdxEemijrYgpDXTdg"> | ||
192 | <children xmi:type="notation:Node" xmi:id="_c8bzUFdxEemijrYgpDXTdg" type="6001"> | ||
193 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8bzUVdxEemijrYgpDXTdg" x="96" y="-10"/> | ||
194 | </children> | ||
195 | <children xmi:type="notation:Node" xmi:id="_c8caYFdxEemijrYgpDXTdg" type="6002"> | ||
196 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8caYVdxEemijrYgpDXTdg" x="87" y="10"/> | ||
197 | </children> | ||
198 | <children xmi:type="notation:Node" xmi:id="_c8ePkFdxEemijrYgpDXTdg" type="6003"> | ||
199 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8ePkVdxEemijrYgpDXTdg" x="-3" y="26"/> | ||
200 | </children> | ||
201 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8alMVdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
202 | <styles xmi:type="notation:FontStyle" xmi:id="_c8alMldxEemijrYgpDXTdg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
203 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8alM1dxEemijrYgpDXTdg" points="[-59, -22, 218, 86]$[-313, -22, -36, 86]$[-313, -59, -36, 49]"/> | ||
204 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8rD4FdxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
205 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8rD4VdxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
206 | </edges> | ||
207 | <edges xmi:type="notation:Edge" xmi:id="_c8rq8FdxEemijrYgpDXTdg" type="4001" element="_c7oiEFdxEemijrYgpDXTdg" source="_c8FOAFdxEemijrYgpDXTdg" target="_c7_ucFdxEemijrYgpDXTdg"> | ||
208 | <children xmi:type="notation:Node" xmi:id="_c8rq9FdxEemijrYgpDXTdg" type="6001"> | ||
209 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8rq9VdxEemijrYgpDXTdg" x="119" y="19"/> | ||
210 | </children> | ||
211 | <children xmi:type="notation:Node" xmi:id="_c8rq9ldxEemijrYgpDXTdg" type="6002"> | ||
212 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8rq91dxEemijrYgpDXTdg" x="5" y="10"/> | ||
213 | </children> | ||
214 | <children xmi:type="notation:Node" xmi:id="_c8sSAFdxEemijrYgpDXTdg" type="6003"> | ||
215 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8sSAVdxEemijrYgpDXTdg" x="5"/> | ||
216 | </children> | ||
217 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8rq8VdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
218 | <styles xmi:type="notation:FontStyle" xmi:id="_c8rq8ldxEemijrYgpDXTdg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
219 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8rq81dxEemijrYgpDXTdg" points="[86, 23, -191, -85]$[242, 23, -35, -85]$[242, 59, -35, -49]"/> | ||
220 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8sSAldxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
221 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8sSA1dxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
222 | </edges> | ||
223 | <edges xmi:type="notation:Edge" xmi:id="_c8sSBFdxEemijrYgpDXTdg" type="4001" element="_c7qXQFdxEemijrYgpDXTdg" source="_c8LUoFdxEemijrYgpDXTdg" target="_c8MiwFdxEemijrYgpDXTdg"> | ||
224 | <children xmi:type="notation:Node" xmi:id="_c8s5EFdxEemijrYgpDXTdg" type="6001"> | ||
225 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8s5EVdxEemijrYgpDXTdg" y="-10"/> | ||
226 | </children> | ||
227 | <children xmi:type="notation:Node" xmi:id="_c8s5EldxEemijrYgpDXTdg" type="6002"> | ||
228 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8s5E1dxEemijrYgpDXTdg" y="10"/> | ||
229 | </children> | ||
230 | <children xmi:type="notation:Node" xmi:id="_c8s5FFdxEemijrYgpDXTdg" type="6003"> | ||
231 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8s5FVdxEemijrYgpDXTdg" y="10"/> | ||
232 | </children> | ||
233 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8sSBVdxEemijrYgpDXTdg" routing="Tree"/> | ||
234 | <styles xmi:type="notation:FontStyle" xmi:id="_c8sSBldxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
235 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8sSB1dxEemijrYgpDXTdg" points="[12, 0, 120, 58]$[12, -13, 120, 45]$[-107, -13, 1, 45]$[-107, -58, 1, 0]"/> | ||
236 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8s5FldxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
237 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8s5F1dxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
238 | </edges> | ||
239 | <edges xmi:type="notation:Edge" xmi:id="_c8tgIFdxEemijrYgpDXTdg" type="4001" element="_c7uosFdxEemijrYgpDXTdg" source="_c8I4ZFdxEemijrYgpDXTdg" target="_c8MiwFdxEemijrYgpDXTdg"> | ||
240 | <children xmi:type="notation:Node" xmi:id="_c8tgJFdxEemijrYgpDXTdg" type="6001"> | ||
241 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8tgJVdxEemijrYgpDXTdg" y="-10"/> | ||
242 | </children> | ||
243 | <children xmi:type="notation:Node" xmi:id="_c8tgJldxEemijrYgpDXTdg" type="6002"> | ||
244 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8tgJ1dxEemijrYgpDXTdg" y="10"/> | ||
245 | </children> | ||
246 | <children xmi:type="notation:Node" xmi:id="_c8tgKFdxEemijrYgpDXTdg" type="6003"> | ||
247 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8tgKVdxEemijrYgpDXTdg" y="10"/> | ||
248 | </children> | ||
249 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8tgIVdxEemijrYgpDXTdg" routing="Tree"/> | ||
250 | <styles xmi:type="notation:FontStyle" xmi:id="_c8tgIldxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
251 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8tgI1dxEemijrYgpDXTdg" points="[0, 0, -96, 58]$[0, -13, -96, 45]$[97, -13, 1, 45]$[97, -58, 1, 0]"/> | ||
252 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8uHMFdxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
253 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8uHMVdxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
254 | </edges> | ||
255 | <edges xmi:type="notation:Edge" xmi:id="_c8uHMldxEemijrYgpDXTdg" type="4001" element="_c7v20FdxEemijrYgpDXTdg" source="_c8F1FFdxEemijrYgpDXTdg" target="_c7_ucFdxEemijrYgpDXTdg"> | ||
256 | <children xmi:type="notation:Node" xmi:id="_c8uHNldxEemijrYgpDXTdg" type="6001"> | ||
257 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8uHN1dxEemijrYgpDXTdg" y="-10"/> | ||
258 | </children> | ||
259 | <children xmi:type="notation:Node" xmi:id="_c8uHOFdxEemijrYgpDXTdg" type="6002"> | ||
260 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8uHOVdxEemijrYgpDXTdg" y="10"/> | ||
261 | </children> | ||
262 | <children xmi:type="notation:Node" xmi:id="_c8uuQFdxEemijrYgpDXTdg" type="6003"> | ||
263 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8uuQVdxEemijrYgpDXTdg" y="10"/> | ||
264 | </children> | ||
265 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8uHM1dxEemijrYgpDXTdg" routing="Tree"/> | ||
266 | <styles xmi:type="notation:FontStyle" xmi:id="_c8uHNFdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
267 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8uHNVdxEemijrYgpDXTdg" points="[0, -98, -7, 228]$[0, -182, -7, 144]$[-1, -182, -8, 144]$[-1, -228, -8, 98]"/> | ||
268 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8uuQldxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
269 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8uuQ1dxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
270 | </edges> | ||
271 | <edges xmi:type="notation:Edge" xmi:id="_c8uuRFdxEemijrYgpDXTdg" type="4001" element="_c7xE8FdxEemijrYgpDXTdg" source="_c8HqQFdxEemijrYgpDXTdg" target="_c8LUoFdxEemijrYgpDXTdg"> | ||
272 | <children xmi:type="notation:Node" xmi:id="_c8vVUFdxEemijrYgpDXTdg" type="6001"> | ||
273 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8vVUVdxEemijrYgpDXTdg" x="16"/> | ||
274 | </children> | ||
275 | <children xmi:type="notation:Node" xmi:id="_c8vVUldxEemijrYgpDXTdg" type="6002"> | ||
276 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8vVU1dxEemijrYgpDXTdg" x="59" y="-7"/> | ||
277 | </children> | ||
278 | <children xmi:type="notation:Node" xmi:id="_c8vVVFdxEemijrYgpDXTdg" type="6003"> | ||
279 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8vVVVdxEemijrYgpDXTdg" x="4" y="10"/> | ||
280 | </children> | ||
281 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8uuRVdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
282 | <styles xmi:type="notation:FontStyle" xmi:id="_c8uuRldxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
283 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8uuR1dxEemijrYgpDXTdg" points="[59, 72, -49, 142]$[108, 72, 0, 142]$[108, -70, 0, 0]"/> | ||
284 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8v8YFdxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
285 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8v8YVdxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
286 | </edges> | ||
287 | <edges xmi:type="notation:Edge" xmi:id="_c8v8YldxEemijrYgpDXTdg" type="4001" element="_c7zhMFdxEemijrYgpDXTdg" source="_c8HqQFdxEemijrYgpDXTdg" target="_c8I4ZFdxEemijrYgpDXTdg"> | ||
288 | <children xmi:type="notation:Node" xmi:id="_c8wjc1dxEemijrYgpDXTdg" type="6001"> | ||
289 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8wjdFdxEemijrYgpDXTdg" x="10"/> | ||
290 | </children> | ||
291 | <children xmi:type="notation:Node" xmi:id="_c8wjdVdxEemijrYgpDXTdg" type="6002"> | ||
292 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8wjdldxEemijrYgpDXTdg" x="65" y="-18"/> | ||
293 | </children> | ||
294 | <children xmi:type="notation:Node" xmi:id="_c8wjd1dxEemijrYgpDXTdg" type="6003"> | ||
295 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8wjeFdxEemijrYgpDXTdg" x="12" y="-27"/> | ||
296 | </children> | ||
297 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8wjcFdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
298 | <styles xmi:type="notation:FontStyle" xmi:id="_c8wjcVdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
299 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8wjcldxEemijrYgpDXTdg" points="[-59, 72, 37, 142]$[-96, 72, 0, 142]$[-96, -70, 0, 0]"/> | ||
300 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8xKgFdxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
301 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8xKgVdxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
302 | </edges> | ||
303 | <edges xmi:type="notation:Edge" xmi:id="_c8xKgldxEemijrYgpDXTdg" type="4001" element="_c71WYFdxEemijrYgpDXTdg" source="_c8IRVFdxEemijrYgpDXTdg" target="_c8MiwFdxEemijrYgpDXTdg"> | ||
304 | <children xmi:type="notation:Node" xmi:id="_c8xKhldxEemijrYgpDXTdg" type="6001"> | ||
305 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8xKh1dxEemijrYgpDXTdg" y="-10"/> | ||
306 | </children> | ||
307 | <children xmi:type="notation:Node" xmi:id="_c8xKiFdxEemijrYgpDXTdg" type="6002"> | ||
308 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8xKiVdxEemijrYgpDXTdg" x="15" y="-18"/> | ||
309 | </children> | ||
310 | <children xmi:type="notation:Node" xmi:id="_c8xKildxEemijrYgpDXTdg" type="6003"> | ||
311 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8xKi1dxEemijrYgpDXTdg" x="-4" y="-18"/> | ||
312 | </children> | ||
313 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8xKg1dxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
314 | <styles xmi:type="notation:FontStyle" xmi:id="_c8xKhFdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
315 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8xKhVdxEemijrYgpDXTdg" points="[61, -48, -274, 35]$[276, -48, -59, 35]"/> | ||
316 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8xxkFdxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
317 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8xxkVdxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
318 | </edges> | ||
319 | <edges xmi:type="notation:Edge" xmi:id="_c8xxkldxEemijrYgpDXTdg" type="4001" element="_c719dldxEemijrYgpDXTdg" source="_c7_ucFdxEemijrYgpDXTdg" target="_c8F1FFdxEemijrYgpDXTdg"> | ||
320 | <children xmi:type="notation:Node" xmi:id="_c8yYoFdxEemijrYgpDXTdg" type="6001"> | ||
321 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8yYoVdxEemijrYgpDXTdg" x="-21" y="7"/> | ||
322 | </children> | ||
323 | <children xmi:type="notation:Node" xmi:id="_c8yYoldxEemijrYgpDXTdg" type="6002"> | ||
324 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8yYo1dxEemijrYgpDXTdg" x="26" y="12"/> | ||
325 | </children> | ||
326 | <children xmi:type="notation:Node" xmi:id="_c8yYpFdxEemijrYgpDXTdg" type="6003"> | ||
327 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8yYpVdxEemijrYgpDXTdg" x="11" y="42"/> | ||
328 | </children> | ||
329 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8xxk1dxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
330 | <styles xmi:type="notation:FontStyle" xmi:id="_c8xxlFdxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
331 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8xxlVdxEemijrYgpDXTdg" points="[-59, 11, -52, -217]$[-131, 11, -124, -217]$[-131, 229, -124, 1]$[-95, 229, -88, 1]"/> | ||
332 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8yYpldxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
333 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8yYp1dxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
334 | </edges> | ||
335 | <edges xmi:type="notation:Edge" xmi:id="_c8yYqFdxEemijrYgpDXTdg" type="4001" element="_c73Lk1dxEemijrYgpDXTdg" source="_c8HDMFdxEemijrYgpDXTdg" target="_c8MiwFdxEemijrYgpDXTdg"> | ||
336 | <children xmi:type="notation:Node" xmi:id="_c8y_sFdxEemijrYgpDXTdg" type="6001"> | ||
337 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8y_sVdxEemijrYgpDXTdg" x="-32" y="10"/> | ||
338 | </children> | ||
339 | <children xmi:type="notation:Node" xmi:id="_c8y_sldxEemijrYgpDXTdg" type="6002"> | ||
340 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8y_s1dxEemijrYgpDXTdg" x="13" y="13"/> | ||
341 | </children> | ||
342 | <children xmi:type="notation:Node" xmi:id="_c8y_tFdxEemijrYgpDXTdg" type="6003"> | ||
343 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8y_tVdxEemijrYgpDXTdg" x="-12" y="-17"/> | ||
344 | </children> | ||
345 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8yYqVdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
346 | <styles xmi:type="notation:FontStyle" xmi:id="_c8yYqldxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
347 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8yYq1dxEemijrYgpDXTdg" points="[-59, 61, 241, -26]$[-241, 61, 59, -26]"/> | ||
348 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8y_tldxEemijrYgpDXTdg" id="(0.5,0.0)"/> | ||
349 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c8y_t1dxEemijrYgpDXTdg" id="(0.5,1.0)"/> | ||
350 | </edges> | ||
351 | <edges xmi:type="notation:Edge" xmi:id="_c8y_uFdxEemijrYgpDXTdg" type="4001" element="_c75AwFdxEemijrYgpDXTdg" source="_c7_ucFdxEemijrYgpDXTdg" target="_c8IRVFdxEemijrYgpDXTdg"> | ||
352 | <children xmi:type="notation:Node" xmi:id="_c8zmwFdxEemijrYgpDXTdg" type="6001"> | ||
353 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8zmwVdxEemijrYgpDXTdg" x="44" y="2"/> | ||
354 | </children> | ||
355 | <children xmi:type="notation:Node" xmi:id="_c8zmwldxEemijrYgpDXTdg" type="6002"> | ||
356 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c8zmw1dxEemijrYgpDXTdg" x="18" y="7"/> | ||
357 | </children> | ||
358 | <children xmi:type="notation:Node" xmi:id="_c80N0FdxEemijrYgpDXTdg" type="6003"> | ||
359 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_c80N0VdxEemijrYgpDXTdg" x="-1" y="10"/> | ||
360 | </children> | ||
361 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_c8y_uVdxEemijrYgpDXTdg" routing="Rectilinear"/> | ||
362 | <styles xmi:type="notation:FontStyle" xmi:id="_c8y_uldxEemijrYgpDXTdg" fontName="Segoe UI" fontHeight="8"/> | ||
363 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_c8y_u1dxEemijrYgpDXTdg" points="[59, 11, -266, 11]$[265, 11, -60, 11]"/> | ||
364 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c80N0ldxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
365 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_c80N01dxEemijrYgpDXTdg" id="(0.5,0.5)"/> | ||
366 | </edges> | ||
367 | </data> | ||
368 | </ownedAnnotationEntries> | ||
369 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6ggsFdxEemijrYgpDXTdg" name="FunctionalElement" tooltipText="" outgoingEdges="_c7gmQFdxEemijrYgpDXTdg _c719dldxEemijrYgpDXTdg _c75AwFdxEemijrYgpDXTdg" incomingEdges="_c7oiEFdxEemijrYgpDXTdg _c7v20FdxEemijrYgpDXTdg" width="12" height="10"> | ||
370 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalElement"/> | ||
371 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalElement"/> | ||
372 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
373 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
374 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
375 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6lZMFdxEemijrYgpDXTdg" 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"> | ||
376 | <labelFormat>italic</labelFormat> | ||
377 | <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"/> | ||
378 | </ownedStyle> | ||
379 | <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']"/> | ||
380 | </ownedDiagramElements> | ||
381 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6q4wFdxEemijrYgpDXTdg" name="FunctionalArchitectureModel" tooltipText="" outgoingEdges="_c7oiEFdxEemijrYgpDXTdg" incomingEdges="_c7gmQFdxEemijrYgpDXTdg" width="12" height="10"> | ||
382 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalArchitectureModel"/> | ||
383 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalArchitectureModel"/> | ||
384 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
385 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
386 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
387 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6rf0FdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
388 | <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"/> | ||
389 | </ownedStyle> | ||
390 | <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']"/> | ||
391 | </ownedDiagramElements> | ||
392 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6tVAFdxEemijrYgpDXTdg" name="Function" tooltipText="" outgoingEdges="_c7v20FdxEemijrYgpDXTdg" incomingEdges="_c719dldxEemijrYgpDXTdg" width="12" height="10"> | ||
393 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//Function"/> | ||
394 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//Function"/> | ||
395 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
396 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
397 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
398 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6t8EFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
399 | <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"/> | ||
400 | </ownedStyle> | ||
401 | <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']"/> | ||
402 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_c7VAEFdxEemijrYgpDXTdg" name="/type : FunctionType = Root" tooltipText=""> | ||
403 | <target xmi:type="ecore:EAttribute" href="FamMetamodel.ecore#//Function/type"/> | ||
404 | <semanticElements xmi:type="ecore:EAttribute" href="FamMetamodel.ecore#//Function/type"/> | ||
405 | <ownedStyle xmi:type="diagram:BundledImage" uid="_c7ZRgFdxEemijrYgpDXTdg" labelColor="39,76,114" labelAlignment="LEFT" description="_c7XcUFdxEemijrYgpDXTdg"> | ||
406 | <labelFormat>bold</labelFormat> | ||
407 | </ownedStyle> | ||
408 | <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']"/> | ||
409 | </ownedElements> | ||
410 | </ownedDiagramElements> | ||
411 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6vKMFdxEemijrYgpDXTdg" name="FAMTerminator" tooltipText="" outgoingEdges="_c73Lk1dxEemijrYgpDXTdg" width="12" height="10"> | ||
412 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FAMTerminator"/> | ||
413 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FAMTerminator"/> | ||
414 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
415 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
416 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
417 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6vxQFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
418 | <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"/> | ||
419 | </ownedStyle> | ||
420 | <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']"/> | ||
421 | </ownedDiagramElements> | ||
422 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6w_YFdxEemijrYgpDXTdg" name="InformationLink" tooltipText="" outgoingEdges="_c7xE8FdxEemijrYgpDXTdg _c7zhMFdxEemijrYgpDXTdg" width="12" height="10"> | ||
423 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//InformationLink"/> | ||
424 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//InformationLink"/> | ||
425 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
426 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
427 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
428 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6xmcFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
429 | <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"/> | ||
430 | </ownedStyle> | ||
431 | <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']"/> | ||
432 | </ownedDiagramElements> | ||
433 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c6y0kFdxEemijrYgpDXTdg" name="FunctionalInterface" tooltipText="" outgoingEdges="_c71WYFdxEemijrYgpDXTdg" incomingEdges="_c75AwFdxEemijrYgpDXTdg" width="12" height="10"> | ||
434 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInterface"/> | ||
435 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInterface"/> | ||
436 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
437 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
438 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
439 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c6zboFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
440 | <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"/> | ||
441 | </ownedStyle> | ||
442 | <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']"/> | ||
443 | </ownedDiagramElements> | ||
444 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c60CsFdxEemijrYgpDXTdg" name="FunctionalInput" tooltipText="" outgoingEdges="_c7uosFdxEemijrYgpDXTdg" incomingEdges="_c7zhMFdxEemijrYgpDXTdg" width="12" height="10"> | ||
445 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInput"/> | ||
446 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInput"/> | ||
447 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
448 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
449 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
450 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c60pwFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
451 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
452 | </ownedStyle> | ||
453 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
454 | </ownedDiagramElements> | ||
455 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c62e8FdxEemijrYgpDXTdg" name="FunctionalOutput" tooltipText="" outgoingEdges="_c7qXQFdxEemijrYgpDXTdg" incomingEdges="_c7xE8FdxEemijrYgpDXTdg" width="12" height="10"> | ||
456 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalOutput"/> | ||
457 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalOutput"/> | ||
458 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
459 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
460 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
461 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c63GAFdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
462 | <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"/> | ||
463 | </ownedStyle> | ||
464 | <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']"/> | ||
465 | </ownedDiagramElements> | ||
466 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c64UIFdxEemijrYgpDXTdg" name="FunctionalData" tooltipText="" incomingEdges="_c7qXQFdxEemijrYgpDXTdg _c7uosFdxEemijrYgpDXTdg _c71WYFdxEemijrYgpDXTdg _c73Lk1dxEemijrYgpDXTdg" width="12" height="10"> | ||
467 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalData"/> | ||
468 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalData"/> | ||
469 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
470 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
471 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
472 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c647MFdxEemijrYgpDXTdg" 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"> | ||
473 | <labelFormat>italic</labelFormat> | ||
474 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/> | ||
475 | </ownedStyle> | ||
476 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | ||
477 | </ownedDiagramElements> | ||
478 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_c66wYFdxEemijrYgpDXTdg" name="FunctionType" tooltipText="" width="12" height="10"> | ||
479 | <target xmi:type="ecore:EEnum" href="FamMetamodel.ecore#//FunctionType"/> | ||
480 | <semanticElements xmi:type="ecore:EEnum" href="FamMetamodel.ecore#//FunctionType"/> | ||
481 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_c66wYVdxEemijrYgpDXTdg" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="221,236,202"> | ||
482 | <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%20EEnum']/@style"/> | ||
483 | </ownedStyle> | ||
484 | <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%20EEnum']"/> | ||
485 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_c7afoVdxEemijrYgpDXTdg" name="Root" tooltipText=""> | ||
486 | <target xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Root"/> | ||
487 | <semanticElements xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Root"/> | ||
488 | <ownedStyle xmi:type="diagram:BundledImage" uid="_c7afoldxEemijrYgpDXTdg" labelAlignment="LEFT"> | ||
489 | <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%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
490 | </ownedStyle> | ||
491 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
492 | </ownedElements> | ||
493 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_c7bGsFdxEemijrYgpDXTdg" name="Intermediate" tooltipText=""> | ||
494 | <target xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Intermediate"/> | ||
495 | <semanticElements xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Intermediate"/> | ||
496 | <ownedStyle xmi:type="diagram:BundledImage" uid="_c7bGsVdxEemijrYgpDXTdg" labelAlignment="LEFT"> | ||
497 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
498 | </ownedStyle> | ||
499 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
500 | </ownedElements> | ||
501 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_c7btwFdxEemijrYgpDXTdg" name="Leaf" tooltipText=""> | ||
502 | <target xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Leaf"/> | ||
503 | <semanticElements xmi:type="ecore:EEnumLiteral" href="FamMetamodel.ecore#//FunctionType/Leaf"/> | ||
504 | <ownedStyle xmi:type="diagram:BundledImage" uid="_c7btwVdxEemijrYgpDXTdg" labelAlignment="LEFT"> | ||
505 | <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%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
506 | </ownedStyle> | ||
507 | <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%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
508 | </ownedElements> | ||
509 | </ownedDiagramElements> | ||
510 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7gmQFdxEemijrYgpDXTdg" name="[1..1] /model" sourceNode="_c6ggsFdxEemijrYgpDXTdg" targetNode="_c6q4wFdxEemijrYgpDXTdg"> | ||
511 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/model"/> | ||
512 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/model"/> | ||
513 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7lewFdxEemijrYgpDXTdg" description="_c7ibcFdxEemijrYgpDXTdg" routingStyle="manhattan" strokeColor="114,159,207"> | ||
514 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_c7mF0VdxEemijrYgpDXTdg" showIcon="false" labelColor="39,76,114"> | ||
515 | <customFeatures>labelSize</customFeatures> | ||
516 | </centerLabelStyle> | ||
517 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c7mF0FdxEemijrYgpDXTdg" showIcon="false" labelColor="39,76,114"> | ||
518 | <customFeatures>labelSize</customFeatures> | ||
519 | </endLabelStyle> | ||
520 | </ownedStyle> | ||
521 | <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']"/> | ||
522 | </ownedDiagramElements> | ||
523 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7oiEFdxEemijrYgpDXTdg" name="[0..*] rootElements" sourceNode="_c6q4wFdxEemijrYgpDXTdg" targetNode="_c6ggsFdxEemijrYgpDXTdg"> | ||
524 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalArchitectureModel/rootElements"/> | ||
525 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalArchitectureModel/rootElements"/> | ||
526 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7pJI1dxEemijrYgpDXTdg" description="_c7pJIFdxEemijrYgpDXTdg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
527 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_c7pJJVdxEemijrYgpDXTdg" showIcon="false"> | ||
528 | <customFeatures>labelSize</customFeatures> | ||
529 | </centerLabelStyle> | ||
530 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c7pJJFdxEemijrYgpDXTdg" showIcon="false" labelColor="39,76,114"> | ||
531 | <customFeatures>labelSize</customFeatures> | ||
532 | </endLabelStyle> | ||
533 | </ownedStyle> | ||
534 | <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']"/> | ||
535 | </ownedDiagramElements> | ||
536 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7qXQFdxEemijrYgpDXTdg" sourceNode="_c62e8FdxEemijrYgpDXTdg" targetNode="_c64UIFdxEemijrYgpDXTdg"> | ||
537 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalOutput"/> | ||
538 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalOutput"/> | ||
539 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7takFdxEemijrYgpDXTdg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
540 | <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"/> | ||
541 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c7uBoFdxEemijrYgpDXTdg" showIcon="false"> | ||
542 | <labelFormat>italic</labelFormat> | ||
543 | </beginLabelStyle> | ||
544 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_c7uBoVdxEemijrYgpDXTdg" showIcon="false"/> | ||
545 | </ownedStyle> | ||
546 | <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']"/> | ||
547 | </ownedDiagramElements> | ||
548 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7uosFdxEemijrYgpDXTdg" sourceNode="_c60CsFdxEemijrYgpDXTdg" targetNode="_c64UIFdxEemijrYgpDXTdg"> | ||
549 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInput"/> | ||
550 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//FunctionalInput"/> | ||
551 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7vPwFdxEemijrYgpDXTdg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
552 | <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"/> | ||
553 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c7vPwVdxEemijrYgpDXTdg" showIcon="false"> | ||
554 | <labelFormat>italic</labelFormat> | ||
555 | </beginLabelStyle> | ||
556 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_c7vPwldxEemijrYgpDXTdg" showIcon="false"/> | ||
557 | </ownedStyle> | ||
558 | <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']"/> | ||
559 | </ownedDiagramElements> | ||
560 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7v20FdxEemijrYgpDXTdg" sourceNode="_c6tVAFdxEemijrYgpDXTdg" targetNode="_c6ggsFdxEemijrYgpDXTdg"> | ||
561 | <target xmi:type="ecore:EClass" href="FamMetamodel.ecore#//Function"/> | ||
562 | <semanticElements xmi:type="ecore:EClass" href="FamMetamodel.ecore#//Function"/> | ||
563 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7wd4FdxEemijrYgpDXTdg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
564 | <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"/> | ||
565 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c7wd4VdxEemijrYgpDXTdg" showIcon="false"> | ||
566 | <labelFormat>italic</labelFormat> | ||
567 | </beginLabelStyle> | ||
568 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_c7wd4ldxEemijrYgpDXTdg" showIcon="false"/> | ||
569 | </ownedStyle> | ||
570 | <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']"/> | ||
571 | </ownedDiagramElements> | ||
572 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7xE8FdxEemijrYgpDXTdg" sourceNode="_c6w_YFdxEemijrYgpDXTdg" targetNode="_c62e8FdxEemijrYgpDXTdg" beginLabel="[0..*] outgoingLinks" endLabel="[0..1] from"> | ||
573 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//InformationLink/from"/> | ||
574 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//InformationLink/from"/> | ||
575 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalOutput/outgoingLinks"/> | ||
576 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c7y6IFdxEemijrYgpDXTdg" description="_c7yTEFdxEemijrYgpDXTdg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
577 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c7y6IVdxEemijrYgpDXTdg" showIcon="false"/> | ||
578 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c7y6IldxEemijrYgpDXTdg" showIcon="false"/> | ||
579 | </ownedStyle> | ||
580 | <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']"/> | ||
581 | </ownedDiagramElements> | ||
582 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c7zhMFdxEemijrYgpDXTdg" sourceNode="_c6w_YFdxEemijrYgpDXTdg" targetNode="_c60CsFdxEemijrYgpDXTdg" beginLabel="[0..*] IncomingLinks" endLabel="[1..1] to"> | ||
583 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//InformationLink/to"/> | ||
584 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalInput/IncomingLinks"/> | ||
585 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//InformationLink/to"/> | ||
586 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c70IQ1dxEemijrYgpDXTdg" description="_c70IQFdxEemijrYgpDXTdg" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | ||
587 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c70IRFdxEemijrYgpDXTdg" showIcon="false"> | ||
588 | <labelFormat>bold</labelFormat> | ||
589 | </beginLabelStyle> | ||
590 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c70IRVdxEemijrYgpDXTdg" showIcon="false"> | ||
591 | <labelFormat>bold</labelFormat> | ||
592 | </endLabelStyle> | ||
593 | </ownedStyle> | ||
594 | <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']"/> | ||
595 | </ownedDiagramElements> | ||
596 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c71WYFdxEemijrYgpDXTdg" sourceNode="_c6y0kFdxEemijrYgpDXTdg" targetNode="_c64UIFdxEemijrYgpDXTdg" beginLabel="[0..1] interface" endLabel="[0..*] data"> | ||
597 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalInterface/data"/> | ||
598 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalInterface/data"/> | ||
599 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalData/interface"/> | ||
600 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c719cFdxEemijrYgpDXTdg" description="_c71WYVdxEemijrYgpDXTdg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
601 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c719cVdxEemijrYgpDXTdg" showIcon="false"/> | ||
602 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c719cldxEemijrYgpDXTdg" showIcon="false"/> | ||
603 | </ownedStyle> | ||
604 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/> | ||
605 | </ownedDiagramElements> | ||
606 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c719dldxEemijrYgpDXTdg" sourceNode="_c6ggsFdxEemijrYgpDXTdg" targetNode="_c6tVAFdxEemijrYgpDXTdg" beginLabel="[0..*] subElements" endLabel="[0..1] parent"> | ||
607 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/parent"/> | ||
608 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/parent"/> | ||
609 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//Function/subElements"/> | ||
610 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c72kgFdxEemijrYgpDXTdg" description="_c7yTEFdxEemijrYgpDXTdg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
611 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c72kgVdxEemijrYgpDXTdg" showIcon="false"/> | ||
612 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c72kgldxEemijrYgpDXTdg" showIcon="false"/> | ||
613 | </ownedStyle> | ||
614 | <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']"/> | ||
615 | </ownedDiagramElements> | ||
616 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c73Lk1dxEemijrYgpDXTdg" sourceNode="_c6vKMFdxEemijrYgpDXTdg" targetNode="_c64UIFdxEemijrYgpDXTdg" beginLabel="[0..1] terminator" endLabel="[0..1] data"> | ||
617 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FAMTerminator/data"/> | ||
618 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FAMTerminator/data"/> | ||
619 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalData/terminator"/> | ||
620 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c74ZsFdxEemijrYgpDXTdg" description="_c7yTEFdxEemijrYgpDXTdg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
621 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c74ZsVdxEemijrYgpDXTdg" showIcon="false"/> | ||
622 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c74ZsldxEemijrYgpDXTdg" showIcon="false"/> | ||
623 | </ownedStyle> | ||
624 | <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']"/> | ||
625 | </ownedDiagramElements> | ||
626 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_c75AwFdxEemijrYgpDXTdg" sourceNode="_c6ggsFdxEemijrYgpDXTdg" targetNode="_c6y0kFdxEemijrYgpDXTdg" beginLabel="[0..1] element" endLabel="[0..1] interface"> | ||
627 | <target xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/interface"/> | ||
628 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalInterface/element"/> | ||
629 | <semanticElements xmi:type="ecore:EReference" href="FamMetamodel.ecore#//FunctionalElement/interface"/> | ||
630 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_c75n0FdxEemijrYgpDXTdg" description="_c71WYVdxEemijrYgpDXTdg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
631 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_c75n0VdxEemijrYgpDXTdg" showIcon="false"/> | ||
632 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_c75n0ldxEemijrYgpDXTdg" showIcon="false"/> | ||
633 | </ownedStyle> | ||
634 | <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']"/> | ||
635 | </ownedDiagramElements> | ||
636 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
637 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_cF5z8FdxEemijrYgpDXTdg"/> | ||
638 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | ||
639 | <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']"/> | ||
640 | <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']"/> | ||
641 | <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']"/> | ||
642 | <target xmi:type="ecore:EPackage" href="FamMetamodel.ecore#/"/> | ||
643 | </diagram:DSemanticDiagram> | ||
644 | </xmi:XMI> | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/plugin.xml b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/plugin.xml index 2381b84f..beaf5498 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/plugin.xml +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/plugin.xml | |||
@@ -1 +1,17 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.4"?><plugin/> | 1 | <?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.4"?><plugin> |
2 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
3 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries" id="ca.mcgill.ecse.dslreasoner.vampire.queries.VampireQueries"> | ||
4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSComment"/> | ||
5 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFofFormula"/> | ||
6 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnnotation"/> | ||
7 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSOr"/> | ||
8 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSAnd"/> | ||
9 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSEquivalent"/> | ||
10 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSFunction"/> | ||
11 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSExistentialQuantifier"/> | ||
12 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUniversalQuantifier"/> | ||
13 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSUnaryNegation"/> | ||
14 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.VLSInequality"/> | ||
15 | </group> | ||
16 | </extension> | ||
17 | </plugin> | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql index 2bc22f9e..ef61e4d1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | |||
@@ -48,9 +48,9 @@ pattern VLSInequality(term: VLSInequality){ | |||
48 | VLSInequality(term); | 48 | VLSInequality(term); |
49 | } | 49 | } |
50 | 50 | ||
51 | pattern VLSFunctionFof(term: VLSFunctionFof){ | 51 | //pattern VLSFunctionFof(term: VLSFunctionFof){ |
52 | VLSFunctionFof(term); | 52 | // VLSFunctionFof(term); |
53 | } | 53 | //} |
54 | 54 | ||
55 | //pattern VLSFofTerm(term: VLSFofTerm){ | 55 | //pattern VLSFofTerm(term: VLSFofTerm){ |
56 | // VLSFofTerm(term); | 56 | // VLSFofTerm(term); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend index 618980a3..98967181 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |||
@@ -4,7 +4,8 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | |||
4 | 4 | ||
5 | class VampireSolverConfiguration extends LogicSolverConfiguration { | 5 | class VampireSolverConfiguration extends LogicSolverConfiguration { |
6 | 6 | ||
7 | //public var int symmetry = 0 // by default | 7 | public var int contCycleLevel = 0 |
8 | public var boolean uniquenessDuplicates = false | ||
8 | //choose needed backend solver | 9 | //choose needed backend solver |
9 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J | 10 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J |
10 | } | 11 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend index b7ad8f3d..2be6c093 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend | |||
@@ -87,7 +87,7 @@ class Logic2VampireLanguageMapper { | |||
87 | problem.relations.forEach[this.relationMapper.transformRelation(it, trace)] | 87 | problem.relations.forEach[this.relationMapper.transformRelation(it, trace)] |
88 | 88 | ||
89 | // CONTAINMENT MAPPER | 89 | // CONTAINMENT MAPPER |
90 | containmentMapper.transformContainment(problem.containmentHierarchies, trace) | 90 | containmentMapper.transformContainment(config,problem.containmentHierarchies, trace) |
91 | 91 | ||
92 | // CONSTANT MAPPER | 92 | // CONSTANT MAPPER |
93 | // only transforms definitions | 93 | // only transforms definitions |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend index 48ee8789..395b4305 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.xtend | |||
@@ -1,6 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder | 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd | 3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration |
4 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction | 4 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction |
5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | 5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm |
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable |
@@ -25,9 +25,9 @@ class Logic2VampireLanguageMapper_ContainmentMapper { | |||
25 | this.base = base | 25 | this.base = base |
26 | } | 26 | } |
27 | 27 | ||
28 | def public void transformContainment(List<ContainmentHierarchy> hierarchies, | 28 | def public void transformContainment(VampireSolverConfiguration config, List<ContainmentHierarchy> hierarchies, |
29 | Logic2VampireLanguageMapperTrace trace) { | 29 | Logic2VampireLanguageMapperTrace trace) { |
30 | //TODO throw error is there exists a circular containment that does not involve hierarchy | 30 | // TODO throw error is there exists a circular containment that does not involve hierarchy |
31 | // TODO CONSIDER CASE WHERE MULTIPLE CONTAINMMENT HIERARCHIES EXIST | 31 | // TODO CONSIDER CASE WHERE MULTIPLE CONTAINMMENT HIERARCHIES EXIST |
32 | // TEMP | 32 | // TEMP |
33 | val hierarchy = hierarchies.get(0) | 33 | val hierarchy = hierarchies.get(0) |
@@ -94,7 +94,6 @@ class Logic2VampireLanguageMapper_ContainmentMapper { | |||
94 | // for (c : support.listSubtypes(toType)) { | 94 | // for (c : support.listSubtypes(toType)) { |
95 | // addToMap(type2cont, toFunc, rel) | 95 | // addToMap(type2cont, toFunc, rel) |
96 | // } | 96 | // } |
97 | |||
98 | // val listForAnd = newArrayList | 97 | // val listForAnd = newArrayList |
99 | //// listForAnd.add(support.duplicate(fromType.lookup(trace.type2Predicate), varB)) | 98 | //// listForAnd.add(support.duplicate(fromType.lookup(trace.type2Predicate), varB)) |
100 | // listForAnd.add(support.duplicate((l as RelationDeclaration).lookup(trace.rel2Predicate), varList)) | 99 | // listForAnd.add(support.duplicate((l as RelationDeclaration).lookup(trace.rel2Predicate), varList)) |
@@ -111,7 +110,7 @@ class Logic2VampireLanguageMapper_ContainmentMapper { | |||
111 | // STEP 3 | 110 | // STEP 3 |
112 | // Ensure that an objct only has 1 parent | 111 | // Ensure that an objct only has 1 parent |
113 | val relFormula = createVLSFofFormula => [ | 112 | val relFormula = createVLSFofFormula => [ |
114 | it.name = support.toIDMultiple("noDupCont", rel.constant.toString) | 113 | it.name = support.toIDMultiple("containment_noDup", rel.constant.toString) |
115 | it.fofRole = "axiom" | 114 | it.fofRole = "axiom" |
116 | it.fofFormula = createVLSExistentialQuantifier => [ | 115 | it.fofFormula = createVLSExistentialQuantifier => [ |
117 | it.variables += support.duplicate(varA) | 116 | it.variables += support.duplicate(varA) |
@@ -133,7 +132,7 @@ class Logic2VampireLanguageMapper_ContainmentMapper { | |||
133 | 132 | ||
134 | } | 133 | } |
135 | 134 | ||
136 | // STEP CONT'D | 135 | // STEP 2 CONT'D |
137 | for (e : type2cont.entrySet) { | 136 | for (e : type2cont.entrySet) { |
138 | val relFormula = createVLSFofFormula => [ | 137 | val relFormula = createVLSFofFormula => [ |
139 | it.name = support.toIDMultiple("containment", e.key.constant.toString) | 138 | it.name = support.toIDMultiple("containment", e.key.constant.toString) |
@@ -159,8 +158,39 @@ class Logic2VampireLanguageMapper_ContainmentMapper { | |||
159 | 158 | ||
160 | } | 159 | } |
161 | 160 | ||
162 | // STEP 4 | 161 | // STEP 4 |
163 | // Ensure that there are no cycles in the hierarchy (maybe same as for step3?) | 162 | // Ensure that there are no cycles in the hierarchy (maybe same as for step3?) |
163 | // Attempt 1: all possibilities, even the impossible one, based on MM constraints, are listed | ||
164 | |||
165 | |||
166 | val variables = newArrayList | ||
167 | val disjunctionList = newArrayList | ||
168 | val conjunctionList = newArrayList | ||
169 | for (var i = 1; i <= config.contCycleLevel; i++) { | ||
170 | val ind = i | ||
171 | variables.add(createVLSVariable => [it.name = ("V"+Integer.toString(ind))]) | ||
172 | for ( var j = 0; j < i;j++){ | ||
173 | for (l : relationsList) { | ||
174 | val rel = support.duplicate((l as RelationDeclaration).lookup(trace.rel2Predicate), newArrayList(variables.get(j), variables.get((j+1)%i))) | ||
175 | disjunctionList.add(rel) | ||
176 | } | ||
177 | conjunctionList.add(support.unfoldOr(disjunctionList)) | ||
178 | disjunctionList.clear | ||
179 | } | ||
180 | |||
181 | val contCycleForm = createVLSFofFormula => [ | ||
182 | it.name = support.toIDMultiple("containment_noCycle", Integer.toString(ind)) | ||
183 | it.fofRole = "axiom" | ||
184 | it.fofFormula = createVLSUnaryNegation => [ | ||
185 | it.operand = createVLSExistentialQuantifier => [ | ||
186 | it.variables += support.duplicate(variables) | ||
187 | it.operand = support.unfoldAnd(conjunctionList) | ||
188 | ] | ||
189 | ] | ||
190 | ] | ||
191 | trace.specification.formulas += contCycleForm | ||
192 | conjunctionList.clear | ||
193 | } | ||
164 | } | 194 | } |
165 | 195 | ||
166 | protected def VLSTerm makeUnique(List<VLSFunction> list) { | 196 | protected def VLSTerm makeUnique(List<VLSFunction> list) { |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend index 0d0be576..0a8812e4 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | |||
@@ -1,17 +1,15 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder | 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction | 3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration |
4 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | ||
4 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable | 5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable |
5 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory |
6 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type |
8 | import java.util.ArrayList | 8 | import java.util.ArrayList |
9 | import java.util.HashMap | ||
9 | import java.util.Map | 10 | import java.util.Map |
10 | 11 | ||
11 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 12 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
12 | import java.util.HashMap | ||
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | ||
14 | import java.util.List | ||
15 | 13 | ||
16 | class Logic2VampireLanguageMapper_ScopeMapper { | 14 | class Logic2VampireLanguageMapper_ScopeMapper { |
17 | private val extension VampireLanguageFactory factory = VampireLanguageFactory.eINSTANCE | 15 | private val extension VampireLanguageFactory factory = VampireLanguageFactory.eINSTANCE |
@@ -23,7 +21,7 @@ class Logic2VampireLanguageMapper_ScopeMapper { | |||
23 | this.base = base | 21 | this.base = base |
24 | } | 22 | } |
25 | 23 | ||
26 | def dispatch public void transformScope(LogicSolverConfiguration config, Logic2VampireLanguageMapperTrace trace) { | 24 | def dispatch public void transformScope(VampireSolverConfiguration config, Logic2VampireLanguageMapperTrace trace) { |
27 | val ABSOLUTE_MIN = 0 | 25 | val ABSOLUTE_MIN = 0 |
28 | val ABSOLUTE_MAX = Integer.MAX_VALUE | 26 | val ABSOLUTE_MAX = Integer.MAX_VALUE |
29 | 27 | ||
@@ -40,7 +38,6 @@ class Logic2VampireLanguageMapper_ScopeMapper { | |||
40 | 38 | ||
41 | // Handling Minimum_General | 39 | // Handling Minimum_General |
42 | if (GLOBAL_MIN != ABSOLUTE_MIN) { | 40 | if (GLOBAL_MIN != ABSOLUTE_MIN) { |
43 | // * | ||
44 | getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, !consistant) | 41 | getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, !consistant) |
45 | if (consistant) { | 42 | if (consistant) { |
46 | for (i : trace.uniqueInstances) { | 43 | for (i : trace.uniqueInstances) { |
@@ -94,7 +91,7 @@ class Logic2VampireLanguageMapper_ScopeMapper { | |||
94 | 91 | ||
95 | // 3. Specify uniqueness of elements | 92 | // 3. Specify uniqueness of elements |
96 | // TEMP | 93 | // TEMP |
97 | val DUPLICATES = false | 94 | val DUPLICATES = config.uniquenessDuplicates |
98 | 95 | ||
99 | val numInst = trace.uniqueInstances.length | 96 | val numInst = trace.uniqueInstances.length |
100 | var ind = 1 | 97 | var ind = 1 |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend index dd88a53a..195b89bb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | |||
@@ -77,6 +77,14 @@ class Logic2VampireLanguageMapper_Support { | |||
77 | it.terms += duplicate(v) | 77 | it.terms += duplicate(v) |
78 | ] | 78 | ] |
79 | } | 79 | } |
80 | |||
81 | def protected List<VLSVariable> duplicate(List<VLSVariable> vars) { | ||
82 | var newList = newArrayList | ||
83 | for (v : vars) { | ||
84 | newList.add(duplicate(v)) | ||
85 | } | ||
86 | return newList | ||
87 | } | ||
80 | 88 | ||
81 | def protected VLSConstant toConstant(VLSFunctionAsTerm term) { | 89 | def protected VLSConstant toConstant(VLSFunctionAsTerm term) { |
82 | return createVLSConstant => [ | 90 | return createVLSConstant => [ |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireAnalyzerConfiguration.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireAnalyzerConfiguration.xtendbin index b5e03979..7394b24e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireAnalyzerConfiguration.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireAnalyzerConfiguration.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireSolver.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireSolver.xtendbin index 0714f36d..d328dcf2 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireSolver.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/.VampireSolver.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java index 1f6b3d42..ac55ebd7 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java | |||
@@ -4,4 +4,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration; | |||
4 | 4 | ||
5 | @SuppressWarnings("all") | 5 | @SuppressWarnings("all") |
6 | public class VampireSolverConfiguration extends LogicSolverConfiguration { | 6 | public class VampireSolverConfiguration extends LogicSolverConfiguration { |
7 | public int contCycleLevel = 0; | ||
8 | |||
9 | public boolean uniquenessDuplicates = false; | ||
7 | } | 10 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin index 2cc60591..968a2df8 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ConstantMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ConstantMapper.xtendbin index 01b0a351..48756fcc 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ConstantMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ConstantMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin index cf049bd5..44b06208 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ContainmentMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_RelationMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_RelationMapper.xtendbin index 7bc04e7b..4cab8309 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_RelationMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_RelationMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin index a97c7186..ccddb430 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_Support.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_Support.xtendbin index a473c586..a069a62f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_Support.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_Support.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin index 4e7796fe..46cd58fb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.VampireHandler.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.VampireHandler.xtendbin index 84d6c63a..1b5e4d0b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.VampireHandler.xtendbin +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.VampireHandler.xtendbin | |||
Binary files differ | |||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java index 36a727b2..f04bd7dc 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |||
@@ -123,7 +123,7 @@ public class Logic2VampireLanguageMapper { | |||
123 | this.relationMapper.transformRelation(it, trace); | 123 | this.relationMapper.transformRelation(it, trace); |
124 | }; | 124 | }; |
125 | problem.getRelations().forEach(_function_3); | 125 | problem.getRelations().forEach(_function_3); |
126 | this.containmentMapper.transformContainment(problem.getContainmentHierarchies(), trace); | 126 | this.containmentMapper.transformContainment(config, problem.getContainmentHierarchies(), trace); |
127 | trace.constantDefinitions = this.collectConstantDefinitions(problem); | 127 | trace.constantDefinitions = this.collectConstantDefinitions(problem); |
128 | final Consumer<ConstantDefinition> _function_4 = (ConstantDefinition it) -> { | 128 | final Consumer<ConstantDefinition> _function_4 = (ConstantDefinition it) -> { |
129 | this.constantMapper.transformConstantDefinitionSpecification(it, trace); | 129 | this.constantMapper.transformConstantDefinitionSpecification(it, trace); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.java index 7bc70e9d..4cdc7e6a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ContainmentMapper.java | |||
@@ -1,5 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; |
@@ -16,6 +17,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | |||
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; |
18 | import com.google.common.base.Objects; | 19 | import com.google.common.base.Objects; |
20 | import com.google.common.collect.Iterables; | ||
19 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference; | 21 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference; |
20 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; | 22 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation; |
21 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; | 23 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration; |
@@ -52,7 +54,7 @@ public class Logic2VampireLanguageMapper_ContainmentMapper { | |||
52 | this.base = base; | 54 | this.base = base; |
53 | } | 55 | } |
54 | 56 | ||
55 | public void transformContainment(final List<ContainmentHierarchy> hierarchies, final Logic2VampireLanguageMapperTrace trace) { | 57 | public void transformContainment(final VampireSolverConfiguration config, final List<ContainmentHierarchy> hierarchies, final Logic2VampireLanguageMapperTrace trace) { |
56 | final ContainmentHierarchy hierarchy = hierarchies.get(0); | 58 | final ContainmentHierarchy hierarchy = hierarchies.get(0); |
57 | final EList<Type> containmentListCopy = hierarchy.getTypesOrderedInHierarchy(); | 59 | final EList<Type> containmentListCopy = hierarchy.getTypesOrderedInHierarchy(); |
58 | final EList<Relation> relationsList = hierarchy.getContainmentRelations(); | 60 | final EList<Relation> relationsList = hierarchy.getContainmentRelations(); |
@@ -135,7 +137,7 @@ public class Logic2VampireLanguageMapper_ContainmentMapper { | |||
135 | } | 137 | } |
136 | VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula(); | 138 | VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula(); |
137 | final Procedure1<VLSFofFormula> _function_4 = (VLSFofFormula it) -> { | 139 | final Procedure1<VLSFofFormula> _function_4 = (VLSFofFormula it) -> { |
138 | it.setName(this.support.toIDMultiple("noDupCont", rel.getConstant().toString())); | 140 | it.setName(this.support.toIDMultiple("containment_noDup", rel.getConstant().toString())); |
139 | it.setFofRole("axiom"); | 141 | it.setFofRole("axiom"); |
140 | VLSExistentialQuantifier _createVLSExistentialQuantifier = this.factory.createVLSExistentialQuantifier(); | 142 | VLSExistentialQuantifier _createVLSExistentialQuantifier = this.factory.createVLSExistentialQuantifier(); |
141 | final Procedure1<VLSExistentialQuantifier> _function_5 = (VLSExistentialQuantifier it_1) -> { | 143 | final Procedure1<VLSExistentialQuantifier> _function_5 = (VLSExistentialQuantifier it_1) -> { |
@@ -219,6 +221,57 @@ public class Logic2VampireLanguageMapper_ContainmentMapper { | |||
219 | _formulas_1.add(relFormula); | 221 | _formulas_1.add(relFormula); |
220 | } | 222 | } |
221 | } | 223 | } |
224 | final ArrayList<VLSVariable> variables = CollectionLiterals.<VLSVariable>newArrayList(); | ||
225 | final ArrayList<VLSFunction> disjunctionList = CollectionLiterals.<VLSFunction>newArrayList(); | ||
226 | final ArrayList<VLSTerm> conjunctionList = CollectionLiterals.<VLSTerm>newArrayList(); | ||
227 | for (int i = 1; (i <= config.contCycleLevel); i++) { | ||
228 | { | ||
229 | final int ind = i; | ||
230 | VLSVariable _createVLSVariable_3 = this.factory.createVLSVariable(); | ||
231 | final Procedure1<VLSVariable> _function_4 = (VLSVariable it) -> { | ||
232 | String _string = Integer.toString(ind); | ||
233 | String _plus = ("V" + _string); | ||
234 | it.setName(_plus); | ||
235 | }; | ||
236 | VLSVariable _doubleArrow = ObjectExtensions.<VLSVariable>operator_doubleArrow(_createVLSVariable_3, _function_4); | ||
237 | variables.add(_doubleArrow); | ||
238 | for (int j = 0; (j < i); j++) { | ||
239 | { | ||
240 | for (final Relation l_2 : relationsList) { | ||
241 | { | ||
242 | final VLSFunction rel = this.support.duplicate(CollectionsUtil.<RelationDeclaration, VLSFunction>lookup(((RelationDeclaration) l_2), trace.rel2Predicate), CollectionLiterals.<VLSVariable>newArrayList(variables.get(j), variables.get(((j + 1) % i)))); | ||
243 | disjunctionList.add(rel); | ||
244 | } | ||
245 | } | ||
246 | conjunctionList.add(this.support.unfoldOr(disjunctionList)); | ||
247 | disjunctionList.clear(); | ||
248 | } | ||
249 | } | ||
250 | VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula(); | ||
251 | final Procedure1<VLSFofFormula> _function_5 = (VLSFofFormula it) -> { | ||
252 | it.setName(this.support.toIDMultiple("containment_noCycle", Integer.toString(ind))); | ||
253 | it.setFofRole("axiom"); | ||
254 | VLSUnaryNegation _createVLSUnaryNegation = this.factory.createVLSUnaryNegation(); | ||
255 | final Procedure1<VLSUnaryNegation> _function_6 = (VLSUnaryNegation it_1) -> { | ||
256 | VLSExistentialQuantifier _createVLSExistentialQuantifier = this.factory.createVLSExistentialQuantifier(); | ||
257 | final Procedure1<VLSExistentialQuantifier> _function_7 = (VLSExistentialQuantifier it_2) -> { | ||
258 | EList<VLSVariable> _variables = it_2.getVariables(); | ||
259 | List<VLSVariable> _duplicate = this.support.duplicate(variables); | ||
260 | Iterables.<VLSVariable>addAll(_variables, _duplicate); | ||
261 | it_2.setOperand(this.support.unfoldAnd(conjunctionList)); | ||
262 | }; | ||
263 | VLSExistentialQuantifier _doubleArrow_1 = ObjectExtensions.<VLSExistentialQuantifier>operator_doubleArrow(_createVLSExistentialQuantifier, _function_7); | ||
264 | it_1.setOperand(_doubleArrow_1); | ||
265 | }; | ||
266 | VLSUnaryNegation _doubleArrow_1 = ObjectExtensions.<VLSUnaryNegation>operator_doubleArrow(_createVLSUnaryNegation, _function_6); | ||
267 | it.setFofFormula(_doubleArrow_1); | ||
268 | }; | ||
269 | final VLSFofFormula contCycleForm = ObjectExtensions.<VLSFofFormula>operator_doubleArrow(_createVLSFofFormula_1, _function_5); | ||
270 | EList<VLSFofFormula> _formulas_1 = trace.specification.getFormulas(); | ||
271 | _formulas_1.add(contCycleForm); | ||
272 | conjunctionList.clear(); | ||
273 | } | ||
274 | } | ||
222 | } | 275 | } |
223 | 276 | ||
224 | protected VLSTerm makeUnique(final List<VLSFunction> list) { | 277 | protected VLSTerm makeUnique(final List<VLSFunction> list) { |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java index 83543c92..f5d35b28 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java | |||
@@ -1,5 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | ||
3 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; |
@@ -13,7 +14,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | |||
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; |
16 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration; | ||
17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; | 17 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type; |
18 | import hu.bme.mit.inf.dslreasoner.util.CollectionsUtil; | 18 | import hu.bme.mit.inf.dslreasoner.util.CollectionsUtil; |
19 | import java.util.ArrayList; | 19 | import java.util.ArrayList; |
@@ -47,7 +47,7 @@ public class Logic2VampireLanguageMapper_ScopeMapper { | |||
47 | this.base = base; | 47 | this.base = base; |
48 | } | 48 | } |
49 | 49 | ||
50 | public void _transformScope(final LogicSolverConfiguration config, final Logic2VampireLanguageMapperTrace trace) { | 50 | public void _transformScope(final VampireSolverConfiguration config, final Logic2VampireLanguageMapperTrace trace) { |
51 | final int ABSOLUTE_MIN = 0; | 51 | final int ABSOLUTE_MIN = 0; |
52 | final int ABSOLUTE_MAX = Integer.MAX_VALUE; | 52 | final int ABSOLUTE_MAX = Integer.MAX_VALUE; |
53 | final int GLOBAL_MIN = config.typeScopes.minNewElements; | 53 | final int GLOBAL_MIN = config.typeScopes.minNewElements; |
@@ -105,7 +105,7 @@ public class Logic2VampireLanguageMapper_ScopeMapper { | |||
105 | } | 105 | } |
106 | } | 106 | } |
107 | } | 107 | } |
108 | final boolean DUPLICATES = false; | 108 | final boolean DUPLICATES = config.uniquenessDuplicates; |
109 | final int numInst = ((Object[])Conversions.unwrapArray(trace.uniqueInstances, Object.class)).length; | 109 | final int numInst = ((Object[])Conversions.unwrapArray(trace.uniqueInstances, Object.class)).length; |
110 | int ind = 1; | 110 | int ind = 1; |
111 | if ((numInst != 0)) { | 111 | if ((numInst != 0)) { |
@@ -246,7 +246,7 @@ public class Logic2VampireLanguageMapper_ScopeMapper { | |||
246 | _formulas.add(cstDec); | 246 | _formulas.add(cstDec); |
247 | } | 247 | } |
248 | 248 | ||
249 | public void transformScope(final LogicSolverConfiguration config, final Logic2VampireLanguageMapperTrace trace) { | 249 | public void transformScope(final VampireSolverConfiguration config, final Logic2VampireLanguageMapperTrace trace) { |
250 | _transformScope(config, trace); | 250 | _transformScope(config, trace); |
251 | return; | 251 | return; |
252 | } | 252 | } |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java index 513618a9..89633ca1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | |||
@@ -129,6 +129,14 @@ public class Logic2VampireLanguageMapper_Support { | |||
129 | return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function); | 129 | return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function); |
130 | } | 130 | } |
131 | 131 | ||
132 | protected List<VLSVariable> duplicate(final List<VLSVariable> vars) { | ||
133 | ArrayList<VLSVariable> newList = CollectionLiterals.<VLSVariable>newArrayList(); | ||
134 | for (final VLSVariable v : vars) { | ||
135 | newList.add(this.duplicate(v)); | ||
136 | } | ||
137 | return newList; | ||
138 | } | ||
139 | |||
132 | protected VLSConstant toConstant(final VLSFunctionAsTerm term) { | 140 | protected VLSConstant toConstant(final VLSFunctionAsTerm term) { |
133 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); | 141 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); |
134 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { | 142 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/vampireProblem.tptp b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/vampireProblem.tptp index 2f2d9718..b4bb6700 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/vampireProblem.tptp +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/vampireProblem.tptp | |||
@@ -6,22 +6,39 @@ fof ( enumScope_FunctionType_Leaf , axiom , ! [ A ] : ( A = eo3 <=> e_Leaf_Funct | |||
6 | fof ( notObjectHandler , axiom , ! [ A ] : ( ~ object ( A ) <=> ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_Function ( A ) & ( ~ t_FAMTerminator ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_FunctionalInput ( A ) & ( ~ t_FunctionalOutput ( A ) & ( ~ t_FunctionalData ( A ) & ~ t_FunctionType ( A ) ) ) ) ) ) ) ) ) ) ) ) . | 6 | fof ( notObjectHandler , axiom , ! [ A ] : ( ~ object ( A ) <=> ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_Function ( A ) & ( ~ t_FAMTerminator ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_FunctionalInput ( A ) & ( ~ t_FunctionalOutput ( A ) & ( ~ t_FunctionalData ( A ) & ~ t_FunctionType ( A ) ) ) ) ) ) ) ) ) ) ) ) . |
7 | fof ( inheritanceHierarchyHandler , axiom , ! [ A ] : ( object ( A ) <=> ( ( t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ~ t_FAMTerminator ( A ) & ( t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . | 7 | fof ( inheritanceHierarchyHandler , axiom , ! [ A ] : ( object ( A ) <=> ( ( t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( ~ t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ( ~ t_FAMTerminator ( A ) & ( t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( t_FunctionalInput ( A ) & ~ t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) | ( ~ t_FAMTerminator ( A ) & ( t_FunctionalData ( A ) & ( ~ t_FunctionalInterface ( A ) & ( ~ t_Function ( A ) & ( ~ t_InformationLink ( A ) & ( ~ t_FunctionalElement ( A ) & ( ~ t_FunctionalArchitectureModel ( A ) & ( ~ t_FunctionType ( A ) & ( ~ t_FunctionalInput ( A ) & t_FunctionalOutput ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
8 | fof ( typeScope_min_object , axiom , ! [ A ] : ( ( A = o1 | ( A = o2 | ( A = o3 | ( A = o4 | ( A = eo1 | ( A = eo2 | A = eo3 ) ) ) ) ) ) => object ( A ) ) ) . | 8 | fof ( typeScope_min_object , axiom , ! [ A ] : ( ( A = o1 | ( A = o2 | ( A = o3 | ( A = o4 | ( A = eo1 | ( A = eo2 | A = eo3 ) ) ) ) ) ) => object ( A ) ) ) . |
9 | fof ( typeScope_max_object , axiom , ! [ A ] : ( object ( A ) => ( A = eo1 | ( A = eo2 | ( A = eo3 | ( A = o1 | ( A = o2 | ( A = o3 | ( A = o4 | ( A = o5 | ( A = o6 | A = o7 ) ) ) ) ) ) ) ) ) ) ) . | 9 | fof ( typeScope_max_object , axiom , ! [ A ] : ( object ( A ) => ( A = eo1 | ( A = eo2 | ( A = eo3 | ( A = o1 | ( A = o2 | ( A = o3 | ( A = o4 | ( A = o5 | ( A = o6 | ( A = o7 | ( A = o8 | ( A = o9 | ( A = o10 | ( A = o11 | ( A = o12 | ( A = o13 | ( A = o14 | ( A = o15 | ( A = o16 | ( A = o17 | ( A = o18 | ( A = o19 | ( A = o20 | ( A = o21 | ( A = o22 | ( A = o23 | ( A = o24 | A = o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
10 | fof ( typeScope_min_t_FunctionalInterface , axiom , ! [ A ] : ( ( A = o2 | A = o3 ) => ( t_FunctionalInterface ( A ) & object ( A ) ) ) ) . | 10 | fof ( typeScope_min_t_FunctionalInterface , axiom , ! [ A ] : ( ( A = o2 | A = o3 ) => ( t_FunctionalInterface ( A ) & object ( A ) ) ) ) . |
11 | fof ( typeScope_min_t_Function , axiom , ! [ A ] : ( A = o4 => ( t_Function ( A ) & object ( A ) ) ) ) . | 11 | fof ( typeScope_min_t_Function , axiom , ! [ A ] : ( A = o4 => ( t_Function ( A ) & object ( A ) ) ) ) . |
12 | fof ( typeScope_min_t_FunctionalOutput , axiom , ! [ A ] : ( ( A = o5 | ( A = o6 | A = o7 ) ) => ( t_FunctionalOutput ( A ) & object ( A ) ) ) ) . | 12 | fof ( typeScope_min_t_FunctionalOutput , axiom , ! [ A ] : ( ( A = o5 | ( A = o6 | A = o7 ) ) => ( t_FunctionalOutput ( A ) & object ( A ) ) ) ) . |
13 | fof ( typeScope_max_t_Function , axiom , ! [ A ] : ( ( t_Function ( A ) & object ( A ) ) => A = o4 ) ) . | 13 | fof ( typeScope_max_t_Function , axiom , ! [ A ] : ( ( t_Function ( A ) & object ( A ) ) => ( A = o4 | ( A = o8 | ( A = o9 | ( A = o10 | A = o11 ) ) ) ) ) ) . |
14 | fof ( typeScope_max_t_FunctionalOutput , axiom , ! [ A ] : ( ( t_FunctionalOutput ( A ) & object ( A ) ) => ( A = o5 | ( A = o6 | A = o7 ) ) ) ) . | 14 | fof ( typeScope_max_t_FunctionalOutput , axiom , ! [ A ] : ( ( t_FunctionalOutput ( A ) & object ( A ) ) => ( A = o5 | ( A = o6 | ( A = o7 | A = o8 ) ) ) ) ) . |
15 | fof ( t_uniqueness_eo1 , axiom , eo1 != eo2 & ( eo1 != eo3 & ( eo1 != o1 & ( eo1 != o2 & ( eo1 != o3 & ( eo1 != o4 & ( eo1 != o5 & ( eo1 != o6 & eo1 != o7 ) ) ) ) ) ) ) ) . | 15 | fof ( t_uniqueness_eo1 , axiom , eo1 != eo2 & ( eo1 != eo3 & ( eo1 != o1 & ( eo1 != o2 & ( eo1 != o3 & ( eo1 != o4 & ( eo1 != o5 & ( eo1 != o6 & ( eo1 != o7 & ( eo1 != o8 & ( eo1 != o9 & ( eo1 != o10 & ( eo1 != o11 & ( eo1 != o12 & ( eo1 != o13 & ( eo1 != o14 & ( eo1 != o15 & ( eo1 != o16 & ( eo1 != o17 & ( eo1 != o18 & ( eo1 != o19 & ( eo1 != o20 & ( eo1 != o21 & ( eo1 != o22 & ( eo1 != o23 & ( eo1 != o24 & eo1 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
16 | fof ( t_uniqueness_eo2 , axiom , eo2 != eo1 & ( eo2 != eo3 & ( eo2 != o1 & ( eo2 != o2 & ( eo2 != o3 & ( eo2 != o4 & ( eo2 != o5 & ( eo2 != o6 & eo2 != o7 ) ) ) ) ) ) ) ) . | 16 | fof ( t_uniqueness_eo2 , axiom , eo2 != eo3 & ( eo2 != o1 & ( eo2 != o2 & ( eo2 != o3 & ( eo2 != o4 & ( eo2 != o5 & ( eo2 != o6 & ( eo2 != o7 & ( eo2 != o8 & ( eo2 != o9 & ( eo2 != o10 & ( eo2 != o11 & ( eo2 != o12 & ( eo2 != o13 & ( eo2 != o14 & ( eo2 != o15 & ( eo2 != o16 & ( eo2 != o17 & ( eo2 != o18 & ( eo2 != o19 & ( eo2 != o20 & ( eo2 != o21 & ( eo2 != o22 & ( eo2 != o23 & ( eo2 != o24 & eo2 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
17 | fof ( t_uniqueness_eo3 , axiom , eo3 != eo1 & ( eo3 != eo2 & ( eo3 != o1 & ( eo3 != o2 & ( eo3 != o3 & ( eo3 != o4 & ( eo3 != o5 & ( eo3 != o6 & eo3 != o7 ) ) ) ) ) ) ) ) . | 17 | fof ( t_uniqueness_eo3 , axiom , eo3 != o1 & ( eo3 != o2 & ( eo3 != o3 & ( eo3 != o4 & ( eo3 != o5 & ( eo3 != o6 & ( eo3 != o7 & ( eo3 != o8 & ( eo3 != o9 & ( eo3 != o10 & ( eo3 != o11 & ( eo3 != o12 & ( eo3 != o13 & ( eo3 != o14 & ( eo3 != o15 & ( eo3 != o16 & ( eo3 != o17 & ( eo3 != o18 & ( eo3 != o19 & ( eo3 != o20 & ( eo3 != o21 & ( eo3 != o22 & ( eo3 != o23 & ( eo3 != o24 & eo3 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
18 | fof ( t_uniqueness_o1 , axiom , o1 != eo1 & ( o1 != eo2 & ( o1 != eo3 & ( o1 != o2 & ( o1 != o3 & ( o1 != o4 & ( o1 != o5 & ( o1 != o6 & o1 != o7 ) ) ) ) ) ) ) ) . | 18 | fof ( t_uniqueness_o1 , axiom , o1 != o2 & ( o1 != o3 & ( o1 != o4 & ( o1 != o5 & ( o1 != o6 & ( o1 != o7 & ( o1 != o8 & ( o1 != o9 & ( o1 != o10 & ( o1 != o11 & ( o1 != o12 & ( o1 != o13 & ( o1 != o14 & ( o1 != o15 & ( o1 != o16 & ( o1 != o17 & ( o1 != o18 & ( o1 != o19 & ( o1 != o20 & ( o1 != o21 & ( o1 != o22 & ( o1 != o23 & ( o1 != o24 & o1 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
19 | fof ( t_uniqueness_o2 , axiom , o2 != eo1 & ( o2 != eo2 & ( o2 != eo3 & ( o2 != o1 & ( o2 != o3 & ( o2 != o4 & ( o2 != o5 & ( o2 != o6 & o2 != o7 ) ) ) ) ) ) ) ) . | 19 | fof ( t_uniqueness_o2 , axiom , o2 != o3 & ( o2 != o4 & ( o2 != o5 & ( o2 != o6 & ( o2 != o7 & ( o2 != o8 & ( o2 != o9 & ( o2 != o10 & ( o2 != o11 & ( o2 != o12 & ( o2 != o13 & ( o2 != o14 & ( o2 != o15 & ( o2 != o16 & ( o2 != o17 & ( o2 != o18 & ( o2 != o19 & ( o2 != o20 & ( o2 != o21 & ( o2 != o22 & ( o2 != o23 & ( o2 != o24 & o2 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
20 | fof ( t_uniqueness_o3 , axiom , o3 != eo1 & ( o3 != eo2 & ( o3 != eo3 & ( o3 != o1 & ( o3 != o2 & ( o3 != o4 & ( o3 != o5 & ( o3 != o6 & o3 != o7 ) ) ) ) ) ) ) ) . | 20 | fof ( t_uniqueness_o3 , axiom , o3 != o4 & ( o3 != o5 & ( o3 != o6 & ( o3 != o7 & ( o3 != o8 & ( o3 != o9 & ( o3 != o10 & ( o3 != o11 & ( o3 != o12 & ( o3 != o13 & ( o3 != o14 & ( o3 != o15 & ( o3 != o16 & ( o3 != o17 & ( o3 != o18 & ( o3 != o19 & ( o3 != o20 & ( o3 != o21 & ( o3 != o22 & ( o3 != o23 & ( o3 != o24 & o3 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
21 | fof ( t_uniqueness_o4 , axiom , o4 != eo1 & ( o4 != eo2 & ( o4 != eo3 & ( o4 != o1 & ( o4 != o2 & ( o4 != o3 & ( o4 != o5 & ( o4 != o6 & o4 != o7 ) ) ) ) ) ) ) ) . | 21 | fof ( t_uniqueness_o4 , axiom , o4 != o5 & ( o4 != o6 & ( o4 != o7 & ( o4 != o8 & ( o4 != o9 & ( o4 != o10 & ( o4 != o11 & ( o4 != o12 & ( o4 != o13 & ( o4 != o14 & ( o4 != o15 & ( o4 != o16 & ( o4 != o17 & ( o4 != o18 & ( o4 != o19 & ( o4 != o20 & ( o4 != o21 & ( o4 != o22 & ( o4 != o23 & ( o4 != o24 & o4 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
22 | fof ( t_uniqueness_o5 , axiom , o5 != eo1 & ( o5 != eo2 & ( o5 != eo3 & ( o5 != o1 & ( o5 != o2 & ( o5 != o3 & ( o5 != o4 & ( o5 != o6 & o5 != o7 ) ) ) ) ) ) ) ) . | 22 | fof ( t_uniqueness_o5 , axiom , o5 != o6 & ( o5 != o7 & ( o5 != o8 & ( o5 != o9 & ( o5 != o10 & ( o5 != o11 & ( o5 != o12 & ( o5 != o13 & ( o5 != o14 & ( o5 != o15 & ( o5 != o16 & ( o5 != o17 & ( o5 != o18 & ( o5 != o19 & ( o5 != o20 & ( o5 != o21 & ( o5 != o22 & ( o5 != o23 & ( o5 != o24 & o5 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
23 | fof ( t_uniqueness_o6 , axiom , o6 != eo1 & ( o6 != eo2 & ( o6 != eo3 & ( o6 != o1 & ( o6 != o2 & ( o6 != o3 & ( o6 != o4 & ( o6 != o5 & o6 != o7 ) ) ) ) ) ) ) ) . | 23 | fof ( t_uniqueness_o6 , axiom , o6 != o7 & ( o6 != o8 & ( o6 != o9 & ( o6 != o10 & ( o6 != o11 & ( o6 != o12 & ( o6 != o13 & ( o6 != o14 & ( o6 != o15 & ( o6 != o16 & ( o6 != o17 & ( o6 != o18 & ( o6 != o19 & ( o6 != o20 & ( o6 != o21 & ( o6 != o22 & ( o6 != o23 & ( o6 != o24 & o6 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
24 | fof ( t_uniqueness_o7 , axiom , o7 != eo1 & ( o7 != eo2 & ( o7 != eo3 & ( o7 != o1 & ( o7 != o2 & ( o7 != o3 & ( o7 != o4 & ( o7 != o5 & o7 != o6 ) ) ) ) ) ) ) ) . | 24 | fof ( t_uniqueness_o7 , axiom , o7 != o8 & ( o7 != o9 & ( o7 != o10 & ( o7 != o11 & ( o7 != o12 & ( o7 != o13 & ( o7 != o14 & ( o7 != o15 & ( o7 != o16 & ( o7 != o17 & ( o7 != o18 & ( o7 != o19 & ( o7 != o20 & ( o7 != o21 & ( o7 != o22 & ( o7 != o23 & ( o7 != o24 & o7 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . |
25 | fof ( t_uniqueness_o8 , axiom , o8 != o9 & ( o8 != o10 & ( o8 != o11 & ( o8 != o12 & ( o8 != o13 & ( o8 != o14 & ( o8 != o15 & ( o8 != o16 & ( o8 != o17 & ( o8 != o18 & ( o8 != o19 & ( o8 != o20 & ( o8 != o21 & ( o8 != o22 & ( o8 != o23 & ( o8 != o24 & o8 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . | ||
26 | fof ( t_uniqueness_o9 , axiom , o9 != o10 & ( o9 != o11 & ( o9 != o12 & ( o9 != o13 & ( o9 != o14 & ( o9 != o15 & ( o9 != o16 & ( o9 != o17 & ( o9 != o18 & ( o9 != o19 & ( o9 != o20 & ( o9 != o21 & ( o9 != o22 & ( o9 != o23 & ( o9 != o24 & o9 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . | ||
27 | fof ( t_uniqueness_o10 , axiom , o10 != o11 & ( o10 != o12 & ( o10 != o13 & ( o10 != o14 & ( o10 != o15 & ( o10 != o16 & ( o10 != o17 & ( o10 != o18 & ( o10 != o19 & ( o10 != o20 & ( o10 != o21 & ( o10 != o22 & ( o10 != o23 & ( o10 != o24 & o10 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) ) . | ||
28 | fof ( t_uniqueness_o11 , axiom , o11 != o12 & ( o11 != o13 & ( o11 != o14 & ( o11 != o15 & ( o11 != o16 & ( o11 != o17 & ( o11 != o18 & ( o11 != o19 & ( o11 != o20 & ( o11 != o21 & ( o11 != o22 & ( o11 != o23 & ( o11 != o24 & o11 != o25 ) ) ) ) ) ) ) ) ) ) ) ) ) . | ||
29 | fof ( t_uniqueness_o12 , axiom , o12 != o13 & ( o12 != o14 & ( o12 != o15 & ( o12 != o16 & ( o12 != o17 & ( o12 != o18 & ( o12 != o19 & ( o12 != o20 & ( o12 != o21 & ( o12 != o22 & ( o12 != o23 & ( o12 != o24 & o12 != o25 ) ) ) ) ) ) ) ) ) ) ) ) . | ||
30 | fof ( t_uniqueness_o13 , axiom , o13 != o14 & ( o13 != o15 & ( o13 != o16 & ( o13 != o17 & ( o13 != o18 & ( o13 != o19 & ( o13 != o20 & ( o13 != o21 & ( o13 != o22 & ( o13 != o23 & ( o13 != o24 & o13 != o25 ) ) ) ) ) ) ) ) ) ) ) . | ||
31 | fof ( t_uniqueness_o14 , axiom , o14 != o15 & ( o14 != o16 & ( o14 != o17 & ( o14 != o18 & ( o14 != o19 & ( o14 != o20 & ( o14 != o21 & ( o14 != o22 & ( o14 != o23 & ( o14 != o24 & o14 != o25 ) ) ) ) ) ) ) ) ) ) . | ||
32 | fof ( t_uniqueness_o15 , axiom , o15 != o16 & ( o15 != o17 & ( o15 != o18 & ( o15 != o19 & ( o15 != o20 & ( o15 != o21 & ( o15 != o22 & ( o15 != o23 & ( o15 != o24 & o15 != o25 ) ) ) ) ) ) ) ) ) . | ||
33 | fof ( t_uniqueness_o16 , axiom , o16 != o17 & ( o16 != o18 & ( o16 != o19 & ( o16 != o20 & ( o16 != o21 & ( o16 != o22 & ( o16 != o23 & ( o16 != o24 & o16 != o25 ) ) ) ) ) ) ) ) . | ||
34 | fof ( t_uniqueness_o17 , axiom , o17 != o18 & ( o17 != o19 & ( o17 != o20 & ( o17 != o21 & ( o17 != o22 & ( o17 != o23 & ( o17 != o24 & o17 != o25 ) ) ) ) ) ) ) . | ||
35 | fof ( t_uniqueness_o18 , axiom , o18 != o19 & ( o18 != o20 & ( o18 != o21 & ( o18 != o22 & ( o18 != o23 & ( o18 != o24 & o18 != o25 ) ) ) ) ) ) . | ||
36 | fof ( t_uniqueness_o19 , axiom , o19 != o20 & ( o19 != o21 & ( o19 != o22 & ( o19 != o23 & ( o19 != o24 & o19 != o25 ) ) ) ) ) . | ||
37 | fof ( t_uniqueness_o20 , axiom , o20 != o21 & ( o20 != o22 & ( o20 != o23 & ( o20 != o24 & o20 != o25 ) ) ) ) . | ||
38 | fof ( t_uniqueness_o21 , axiom , o21 != o22 & ( o21 != o23 & ( o21 != o24 & o21 != o25 ) ) ) . | ||
39 | fof ( t_uniqueness_o22 , axiom , o22 != o23 & ( o22 != o24 & o22 != o25 ) ) . | ||
40 | fof ( t_uniqueness_o23 , axiom , o23 != o24 & o23 != o25 ) . | ||
41 | fof ( t_uniqueness_o24 , axiom , o24 != o25 ) . | ||
25 | fof ( compliance_interface_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_interface_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_FunctionalInterface ( V_1 ) ) ) ) . | 42 | fof ( compliance_interface_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_interface_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_FunctionalInterface ( V_1 ) ) ) ) . |
26 | fof ( compliance_model_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_model_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_FunctionalArchitectureModel ( V_1 ) ) ) ) . | 43 | fof ( compliance_model_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_model_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_FunctionalArchitectureModel ( V_1 ) ) ) ) . |
27 | fof ( compliance_parent_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_parent_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_Function ( V_1 ) ) ) ) . | 44 | fof ( compliance_parent_FunctionalElement , axiom , ! [ V_0 , V_1 ] : ( r_parent_FunctionalElement ( V_0 , V_1 ) => ( t_FunctionalElement ( V_0 ) & t_Function ( V_1 ) ) ) ) . |
@@ -38,17 +55,22 @@ fof ( compliance_terminator_FunctionalData , axiom , ! [ V_0 , V_1 ] : ( r_termi | |||
38 | fof ( compliance_interface_FunctionalData , axiom , ! [ V_0 , V_1 ] : ( r_interface_FunctionalData ( V_0 , V_1 ) => ( t_FunctionalData ( V_0 ) & t_FunctionalInterface ( V_1 ) ) ) ) . | 55 | fof ( compliance_interface_FunctionalData , axiom , ! [ V_0 , V_1 ] : ( r_interface_FunctionalData ( V_0 , V_1 ) => ( t_FunctionalData ( V_0 ) & t_FunctionalInterface ( V_1 ) ) ) ) . |
39 | fof ( compliance_type_Function , axiom , ! [ V_0 , V_1 ] : ( r_type_Function ( V_0 , V_1 ) => ( t_Function ( V_0 ) & t_FunctionType ( V_1 ) ) ) ) . | 56 | fof ( compliance_type_Function , axiom , ! [ V_0 , V_1 ] : ( r_type_Function ( V_0 , V_1 ) => ( t_Function ( V_0 ) & t_FunctionType ( V_1 ) ) ) ) . |
40 | fof ( containment_topLevel_t_FunctionalArchitectureModel , axiom , ! [ A ] : ( t_FunctionalArchitectureModel ( A ) <=> A = o1 ) ) . | 57 | fof ( containment_topLevel_t_FunctionalArchitectureModel , axiom , ! [ A ] : ( t_FunctionalArchitectureModel ( A ) <=> A = o1 ) ) . |
41 | fof ( noDupCont_r_interface_FunctionalElement , axiom , ? [ A , B ] : ( r_interface_FunctionalElement ( A , B ) => ~ ? [ C , B ] : r_interface_FunctionalElement ( C , B ) ) ) . | 58 | fof ( containment_noDup_r_interface_FunctionalElement , axiom , ? [ A , B ] : ( r_interface_FunctionalElement ( A , B ) => ~ ? [ C , B ] : r_interface_FunctionalElement ( C , B ) ) ) . |
42 | fof ( noDupCont_r_rootElements_FunctionalArchitectureModel , axiom , ? [ A , B ] : ( r_rootElements_FunctionalArchitectureModel ( A , B ) => ~ ? [ C , B ] : r_rootElements_FunctionalArchitectureModel ( C , B ) ) ) . | 59 | fof ( containment_noDup_r_rootElements_FunctionalArchitectureModel , axiom , ? [ A , B ] : ( r_rootElements_FunctionalArchitectureModel ( A , B ) => ~ ? [ C , B ] : r_rootElements_FunctionalArchitectureModel ( C , B ) ) ) . |
43 | fof ( noDupCont_r_subElements_Function , axiom , ? [ A , B ] : ( r_subElements_Function ( A , B ) => ~ ? [ C , B ] : r_subElements_Function ( C , B ) ) ) . | 60 | fof ( containment_noDup_r_subElements_Function , axiom , ? [ A , B ] : ( r_subElements_Function ( A , B ) => ~ ? [ C , B ] : r_subElements_Function ( C , B ) ) ) . |
44 | fof ( noDupCont_r_data_FunctionalInterface , axiom , ? [ A , B ] : ( r_data_FunctionalInterface ( A , B ) => ~ ? [ C , B ] : r_data_FunctionalInterface ( C , B ) ) ) . | 61 | fof ( containment_noDup_r_data_FunctionalInterface , axiom , ? [ A , B ] : ( r_data_FunctionalInterface ( A , B ) => ~ ? [ C , B ] : r_data_FunctionalInterface ( C , B ) ) ) . |
45 | fof ( noDupCont_r_outgoingLinks_FunctionalOutput , axiom , ? [ A , B ] : ( r_outgoingLinks_FunctionalOutput ( A , B ) => ~ ? [ C , B ] : r_outgoingLinks_FunctionalOutput ( C , B ) ) ) . | 62 | fof ( containment_noDup_r_outgoingLinks_FunctionalOutput , axiom , ? [ A , B ] : ( r_outgoingLinks_FunctionalOutput ( A , B ) => ~ ? [ C , B ] : r_outgoingLinks_FunctionalOutput ( C , B ) ) ) . |
46 | fof ( noDupCont_r_terminator_FunctionalData , axiom , ? [ A , B ] : ( r_terminator_FunctionalData ( A , B ) => ~ ? [ C , B ] : r_terminator_FunctionalData ( C , B ) ) ) . | 63 | fof ( containment_noDup_r_terminator_FunctionalData , axiom , ? [ A , B ] : ( r_terminator_FunctionalData ( A , B ) => ~ ? [ C , B ] : r_terminator_FunctionalData ( C , B ) ) ) . |
47 | fof ( containment_t_InformationLink , axiom , ! [ A ] : ( t_InformationLink ( A ) => ? [ B ] : r_outgoingLinks_FunctionalOutput ( B , A ) ) ) . | ||
48 | fof ( containment_t_FunctionalElement , axiom , ! [ A ] : ( t_FunctionalElement ( A ) => ? [ B ] : ( ( r_rootElements_FunctionalArchitectureModel ( B , A ) & ~ r_subElements_Function ( B , A ) ) | ( ~ r_rootElements_FunctionalArchitectureModel ( B , A ) & r_subElements_Function ( B , A ) ) ) ) ) . | 64 | fof ( containment_t_FunctionalElement , axiom , ! [ A ] : ( t_FunctionalElement ( A ) => ? [ B ] : ( ( r_rootElements_FunctionalArchitectureModel ( B , A ) & ~ r_subElements_Function ( B , A ) ) | ( ~ r_rootElements_FunctionalArchitectureModel ( B , A ) & r_subElements_Function ( B , A ) ) ) ) ) . |
65 | fof ( containment_t_FunctionalData , axiom , ! [ A ] : ( t_FunctionalData ( A ) => ? [ B ] : r_data_FunctionalInterface ( B , A ) ) ) . | ||
66 | fof ( containment_t_InformationLink , axiom , ! [ A ] : ( t_InformationLink ( A ) => ? [ B ] : r_outgoingLinks_FunctionalOutput ( B , A ) ) ) . | ||
49 | fof ( containment_t_FAMTerminator , axiom , ! [ A ] : ( t_FAMTerminator ( A ) => ? [ B ] : r_terminator_FunctionalData ( B , A ) ) ) . | 67 | fof ( containment_t_FAMTerminator , axiom , ! [ A ] : ( t_FAMTerminator ( A ) => ? [ B ] : r_terminator_FunctionalData ( B , A ) ) ) . |
50 | fof ( containment_t_FunctionalInterface , axiom , ! [ A ] : ( t_FunctionalInterface ( A ) => ? [ B ] : r_interface_FunctionalElement ( B , A ) ) ) . | 68 | fof ( containment_t_FunctionalInterface , axiom , ! [ A ] : ( t_FunctionalInterface ( A ) => ? [ B ] : r_interface_FunctionalElement ( B , A ) ) ) . |
51 | fof ( containment_t_FunctionalData , axiom , ! [ A ] : ( t_FunctionalData ( A ) => ? [ B ] : r_data_FunctionalInterface ( B , A ) ) ) . | 69 | fof ( containment_noCycle_1 , axiom , ~ ? [ V1 ] : ( r_interface_FunctionalElement ( V1 , V1 ) | ( r_rootElements_FunctionalArchitectureModel ( V1 , V1 ) | ( r_subElements_Function ( V1 , V1 ) | ( r_data_FunctionalInterface ( V1 , V1 ) | ( r_outgoingLinks_FunctionalOutput ( V1 , V1 ) | r_terminator_FunctionalData ( V1 , V1 ) ) ) ) ) ) ) . |
70 | fof ( containment_noCycle_2 , axiom , ~ ? [ V1 , V2 ] : ( ( r_interface_FunctionalElement ( V1 , V2 ) | ( r_rootElements_FunctionalArchitectureModel ( V1 , V2 ) | ( r_subElements_Function ( V1 , V2 ) | ( r_data_FunctionalInterface ( V1 , V2 ) | ( r_outgoingLinks_FunctionalOutput ( V1 , V2 ) | r_terminator_FunctionalData ( V1 , V2 ) ) ) ) ) ) & ( r_interface_FunctionalElement ( V2 , V1 ) | ( r_rootElements_FunctionalArchitectureModel ( V2 , V1 ) | ( r_subElements_Function ( V2 , V1 ) | ( r_data_FunctionalInterface ( V2 , V1 ) | ( r_outgoingLinks_FunctionalOutput ( V2 , V1 ) | r_terminator_FunctionalData ( V2 , V1 ) ) ) ) ) ) ) ) . | ||
71 | fof ( containment_noCycle_3 , axiom , ~ ? [ V1 , V2 , V3 ] : ( ( r_interface_FunctionalElement ( V1 , V2 ) | ( r_rootElements_FunctionalArchitectureModel ( V1 , V2 ) | ( r_subElements_Function ( V1 , V2 ) | ( r_data_FunctionalInterface ( V1 , V2 ) | ( r_outgoingLinks_FunctionalOutput ( V1 , V2 ) | r_terminator_FunctionalData ( V1 , V2 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V2 , V3 ) | ( r_rootElements_FunctionalArchitectureModel ( V2 , V3 ) | ( r_subElements_Function ( V2 , V3 ) | ( r_data_FunctionalInterface ( V2 , V3 ) | ( r_outgoingLinks_FunctionalOutput ( V2 , V3 ) | r_terminator_FunctionalData ( V2 , V3 ) ) ) ) ) ) & ( r_interface_FunctionalElement ( V3 , V1 ) | ( r_rootElements_FunctionalArchitectureModel ( V3 , V1 ) | ( r_subElements_Function ( V3 , V1 ) | ( r_data_FunctionalInterface ( V3 , V1 ) | ( r_outgoingLinks_FunctionalOutput ( V3 , V1 ) | r_terminator_FunctionalData ( V3 , V1 ) ) ) ) ) ) ) ) ) . | ||
72 | fof ( containment_noCycle_4 , axiom , ~ ? [ V1 , V2 , V3 , V4 ] : ( ( r_interface_FunctionalElement ( V1 , V2 ) | ( r_rootElements_FunctionalArchitectureModel ( V1 , V2 ) | ( r_subElements_Function ( V1 , V2 ) | ( r_data_FunctionalInterface ( V1 , V2 ) | ( r_outgoingLinks_FunctionalOutput ( V1 , V2 ) | r_terminator_FunctionalData ( V1 , V2 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V2 , V3 ) | ( r_rootElements_FunctionalArchitectureModel ( V2 , V3 ) | ( r_subElements_Function ( V2 , V3 ) | ( r_data_FunctionalInterface ( V2 , V3 ) | ( r_outgoingLinks_FunctionalOutput ( V2 , V3 ) | r_terminator_FunctionalData ( V2 , V3 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V3 , V4 ) | ( r_rootElements_FunctionalArchitectureModel ( V3 , V4 ) | ( r_subElements_Function ( V3 , V4 ) | ( r_data_FunctionalInterface ( V3 , V4 ) | ( r_outgoingLinks_FunctionalOutput ( V3 , V4 ) | r_terminator_FunctionalData ( V3 , V4 ) ) ) ) ) ) & ( r_interface_FunctionalElement ( V4 , V1 ) | ( r_rootElements_FunctionalArchitectureModel ( V4 , V1 ) | ( r_subElements_Function ( V4 , V1 ) | ( r_data_FunctionalInterface ( V4 , V1 ) | ( r_outgoingLinks_FunctionalOutput ( V4 , V1 ) | r_terminator_FunctionalData ( V4 , V1 ) ) ) ) ) ) ) ) ) ) . | ||
73 | fof ( containment_noCycle_5 , axiom , ~ ? [ V1 , V2 , V3 , V4 , V5 ] : ( ( r_interface_FunctionalElement ( V1 , V2 ) | ( r_rootElements_FunctionalArchitectureModel ( V1 , V2 ) | ( r_subElements_Function ( V1 , V2 ) | ( r_data_FunctionalInterface ( V1 , V2 ) | ( r_outgoingLinks_FunctionalOutput ( V1 , V2 ) | r_terminator_FunctionalData ( V1 , V2 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V2 , V3 ) | ( r_rootElements_FunctionalArchitectureModel ( V2 , V3 ) | ( r_subElements_Function ( V2 , V3 ) | ( r_data_FunctionalInterface ( V2 , V3 ) | ( r_outgoingLinks_FunctionalOutput ( V2 , V3 ) | r_terminator_FunctionalData ( V2 , V3 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V3 , V4 ) | ( r_rootElements_FunctionalArchitectureModel ( V3 , V4 ) | ( r_subElements_Function ( V3 , V4 ) | ( r_data_FunctionalInterface ( V3 , V4 ) | ( r_outgoingLinks_FunctionalOutput ( V3 , V4 ) | r_terminator_FunctionalData ( V3 , V4 ) ) ) ) ) ) & ( ( r_interface_FunctionalElement ( V4 , V5 ) | ( r_rootElements_FunctionalArchitectureModel ( V4 , V5 ) | ( r_subElements_Function ( V4 , V5 ) | ( r_data_FunctionalInterface ( V4 , V5 ) | ( r_outgoingLinks_FunctionalOutput ( V4 , V5 ) | r_terminator_FunctionalData ( V4 , V5 ) ) ) ) ) ) & ( r_interface_FunctionalElement ( V5 , V1 ) | ( r_rootElements_FunctionalArchitectureModel ( V5 , V1 ) | ( r_subElements_Function ( V5 , V1 ) | ( r_data_FunctionalInterface ( V5 , V1 ) | ( r_outgoingLinks_FunctionalOutput ( V5 , V1 ) | r_terminator_FunctionalData ( V5 , V1 ) ) ) ) ) ) ) ) ) ) ) . | ||
52 | fof ( upperMultiplicity_interface_FunctionalElement , axiom , ! [ V_src , V_trg_1 , V_trg_2 ] : ( ( t_FunctionalElement ( V_src ) & ( t_FunctionalInterface ( V_trg_1 ) & t_FunctionalInterface ( V_trg_2 ) ) ) => ( ( r_interface_FunctionalElement ( V_src , V_trg_1 ) & r_interface_FunctionalElement ( V_src , V_trg_2 ) ) => ~ V_trg_1 != V_trg_2 ) ) ) . | 74 | fof ( upperMultiplicity_interface_FunctionalElement , axiom , ! [ V_src , V_trg_1 , V_trg_2 ] : ( ( t_FunctionalElement ( V_src ) & ( t_FunctionalInterface ( V_trg_1 ) & t_FunctionalInterface ( V_trg_2 ) ) ) => ( ( r_interface_FunctionalElement ( V_src , V_trg_1 ) & r_interface_FunctionalElement ( V_src , V_trg_2 ) ) => ~ V_trg_1 != V_trg_2 ) ) ) . |
53 | fof ( lowerMultiplicity_model_FunctionalElement , axiom , ! [ V_src ] : ( t_FunctionalElement ( V_src ) => ? [ V_trg_1 ] : ( t_FunctionalArchitectureModel ( V_trg_1 ) & r_model_FunctionalElement ( V_src , V_trg_1 ) ) ) ) . | 75 | fof ( lowerMultiplicity_model_FunctionalElement , axiom , ! [ V_src ] : ( t_FunctionalElement ( V_src ) => ? [ V_trg_1 ] : ( t_FunctionalArchitectureModel ( V_trg_1 ) & r_model_FunctionalElement ( V_src , V_trg_1 ) ) ) ) . |
54 | fof ( upperMultiplicity_model_FunctionalElement , axiom , ! [ V_src , V_trg_1 , V_trg_2 ] : ( ( t_FunctionalElement ( V_src ) & ( t_FunctionalArchitectureModel ( V_trg_1 ) & t_FunctionalArchitectureModel ( V_trg_2 ) ) ) => ( ( r_model_FunctionalElement ( V_src , V_trg_1 ) & r_model_FunctionalElement ( V_src , V_trg_2 ) ) => ~ V_trg_1 != V_trg_2 ) ) ) . | 76 | fof ( upperMultiplicity_model_FunctionalElement , axiom , ! [ V_src , V_trg_1 , V_trg_2 ] : ( ( t_FunctionalElement ( V_src ) & ( t_FunctionalArchitectureModel ( V_trg_1 ) & t_FunctionalArchitectureModel ( V_trg_2 ) ) ) => ( ( r_model_FunctionalElement ( V_src , V_trg_1 ) & r_model_FunctionalElement ( V_src , V_trg_2 ) ) => ~ V_trg_1 != V_trg_2 ) ) ) . |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index 25ba546a..949abe87 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | |||
@@ -93,9 +93,11 @@ class GeneralTest { | |||
93 | // add configuration things, in config file first | 93 | // add configuration things, in config file first |
94 | it.documentationLevel = DocumentationLevel::FULL | 94 | it.documentationLevel = DocumentationLevel::FULL |
95 | it.typeScopes.minNewElements = 4 | 95 | it.typeScopes.minNewElements = 4 |
96 | it.typeScopes.maxNewElements = 7 | 96 | it.typeScopes.maxNewElements = 25 |
97 | it.typeScopes.minNewElementsByType = typeMapMin | 97 | it.typeScopes.minNewElementsByType = typeMapMin |
98 | it.typeScopes.maxNewElementsByType = typeMapMax | 98 | it.typeScopes.maxNewElementsByType = typeMapMax |
99 | it.contCycleLevel = 5 | ||
100 | it.uniquenessDuplicates = false | ||
99 | ] | 101 | ] |
100 | solution = reasoner.solve(problem, vampireConfig, workspace) | 102 | solution = reasoner.solve(problem, vampireConfig, workspace) |
101 | 103 | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin index 834f3f02..7f92eba4 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index e0f9f3f3..2df2ba62 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java index f3dce1b6..0150ef1d 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |||
@@ -109,9 +109,11 @@ public class GeneralTest { | |||
109 | final Procedure1<VampireSolverConfiguration> _function_2 = (VampireSolverConfiguration it) -> { | 109 | final Procedure1<VampireSolverConfiguration> _function_2 = (VampireSolverConfiguration it) -> { |
110 | it.documentationLevel = DocumentationLevel.FULL; | 110 | it.documentationLevel = DocumentationLevel.FULL; |
111 | it.typeScopes.minNewElements = 4; | 111 | it.typeScopes.minNewElements = 4; |
112 | it.typeScopes.maxNewElements = 7; | 112 | it.typeScopes.maxNewElements = 25; |
113 | it.typeScopes.minNewElementsByType = typeMapMin; | 113 | it.typeScopes.minNewElementsByType = typeMapMin; |
114 | it.typeScopes.maxNewElementsByType = typeMapMax; | 114 | it.typeScopes.maxNewElementsByType = typeMapMax; |
115 | it.contCycleLevel = 5; | ||
116 | it.uniquenessDuplicates = false; | ||
115 | }; | 117 | }; |
116 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function_2); | 118 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function_2); |
117 | solution = reasoner.solve(problem, vampireConfig, workspace); | 119 | solution = reasoner.solve(problem, vampireConfig, workspace); |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin index 1661d65f..c0481fd8 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin index c7de92d2..6c84f917 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin | |||
Binary files differ | |||