aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem580
1 files changed, 580 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
new file mode 100644
index 00000000..f221cce7
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem
@@ -0,0 +1,580 @@
1<?xml version="1.0" encoding="ASCII"?>
2<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language">
3 <types xsi:type="language_1:TypeDeclaration" name="FunctionalElement class" subtypes="//@types.2" isAbstract="true"/>
4 <types xsi:type="language_1:TypeDeclaration" name="FunctionalArchitectureModel class"/>
5 <types xsi:type="language_1:TypeDeclaration" name="Function class" supertypes="//@types.0"/>
6 <types xsi:type="language_1:TypeDeclaration" name="FAMTerminator class"/>
7 <types xsi:type="language_1:TypeDeclaration" name="InformationLink class"/>
8 <types xsi:type="language_1:TypeDeclaration" name="FunctionalInterface class"/>
9 <types xsi:type="language_1:TypeDeclaration" name="FunctionalInput class" supertypes="//@types.8"/>
10 <types xsi:type="language_1:TypeDeclaration" name="FunctionalOutput class" supertypes="//@types.8"/>
11 <types xsi:type="language_1:TypeDeclaration" name="FunctionalData class" subtypes="//@types.6 //@types.7" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDefinition" name="FunctionType enum" elements="//@elements.0 //@elements.1 //@elements.2"/>
13 <assertions name="upperMultiplicity interface FunctionalElement" annotations="//@annotations.0">
14 <value xsi:type="language_1:Forall">
15 <quantifiedVariables name="src">
16 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
17 </quantifiedVariables>
18 <quantifiedVariables name="trg 1">
19 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
20 </quantifiedVariables>
21 <quantifiedVariables name="trg 2">
22 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
23 </quantifiedVariables>
24 <expression xsi:type="language_1:Impl">
25 <leftOperand xsi:type="language_1:And">
26 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
27 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
28 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/>
29 </operands>
30 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
31 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
32 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/>
33 </operands>
34 </leftOperand>
35 <rightOperand xsi:type="language_1:Not">
36 <operand xsi:type="language_1:Distinct">
37 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/>
38 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/>
39 </operand>
40 </rightOperand>
41 </expression>
42 </value>
43 </assertions>
44 <assertions name="lowerMultiplicity model FunctionalElement" annotations="//@annotations.1">
45 <value xsi:type="language_1:Forall">
46 <quantifiedVariables name="src">
47 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
48 </quantifiedVariables>
49 <expression xsi:type="language_1:Exists">
50 <quantifiedVariables name="trg 1">
51 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
52 </quantifiedVariables>
53 <expression xsi:type="language_1:And">
54 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
55 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
56 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@expression/@quantifiedVariables.0"/>
57 </operands>
58 </expression>
59 </expression>
60 </value>
61 </assertions>
62 <assertions name="upperMultiplicity model FunctionalElement" annotations="//@annotations.2">
63 <value xsi:type="language_1:Forall">
64 <quantifiedVariables name="src">
65 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
66 </quantifiedVariables>
67 <quantifiedVariables name="trg 1">
68 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
69 </quantifiedVariables>
70 <quantifiedVariables name="trg 2">
71 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
72 </quantifiedVariables>
73 <expression xsi:type="language_1:Impl">
74 <leftOperand xsi:type="language_1:And">
75 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
76 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
77 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
78 </operands>
79 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
80 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
81 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
82 </operands>
83 </leftOperand>
84 <rightOperand xsi:type="language_1:Not">
85 <operand xsi:type="language_1:Distinct">
86 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
87 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
88 </operand>
89 </rightOperand>
90 </expression>
91 </value>
92 </assertions>
93 <assertions name="upperMultiplicity parent FunctionalElement" annotations="//@annotations.3">
94 <value xsi:type="language_1:Forall">
95 <quantifiedVariables name="src">
96 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
97 </quantifiedVariables>
98 <quantifiedVariables name="trg 1">
99 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
100 </quantifiedVariables>
101 <quantifiedVariables name="trg 2">
102 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
103 </quantifiedVariables>
104 <expression xsi:type="language_1:Impl">
105 <leftOperand xsi:type="language_1:And">
106 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
107 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
108 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
109 </operands>
110 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
111 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
112 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
113 </operands>
114 </leftOperand>
115 <rightOperand xsi:type="language_1:Not">
116 <operand xsi:type="language_1:Distinct">
117 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
118 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
119 </operand>
120 </rightOperand>
121 </expression>
122 </value>
123 </assertions>
124 <assertions name="upperMultiplicity data FAMTerminator" annotations="//@annotations.4">
125 <value xsi:type="language_1:Forall">
126 <quantifiedVariables name="src">
127 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
128 </quantifiedVariables>
129 <quantifiedVariables name="trg 1">
130 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
131 </quantifiedVariables>
132 <quantifiedVariables name="trg 2">
133 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
134 </quantifiedVariables>
135 <expression xsi:type="language_1:Impl">
136 <leftOperand xsi:type="language_1:And">
137 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
138 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
139 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
140 </operands>
141 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
142 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
143 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
144 </operands>
145 </leftOperand>
146 <rightOperand xsi:type="language_1:Not">
147 <operand xsi:type="language_1:Distinct">
148 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
149 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
150 </operand>
151 </rightOperand>
152 </expression>
153 </value>
154 </assertions>
155 <assertions name="upperMultiplicity from InformationLink" annotations="//@annotations.5">
156 <value xsi:type="language_1:Forall">
157 <quantifiedVariables name="src">
158 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
159 </quantifiedVariables>
160 <quantifiedVariables name="trg 1">
161 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
162 </quantifiedVariables>
163 <quantifiedVariables name="trg 2">
164 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
165 </quantifiedVariables>
166 <expression xsi:type="language_1:Impl">
167 <leftOperand xsi:type="language_1:And">
168 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
169 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
170 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
171 </operands>
172 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
173 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
174 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
175 </operands>
176 </leftOperand>
177 <rightOperand xsi:type="language_1:Not">
178 <operand xsi:type="language_1:Distinct">
179 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
180 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/>
181 </operand>
182 </rightOperand>
183 </expression>
184 </value>
185 </assertions>
186 <assertions name="lowerMultiplicity to InformationLink" annotations="//@annotations.6">
187 <value xsi:type="language_1:Forall">
188 <quantifiedVariables name="src">
189 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
190 </quantifiedVariables>
191 <expression xsi:type="language_1:Exists">
192 <quantifiedVariables name="trg 1">
193 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
194 </quantifiedVariables>
195 <expression xsi:type="language_1:And">
196 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
197 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
198 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@expression/@quantifiedVariables.0"/>
199 </operands>
200 </expression>
201 </expression>
202 </value>
203 </assertions>
204 <assertions name="upperMultiplicity to InformationLink" annotations="//@annotations.7">
205 <value xsi:type="language_1:Forall">
206 <quantifiedVariables name="src">
207 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
208 </quantifiedVariables>
209 <quantifiedVariables name="trg 1">
210 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
211 </quantifiedVariables>
212 <quantifiedVariables name="trg 2">
213 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
214 </quantifiedVariables>
215 <expression xsi:type="language_1:Impl">
216 <leftOperand xsi:type="language_1:And">
217 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
218 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
219 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
220 </operands>
221 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
222 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/>
223 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
224 </operands>
225 </leftOperand>
226 <rightOperand xsi:type="language_1:Not">
227 <operand xsi:type="language_1:Distinct">
228 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/>
229 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/>
230 </operand>
231 </rightOperand>
232 </expression>
233 </value>
234 </assertions>
235 <assertions name="upperMultiplicity element FunctionalInterface" annotations="//@annotations.8">
236 <value xsi:type="language_1:Forall">
237 <quantifiedVariables name="src">
238 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
239 </quantifiedVariables>
240 <quantifiedVariables name="trg 1">
241 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
242 </quantifiedVariables>
243 <quantifiedVariables name="trg 2">
244 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
245 </quantifiedVariables>
246 <expression xsi:type="language_1:Impl">
247 <leftOperand xsi:type="language_1:And">
248 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
249 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
250 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
251 </operands>
252 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
253 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/>
254 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
255 </operands>
256 </leftOperand>
257 <rightOperand xsi:type="language_1:Not">
258 <operand xsi:type="language_1:Distinct">
259 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/>
260 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/>
261 </operand>
262 </rightOperand>
263 </expression>
264 </value>
265 </assertions>
266 <assertions name="upperMultiplicity terminator FunctionalData" annotations="//@annotations.9">
267 <value xsi:type="language_1:Forall">
268 <quantifiedVariables name="src">
269 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
270 </quantifiedVariables>
271 <quantifiedVariables name="trg 1">
272 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
273 </quantifiedVariables>
274 <quantifiedVariables name="trg 2">
275 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
276 </quantifiedVariables>
277 <expression xsi:type="language_1:Impl">
278 <leftOperand xsi:type="language_1:And">
279 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
280 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
281 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
282 </operands>
283 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
284 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/>
285 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
286 </operands>
287 </leftOperand>
288 <rightOperand xsi:type="language_1:Not">
289 <operand xsi:type="language_1:Distinct">
290 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/>
291 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/>
292 </operand>
293 </rightOperand>
294 </expression>
295 </value>
296 </assertions>
297 <assertions name="upperMultiplicity interface FunctionalData" annotations="//@annotations.10">
298 <value xsi:type="language_1:Forall">
299 <quantifiedVariables name="src">
300 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
301 </quantifiedVariables>
302 <quantifiedVariables name="trg 1">
303 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
304 </quantifiedVariables>
305 <quantifiedVariables name="trg 2">
306 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
307 </quantifiedVariables>
308 <expression xsi:type="language_1:Impl">
309 <leftOperand xsi:type="language_1:And">
310 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
311 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
312 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
313 </operands>
314 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
315 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/>
316 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
317 </operands>
318 </leftOperand>
319 <rightOperand xsi:type="language_1:Not">
320 <operand xsi:type="language_1:Distinct">
321 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/>
322 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/>
323 </operand>
324 </rightOperand>
325 </expression>
326 </value>
327 </assertions>
328 <assertions name="oppositeReference interface FunctionalElement" annotations="//@annotations.11">
329 <value xsi:type="language_1:Forall">
330 <quantifiedVariables name="src">
331 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
332 </quantifiedVariables>
333 <quantifiedVariables name="trg">
334 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
335 </quantifiedVariables>
336 <expression xsi:type="language_1:Iff">
337 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
338 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
339 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
340 </leftOperand>
341 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9">
342 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/>
343 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/>
344 </rightOperand>
345 </expression>
346 </value>
347 </assertions>
348 <assertions name="oppositeReference parent FunctionalElement" annotations="//@annotations.12">
349 <value xsi:type="language_1:Forall">
350 <quantifiedVariables name="src">
351 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
352 </quantifiedVariables>
353 <quantifiedVariables name="trg">
354 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
355 </quantifiedVariables>
356 <expression xsi:type="language_1:Iff">
357 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
358 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
359 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
360 </leftOperand>
361 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
362 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/>
363 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/>
364 </rightOperand>
365 </expression>
366 </value>
367 </assertions>
368 <assertions name="oppositeReference data FAMTerminator" annotations="//@annotations.13">
369 <value xsi:type="language_1:Forall">
370 <quantifiedVariables name="src">
371 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
372 </quantifiedVariables>
373 <quantifiedVariables name="trg">
374 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
375 </quantifiedVariables>
376 <expression xsi:type="language_1:Iff">
377 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
378 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
379 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
380 </leftOperand>
381 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
382 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/>
383 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/>
384 </rightOperand>
385 </expression>
386 </value>
387 </assertions>
388 <assertions name="oppositeReference from InformationLink" annotations="//@annotations.14">
389 <value xsi:type="language_1:Forall">
390 <quantifiedVariables name="src">
391 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
392 </quantifiedVariables>
393 <quantifiedVariables name="trg">
394 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
395 </quantifiedVariables>
396 <expression xsi:type="language_1:Iff">
397 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6">
398 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
399 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
400 </leftOperand>
401 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
402 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/>
403 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/>
404 </rightOperand>
405 </expression>
406 </value>
407 </assertions>
408 <assertions name="oppositeReference to InformationLink" annotations="//@annotations.15">
409 <value xsi:type="language_1:Forall">
410 <quantifiedVariables name="src">
411 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
412 </quantifiedVariables>
413 <quantifiedVariables name="trg">
414 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
415 </quantifiedVariables>
416 <expression xsi:type="language_1:Iff">
417 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
418 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
419 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
420 </leftOperand>
421 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10">
422 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/>
423 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/>
424 </rightOperand>
425 </expression>
426 </value>
427 </assertions>
428 <assertions name="oppositeReference data FunctionalInterface" annotations="//@annotations.16">
429 <value xsi:type="language_1:Forall">
430 <quantifiedVariables name="src">
431 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
432 </quantifiedVariables>
433 <quantifiedVariables name="trg">
434 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
435 </quantifiedVariables>
436 <expression xsi:type="language_1:Iff">
437 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
438 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
439 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/>
440 </leftOperand>
441 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
442 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/>
443 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/>
444 </rightOperand>
445 </expression>
446 </value>
447 </assertions>
448 <assertions name="lowerMultiplicity type Function" annotations="//@annotations.17">
449 <value xsi:type="language_1:Forall">
450 <quantifiedVariables name="src">
451 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
452 </quantifiedVariables>
453 <expression xsi:type="language_1:Exists">
454 <quantifiedVariables name="trg 1">
455 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
456 </quantifiedVariables>
457 <expression xsi:type="language_1:And">
458 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
459 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/>
460 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@expression/@quantifiedVariables.0"/>
461 </operands>
462 </expression>
463 </expression>
464 </value>
465 </assertions>
466 <assertions name="upperMultiplicity type Function" annotations="//@annotations.18">
467 <value xsi:type="language_1:Forall">
468 <quantifiedVariables name="src">
469 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
470 </quantifiedVariables>
471 <quantifiedVariables name="trg 1">
472 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
473 </quantifiedVariables>
474 <quantifiedVariables name="trg 2">
475 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
476 </quantifiedVariables>
477 <expression xsi:type="language_1:Impl">
478 <leftOperand xsi:type="language_1:And">
479 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
480 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
481 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
482 </operands>
483 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
484 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/>
485 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
486 </operands>
487 </leftOperand>
488 <rightOperand xsi:type="language_1:Not">
489 <operand xsi:type="language_1:Distinct">
490 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/>
491 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/>
492 </operand>
493 </rightOperand>
494 </expression>
495 </value>
496 </assertions>
497 <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalElement">
498 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
499 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
500 </relations>
501 <relations xsi:type="language_1:RelationDeclaration" name="model reference FunctionalElement">
502 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
503 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
504 </relations>
505 <relations xsi:type="language_1:RelationDeclaration" name="parent reference FunctionalElement">
506 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
507 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
508 </relations>
509 <relations xsi:type="language_1:RelationDeclaration" name="rootElements reference FunctionalArchitectureModel">
510 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
511 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
512 </relations>
513 <relations xsi:type="language_1:RelationDeclaration" name="subElements reference Function">
514 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
515 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
516 </relations>
517 <relations xsi:type="language_1:RelationDeclaration" name="data reference FAMTerminator">
518 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
519 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
520 </relations>
521 <relations xsi:type="language_1:RelationDeclaration" name="from reference InformationLink">
522 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
523 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
524 </relations>
525 <relations xsi:type="language_1:RelationDeclaration" name="to reference InformationLink">
526 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
527 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
528 </relations>
529 <relations xsi:type="language_1:RelationDeclaration" name="data reference FunctionalInterface">
530 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
531 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
532 </relations>
533 <relations xsi:type="language_1:RelationDeclaration" name="element reference FunctionalInterface">
534 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
535 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
536 </relations>
537 <relations xsi:type="language_1:RelationDeclaration" name="IncomingLinks reference FunctionalInput">
538 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
539 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
540 </relations>
541 <relations xsi:type="language_1:RelationDeclaration" name="outgoingLinks reference FunctionalOutput">
542 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
543 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
544 </relations>
545 <relations xsi:type="language_1:RelationDeclaration" name="terminator reference FunctionalData">
546 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
547 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
548 </relations>
549 <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalData">
550 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
551 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
552 </relations>
553 <relations xsi:type="language_1:RelationDeclaration" name="type attribute Function">
554 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
555 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>
556 </relations>
557 <elements name="Root literal FunctionType" definedInType="//@types.9"/>
558 <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/>
559 <elements name="Leaf literal FunctionType" definedInType="//@types.9"/>
560 <containmentHierarchies typesOrderedInHierarchy="//@types.5 //@types.4 //@types.0 //@types.3 //@types.1 //@types.6 //@types.2 //@types.7 //@types.8" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.8 //@relations.11 //@relations.12"/>
561 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" upper="1"/>
562 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.1" relation="//@relations.1" lower="1"/>
563 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" upper="1"/>
564 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.2" upper="1"/>
565 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.5" upper="1"/>
566 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.6" upper="1"/>
567 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.6" relation="//@relations.7" lower="1"/>
568 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.7" upper="1"/>
569 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.9" upper="1"/>
570 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.12" upper="1"/>
571 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.13" upper="1"/>
572 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.11" inverseA="//@relations.0" inverseB="//@relations.9"/>
573 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.12" inverseA="//@relations.2" inverseB="//@relations.4"/>
574 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.13" inverseA="//@relations.5" inverseB="//@relations.12"/>
575 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.14" inverseA="//@relations.6" inverseB="//@relations.11"/>
576 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.15" inverseA="//@relations.7" inverseB="//@relations.10"/>
577 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/>
578 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/>
579 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/>
580</language:LogicProblem>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-06 01:13:19 +0000