diff options
author | 2021-01-06 00:01:51 +0100 | |
---|---|---|
committer | 2021-01-06 00:01:51 +0100 | |
commit | 7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5 (patch) | |
tree | d90109608b1f4871f3aef9c873cb80262a4154a1 /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem | |
parent | merge models20 measurements (diff) | |
download | VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.tar.gz VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.tar.zst VIATRA-Generator-7dcbe0bc5a9cac09de030b5f328f2e4d575f4ab5.zip |
rebase dreal-integ on models20-measurements
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem | 340 |
1 files changed, 0 insertions, 340 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem deleted file mode 100644 index d15360ce..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem +++ /dev/null | |||
@@ -1,340 +0,0 @@ | |||
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" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> | ||
3 | <types xsi:type="language_1:TypeDeclaration" name="FamilyTree class"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="Member class"/> | ||
5 | <assertions name="upperMultiplicity parents Member" annotations="//@annotations.0"> | ||
6 | <value xsi:type="language_1:Forall"> | ||
7 | <quantifiedVariables name="src"> | ||
8 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
9 | </quantifiedVariables> | ||
10 | <quantifiedVariables name="trg 1"> | ||
11 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
12 | </quantifiedVariables> | ||
13 | <quantifiedVariables name="trg 2"> | ||
14 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
15 | </quantifiedVariables> | ||
16 | <quantifiedVariables name="trg 3"> | ||
17 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
18 | </quantifiedVariables> | ||
19 | <expression xsi:type="language_1:Impl"> | ||
20 | <leftOperand xsi:type="language_1:And"> | ||
21 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
22 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
23 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
24 | </operands> | ||
25 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
26 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
27 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
28 | </operands> | ||
29 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
30 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
32 | </operands> | ||
33 | </leftOperand> | ||
34 | <rightOperand xsi:type="language_1:Not"> | ||
35 | <operand xsi:type="language_1:Distinct"> | ||
36 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
37 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
39 | </operand> | ||
40 | </rightOperand> | ||
41 | </expression> | ||
42 | </value> | ||
43 | </assertions> | ||
44 | <assertions name="oppositeReference children Member" annotations="//@annotations.1"> | ||
45 | <value xsi:type="language_1:Forall"> | ||
46 | <quantifiedVariables name="src"> | ||
47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
48 | </quantifiedVariables> | ||
49 | <quantifiedVariables name="trg"> | ||
50 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
51 | </quantifiedVariables> | ||
52 | <expression xsi:type="language_1:Iff"> | ||
53 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
54 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
55 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
56 | </leftOperand> | ||
57 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
58 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
59 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
60 | </rightOperand> | ||
61 | </expression> | ||
62 | </value> | ||
63 | </assertions> | ||
64 | <assertions name="upperMultiplicity name Member" annotations="//@annotations.2"> | ||
65 | <value xsi:type="language_1:Forall"> | ||
66 | <quantifiedVariables name="src"> | ||
67 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
68 | </quantifiedVariables> | ||
69 | <quantifiedVariables name="trg 1"> | ||
70 | <range xsi:type="language_1:StringTypeReference"/> | ||
71 | </quantifiedVariables> | ||
72 | <quantifiedVariables name="trg 2"> | ||
73 | <range xsi:type="language_1:StringTypeReference"/> | ||
74 | </quantifiedVariables> | ||
75 | <expression xsi:type="language_1:Impl"> | ||
76 | <leftOperand xsi:type="language_1:And"> | ||
77 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
79 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
80 | </operands> | ||
81 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
82 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
84 | </operands> | ||
85 | </leftOperand> | ||
86 | <rightOperand xsi:type="language_1:Not"> | ||
87 | <operand xsi:type="language_1:Distinct"> | ||
88 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
89 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
90 | </operand> | ||
91 | </rightOperand> | ||
92 | </expression> | ||
93 | </value> | ||
94 | </assertions> | ||
95 | <assertions name="upperMultiplicity age Member" annotations="//@annotations.3"> | ||
96 | <value xsi:type="language_1:Forall"> | ||
97 | <quantifiedVariables name="src"> | ||
98 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
99 | </quantifiedVariables> | ||
100 | <quantifiedVariables name="trg 1"> | ||
101 | <range xsi:type="language_1:IntTypeReference"/> | ||
102 | </quantifiedVariables> | ||
103 | <quantifiedVariables name="trg 2"> | ||
104 | <range xsi:type="language_1:IntTypeReference"/> | ||
105 | </quantifiedVariables> | ||
106 | <expression xsi:type="language_1:Impl"> | ||
107 | <leftOperand xsi:type="language_1:And"> | ||
108 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
109 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
111 | </operands> | ||
112 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
113 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
115 | </operands> | ||
116 | </leftOperand> | ||
117 | <rightOperand xsi:type="language_1:Not"> | ||
118 | <operand xsi:type="language_1:Distinct"> | ||
119 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
120 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
121 | </operand> | ||
122 | </rightOperand> | ||
123 | </expression> | ||
124 | </value> | ||
125 | </assertions> | ||
126 | <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.8"> | ||
127 | <value xsi:type="language_1:Forall"> | ||
128 | <quantifiedVariables name="p0"> | ||
129 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
130 | </quantifiedVariables> | ||
131 | <expression xsi:type="language_1:Not"> | ||
132 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
133 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
134 | </operand> | ||
135 | </expression> | ||
136 | </value> | ||
137 | </assertions> | ||
138 | <assertions name="errorpattern queries twoMembersHaveNoParent" annotations="//@annotations.9"> | ||
139 | <value xsi:type="language_1:Forall"> | ||
140 | <quantifiedVariables name="p0"> | ||
141 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
142 | </quantifiedVariables> | ||
143 | <quantifiedVariables name="p1"> | ||
144 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
145 | </quantifiedVariables> | ||
146 | <expression xsi:type="language_1:Not"> | ||
147 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
148 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | ||
150 | </operand> | ||
151 | </expression> | ||
152 | </value> | ||
153 | </assertions> | ||
154 | <assertions name="errorpattern queries parentTooYoung" annotations="//@annotations.10"> | ||
155 | <value xsi:type="language_1:Forall"> | ||
156 | <quantifiedVariables name="p0"> | ||
157 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
158 | </quantifiedVariables> | ||
159 | <quantifiedVariables name="p1"> | ||
160 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
161 | </quantifiedVariables> | ||
162 | <expression xsi:type="language_1:Not"> | ||
163 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
164 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
165 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | ||
166 | </operand> | ||
167 | </expression> | ||
168 | </value> | ||
169 | </assertions> | ||
170 | <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree"> | ||
171 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
172 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
173 | </relations> | ||
174 | <relations xsi:type="language_1:RelationDeclaration" name="children reference Member"> | ||
175 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
176 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
177 | </relations> | ||
178 | <relations xsi:type="language_1:RelationDeclaration" name="parents reference Member"> | ||
179 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
180 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
181 | </relations> | ||
182 | <relations xsi:type="language_1:RelationDeclaration" name="name attribute Member"> | ||
183 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
184 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
185 | </relations> | ||
186 | <relations xsi:type="language_1:RelationDeclaration" name="age attribute Member"> | ||
187 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
188 | <parameters xsi:type="language_1:IntTypeReference"/> | ||
189 | </relations> | ||
190 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberIsItsOwnParent" annotations="//@annotations.4"> | ||
191 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
192 | <variables name="parameter m"> | ||
193 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
194 | </variables> | ||
195 | <value xsi:type="language_1:Or"> | ||
196 | <operands xsi:type="language_1:Exists"> | ||
197 | <quantifiedVariables name="variable 0"> | ||
198 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
199 | </quantifiedVariables> | ||
200 | <expression xsi:type="language_1:And"> | ||
201 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
202 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> | ||
203 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | ||
204 | </operands> | ||
205 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
206 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | ||
207 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | ||
208 | </operands> | ||
209 | </expression> | ||
210 | </operands> | ||
211 | </value> | ||
212 | </relations> | ||
213 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries twoMembersHaveNoParent" annotations="//@annotations.5"> | ||
214 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
215 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
216 | <variables name="parameter m1"> | ||
217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
218 | </variables> | ||
219 | <variables name="parameter m2"> | ||
220 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
221 | </variables> | ||
222 | <value xsi:type="language_1:Or"> | ||
223 | <operands xsi:type="language_1:And"> | ||
224 | <operands xsi:type="language_1:InstanceOf"> | ||
225 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | ||
226 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
227 | </operands> | ||
228 | <operands xsi:type="language_1:InstanceOf"> | ||
229 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | ||
230 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
231 | </operands> | ||
232 | <operands xsi:type="language_1:Not"> | ||
233 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
234 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | ||
235 | </operand> | ||
236 | </operands> | ||
237 | <operands xsi:type="language_1:Not"> | ||
238 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
239 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | ||
240 | </operand> | ||
241 | </operands> | ||
242 | <operands xsi:type="language_1:Distinct"> | ||
243 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | ||
244 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | ||
245 | </operands> | ||
246 | </operands> | ||
247 | </value> | ||
248 | </relations> | ||
249 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberHasParent" annotations="//@annotations.6"> | ||
250 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
251 | <variables name="parameter m"> | ||
252 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
253 | </variables> | ||
254 | <value xsi:type="language_1:Or"> | ||
255 | <operands xsi:type="language_1:Exists"> | ||
256 | <quantifiedVariables name="variable 0"> | ||
257 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
258 | </quantifiedVariables> | ||
259 | <expression xsi:type="language_1:And"> | ||
260 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
261 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> | ||
262 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | ||
263 | </operands> | ||
264 | <operands xsi:type="language_1:InstanceOf"> | ||
265 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | ||
266 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
267 | </operands> | ||
268 | </expression> | ||
269 | </operands> | ||
270 | </value> | ||
271 | </relations> | ||
272 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries parentTooYoung" annotations="//@annotations.7"> | ||
273 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
274 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
275 | <variables name="parameter m"> | ||
276 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
277 | </variables> | ||
278 | <variables name="parameter p"> | ||
279 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
280 | </variables> | ||
281 | <value xsi:type="language_1:Or"> | ||
282 | <operands xsi:type="language_1:Exists"> | ||
283 | <quantifiedVariables name="variable 0"> | ||
284 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
285 | </quantifiedVariables> | ||
286 | <quantifiedVariables name="variable mAge"> | ||
287 | <range xsi:type="language_1:IntTypeReference"/> | ||
288 | </quantifiedVariables> | ||
289 | <quantifiedVariables name="variable pAge"> | ||
290 | <range xsi:type="language_1:IntTypeReference"/> | ||
291 | </quantifiedVariables> | ||
292 | <expression xsi:type="language_1:And"> | ||
293 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
294 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
296 | </operands> | ||
297 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
298 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
299 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | ||
300 | </operands> | ||
301 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
302 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
303 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | ||
304 | </operands> | ||
305 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
306 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | ||
307 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | ||
308 | </operands> | ||
309 | <operands xsi:type="language_1:LessOrEqualThan"> | ||
310 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | ||
311 | <rightOperand xsi:type="language_1:Plus"> | ||
312 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | ||
313 | <rightOperand xsi:type="language_1:IntLiteral" value="12"/> | ||
314 | </rightOperand> | ||
315 | </operands> | ||
316 | </expression> | ||
317 | </operands> | ||
318 | </value> | ||
319 | </relations> | ||
320 | <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.1" containmentRelations="//@relations.0"/> | ||
321 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/> | ||
322 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/> | ||
323 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/> | ||
324 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" upper="1"/> | ||
325 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent"> | ||
326 | <variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> | ||
327 | </annotations> | ||
328 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="queries.twoMembersHaveNoParent"/> | ||
329 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="queries.memberHasParent"> | ||
330 | <variableTrace targetLogicVariable="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | ||
331 | </annotations> | ||
332 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="queries.parentTooYoung"> | ||
333 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
334 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | ||
335 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | ||
336 | </annotations> | ||
337 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/> | ||
338 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.5" query="//@annotations.5"/> | ||
339 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.7"/> | ||
340 | </language:LogicProblem> | ||