diff options
author | 2019-05-04 15:38:56 -0400 | |
---|---|---|
committer | 2019-05-04 15:38:56 -0400 | |
commit | cb00d4585f529a9acae55927f4b23bc4708e43d4 (patch) | |
tree | 85fcefd6e68726bf3f97ce9c673c1ca4364d90c7 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input | |
parent | Added aggregate expressions to logic language on the model level (diff) | |
download | VIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.tar.gz VIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.tar.zst VIATRA-Generator-cb00d4585f529a9acae55927f4b23bc4708e43d4.zip |
removed unused test case
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/input/solution1.partialinterpretation | 394 |
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> | ||