aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <semerath@mit.bme.hu>2019-05-04 15:38:56 -0400
committerLibravatar OszkarSemerath <semerath@mit.bme.hu>2019-05-04 15:38:56 -0400
commitcb00d4585f529a9acae55927f4b23bc4708e43d4 (patch)
tree85fcefd6e68726bf3f97ce9c673c1ca4364d90c7
parentAdded aggregate expressions to logic language on the model level (diff)
downloadVIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.tar.gz
VIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.tar.zst
VIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.zip
removed unused test case
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input/solution1.partialinterpretation394
1 files changed, 0 insertions, 394 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input/solution1.partialinterpretation b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input/solution1.partialinterpretation
deleted file mode 100644
index b6519111..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input/solution1.partialinterpretation
+++ /dev/null
@@ -1,394 +0,0 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation
3 xmi:version="2.0"
4 xmlns:xmi="http://www.omg.org/XMI"
5 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
6 xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
7 xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
8 problem="//@problemConainer">
9 <partialrelationinterpretation
10 interpretationOf="//@problemConainer/@relations.0"
11 param1="//@problemConainer/@relations.0/@parameters.0"
12 param2="//@problemConainer/@relations.0/@parameters.1">
13 <relationlinks
14 xsi:type="partialinterpretation:BinaryElementRelationLink"
15 param1="//@newElements.0"
16 param2="//@newElements.1"/>
17 <relationlinks
18 xsi:type="partialinterpretation:BinaryElementRelationLink"
19 param1="//@newElements.2"
20 param2="//@newElements.4"/>
21 </partialrelationinterpretation>
22 <partialrelationinterpretation
23 interpretationOf="//@problemConainer/@relations.1"
24 param1="//@problemConainer/@relations.1/@parameters.0"
25 param2="//@problemConainer/@relations.1/@parameters.1"/>
26 <partialrelationinterpretation
27 interpretationOf="//@problemConainer/@relations.2"
28 param1="//@problemConainer/@relations.2/@parameters.0"
29 param2="//@problemConainer/@relations.2/@parameters.1">
30 <relationlinks
31 xsi:type="partialinterpretation:BinaryElementRelationLink"
32 param1="//@newElements.5"
33 param2="//@newElements.0"/>
34 <relationlinks
35 xsi:type="partialinterpretation:BinaryElementRelationLink"
36 param1="//@newElements.9"
37 param2="//@newElements.5"/>
38 </partialrelationinterpretation>
39 <partialrelationinterpretation
40 interpretationOf="//@problemConainer/@relations.3"
41 param1="//@problemConainer/@relations.3/@parameters.0"
42 param2="//@problemConainer/@relations.3/@parameters.1">
43 <relationlinks
44 xsi:type="partialinterpretation:BinaryElementRelationLink"
45 param1="//@problemConainer/@elements.3"
46 param2="//@newElements.0"/>
47 <relationlinks
48 xsi:type="partialinterpretation:BinaryElementRelationLink"
49 param1="//@problemConainer/@elements.3"
50 param2="//@newElements.2"/>
51 <relationlinks
52 xsi:type="partialinterpretation:BinaryElementRelationLink"
53 param1="//@problemConainer/@elements.3"
54 param2="//@newElements.3"/>
55 </partialrelationinterpretation>
56 <partialrelationinterpretation
57 interpretationOf="//@problemConainer/@relations.4"
58 param1="//@problemConainer/@relations.4/@parameters.0"
59 param2="//@problemConainer/@relations.4/@parameters.1">
60 <relationlinks
61 xsi:type="partialinterpretation:BinaryElementRelationLink"
62 param1="//@newElements.0"
63 param2="//@newElements.5"/>
64 <relationlinks
65 xsi:type="partialinterpretation:BinaryElementRelationLink"
66 param1="//@newElements.5"
67 param2="//@newElements.9"/>
68 </partialrelationinterpretation>
69 <partialrelationinterpretation
70 interpretationOf="//@problemConainer/@relations.5"
71 param1="//@problemConainer/@relations.5/@parameters.0"
72 param2="//@problemConainer/@relations.5/@parameters.1">
73 <relationlinks
74 xsi:type="partialinterpretation:BinaryElementRelationLink"
75 param1="//@newElements.7"
76 param2="//@newElements.6"/>
77 </partialrelationinterpretation>
78 <partialrelationinterpretation
79 interpretationOf="//@problemConainer/@relations.6"
80 param1="//@problemConainer/@relations.6/@parameters.0"
81 param2="//@problemConainer/@relations.6/@parameters.1"/>
82 <partialrelationinterpretation
83 interpretationOf="//@problemConainer/@relations.7"
84 param1="//@problemConainer/@relations.7/@parameters.0"
85 param2="//@problemConainer/@relations.7/@parameters.1"/>
86 <partialrelationinterpretation
87 interpretationOf="//@problemConainer/@relations.8"
88 param1="//@problemConainer/@relations.8/@parameters.0"
89 param2="//@problemConainer/@relations.8/@parameters.1">
90 <relationlinks
91 xsi:type="partialinterpretation:BinaryElementRelationLink"
92 param1="//@newElements.1"
93 param2="//@newElements.6"/>
94 <relationlinks
95 xsi:type="partialinterpretation:BinaryElementRelationLink"
96 param1="//@newElements.1"
97 param2="//@newElements.8"/>
98 </partialrelationinterpretation>
99 <partialrelationinterpretation
100 interpretationOf="//@problemConainer/@relations.9"
101 param1="//@problemConainer/@relations.9/@parameters.0"
102 param2="//@problemConainer/@relations.9/@parameters.1">
103 <relationlinks
104 xsi:type="partialinterpretation:BinaryElementRelationLink"
105 param1="//@newElements.1"
106 param2="//@newElements.0"/>
107 <relationlinks
108 xsi:type="partialinterpretation:BinaryElementRelationLink"
109 param1="//@newElements.4"
110 param2="//@newElements.2"/>
111 </partialrelationinterpretation>
112 <partialrelationinterpretation
113 interpretationOf="//@problemConainer/@relations.10"
114 param1="//@problemConainer/@relations.10/@parameters.0"
115 param2="//@problemConainer/@relations.10/@parameters.1"/>
116 <partialrelationinterpretation
117 interpretationOf="//@problemConainer/@relations.11"
118 param1="//@problemConainer/@relations.11/@parameters.0"
119 param2="//@problemConainer/@relations.11/@parameters.1"/>
120 <partialrelationinterpretation
121 interpretationOf="//@problemConainer/@relations.12"
122 param1="//@problemConainer/@relations.12/@parameters.0"
123 param2="//@problemConainer/@relations.12/@parameters.1">
124 <relationlinks
125 xsi:type="partialinterpretation:BinaryElementRelationLink"
126 param1="//@newElements.6"
127 param2="//@newElements.7"/>
128 </partialrelationinterpretation>
129 <partialrelationinterpretation
130 interpretationOf="//@problemConainer/@relations.13"
131 param1="//@problemConainer/@relations.13/@parameters.0"
132 param2="//@problemConainer/@relations.13/@parameters.1">
133 <relationlinks
134 xsi:type="partialinterpretation:BinaryElementRelationLink"
135 param1="//@newElements.6"
136 param2="//@newElements.1"/>
137 <relationlinks
138 xsi:type="partialinterpretation:BinaryElementRelationLink"
139 param1="//@newElements.8"
140 param2="//@newElements.1"/>
141 </partialrelationinterpretation>
142 <partialrelationinterpretation
143 interpretationOf="//@problemConainer/@relations.14"
144 param1="//@problemConainer/@relations.14/@parameters.0"
145 param2="//@problemConainer/@relations.14/@parameters.1"/>
146 <newElements/>
147 <newElements/>
148 <newElements/>
149 <newElements/>
150 <newElements/>
151 <newElements/>
152 <newElements/>
153 <newElements/>
154 <newElements/>
155 <newElements/>
156 <partialtypeinterpratation
157 interpretationOf="//@problemConainer/@types.0"
158 elements="//@newElements.0 //@newElements.2 //@newElements.3 //@newElements.5 //@newElements.9"/>
159 <partialtypeinterpratation
160 interpretationOf="//@problemConainer/@types.1"
161 elements="//@problemConainer/@elements.3"/>
162 <partialtypeinterpratation
163 interpretationOf="//@problemConainer/@types.2"
164 elements="//@newElements.0 //@newElements.2 //@newElements.3 //@newElements.5 //@newElements.9"
165 supertypeInterpretation="//@partialtypeinterpratation.0"/>
166 <partialtypeinterpratation
167 interpretationOf="//@problemConainer/@types.3"
168 elements="//@newElements.7"/>
169 <partialtypeinterpratation
170 interpretationOf="//@problemConainer/@types.4"/>
171 <partialtypeinterpratation
172 interpretationOf="//@problemConainer/@types.5"
173 elements="//@newElements.1 //@newElements.4"/>
174 <partialtypeinterpratation
175 interpretationOf="//@problemConainer/@types.6"
176 elements="//@newElements.6"
177 supertypeInterpretation="//@partialtypeinterpratation.8"/>
178 <partialtypeinterpratation
179 interpretationOf="//@problemConainer/@types.7"
180 elements="//@newElements.8"
181 supertypeInterpretation="//@partialtypeinterpratation.8"/>
182 <partialtypeinterpratation
183 interpretationOf="//@problemConainer/@types.8"
184 elements="//@newElements.6 //@newElements.8"/>
185 <partialtypeinterpratation
186 interpretationOf="//@problemConainer/@types.11"
187 supertypeInterpretation="//@partialtypeinterpratation.1"/>
188 <openWorldElementPrototype
189 name="Symbolic New Element"/>
190 <problemConainer>
191 <types xsi:type="language:TypeDeclaration"
192 name="FunctionalElement class"
193 subtypes="//@problemConainer/@types.2"
194 isAbstract="true"/>
195 <types xsi:type="language:TypeDeclaration"
196 name="FunctionalArchitectureModel class"
197 subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11"
198 isAbstract="true"/>
199 <types xsi:type="language:TypeDeclaration"
200 name="Function class"
201 supertypes="//@problemConainer/@types.0"/>
202 <types xsi:type="language:TypeDeclaration"
203 name="FAMTerminator class"/>
204 <types xsi:type="language:TypeDeclaration"
205 name="InformationLink class"/>
206 <types xsi:type="language:TypeDeclaration"
207 name="FunctionalInterface class"/>
208 <types xsi:type="language:TypeDeclaration"
209 name="FunctionalInput class"
210 supertypes="//@problemConainer/@types.8"/>
211 <types xsi:type="language:TypeDeclaration"
212 name="FunctionalOutput class"
213 supertypes="//@problemConainer/@types.8"/>
214 <types xsi:type="language:TypeDeclaration"
215 name="FunctionalData class"
216 subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7"
217 isAbstract="true"/>
218 <types xsi:type="language:TypeDefinition"
219 name="FunctionType enum"
220 elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1 //@problemConainer/@elements.2"/>
221 <types xsi:type="language:TypeDefinition"
222 name="FunctionalArchitectureModel class DefinedPart"
223 supertypes="//@problemConainer/@types.1"
224 elements="//@problemConainer/@elements.3"/>
225 <types xsi:type="language:TypeDeclaration"
226 name="FunctionalArchitectureModel class UndefinedPart"
227 supertypes="//@problemConainer/@types.1"/>
228 <relations
229 xsi:type="language:RelationDeclaration"
230 name="interface reference FunctionalElement">
231 <parameters
232 xsi:type="language:ComplexTypeReference"
233 referred="//@problemConainer/@types.0"/>
234 <parameters
235 xsi:type="language:ComplexTypeReference"
236 referred="//@problemConainer/@types.5"/>
237 </relations>
238 <relations
239 xsi:type="language:RelationDeclaration"
240 name="model reference FunctionalElement">
241 <parameters
242 xsi:type="language:ComplexTypeReference"
243 referred="//@problemConainer/@types.0"/>
244 <parameters
245 xsi:type="language:ComplexTypeReference"
246 referred="//@problemConainer/@types.1"/>
247 </relations>
248 <relations
249 xsi:type="language:RelationDeclaration"
250 name="parent reference FunctionalElement">
251 <parameters
252 xsi:type="language:ComplexTypeReference"
253 referred="//@problemConainer/@types.0"/>
254 <parameters
255 xsi:type="language:ComplexTypeReference"
256 referred="//@problemConainer/@types.2"/>
257 </relations>
258 <relations
259 xsi:type="language:RelationDeclaration"
260 name="rootElements reference FunctionalArchitectureModel">
261 <parameters
262 xsi:type="language:ComplexTypeReference"
263 referred="//@problemConainer/@types.1"/>
264 <parameters
265 xsi:type="language:ComplexTypeReference"
266 referred="//@problemConainer/@types.0"/>
267 </relations>
268 <relations
269 xsi:type="language:RelationDeclaration"
270 name="subElements reference Function">
271 <parameters
272 xsi:type="language:ComplexTypeReference"
273 referred="//@problemConainer/@types.2"/>
274 <parameters
275 xsi:type="language:ComplexTypeReference"
276 referred="//@problemConainer/@types.0"/>
277 </relations>
278 <relations
279 xsi:type="language:RelationDeclaration"
280 name="data reference FAMTerminator">
281 <parameters
282 xsi:type="language:ComplexTypeReference"
283 referred="//@problemConainer/@types.3"/>
284 <parameters
285 xsi:type="language:ComplexTypeReference"
286 referred="//@problemConainer/@types.8"/>
287 </relations>
288 <relations
289 xsi:type="language:RelationDeclaration"
290 name="from reference InformationLink">
291 <parameters
292 xsi:type="language:ComplexTypeReference"
293 referred="//@problemConainer/@types.4"/>
294 <parameters
295 xsi:type="language:ComplexTypeReference"
296 referred="//@problemConainer/@types.7"/>
297 </relations>
298 <relations
299 xsi:type="language:RelationDeclaration"
300 name="to reference InformationLink">
301 <parameters
302 xsi:type="language:ComplexTypeReference"
303 referred="//@problemConainer/@types.4"/>
304 <parameters
305 xsi:type="language:ComplexTypeReference"
306 referred="//@problemConainer/@types.6"/>
307 </relations>
308 <relations
309 xsi:type="language:RelationDeclaration"
310 name="data reference FunctionalInterface">
311 <parameters
312 xsi:type="language:ComplexTypeReference"
313 referred="//@problemConainer/@types.5"/>
314 <parameters
315 xsi:type="language:ComplexTypeReference"
316 referred="//@problemConainer/@types.8"/>
317 </relations>
318 <relations
319 xsi:type="language:RelationDeclaration"
320 name="element reference FunctionalInterface">
321 <parameters
322 xsi:type="language:ComplexTypeReference"
323 referred="//@problemConainer/@types.5"/>
324 <parameters
325 xsi:type="language:ComplexTypeReference"
326 referred="//@problemConainer/@types.0"/>
327 </relations>
328 <relations
329 xsi:type="language:RelationDeclaration"
330 name="IncomingLinks reference FunctionalInput">
331 <parameters
332 xsi:type="language:ComplexTypeReference"
333 referred="//@problemConainer/@types.6"/>
334 <parameters
335 xsi:type="language:ComplexTypeReference"
336 referred="//@problemConainer/@types.4"/>
337 </relations>
338 <relations
339 xsi:type="language:RelationDeclaration"
340 name="outgoingLinks reference FunctionalOutput">
341 <parameters
342 xsi:type="language:ComplexTypeReference"
343 referred="//@problemConainer/@types.7"/>
344 <parameters
345 xsi:type="language:ComplexTypeReference"
346 referred="//@problemConainer/@types.4"/>
347 </relations>
348 <relations
349 xsi:type="language:RelationDeclaration"
350 name="terminator reference FunctionalData">
351 <parameters
352 xsi:type="language:ComplexTypeReference"
353 referred="//@problemConainer/@types.8"/>
354 <parameters
355 xsi:type="language:ComplexTypeReference"
356 referred="//@problemConainer/@types.3"/>
357 </relations>
358 <relations
359 xsi:type="language:RelationDeclaration"
360 name="interface reference FunctionalData">
361 <parameters
362 xsi:type="language:ComplexTypeReference"
363 referred="//@problemConainer/@types.8"/>
364 <parameters
365 xsi:type="language:ComplexTypeReference"
366 referred="//@problemConainer/@types.5"/>
367 </relations>
368 <relations
369 xsi:type="language:RelationDeclaration"
370 name="type attribute Function">
371 <parameters
372 xsi:type="language:ComplexTypeReference"
373 referred="//@problemConainer/@types.2"/>
374 <parameters
375 xsi:type="language:ComplexTypeReference"
376 referred="//@problemConainer/@types.9"/>
377 </relations>
378 <elements
379 name="Root literal FunctionType"
380 definedInType="//@problemConainer/@types.9"/>
381 <elements
382 name="Intermediate literal FunctionType"
383 definedInType="//@problemConainer/@types.9"/>
384 <elements
385 name="Leaf literal FunctionType"
386 definedInType="//@problemConainer/@types.9"/>
387 <elements
388 name="o 1"
389 definedInType="//@problemConainer/@types.10"/>
390 <containmentHierarchies
391 typesOrderedInHierarchy="//@problemConainer/@types.2 //@problemConainer/@types.5 //@problemConainer/@types.0 //@problemConainer/@types.3 //@problemConainer/@types.7 //@problemConainer/@types.1 //@problemConainer/@types.4 //@problemConainer/@types.8 //@problemConainer/@types.6"
392 containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.3 //@problemConainer/@relations.4 //@problemConainer/@relations.8 //@problemConainer/@relations.11 //@problemConainer/@relations.12"/>
393 </problemConainer>
394</partialinterpretation:PartialInterpretation>