diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
commit | 4fe7fce97aedbd516109ef81afc33e00112b7b68 (patch) | |
tree | 7eaa7c4e9b31b2a1488e49de48721b4dbad31fae /Domains/ca.mcgill.rtgmrt.example.modes3/output | |
parent | MoDeS3 unit propagation WIP (diff) | |
download | VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.gz VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.zst VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.zip |
Must unit propagation
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output')
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation | 1068 | ||||
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml | 1191 | ||||
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation | 1037 | ||||
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png | bin | 105065 -> 0 bytes |
4 files changed, 0 insertions, 3296 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation deleted file mode 100644 index bbf46091..00000000 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution.partialinterpretation +++ /dev/null | |||
@@ -1,1068 +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="Segment class" subtypes="//@types.2"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="Modes3ModelRoot class" subtypes="//@types.4 //@types.5" isAbstract="true"/> | ||
5 | <types xsi:type="language_1:TypeDeclaration" name="Turnout class" supertypes="//@types.0"/> | ||
6 | <types xsi:type="language_1:TypeDeclaration" name="Train class"/> | ||
7 | <types xsi:type="language_1:TypeDefinition" name="Modes3ModelRoot class DefinedPart" supertypes="//@types.1" elements="//@elements.0"/> | ||
8 | <types xsi:type="language_1:TypeDeclaration" name="Modes3ModelRoot class UndefinedPart" supertypes="//@types.1"/> | ||
9 | <assertions name="upperMultiplicity connectedTo Segment" annotations="//@annotations.0"> | ||
10 | <value xsi:type="language_1:Forall"> | ||
11 | <quantifiedVariables name="src"> | ||
12 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
13 | </quantifiedVariables> | ||
14 | <quantifiedVariables name="trg 1"> | ||
15 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
16 | </quantifiedVariables> | ||
17 | <quantifiedVariables name="trg 2"> | ||
18 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
19 | </quantifiedVariables> | ||
20 | <quantifiedVariables name="trg 3"> | ||
21 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
22 | </quantifiedVariables> | ||
23 | <expression xsi:type="language_1:Impl"> | ||
24 | <leftOperand xsi:type="language_1:And"> | ||
25 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
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.1"/> | ||
28 | </operands> | ||
29 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
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.2"/> | ||
32 | </operands> | ||
33 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
34 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
35 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
36 | </operands> | ||
37 | </leftOperand> | ||
38 | <rightOperand xsi:type="language_1:Not"> | ||
39 | <operand xsi:type="language_1:Distinct"> | ||
40 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
41 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
42 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
43 | </operand> | ||
44 | </rightOperand> | ||
45 | </expression> | ||
46 | </value> | ||
47 | </assertions> | ||
48 | <assertions name="upperMultiplicity occupiedBy Segment" annotations="//@annotations.1"> | ||
49 | <value xsi:type="language_1:Forall"> | ||
50 | <quantifiedVariables name="src"> | ||
51 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
52 | </quantifiedVariables> | ||
53 | <quantifiedVariables name="trg 1"> | ||
54 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
55 | </quantifiedVariables> | ||
56 | <quantifiedVariables name="trg 2"> | ||
57 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
58 | </quantifiedVariables> | ||
59 | <expression xsi:type="language_1:Impl"> | ||
60 | <leftOperand xsi:type="language_1:And"> | ||
61 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
62 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
63 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
64 | </operands> | ||
65 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
66 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
67 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
68 | </operands> | ||
69 | </leftOperand> | ||
70 | <rightOperand xsi:type="language_1:Not"> | ||
71 | <operand xsi:type="language_1:Distinct"> | ||
72 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
73 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
74 | </operand> | ||
75 | </rightOperand> | ||
76 | </expression> | ||
77 | </value> | ||
78 | </assertions> | ||
79 | <assertions name="lowerMultiplicity straight Turnout" annotations="//@annotations.2"> | ||
80 | <value xsi:type="language_1:Forall"> | ||
81 | <quantifiedVariables name="src"> | ||
82 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
83 | </quantifiedVariables> | ||
84 | <expression xsi:type="language_1:Exists"> | ||
85 | <quantifiedVariables name="trg 1"> | ||
86 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
87 | </quantifiedVariables> | ||
88 | <expression xsi:type="language_1:And"> | ||
89 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
90 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
91 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@expression/@quantifiedVariables.0"/> | ||
92 | </operands> | ||
93 | </expression> | ||
94 | </expression> | ||
95 | </value> | ||
96 | </assertions> | ||
97 | <assertions name="upperMultiplicity straight Turnout" annotations="//@annotations.3"> | ||
98 | <value xsi:type="language_1:Forall"> | ||
99 | <quantifiedVariables name="src"> | ||
100 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
101 | </quantifiedVariables> | ||
102 | <quantifiedVariables name="trg 1"> | ||
103 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
104 | </quantifiedVariables> | ||
105 | <quantifiedVariables name="trg 2"> | ||
106 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
107 | </quantifiedVariables> | ||
108 | <expression xsi:type="language_1:Impl"> | ||
109 | <leftOperand xsi:type="language_1:And"> | ||
110 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
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.1"/> | ||
113 | </operands> | ||
114 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
115 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
116 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
117 | </operands> | ||
118 | </leftOperand> | ||
119 | <rightOperand xsi:type="language_1:Not"> | ||
120 | <operand xsi:type="language_1:Distinct"> | ||
121 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
122 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
123 | </operand> | ||
124 | </rightOperand> | ||
125 | </expression> | ||
126 | </value> | ||
127 | </assertions> | ||
128 | <assertions name="lowerMultiplicity divergent Turnout" annotations="//@annotations.4"> | ||
129 | <value xsi:type="language_1:Forall"> | ||
130 | <quantifiedVariables name="src"> | ||
131 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
132 | </quantifiedVariables> | ||
133 | <expression xsi:type="language_1:Exists"> | ||
134 | <quantifiedVariables name="trg 1"> | ||
135 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
136 | </quantifiedVariables> | ||
137 | <expression xsi:type="language_1:And"> | ||
138 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
139 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
140 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@expression/@quantifiedVariables.0"/> | ||
141 | </operands> | ||
142 | </expression> | ||
143 | </expression> | ||
144 | </value> | ||
145 | </assertions> | ||
146 | <assertions name="upperMultiplicity divergent Turnout" annotations="//@annotations.5"> | ||
147 | <value xsi:type="language_1:Forall"> | ||
148 | <quantifiedVariables name="src"> | ||
149 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
150 | </quantifiedVariables> | ||
151 | <quantifiedVariables name="trg 1"> | ||
152 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
153 | </quantifiedVariables> | ||
154 | <quantifiedVariables name="trg 2"> | ||
155 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
156 | </quantifiedVariables> | ||
157 | <expression xsi:type="language_1:Impl"> | ||
158 | <leftOperand xsi:type="language_1:And"> | ||
159 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
160 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
161 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | ||
162 | </operands> | ||
163 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
164 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
165 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> | ||
166 | </operands> | ||
167 | </leftOperand> | ||
168 | <rightOperand xsi:type="language_1:Not"> | ||
169 | <operand xsi:type="language_1:Distinct"> | ||
170 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | ||
171 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> | ||
172 | </operand> | ||
173 | </rightOperand> | ||
174 | </expression> | ||
175 | </value> | ||
176 | </assertions> | ||
177 | <assertions name="lowerMultiplicity location Train" annotations="//@annotations.6"> | ||
178 | <value xsi:type="language_1:Forall"> | ||
179 | <quantifiedVariables name="src"> | ||
180 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
181 | </quantifiedVariables> | ||
182 | <expression xsi:type="language_1:Exists"> | ||
183 | <quantifiedVariables name="trg 1"> | ||
184 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
185 | </quantifiedVariables> | ||
186 | <expression xsi:type="language_1:And"> | ||
187 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
188 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
189 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@expression/@quantifiedVariables.0"/> | ||
190 | </operands> | ||
191 | </expression> | ||
192 | </expression> | ||
193 | </value> | ||
194 | </assertions> | ||
195 | <assertions name="upperMultiplicity location Train" annotations="//@annotations.7"> | ||
196 | <value xsi:type="language_1:Forall"> | ||
197 | <quantifiedVariables name="src"> | ||
198 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
199 | </quantifiedVariables> | ||
200 | <quantifiedVariables name="trg 1"> | ||
201 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
202 | </quantifiedVariables> | ||
203 | <quantifiedVariables name="trg 2"> | ||
204 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
205 | </quantifiedVariables> | ||
206 | <expression xsi:type="language_1:Impl"> | ||
207 | <leftOperand xsi:type="language_1:And"> | ||
208 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
209 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | ||
210 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> | ||
211 | </operands> | ||
212 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
213 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | ||
214 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> | ||
215 | </operands> | ||
216 | </leftOperand> | ||
217 | <rightOperand xsi:type="language_1:Not"> | ||
218 | <operand xsi:type="language_1:Distinct"> | ||
219 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> | ||
220 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> | ||
221 | </operand> | ||
222 | </rightOperand> | ||
223 | </expression> | ||
224 | </value> | ||
225 | </assertions> | ||
226 | <assertions name="oppositeReference occupiedBy Segment" annotations="//@annotations.8"> | ||
227 | <value xsi:type="language_1:Forall"> | ||
228 | <quantifiedVariables name="src"> | ||
229 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
230 | </quantifiedVariables> | ||
231 | <quantifiedVariables name="trg"> | ||
232 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
233 | </quantifiedVariables> | ||
234 | <expression xsi:type="language_1:Iff"> | ||
235 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
236 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
237 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
238 | </leftOperand> | ||
239 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
240 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
241 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
242 | </rightOperand> | ||
243 | </expression> | ||
244 | </value> | ||
245 | </assertions> | ||
246 | <assertions name="oppositeReference connectedTo reference Segment connectedTo reference Segment" annotations="//@annotations.9"> | ||
247 | <value xsi:type="language_1:Forall"> | ||
248 | <quantifiedVariables name="src"> | ||
249 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
250 | </quantifiedVariables> | ||
251 | <quantifiedVariables name="trg"> | ||
252 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
253 | </quantifiedVariables> | ||
254 | <expression xsi:type="language_1:Iff"> | ||
255 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
256 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | ||
257 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/> | ||
258 | </leftOperand> | ||
259 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
260 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/> | ||
261 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | ||
262 | </rightOperand> | ||
263 | </expression> | ||
264 | </value> | ||
265 | </assertions> | ||
266 | <assertions name="errorpattern modes3 queries turnoutInSegments" annotations="//@annotations.29"> | ||
267 | <value xsi:type="language_1:Forall"> | ||
268 | <quantifiedVariables name="p0"> | ||
269 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
270 | </quantifiedVariables> | ||
271 | <expression xsi:type="language_1:Not"> | ||
272 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
273 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
274 | </operand> | ||
275 | </expression> | ||
276 | </value> | ||
277 | </assertions> | ||
278 | <assertions name="errorpattern modes3 queries unreachable" annotations="//@annotations.30"> | ||
279 | <value xsi:type="language_1:Forall"> | ||
280 | <quantifiedVariables name="p0"> | ||
281 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
282 | </quantifiedVariables> | ||
283 | <quantifiedVariables name="p1"> | ||
284 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
285 | </quantifiedVariables> | ||
286 | <expression xsi:type="language_1:Not"> | ||
287 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
288 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> | ||
289 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/> | ||
290 | </operand> | ||
291 | </expression> | ||
292 | </value> | ||
293 | </assertions> | ||
294 | <assertions name="errorpattern modes3 queries turnoutOutputsAreSame" annotations="//@annotations.31"> | ||
295 | <value xsi:type="language_1:Forall"> | ||
296 | <quantifiedVariables name="p0"> | ||
297 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
298 | </quantifiedVariables> | ||
299 | <expression xsi:type="language_1:Not"> | ||
300 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> | ||
301 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
302 | </operand> | ||
303 | </expression> | ||
304 | </value> | ||
305 | </assertions> | ||
306 | <assertions name="errorpattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@annotations.32"> | ||
307 | <value xsi:type="language_1:Forall"> | ||
308 | <quantifiedVariables name="p0"> | ||
309 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
310 | </quantifiedVariables> | ||
311 | <expression xsi:type="language_1:Not"> | ||
312 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
313 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> | ||
314 | </operand> | ||
315 | </expression> | ||
316 | </value> | ||
317 | </assertions> | ||
318 | <assertions name="errorpattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@annotations.33"> | ||
319 | <value xsi:type="language_1:Forall"> | ||
320 | <quantifiedVariables name="p0"> | ||
321 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
322 | </quantifiedVariables> | ||
323 | <expression xsi:type="language_1:Not"> | ||
324 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
325 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
326 | </operand> | ||
327 | </expression> | ||
328 | </value> | ||
329 | </assertions> | ||
330 | <assertions name="errorpattern modes3 queries connectedToReflexive" annotations="//@annotations.34"> | ||
331 | <value xsi:type="language_1:Forall"> | ||
332 | <quantifiedVariables name="p0"> | ||
333 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
334 | </quantifiedVariables> | ||
335 | <expression xsi:type="language_1:Not"> | ||
336 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
337 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
338 | </operand> | ||
339 | </expression> | ||
340 | </value> | ||
341 | </assertions> | ||
342 | <assertions name="errorpattern modes3 queries outputReflexive" annotations="//@annotations.35"> | ||
343 | <value xsi:type="language_1:Forall"> | ||
344 | <quantifiedVariables name="p0"> | ||
345 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
346 | </quantifiedVariables> | ||
347 | <expression xsi:type="language_1:Not"> | ||
348 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
349 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> | ||
350 | </operand> | ||
351 | </expression> | ||
352 | </value> | ||
353 | </assertions> | ||
354 | <assertions name="errorpattern modes3 queries tooManyInputsOfSegment" annotations="//@annotations.36"> | ||
355 | <value xsi:type="language_1:Forall"> | ||
356 | <quantifiedVariables name="p0"> | ||
357 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
358 | </quantifiedVariables> | ||
359 | <expression xsi:type="language_1:Not"> | ||
360 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | ||
361 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
362 | </operand> | ||
363 | </expression> | ||
364 | </value> | ||
365 | </assertions> | ||
366 | <assertions name="errorpattern modes3 queries noExtraInputOfTurnout" annotations="//@annotations.37"> | ||
367 | <value xsi:type="language_1:Forall"> | ||
368 | <quantifiedVariables name="p0"> | ||
369 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
370 | </quantifiedVariables> | ||
371 | <expression xsi:type="language_1:Not"> | ||
372 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> | ||
373 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> | ||
374 | </operand> | ||
375 | </expression> | ||
376 | </value> | ||
377 | </assertions> | ||
378 | <assertions name="errorpattern modes3 queries turnoutNotConnectedToOutput" annotations="//@annotations.38"> | ||
379 | <value xsi:type="language_1:Forall"> | ||
380 | <quantifiedVariables name="p0"> | ||
381 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
382 | </quantifiedVariables> | ||
383 | <expression xsi:type="language_1:Not"> | ||
384 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | ||
385 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> | ||
386 | </operand> | ||
387 | </expression> | ||
388 | </value> | ||
389 | </assertions> | ||
390 | <assertions name="errorpattern modes3 queries connectedToNotSymmetric" annotations="//@annotations.39"> | ||
391 | <value xsi:type="language_1:Forall"> | ||
392 | <quantifiedVariables name="p0"> | ||
393 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
394 | </quantifiedVariables> | ||
395 | <quantifiedVariables name="p1"> | ||
396 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
397 | </quantifiedVariables> | ||
398 | <expression xsi:type="language_1:Not"> | ||
399 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | ||
400 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> | ||
401 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/> | ||
402 | </operand> | ||
403 | </expression> | ||
404 | </value> | ||
405 | </assertions> | ||
406 | <assertions name="errorpattern modes3 queries noInputOfSegment" annotations="//@annotations.40"> | ||
407 | <value xsi:type="language_1:Forall"> | ||
408 | <quantifiedVariables name="p0"> | ||
409 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
410 | </quantifiedVariables> | ||
411 | <expression xsi:type="language_1:Not"> | ||
412 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> | ||
413 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> | ||
414 | </operand> | ||
415 | </expression> | ||
416 | </value> | ||
417 | </assertions> | ||
418 | <relations xsi:type="language_1:RelationDeclaration" name="connectedTo reference Segment"> | ||
419 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
420 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
421 | </relations> | ||
422 | <relations xsi:type="language_1:RelationDeclaration" name="occupiedBy reference Segment"> | ||
423 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
424 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
425 | </relations> | ||
426 | <relations xsi:type="language_1:RelationDeclaration" name="trains reference Modes3ModelRoot"> | ||
427 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
428 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
429 | </relations> | ||
430 | <relations xsi:type="language_1:RelationDeclaration" name="segments reference Modes3ModelRoot"> | ||
431 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
432 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
433 | </relations> | ||
434 | <relations xsi:type="language_1:RelationDeclaration" name="turnouts reference Modes3ModelRoot"> | ||
435 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
436 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
437 | </relations> | ||
438 | <relations xsi:type="language_1:RelationDeclaration" name="straight reference Turnout"> | ||
439 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
440 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
441 | </relations> | ||
442 | <relations xsi:type="language_1:RelationDeclaration" name="divergent reference Turnout"> | ||
443 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
444 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
445 | </relations> | ||
446 | <relations xsi:type="language_1:RelationDeclaration" name="location reference Train"> | ||
447 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
448 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
449 | </relations> | ||
450 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnoutInSegments" annotations="//@annotations.10"> | ||
451 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
452 | <variables name="parameter T"> | ||
453 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
454 | </variables> | ||
455 | <value xsi:type="language_1:Or"> | ||
456 | <operands xsi:type="language_1:Exists"> | ||
457 | <quantifiedVariables name="variable 0"> | ||
458 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
459 | </quantifiedVariables> | ||
460 | <expression xsi:type="language_1:And"> | ||
461 | <operands xsi:type="language_1:InstanceOf"> | ||
462 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
463 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
464 | </operands> | ||
465 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
466 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
467 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | ||
468 | </operands> | ||
469 | </expression> | ||
470 | </operands> | ||
471 | </value> | ||
472 | </relations> | ||
473 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries unreachable" annotations="//@annotations.11"> | ||
474 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
475 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
476 | <variables name="parameter S1"> | ||
477 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
478 | </variables> | ||
479 | <variables name="parameter S2"> | ||
480 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
481 | </variables> | ||
482 | <value xsi:type="language_1:Or"> | ||
483 | <operands xsi:type="language_1:And"> | ||
484 | <operands xsi:type="language_1:InstanceOf"> | ||
485 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> | ||
486 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
487 | </operands> | ||
488 | <operands xsi:type="language_1:InstanceOf"> | ||
489 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.1"/> | ||
490 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
491 | </operands> | ||
492 | <operands xsi:type="language_1:Not"> | ||
493 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> | ||
494 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.0"/> | ||
495 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9/@variables.1"/> | ||
496 | </operand> | ||
497 | </operands> | ||
498 | </operands> | ||
499 | </value> | ||
500 | </relations> | ||
501 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnout" annotations="//@annotations.12"> | ||
502 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
503 | <variables name="parameter T"> | ||
504 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
505 | </variables> | ||
506 | <value xsi:type="language_1:Or"> | ||
507 | <operands xsi:type="language_1:And"> | ||
508 | <operands xsi:type="language_1:InstanceOf"> | ||
509 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10/@variables.0"/> | ||
510 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
511 | </operands> | ||
512 | </operands> | ||
513 | </value> | ||
514 | </relations> | ||
515 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnoutOutputsAreSame" annotations="//@annotations.13"> | ||
516 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
517 | <variables name="parameter T"> | ||
518 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
519 | </variables> | ||
520 | <value xsi:type="language_1:Or"> | ||
521 | <operands xsi:type="language_1:Exists"> | ||
522 | <quantifiedVariables name="variable S"> | ||
523 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
524 | </quantifiedVariables> | ||
525 | <expression xsi:type="language_1:And"> | ||
526 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
527 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> | ||
528 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> | ||
529 | </operands> | ||
530 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
531 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@variables.0"/> | ||
532 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> | ||
533 | </operands> | ||
534 | <operands xsi:type="language_1:InstanceOf"> | ||
535 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> | ||
536 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
537 | </operands> | ||
538 | </expression> | ||
539 | </operands> | ||
540 | </value> | ||
541 | </relations> | ||
542 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries extraInputOfTurnout" annotations="//@annotations.14"> | ||
543 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
544 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
545 | <variables name="parameter T"> | ||
546 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
547 | </variables> | ||
548 | <variables name="parameter S"> | ||
549 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
550 | </variables> | ||
551 | <value xsi:type="language_1:Or"> | ||
552 | <operands xsi:type="language_1:Exists"> | ||
553 | <quantifiedVariables name="variable Straight"> | ||
554 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
555 | </quantifiedVariables> | ||
556 | <quantifiedVariables name="variable Divergent"> | ||
557 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
558 | </quantifiedVariables> | ||
559 | <expression xsi:type="language_1:And"> | ||
560 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
561 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> | ||
562 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
563 | </operands> | ||
564 | <operands xsi:type="language_1:InstanceOf"> | ||
565 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
566 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
567 | </operands> | ||
568 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
569 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> | ||
570 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> | ||
571 | </operands> | ||
572 | <operands xsi:type="language_1:InstanceOf"> | ||
573 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> | ||
574 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
575 | </operands> | ||
576 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
577 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/> | ||
578 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.0"/> | ||
579 | </operands> | ||
580 | <operands xsi:type="language_1:Distinct"> | ||
581 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/> | ||
582 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
583 | </operands> | ||
584 | <operands xsi:type="language_1:Distinct"> | ||
585 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@variables.1"/> | ||
586 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> | ||
587 | </operands> | ||
588 | </expression> | ||
589 | </operands> | ||
590 | </value> | ||
591 | </relations> | ||
592 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@annotations.15"> | ||
593 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
594 | <variables name="parameter T"> | ||
595 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
596 | </variables> | ||
597 | <value xsi:type="language_1:Or"> | ||
598 | <operands xsi:type="language_1:Exists"> | ||
599 | <quantifiedVariables name="variable Straight"> | ||
600 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
601 | </quantifiedVariables> | ||
602 | <quantifiedVariables name="variable Divergent"> | ||
603 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
604 | </quantifiedVariables> | ||
605 | <expression xsi:type="language_1:And"> | ||
606 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
607 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> | ||
608 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
609 | </operands> | ||
610 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
611 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> | ||
612 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
613 | </operands> | ||
614 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
615 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> | ||
616 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
617 | </operands> | ||
618 | <operands xsi:type="language_1:InstanceOf"> | ||
619 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
620 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
621 | </operands> | ||
622 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
623 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@variables.0"/> | ||
624 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
625 | </operands> | ||
626 | <operands xsi:type="language_1:InstanceOf"> | ||
627 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
628 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
629 | </operands> | ||
630 | </expression> | ||
631 | </operands> | ||
632 | </value> | ||
633 | </relations> | ||
634 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@annotations.16"> | ||
635 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
636 | <variables name="parameter T"> | ||
637 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
638 | </variables> | ||
639 | <value xsi:type="language_1:Or"> | ||
640 | <operands xsi:type="language_1:Exists"> | ||
641 | <quantifiedVariables name="variable I1"> | ||
642 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
643 | </quantifiedVariables> | ||
644 | <quantifiedVariables name="variable I2"> | ||
645 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
646 | </quantifiedVariables> | ||
647 | <expression xsi:type="language_1:And"> | ||
648 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
649 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> | ||
650 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/> | ||
651 | </operands> | ||
652 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
653 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@variables.0"/> | ||
654 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> | ||
655 | </operands> | ||
656 | <operands xsi:type="language_1:Distinct"> | ||
657 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/> | ||
658 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> | ||
659 | </operands> | ||
660 | </expression> | ||
661 | </operands> | ||
662 | </value> | ||
663 | </relations> | ||
664 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries connectedToReflexive" annotations="//@annotations.17"> | ||
665 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
666 | <variables name="parameter S"> | ||
667 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
668 | </variables> | ||
669 | <value xsi:type="language_1:Or"> | ||
670 | <operands xsi:type="language_1:And"> | ||
671 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
672 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> | ||
673 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/> | ||
674 | </operands> | ||
675 | </operands> | ||
676 | </value> | ||
677 | </relations> | ||
678 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnoutOutput" annotations="//@annotations.18"> | ||
679 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
680 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
681 | <variables name="parameter T"> | ||
682 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
683 | </variables> | ||
684 | <variables name="parameter S"> | ||
685 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
686 | </variables> | ||
687 | <value xsi:type="language_1:Or"> | ||
688 | <operands xsi:type="language_1:And"> | ||
689 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
690 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> | ||
691 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
692 | </operands> | ||
693 | <operands xsi:type="language_1:InstanceOf"> | ||
694 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
695 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
696 | </operands> | ||
697 | </operands> | ||
698 | <operands xsi:type="language_1:And"> | ||
699 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
700 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/> | ||
701 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
702 | </operands> | ||
703 | <operands xsi:type="language_1:InstanceOf"> | ||
704 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/> | ||
705 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
706 | </operands> | ||
707 | </operands> | ||
708 | </value> | ||
709 | </relations> | ||
710 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries connectedTo" annotations="//@annotations.19"> | ||
711 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
712 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
713 | <variables name="parameter S1"> | ||
714 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
715 | </variables> | ||
716 | <variables name="parameter S2"> | ||
717 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
718 | </variables> | ||
719 | <value xsi:type="language_1:Or"> | ||
720 | <operands xsi:type="language_1:And"> | ||
721 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
722 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/> | ||
723 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
724 | </operands> | ||
725 | <operands xsi:type="language_1:InstanceOf"> | ||
726 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/> | ||
727 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
728 | </operands> | ||
729 | </operands> | ||
730 | </value> | ||
731 | </relations> | ||
732 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries outputReflexive" annotations="//@annotations.20"> | ||
733 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
734 | <variables name="parameter T"> | ||
735 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
736 | </variables> | ||
737 | <value xsi:type="language_1:Or"> | ||
738 | <operands xsi:type="language_1:And"> | ||
739 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | ||
740 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> | ||
741 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/> | ||
742 | </operands> | ||
743 | </operands> | ||
744 | </value> | ||
745 | </relations> | ||
746 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries tooManyInputsOfSegment" annotations="//@annotations.21"> | ||
747 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
748 | <variables name="parameter S"> | ||
749 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
750 | </variables> | ||
751 | <value xsi:type="language_1:Or"> | ||
752 | <operands xsi:type="language_1:Exists"> | ||
753 | <quantifiedVariables name="variable I1"> | ||
754 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
755 | </quantifiedVariables> | ||
756 | <quantifiedVariables name="variable I2"> | ||
757 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
758 | </quantifiedVariables> | ||
759 | <quantifiedVariables name="variable I3"> | ||
760 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
761 | </quantifiedVariables> | ||
762 | <expression xsi:type="language_1:And"> | ||
763 | <operands xsi:type="language_1:Not"> | ||
764 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
765 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
766 | </operand> | ||
767 | </operands> | ||
768 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
769 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
770 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
771 | </operands> | ||
772 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
773 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
774 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
775 | </operands> | ||
776 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
777 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
778 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
779 | </operands> | ||
780 | <operands xsi:type="language_1:Distinct"> | ||
781 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
782 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
783 | </operands> | ||
784 | <operands xsi:type="language_1:Distinct"> | ||
785 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
786 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
787 | </operands> | ||
788 | <operands xsi:type="language_1:Distinct"> | ||
789 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
790 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
791 | </operands> | ||
792 | </expression> | ||
793 | </operands> | ||
794 | </value> | ||
795 | </relations> | ||
796 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries noExtraInputOfTurnout" annotations="//@annotations.22"> | ||
797 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
798 | <variables name="parameter T"> | ||
799 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
800 | </variables> | ||
801 | <value xsi:type="language_1:Or"> | ||
802 | <operands xsi:type="language_1:Forall"> | ||
803 | <quantifiedVariables name="variable 0"> | ||
804 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
805 | </quantifiedVariables> | ||
806 | <expression xsi:type="language_1:And"> | ||
807 | <operands xsi:type="language_1:InstanceOf"> | ||
808 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
809 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
810 | </operands> | ||
811 | <operands xsi:type="language_1:Not"> | ||
812 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
813 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
814 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
815 | </operand> | ||
816 | </operands> | ||
817 | </expression> | ||
818 | </operands> | ||
819 | </value> | ||
820 | </relations> | ||
821 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries reachable" annotations="//@annotations.23"> | ||
822 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
823 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
824 | <variables name="parameter S1"> | ||
825 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
826 | </variables> | ||
827 | <variables name="parameter S2"> | ||
828 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
829 | </variables> | ||
830 | <value xsi:type="language_1:Or"> | ||
831 | <operands xsi:type="language_1:And"> | ||
832 | <operands xsi:type="language_1:InstanceOf"> | ||
833 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
834 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
835 | </operands> | ||
836 | </operands> | ||
837 | <operands xsi:type="language_1:And"> | ||
838 | <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.23"> | ||
839 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> | ||
840 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
841 | </operands> | ||
842 | </operands> | ||
843 | </value> | ||
844 | </relations> | ||
845 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries turnoutNotConnectedToOutput" annotations="//@annotations.24"> | ||
846 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
847 | <variables name="parameter T"> | ||
848 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
849 | </variables> | ||
850 | <value xsi:type="language_1:Or"> | ||
851 | <operands xsi:type="language_1:Exists"> | ||
852 | <quantifiedVariables name="variable Straight"> | ||
853 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
854 | </quantifiedVariables> | ||
855 | <quantifiedVariables name="variable Divergent"> | ||
856 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
857 | </quantifiedVariables> | ||
858 | <expression xsi:type="language_1:And"> | ||
859 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
860 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
861 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
862 | </operands> | ||
863 | <operands xsi:type="language_1:InstanceOf"> | ||
864 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
865 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
866 | </operands> | ||
867 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
868 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
869 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
870 | </operands> | ||
871 | <operands xsi:type="language_1:InstanceOf"> | ||
872 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
873 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
874 | </operands> | ||
875 | <operands xsi:type="language_1:Not"> | ||
876 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
877 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
878 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
879 | </operand> | ||
880 | </operands> | ||
881 | <operands xsi:type="language_1:Not"> | ||
882 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
883 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
884 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
885 | </operand> | ||
886 | </operands> | ||
887 | </expression> | ||
888 | </operands> | ||
889 | </value> | ||
890 | </relations> | ||
891 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries adjacent" annotations="//@annotations.25"> | ||
892 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
893 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
894 | <variables name="parameter S1"> | ||
895 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
896 | </variables> | ||
897 | <variables name="parameter S2"> | ||
898 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
899 | </variables> | ||
900 | <value xsi:type="language_1:Or"> | ||
901 | <operands xsi:type="language_1:And"> | ||
902 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
903 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> | ||
904 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/> | ||
905 | </operands> | ||
906 | </operands> | ||
907 | <operands xsi:type="language_1:And"> | ||
908 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | ||
909 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/> | ||
910 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> | ||
911 | </operands> | ||
912 | </operands> | ||
913 | </value> | ||
914 | </relations> | ||
915 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries connectedToNotSymmetric" annotations="//@annotations.26"> | ||
916 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
917 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
918 | <variables name="parameter S1"> | ||
919 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
920 | </variables> | ||
921 | <variables name="parameter S2"> | ||
922 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
923 | </variables> | ||
924 | <value xsi:type="language_1:Or"> | ||
925 | <operands xsi:type="language_1:And"> | ||
926 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
927 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> | ||
928 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/> | ||
929 | </operands> | ||
930 | <operands xsi:type="language_1:InstanceOf"> | ||
931 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/> | ||
932 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
933 | </operands> | ||
934 | <operands xsi:type="language_1:Not"> | ||
935 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
936 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/> | ||
937 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> | ||
938 | </operand> | ||
939 | </operands> | ||
940 | </operands> | ||
941 | </value> | ||
942 | </relations> | ||
943 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries output" annotations="//@annotations.27"> | ||
944 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
945 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
946 | <variables name="parameter S1"> | ||
947 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
948 | </variables> | ||
949 | <variables name="parameter S2"> | ||
950 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
951 | </variables> | ||
952 | <value xsi:type="language_1:Or"> | ||
953 | <operands xsi:type="language_1:And"> | ||
954 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
955 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> | ||
956 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.1"/> | ||
957 | </operands> | ||
958 | <operands xsi:type="language_1:InstanceOf"> | ||
959 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.1"/> | ||
960 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
961 | </operands> | ||
962 | </operands> | ||
963 | <operands xsi:type="language_1:And"> | ||
964 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | ||
965 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> | ||
966 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.1"/> | ||
967 | </operands> | ||
968 | </operands> | ||
969 | </value> | ||
970 | </relations> | ||
971 | <relations xsi:type="language_1:RelationDefinition" name="pattern modes3 queries noInputOfSegment" annotations="//@annotations.28"> | ||
972 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
973 | <variables name="parameter S"> | ||
974 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
975 | </variables> | ||
976 | <value xsi:type="language_1:Or"> | ||
977 | <operands xsi:type="language_1:Forall"> | ||
978 | <quantifiedVariables name="variable 0"> | ||
979 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
980 | </quantifiedVariables> | ||
981 | <expression xsi:type="language_1:And"> | ||
982 | <operands xsi:type="language_1:InstanceOf"> | ||
983 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
984 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
985 | </operands> | ||
986 | <operands xsi:type="language_1:Not"> | ||
987 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
988 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
989 | </operand> | ||
990 | </operands> | ||
991 | <operands xsi:type="language_1:Not"> | ||
992 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
993 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> | ||
994 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
995 | </operand> | ||
996 | </operands> | ||
997 | </expression> | ||
998 | </operands> | ||
999 | </value> | ||
1000 | </relations> | ||
1001 | <elements name="o 1" definedInType="//@types.4"/> | ||
1002 | <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.2 //@types.3 //@types.1 //@types.4 //@types.5" containmentRelations="//@relations.2 //@relations.3 //@relations.4"/> | ||
1003 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" upper="2"/> | ||
1004 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.1" upper="1"/> | ||
1005 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.2" relation="//@relations.5" lower="1"/> | ||
1006 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.5" upper="1"/> | ||
1007 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.4" relation="//@relations.6" lower="1"/> | ||
1008 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.6" upper="1"/> | ||
1009 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.6" relation="//@relations.7" lower="1"/> | ||
1010 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.7" upper="1"/> | ||
1011 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.8" inverseA="//@relations.1" inverseB="//@relations.7"/> | ||
1012 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.9" inverseA="//@relations.0" inverseB="//@relations.0"/> | ||
1013 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="modes3.queries.turnoutInSegments"> | ||
1014 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
1015 | </annotations> | ||
1016 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.9" patternFullyQualifiedName="modes3.queries.unreachable"/> | ||
1017 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.10" patternFullyQualifiedName="modes3.queries.turnout"/> | ||
1018 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.11" patternFullyQualifiedName="modes3.queries.turnoutOutputsAreSame"> | ||
1019 | <variableTrace targetLogicVariable="//@relations.11/@value/@operands.0/@quantifiedVariables.0"/> | ||
1020 | </annotations> | ||
1021 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.12" patternFullyQualifiedName="modes3.queries.extraInputOfTurnout"> | ||
1022 | <variableTrace targetLogicVariable="//@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
1023 | <variableTrace targetLogicVariable="//@relations.12/@value/@operands.0/@quantifiedVariables.1"/> | ||
1024 | </annotations> | ||
1025 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.13" patternFullyQualifiedName="modes3.queries.turnoutConnectedToBothOutputs"> | ||
1026 | <variableTrace targetLogicVariable="//@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
1027 | <variableTrace targetLogicVariable="//@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
1028 | </annotations> | ||
1029 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.14" patternFullyQualifiedName="modes3.queries.tooManyExtraInputsOfTurnout"> | ||
1030 | <variableTrace targetLogicVariable="//@relations.14/@value/@operands.0/@quantifiedVariables.0"/> | ||
1031 | <variableTrace targetLogicVariable="//@relations.14/@value/@operands.0/@quantifiedVariables.1"/> | ||
1032 | </annotations> | ||
1033 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="modes3.queries.connectedToReflexive"/> | ||
1034 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="modes3.queries.turnoutOutput"/> | ||
1035 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="modes3.queries.connectedTo"/> | ||
1036 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="modes3.queries.outputReflexive"/> | ||
1037 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="modes3.queries.tooManyInputsOfSegment"> | ||
1038 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/> | ||
1039 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.1"/> | ||
1040 | <variableTrace targetLogicVariable="//@relations.19/@value/@operands.0/@quantifiedVariables.2"/> | ||
1041 | </annotations> | ||
1042 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="modes3.queries.noExtraInputOfTurnout"> | ||
1043 | <variableTrace targetLogicVariable="//@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
1044 | </annotations> | ||
1045 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="modes3.queries.reachable"/> | ||
1046 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="modes3.queries.turnoutNotConnectedToOutput"> | ||
1047 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1048 | <variableTrace targetLogicVariable="//@relations.22/@value/@operands.0/@quantifiedVariables.1"/> | ||
1049 | </annotations> | ||
1050 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="modes3.queries.adjacent"/> | ||
1051 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="modes3.queries.connectedToNotSymmetric"/> | ||
1052 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="modes3.queries.output"/> | ||
1053 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="modes3.queries.noInputOfSegment"> | ||
1054 | <variableTrace targetLogicVariable="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> | ||
1055 | </annotations> | ||
1056 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.10" query="//@annotations.10"/> | ||
1057 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.11" query="//@annotations.11"/> | ||
1058 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.12" query="//@annotations.13"/> | ||
1059 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.13" query="//@annotations.15"/> | ||
1060 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.14" query="//@annotations.16"/> | ||
1061 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.15" query="//@annotations.17"/> | ||
1062 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.16" query="//@annotations.20"/> | ||
1063 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.17" query="//@annotations.21"/> | ||
1064 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.18" query="//@annotations.22"/> | ||
1065 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.24"/> | ||
1066 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.20" query="//@annotations.26"/> | ||
1067 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.21" query="//@annotations.28"/> | ||
1068 | </language:LogicProblem> | ||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml deleted file mode 100644 index 66b57d1a..00000000 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml +++ /dev/null | |||
@@ -1,1191 +0,0 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 269.5 | ||
9 | h 54 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "o 1" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | Modes3ModelRoot class DefinedPart | ||
30 | Modes3ModelRoot class | ||
31 | " | ||
32 | fontSize 14 | ||
33 | fontName "Consolas" | ||
34 | alignment "left" | ||
35 | anchor "tl" | ||
36 | borderDistance 6 | ||
37 | ] | ||
38 | ] | ||
39 | |||
40 | node | ||
41 | [ | ||
42 | id 1 | ||
43 | graphics | ||
44 | [ | ||
45 | w 41.800000000000004 | ||
46 | h 26 | ||
47 | type "rectangle" | ||
48 | fill "#FFFFFF" | ||
49 | fill2 "#FFFFFF" | ||
50 | outline "#000000" | ||
51 | ] | ||
52 | LabelGraphics | ||
53 | [ | ||
54 | text "true" | ||
55 | outline "#000000" | ||
56 | fill "#FFFFFF" | ||
57 | fontSize 16 | ||
58 | fontName "Monospace" | ||
59 | autoSizePolicy "node_width" | ||
60 | anchor "t" | ||
61 | borderDistance 0.0 | ||
62 | ] | ||
63 | LabelGraphics | ||
64 | [ | ||
65 | text " | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 50.6 | ||
81 | h 26 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "false" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | " | ||
102 | fontSize 14 | ||
103 | fontName "Consolas" | ||
104 | alignment "left" | ||
105 | anchor "tl" | ||
106 | borderDistance 6 | ||
107 | ] | ||
108 | ] | ||
109 | |||
110 | node | ||
111 | [ | ||
112 | id 3 | ||
113 | graphics | ||
114 | [ | ||
115 | w 115.50000000000001 | ||
116 | h 54 | ||
117 | type "rectangle" | ||
118 | fill "#FFFFFF" | ||
119 | fill2 "#FFFFFF" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "null" | ||
125 | outline "#000000" | ||
126 | fill "#FFFFFF" | ||
127 | fontSize 16 | ||
128 | fontName "Monospace" | ||
129 | autoSizePolicy "node_width" | ||
130 | anchor "t" | ||
131 | borderDistance 0.0 | ||
132 | ] | ||
133 | LabelGraphics | ||
134 | [ | ||
135 | text " | ||
136 | Segment class | ||
137 | Turnout class | ||
138 | " | ||
139 | fontSize 14 | ||
140 | fontName "Consolas" | ||
141 | alignment "left" | ||
142 | anchor "tl" | ||
143 | borderDistance 6 | ||
144 | ] | ||
145 | ] | ||
146 | |||
147 | node | ||
148 | [ | ||
149 | id 4 | ||
150 | graphics | ||
151 | [ | ||
152 | w 100.10000000000001 | ||
153 | h 40 | ||
154 | type "rectangle" | ||
155 | fill "#FFFFFF" | ||
156 | fill2 "#FFFFFF" | ||
157 | outline "#000000" | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "null" | ||
162 | outline "#000000" | ||
163 | fill "#FFFFFF" | ||
164 | fontSize 16 | ||
165 | fontName "Monospace" | ||
166 | autoSizePolicy "node_width" | ||
167 | anchor "t" | ||
168 | borderDistance 0.0 | ||
169 | ] | ||
170 | LabelGraphics | ||
171 | [ | ||
172 | text " | ||
173 | Train class | ||
174 | " | ||
175 | fontSize 14 | ||
176 | fontName "Consolas" | ||
177 | alignment "left" | ||
178 | anchor "tl" | ||
179 | borderDistance 6 | ||
180 | ] | ||
181 | ] | ||
182 | |||
183 | node | ||
184 | [ | ||
185 | id 5 | ||
186 | graphics | ||
187 | [ | ||
188 | w 115.50000000000001 | ||
189 | h 40 | ||
190 | type "rectangle" | ||
191 | fill "#FFFFFF" | ||
192 | fill2 "#FFFFFF" | ||
193 | outline "#000000" | ||
194 | ] | ||
195 | LabelGraphics | ||
196 | [ | ||
197 | text "null" | ||
198 | outline "#000000" | ||
199 | fill "#FFFFFF" | ||
200 | fontSize 16 | ||
201 | fontName "Monospace" | ||
202 | autoSizePolicy "node_width" | ||
203 | anchor "t" | ||
204 | borderDistance 0.0 | ||
205 | ] | ||
206 | LabelGraphics | ||
207 | [ | ||
208 | text " | ||
209 | Segment class | ||
210 | " | ||
211 | fontSize 14 | ||
212 | fontName "Consolas" | ||
213 | alignment "left" | ||
214 | anchor "tl" | ||
215 | borderDistance 6 | ||
216 | ] | ||
217 | ] | ||
218 | |||
219 | node | ||
220 | [ | ||
221 | id 6 | ||
222 | graphics | ||
223 | [ | ||
224 | w 100.10000000000001 | ||
225 | h 40 | ||
226 | type "rectangle" | ||
227 | fill "#FFFFFF" | ||
228 | fill2 "#FFFFFF" | ||
229 | outline "#000000" | ||
230 | ] | ||
231 | LabelGraphics | ||
232 | [ | ||
233 | text "null" | ||
234 | outline "#000000" | ||
235 | fill "#FFFFFF" | ||
236 | fontSize 16 | ||
237 | fontName "Monospace" | ||
238 | autoSizePolicy "node_width" | ||
239 | anchor "t" | ||
240 | borderDistance 0.0 | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text " | ||
245 | Train class | ||
246 | " | ||
247 | fontSize 14 | ||
248 | fontName "Consolas" | ||
249 | alignment "left" | ||
250 | anchor "tl" | ||
251 | borderDistance 6 | ||
252 | ] | ||
253 | ] | ||
254 | |||
255 | node | ||
256 | [ | ||
257 | id 7 | ||
258 | graphics | ||
259 | [ | ||
260 | w 115.50000000000001 | ||
261 | h 40 | ||
262 | type "rectangle" | ||
263 | fill "#FFFFFF" | ||
264 | fill2 "#FFFFFF" | ||
265 | outline "#000000" | ||
266 | ] | ||
267 | LabelGraphics | ||
268 | [ | ||
269 | text "null" | ||
270 | outline "#000000" | ||
271 | fill "#FFFFFF" | ||
272 | fontSize 16 | ||
273 | fontName "Monospace" | ||
274 | autoSizePolicy "node_width" | ||
275 | anchor "t" | ||
276 | borderDistance 0.0 | ||
277 | ] | ||
278 | LabelGraphics | ||
279 | [ | ||
280 | text " | ||
281 | Segment class | ||
282 | " | ||
283 | fontSize 14 | ||
284 | fontName "Consolas" | ||
285 | alignment "left" | ||
286 | anchor "tl" | ||
287 | borderDistance 6 | ||
288 | ] | ||
289 | ] | ||
290 | |||
291 | node | ||
292 | [ | ||
293 | id 8 | ||
294 | graphics | ||
295 | [ | ||
296 | w 100.10000000000001 | ||
297 | h 40 | ||
298 | type "rectangle" | ||
299 | fill "#FFFFFF" | ||
300 | fill2 "#FFFFFF" | ||
301 | outline "#000000" | ||
302 | ] | ||
303 | LabelGraphics | ||
304 | [ | ||
305 | text "null" | ||
306 | outline "#000000" | ||
307 | fill "#FFFFFF" | ||
308 | fontSize 16 | ||
309 | fontName "Monospace" | ||
310 | autoSizePolicy "node_width" | ||
311 | anchor "t" | ||
312 | borderDistance 0.0 | ||
313 | ] | ||
314 | LabelGraphics | ||
315 | [ | ||
316 | text " | ||
317 | Train class | ||
318 | " | ||
319 | fontSize 14 | ||
320 | fontName "Consolas" | ||
321 | alignment "left" | ||
322 | anchor "tl" | ||
323 | borderDistance 6 | ||
324 | ] | ||
325 | ] | ||
326 | |||
327 | node | ||
328 | [ | ||
329 | id 9 | ||
330 | graphics | ||
331 | [ | ||
332 | w 115.50000000000001 | ||
333 | h 40 | ||
334 | type "rectangle" | ||
335 | fill "#FFFFFF" | ||
336 | fill2 "#FFFFFF" | ||
337 | outline "#000000" | ||
338 | ] | ||
339 | LabelGraphics | ||
340 | [ | ||
341 | text "null" | ||
342 | outline "#000000" | ||
343 | fill "#FFFFFF" | ||
344 | fontSize 16 | ||
345 | fontName "Monospace" | ||
346 | autoSizePolicy "node_width" | ||
347 | anchor "t" | ||
348 | borderDistance 0.0 | ||
349 | ] | ||
350 | LabelGraphics | ||
351 | [ | ||
352 | text " | ||
353 | Segment class | ||
354 | " | ||
355 | fontSize 14 | ||
356 | fontName "Consolas" | ||
357 | alignment "left" | ||
358 | anchor "tl" | ||
359 | borderDistance 6 | ||
360 | ] | ||
361 | ] | ||
362 | |||
363 | node | ||
364 | [ | ||
365 | id 10 | ||
366 | graphics | ||
367 | [ | ||
368 | w 100.10000000000001 | ||
369 | h 40 | ||
370 | type "rectangle" | ||
371 | fill "#FFFFFF" | ||
372 | fill2 "#FFFFFF" | ||
373 | outline "#000000" | ||
374 | ] | ||
375 | LabelGraphics | ||
376 | [ | ||
377 | text "null" | ||
378 | outline "#000000" | ||
379 | fill "#FFFFFF" | ||
380 | fontSize 16 | ||
381 | fontName "Monospace" | ||
382 | autoSizePolicy "node_width" | ||
383 | anchor "t" | ||
384 | borderDistance 0.0 | ||
385 | ] | ||
386 | LabelGraphics | ||
387 | [ | ||
388 | text " | ||
389 | Train class | ||
390 | " | ||
391 | fontSize 14 | ||
392 | fontName "Consolas" | ||
393 | alignment "left" | ||
394 | anchor "tl" | ||
395 | borderDistance 6 | ||
396 | ] | ||
397 | ] | ||
398 | |||
399 | node | ||
400 | [ | ||
401 | id 11 | ||
402 | graphics | ||
403 | [ | ||
404 | w 115.50000000000001 | ||
405 | h 40 | ||
406 | type "rectangle" | ||
407 | fill "#FFFFFF" | ||
408 | fill2 "#FFFFFF" | ||
409 | outline "#000000" | ||
410 | ] | ||
411 | LabelGraphics | ||
412 | [ | ||
413 | text "null" | ||
414 | outline "#000000" | ||
415 | fill "#FFFFFF" | ||
416 | fontSize 16 | ||
417 | fontName "Monospace" | ||
418 | autoSizePolicy "node_width" | ||
419 | anchor "t" | ||
420 | borderDistance 0.0 | ||
421 | ] | ||
422 | LabelGraphics | ||
423 | [ | ||
424 | text " | ||
425 | Segment class | ||
426 | " | ||
427 | fontSize 14 | ||
428 | fontName "Consolas" | ||
429 | alignment "left" | ||
430 | anchor "tl" | ||
431 | borderDistance 6 | ||
432 | ] | ||
433 | ] | ||
434 | |||
435 | node | ||
436 | [ | ||
437 | id 12 | ||
438 | graphics | ||
439 | [ | ||
440 | w 100.10000000000001 | ||
441 | h 40 | ||
442 | type "rectangle" | ||
443 | fill "#FFFFFF" | ||
444 | fill2 "#FFFFFF" | ||
445 | outline "#000000" | ||
446 | ] | ||
447 | LabelGraphics | ||
448 | [ | ||
449 | text "null" | ||
450 | outline "#000000" | ||
451 | fill "#FFFFFF" | ||
452 | fontSize 16 | ||
453 | fontName "Monospace" | ||
454 | autoSizePolicy "node_width" | ||
455 | anchor "t" | ||
456 | borderDistance 0.0 | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text " | ||
461 | Train class | ||
462 | " | ||
463 | fontSize 14 | ||
464 | fontName "Consolas" | ||
465 | alignment "left" | ||
466 | anchor "tl" | ||
467 | borderDistance 6 | ||
468 | ] | ||
469 | ] | ||
470 | |||
471 | node | ||
472 | [ | ||
473 | id 13 | ||
474 | graphics | ||
475 | [ | ||
476 | w 15.400000000000002 | ||
477 | h 26 | ||
478 | type "rectangle" | ||
479 | fill "#FFFFFF" | ||
480 | fill2 "#FFFFFF" | ||
481 | outline "#000000" | ||
482 | ] | ||
483 | LabelGraphics | ||
484 | [ | ||
485 | text "?" | ||
486 | outline "#000000" | ||
487 | fill "#FFFFFF" | ||
488 | fontSize 16 | ||
489 | fontName "Monospace" | ||
490 | autoSizePolicy "node_width" | ||
491 | anchor "t" | ||
492 | borderDistance 0.0 | ||
493 | ] | ||
494 | LabelGraphics | ||
495 | [ | ||
496 | text " | ||
497 | " | ||
498 | fontSize 14 | ||
499 | fontName "Consolas" | ||
500 | alignment "left" | ||
501 | anchor "tl" | ||
502 | borderDistance 6 | ||
503 | ] | ||
504 | ] | ||
505 | |||
506 | node | ||
507 | [ | ||
508 | id 14 | ||
509 | graphics | ||
510 | [ | ||
511 | w 15.400000000000002 | ||
512 | h 26 | ||
513 | type "rectangle" | ||
514 | fill "#FFFFFF" | ||
515 | fill2 "#FFFFFF" | ||
516 | outline "#000000" | ||
517 | ] | ||
518 | LabelGraphics | ||
519 | [ | ||
520 | text "?" | ||
521 | outline "#000000" | ||
522 | fill "#FFFFFF" | ||
523 | fontSize 16 | ||
524 | fontName "Monospace" | ||
525 | autoSizePolicy "node_width" | ||
526 | anchor "t" | ||
527 | borderDistance 0.0 | ||
528 | ] | ||
529 | LabelGraphics | ||
530 | [ | ||
531 | text " | ||
532 | " | ||
533 | fontSize 14 | ||
534 | fontName "Consolas" | ||
535 | alignment "left" | ||
536 | anchor "tl" | ||
537 | borderDistance 6 | ||
538 | ] | ||
539 | ] | ||
540 | |||
541 | node | ||
542 | [ | ||
543 | id 15 | ||
544 | graphics | ||
545 | [ | ||
546 | w 15.400000000000002 | ||
547 | h 26 | ||
548 | type "rectangle" | ||
549 | fill "#FFFFFF" | ||
550 | fill2 "#FFFFFF" | ||
551 | outline "#000000" | ||
552 | ] | ||
553 | LabelGraphics | ||
554 | [ | ||
555 | text "?" | ||
556 | outline "#000000" | ||
557 | fill "#FFFFFF" | ||
558 | fontSize 16 | ||
559 | fontName "Monospace" | ||
560 | autoSizePolicy "node_width" | ||
561 | anchor "t" | ||
562 | borderDistance 0.0 | ||
563 | ] | ||
564 | LabelGraphics | ||
565 | [ | ||
566 | text " | ||
567 | " | ||
568 | fontSize 14 | ||
569 | fontName "Consolas" | ||
570 | alignment "left" | ||
571 | anchor "tl" | ||
572 | borderDistance 6 | ||
573 | ] | ||
574 | ] | ||
575 | |||
576 | node | ||
577 | [ | ||
578 | id 16 | ||
579 | graphics | ||
580 | [ | ||
581 | w 103.4 | ||
582 | h 26 | ||
583 | type "rectangle" | ||
584 | fill "#FFFFFF" | ||
585 | fill2 "#FFFFFF" | ||
586 | outline "#000000" | ||
587 | ] | ||
588 | LabelGraphics | ||
589 | [ | ||
590 | text "New Objects" | ||
591 | outline "#000000" | ||
592 | fill "#FFFFFF" | ||
593 | fontSize 16 | ||
594 | fontName "Monospace" | ||
595 | autoSizePolicy "node_width" | ||
596 | anchor "t" | ||
597 | borderDistance 0.0 | ||
598 | ] | ||
599 | LabelGraphics | ||
600 | [ | ||
601 | text " | ||
602 | " | ||
603 | fontSize 14 | ||
604 | fontName "Consolas" | ||
605 | alignment "left" | ||
606 | anchor "tl" | ||
607 | borderDistance 6 | ||
608 | ] | ||
609 | ] | ||
610 | edge | ||
611 | [ | ||
612 | source 5 | ||
613 | target 3 | ||
614 | graphics | ||
615 | [ | ||
616 | fill "#000000" | ||
617 | targetArrow "standard" | ||
618 | ] | ||
619 | LabelGraphics | ||
620 | [ | ||
621 | text "connectedTo reference Segment" | ||
622 | fontSize 14 | ||
623 | fontName "Consolas" | ||
624 | configuration "AutoFlippingLabel" | ||
625 | model "six_pos" | ||
626 | position "thead" | ||
627 | ] | ||
628 | ] | ||
629 | edge | ||
630 | [ | ||
631 | source 3 | ||
632 | target 5 | ||
633 | graphics | ||
634 | [ | ||
635 | fill "#000000" | ||
636 | targetArrow "standard" | ||
637 | ] | ||
638 | LabelGraphics | ||
639 | [ | ||
640 | text "connectedTo reference Segment" | ||
641 | fontSize 14 | ||
642 | fontName "Consolas" | ||
643 | configuration "AutoFlippingLabel" | ||
644 | model "six_pos" | ||
645 | position "thead" | ||
646 | ] | ||
647 | ] | ||
648 | edge | ||
649 | [ | ||
650 | source 7 | ||
651 | target 3 | ||
652 | graphics | ||
653 | [ | ||
654 | fill "#000000" | ||
655 | targetArrow "standard" | ||
656 | ] | ||
657 | LabelGraphics | ||
658 | [ | ||
659 | text "connectedTo reference Segment" | ||
660 | fontSize 14 | ||
661 | fontName "Consolas" | ||
662 | configuration "AutoFlippingLabel" | ||
663 | model "six_pos" | ||
664 | position "thead" | ||
665 | ] | ||
666 | ] | ||
667 | edge | ||
668 | [ | ||
669 | source 3 | ||
670 | target 7 | ||
671 | graphics | ||
672 | [ | ||
673 | fill "#000000" | ||
674 | targetArrow "standard" | ||
675 | ] | ||
676 | LabelGraphics | ||
677 | [ | ||
678 | text "connectedTo reference Segment" | ||
679 | fontSize 14 | ||
680 | fontName "Consolas" | ||
681 | configuration "AutoFlippingLabel" | ||
682 | model "six_pos" | ||
683 | position "thead" | ||
684 | ] | ||
685 | ] | ||
686 | edge | ||
687 | [ | ||
688 | source 7 | ||
689 | target 9 | ||
690 | graphics | ||
691 | [ | ||
692 | fill "#000000" | ||
693 | targetArrow "standard" | ||
694 | ] | ||
695 | LabelGraphics | ||
696 | [ | ||
697 | text "connectedTo reference Segment" | ||
698 | fontSize 14 | ||
699 | fontName "Consolas" | ||
700 | configuration "AutoFlippingLabel" | ||
701 | model "six_pos" | ||
702 | position "thead" | ||
703 | ] | ||
704 | ] | ||
705 | edge | ||
706 | [ | ||
707 | source 9 | ||
708 | target 7 | ||
709 | graphics | ||
710 | [ | ||
711 | fill "#000000" | ||
712 | targetArrow "standard" | ||
713 | ] | ||
714 | LabelGraphics | ||
715 | [ | ||
716 | text "connectedTo reference Segment" | ||
717 | fontSize 14 | ||
718 | fontName "Consolas" | ||
719 | configuration "AutoFlippingLabel" | ||
720 | model "six_pos" | ||
721 | position "thead" | ||
722 | ] | ||
723 | ] | ||
724 | edge | ||
725 | [ | ||
726 | source 11 | ||
727 | target 5 | ||
728 | graphics | ||
729 | [ | ||
730 | fill "#000000" | ||
731 | targetArrow "standard" | ||
732 | ] | ||
733 | LabelGraphics | ||
734 | [ | ||
735 | text "connectedTo reference Segment" | ||
736 | fontSize 14 | ||
737 | fontName "Consolas" | ||
738 | configuration "AutoFlippingLabel" | ||
739 | model "six_pos" | ||
740 | position "thead" | ||
741 | ] | ||
742 | ] | ||
743 | edge | ||
744 | [ | ||
745 | source 5 | ||
746 | target 11 | ||
747 | graphics | ||
748 | [ | ||
749 | fill "#000000" | ||
750 | targetArrow "standard" | ||
751 | ] | ||
752 | LabelGraphics | ||
753 | [ | ||
754 | text "connectedTo reference Segment" | ||
755 | fontSize 14 | ||
756 | fontName "Consolas" | ||
757 | configuration "AutoFlippingLabel" | ||
758 | model "six_pos" | ||
759 | position "thead" | ||
760 | ] | ||
761 | ] | ||
762 | edge | ||
763 | [ | ||
764 | source 5 | ||
765 | target 6 | ||
766 | graphics | ||
767 | [ | ||
768 | fill "#000000" | ||
769 | targetArrow "standard" | ||
770 | ] | ||
771 | LabelGraphics | ||
772 | [ | ||
773 | text "occupiedBy reference Segment" | ||
774 | fontSize 14 | ||
775 | fontName "Consolas" | ||
776 | configuration "AutoFlippingLabel" | ||
777 | model "six_pos" | ||
778 | position "thead" | ||
779 | ] | ||
780 | ] | ||
781 | edge | ||
782 | [ | ||
783 | source 3 | ||
784 | target 4 | ||
785 | graphics | ||
786 | [ | ||
787 | fill "#000000" | ||
788 | targetArrow "standard" | ||
789 | ] | ||
790 | LabelGraphics | ||
791 | [ | ||
792 | text "occupiedBy reference Segment" | ||
793 | fontSize 14 | ||
794 | fontName "Consolas" | ||
795 | configuration "AutoFlippingLabel" | ||
796 | model "six_pos" | ||
797 | position "thead" | ||
798 | ] | ||
799 | ] | ||
800 | edge | ||
801 | [ | ||
802 | source 7 | ||
803 | target 8 | ||
804 | graphics | ||
805 | [ | ||
806 | fill "#000000" | ||
807 | targetArrow "standard" | ||
808 | ] | ||
809 | LabelGraphics | ||
810 | [ | ||
811 | text "occupiedBy reference Segment" | ||
812 | fontSize 14 | ||
813 | fontName "Consolas" | ||
814 | configuration "AutoFlippingLabel" | ||
815 | model "six_pos" | ||
816 | position "thead" | ||
817 | ] | ||
818 | ] | ||
819 | edge | ||
820 | [ | ||
821 | source 9 | ||
822 | target 10 | ||
823 | graphics | ||
824 | [ | ||
825 | fill "#000000" | ||
826 | targetArrow "standard" | ||
827 | ] | ||
828 | LabelGraphics | ||
829 | [ | ||
830 | text "occupiedBy reference Segment" | ||
831 | fontSize 14 | ||
832 | fontName "Consolas" | ||
833 | configuration "AutoFlippingLabel" | ||
834 | model "six_pos" | ||
835 | position "thead" | ||
836 | ] | ||
837 | ] | ||
838 | edge | ||
839 | [ | ||
840 | source 11 | ||
841 | target 12 | ||
842 | graphics | ||
843 | [ | ||
844 | fill "#000000" | ||
845 | targetArrow "standard" | ||
846 | ] | ||
847 | LabelGraphics | ||
848 | [ | ||
849 | text "occupiedBy reference Segment" | ||
850 | fontSize 14 | ||
851 | fontName "Consolas" | ||
852 | configuration "AutoFlippingLabel" | ||
853 | model "six_pos" | ||
854 | position "thead" | ||
855 | ] | ||
856 | ] | ||
857 | edge | ||
858 | [ | ||
859 | source 0 | ||
860 | target 4 | ||
861 | graphics | ||
862 | [ | ||
863 | fill "#000000" | ||
864 | width 3 | ||
865 | targetArrow "standard" | ||
866 | ] | ||
867 | LabelGraphics | ||
868 | [ | ||
869 | text "trains reference Modes3ModelRoot" | ||
870 | fontSize 14 | ||
871 | fontName "Consolas" | ||
872 | configuration "AutoFlippingLabel" | ||
873 | model "six_pos" | ||
874 | position "thead" | ||
875 | ] | ||
876 | ] | ||
877 | edge | ||
878 | [ | ||
879 | source 0 | ||
880 | target 6 | ||
881 | graphics | ||
882 | [ | ||
883 | fill "#000000" | ||
884 | width 3 | ||
885 | targetArrow "standard" | ||
886 | ] | ||
887 | LabelGraphics | ||
888 | [ | ||
889 | text "trains reference Modes3ModelRoot" | ||
890 | fontSize 14 | ||
891 | fontName "Consolas" | ||
892 | configuration "AutoFlippingLabel" | ||
893 | model "six_pos" | ||
894 | position "thead" | ||
895 | ] | ||
896 | ] | ||
897 | edge | ||
898 | [ | ||
899 | source 0 | ||
900 | target 8 | ||
901 | graphics | ||
902 | [ | ||
903 | fill "#000000" | ||
904 | width 3 | ||
905 | targetArrow "standard" | ||
906 | ] | ||
907 | LabelGraphics | ||
908 | [ | ||
909 | text "trains reference Modes3ModelRoot" | ||
910 | fontSize 14 | ||
911 | fontName "Consolas" | ||
912 | configuration "AutoFlippingLabel" | ||
913 | model "six_pos" | ||
914 | position "thead" | ||
915 | ] | ||
916 | ] | ||
917 | edge | ||
918 | [ | ||
919 | source 0 | ||
920 | target 10 | ||
921 | graphics | ||
922 | [ | ||
923 | fill "#000000" | ||
924 | width 3 | ||
925 | targetArrow "standard" | ||
926 | ] | ||
927 | LabelGraphics | ||
928 | [ | ||
929 | text "trains reference Modes3ModelRoot" | ||
930 | fontSize 14 | ||
931 | fontName "Consolas" | ||
932 | configuration "AutoFlippingLabel" | ||
933 | model "six_pos" | ||
934 | position "thead" | ||
935 | ] | ||
936 | ] | ||
937 | edge | ||
938 | [ | ||
939 | source 0 | ||
940 | target 12 | ||
941 | graphics | ||
942 | [ | ||
943 | fill "#000000" | ||
944 | width 3 | ||
945 | targetArrow "standard" | ||
946 | ] | ||
947 | LabelGraphics | ||
948 | [ | ||
949 | text "trains reference Modes3ModelRoot" | ||
950 | fontSize 14 | ||
951 | fontName "Consolas" | ||
952 | configuration "AutoFlippingLabel" | ||
953 | model "six_pos" | ||
954 | position "thead" | ||
955 | ] | ||
956 | ] | ||
957 | edge | ||
958 | [ | ||
959 | source 0 | ||
960 | target 5 | ||
961 | graphics | ||
962 | [ | ||
963 | fill "#000000" | ||
964 | width 3 | ||
965 | targetArrow "standard" | ||
966 | ] | ||
967 | LabelGraphics | ||
968 | [ | ||
969 | text "segments reference Modes3ModelRoot" | ||
970 | fontSize 14 | ||
971 | fontName "Consolas" | ||
972 | configuration "AutoFlippingLabel" | ||
973 | model "six_pos" | ||
974 | position "thead" | ||
975 | ] | ||
976 | ] | ||
977 | edge | ||
978 | [ | ||
979 | source 0 | ||
980 | target 7 | ||
981 | graphics | ||
982 | [ | ||
983 | fill "#000000" | ||
984 | width 3 | ||
985 | targetArrow "standard" | ||
986 | ] | ||
987 | LabelGraphics | ||
988 | [ | ||
989 | text "segments reference Modes3ModelRoot" | ||
990 | fontSize 14 | ||
991 | fontName "Consolas" | ||
992 | configuration "AutoFlippingLabel" | ||
993 | model "six_pos" | ||
994 | position "thead" | ||
995 | ] | ||
996 | ] | ||
997 | edge | ||
998 | [ | ||
999 | source 0 | ||
1000 | target 9 | ||
1001 | graphics | ||
1002 | [ | ||
1003 | fill "#000000" | ||
1004 | width 3 | ||
1005 | targetArrow "standard" | ||
1006 | ] | ||
1007 | LabelGraphics | ||
1008 | [ | ||
1009 | text "segments reference Modes3ModelRoot" | ||
1010 | fontSize 14 | ||
1011 | fontName "Consolas" | ||
1012 | configuration "AutoFlippingLabel" | ||
1013 | model "six_pos" | ||
1014 | position "thead" | ||
1015 | ] | ||
1016 | ] | ||
1017 | edge | ||
1018 | [ | ||
1019 | source 0 | ||
1020 | target 11 | ||
1021 | graphics | ||
1022 | [ | ||
1023 | fill "#000000" | ||
1024 | width 3 | ||
1025 | targetArrow "standard" | ||
1026 | ] | ||
1027 | LabelGraphics | ||
1028 | [ | ||
1029 | text "segments reference Modes3ModelRoot" | ||
1030 | fontSize 14 | ||
1031 | fontName "Consolas" | ||
1032 | configuration "AutoFlippingLabel" | ||
1033 | model "six_pos" | ||
1034 | position "thead" | ||
1035 | ] | ||
1036 | ] | ||
1037 | edge | ||
1038 | [ | ||
1039 | source 0 | ||
1040 | target 3 | ||
1041 | graphics | ||
1042 | [ | ||
1043 | fill "#000000" | ||
1044 | width 3 | ||
1045 | targetArrow "standard" | ||
1046 | ] | ||
1047 | LabelGraphics | ||
1048 | [ | ||
1049 | text "turnouts reference Modes3ModelRoot" | ||
1050 | fontSize 14 | ||
1051 | fontName "Consolas" | ||
1052 | configuration "AutoFlippingLabel" | ||
1053 | model "six_pos" | ||
1054 | position "thead" | ||
1055 | ] | ||
1056 | ] | ||
1057 | edge | ||
1058 | [ | ||
1059 | source 3 | ||
1060 | target 9 | ||
1061 | graphics | ||
1062 | [ | ||
1063 | fill "#000000" | ||
1064 | targetArrow "standard" | ||
1065 | ] | ||
1066 | LabelGraphics | ||
1067 | [ | ||
1068 | text "straight reference Turnout" | ||
1069 | fontSize 14 | ||
1070 | fontName "Consolas" | ||
1071 | configuration "AutoFlippingLabel" | ||
1072 | model "six_pos" | ||
1073 | position "thead" | ||
1074 | ] | ||
1075 | ] | ||
1076 | edge | ||
1077 | [ | ||
1078 | source 3 | ||
1079 | target 5 | ||
1080 | graphics | ||
1081 | [ | ||
1082 | fill "#000000" | ||
1083 | targetArrow "standard" | ||
1084 | ] | ||
1085 | LabelGraphics | ||
1086 | [ | ||
1087 | text "divergent reference Turnout" | ||
1088 | fontSize 14 | ||
1089 | fontName "Consolas" | ||
1090 | configuration "AutoFlippingLabel" | ||
1091 | model "six_pos" | ||
1092 | position "thead" | ||
1093 | ] | ||
1094 | ] | ||
1095 | edge | ||
1096 | [ | ||
1097 | source 6 | ||
1098 | target 5 | ||
1099 | graphics | ||
1100 | [ | ||
1101 | fill "#000000" | ||
1102 | targetArrow "standard" | ||
1103 | ] | ||
1104 | LabelGraphics | ||
1105 | [ | ||
1106 | text "location reference Train" | ||
1107 | fontSize 14 | ||
1108 | fontName "Consolas" | ||
1109 | configuration "AutoFlippingLabel" | ||
1110 | model "six_pos" | ||
1111 | position "thead" | ||
1112 | ] | ||
1113 | ] | ||
1114 | edge | ||
1115 | [ | ||
1116 | source 4 | ||
1117 | target 3 | ||
1118 | graphics | ||
1119 | [ | ||
1120 | fill "#000000" | ||
1121 | targetArrow "standard" | ||
1122 | ] | ||
1123 | LabelGraphics | ||
1124 | [ | ||
1125 | text "location reference Train" | ||
1126 | fontSize 14 | ||
1127 | fontName "Consolas" | ||
1128 | configuration "AutoFlippingLabel" | ||
1129 | model "six_pos" | ||
1130 | position "thead" | ||
1131 | ] | ||
1132 | ] | ||
1133 | edge | ||
1134 | [ | ||
1135 | source 8 | ||
1136 | target 7 | ||
1137 | graphics | ||
1138 | [ | ||
1139 | fill "#000000" | ||
1140 | targetArrow "standard" | ||
1141 | ] | ||
1142 | LabelGraphics | ||
1143 | [ | ||
1144 | text "location reference Train" | ||
1145 | fontSize 14 | ||
1146 | fontName "Consolas" | ||
1147 | configuration "AutoFlippingLabel" | ||
1148 | model "six_pos" | ||
1149 | position "thead" | ||
1150 | ] | ||
1151 | ] | ||
1152 | edge | ||
1153 | [ | ||
1154 | source 10 | ||
1155 | target 9 | ||
1156 | graphics | ||
1157 | [ | ||
1158 | fill "#000000" | ||
1159 | targetArrow "standard" | ||
1160 | ] | ||
1161 | LabelGraphics | ||
1162 | [ | ||
1163 | text "location reference Train" | ||
1164 | fontSize 14 | ||
1165 | fontName "Consolas" | ||
1166 | configuration "AutoFlippingLabel" | ||
1167 | model "six_pos" | ||
1168 | position "thead" | ||
1169 | ] | ||
1170 | ] | ||
1171 | edge | ||
1172 | [ | ||
1173 | source 12 | ||
1174 | target 11 | ||
1175 | graphics | ||
1176 | [ | ||
1177 | fill "#000000" | ||
1178 | targetArrow "standard" | ||
1179 | ] | ||
1180 | LabelGraphics | ||
1181 | [ | ||
1182 | text "location reference Train" | ||
1183 | fontSize 14 | ||
1184 | fontName "Consolas" | ||
1185 | configuration "AutoFlippingLabel" | ||
1186 | model "six_pos" | ||
1187 | position "thead" | ||
1188 | ] | ||
1189 | ] | ||
1190 | ] | ||
1191 | |||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation deleted file mode 100644 index 8b50e17f..00000000 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.partialinterpretation +++ /dev/null | |||
@@ -1,1037 +0,0 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <partialinterpretation:PartialInterpretation 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/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" problem="//@problemConainer" maxNewElements="0"> | ||
3 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1"> | ||
4 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.2"/> | ||
5 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.4"/> | ||
6 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.2"/> | ||
7 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.6"/> | ||
8 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.8"/> | ||
9 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.8" param2="//@newElements.6"/> | ||
10 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.4"/> | ||
11 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.10"/> | ||
12 | </partialrelationinterpretation> | ||
13 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1"> | ||
14 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.4" param2="//@newElements.5"/> | ||
15 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.3"/> | ||
16 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.6" param2="//@newElements.7"/> | ||
17 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.8" param2="//@newElements.9"/> | ||
18 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.11"/> | ||
19 | </partialrelationinterpretation> | ||
20 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"> | ||
21 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.3"/> | ||
22 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.5"/> | ||
23 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.7"/> | ||
24 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.9"/> | ||
25 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.11"/> | ||
26 | </partialrelationinterpretation> | ||
27 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1"> | ||
28 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.4"/> | ||
29 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.6"/> | ||
30 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.8"/> | ||
31 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.10"/> | ||
32 | </partialrelationinterpretation> | ||
33 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1"> | ||
34 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.0" param2="//@newElements.2"/> | ||
35 | </partialrelationinterpretation> | ||
36 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1"> | ||
37 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.8"/> | ||
38 | </partialrelationinterpretation> | ||
39 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1"> | ||
40 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.2" param2="//@newElements.4"/> | ||
41 | </partialrelationinterpretation> | ||
42 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1"> | ||
43 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.5" param2="//@newElements.4"/> | ||
44 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.2"/> | ||
45 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.7" param2="//@newElements.6"/> | ||
46 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.9" param2="//@newElements.8"/> | ||
47 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.11" param2="//@newElements.10"/> | ||
48 | </partialrelationinterpretation> | ||
49 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | ||
50 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | ||
51 | <newElements/> | ||
52 | <newElements/> | ||
53 | <newElements/> | ||
54 | <newElements/> | ||
55 | <newElements/> | ||
56 | <newElements/> | ||
57 | <newElements/> | ||
58 | <newElements/> | ||
59 | <newElements/> | ||
60 | <newElements/> | ||
61 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | ||
62 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/> | ||
63 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/> | ||
64 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/> | ||
65 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.2 //@newElements.4 //@newElements.6 //@newElements.8 //@newElements.10" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/> | ||
66 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.0" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/> | ||
67 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.2" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.2"/> | ||
68 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.5 //@newElements.7 //@newElements.9 //@newElements.11" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/> | ||
69 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.5" interpretationOf="//@problemConainer/@types.5"/> | ||
70 | <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> | ||
71 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | ||
72 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | ||
73 | <openWorldElements name="New Objects"/> | ||
74 | <problemConainer> | ||
75 | <types xsi:type="language:TypeDeclaration" name="Segment class" subtypes="//@problemConainer/@types.2"/> | ||
76 | <types xsi:type="language:TypeDeclaration" name="Modes3ModelRoot class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/> | ||
77 | <types xsi:type="language:TypeDeclaration" name="Turnout class" supertypes="//@problemConainer/@types.0"/> | ||
78 | <types xsi:type="language:TypeDeclaration" name="Train class"/> | ||
79 | <types xsi:type="language:TypeDefinition" name="Modes3ModelRoot class DefinedPart" supertypes="//@problemConainer/@types.1" elements="//@problemConainer/@elements.0"/> | ||
80 | <types xsi:type="language:TypeDeclaration" name="Modes3ModelRoot class UndefinedPart" supertypes="//@problemConainer/@types.1"/> | ||
81 | <assertions name="upperMultiplicity connectedTo Segment" annotations="//@problemConainer/@annotations.0"> | ||
82 | <value xsi:type="language:Forall"> | ||
83 | <quantifiedVariables name="src"> | ||
84 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
85 | </quantifiedVariables> | ||
86 | <quantifiedVariables name="trg 1"> | ||
87 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
88 | </quantifiedVariables> | ||
89 | <quantifiedVariables name="trg 2"> | ||
90 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
91 | </quantifiedVariables> | ||
92 | <quantifiedVariables name="trg 3"> | ||
93 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
94 | </quantifiedVariables> | ||
95 | <expression xsi:type="language:Impl"> | ||
96 | <leftOperand xsi:type="language:And"> | ||
97 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
98 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
99 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
100 | </operands> | ||
101 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
102 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
103 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
104 | </operands> | ||
105 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
106 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
107 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
108 | </operands> | ||
109 | </leftOperand> | ||
110 | <rightOperand xsi:type="language:Not"> | ||
111 | <operand xsi:type="language:Distinct"> | ||
112 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
113 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
114 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
115 | </operand> | ||
116 | </rightOperand> | ||
117 | </expression> | ||
118 | </value> | ||
119 | </assertions> | ||
120 | <assertions name="upperMultiplicity occupiedBy Segment" annotations="//@problemConainer/@annotations.1"> | ||
121 | <value xsi:type="language:Forall"> | ||
122 | <quantifiedVariables name="src"> | ||
123 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
124 | </quantifiedVariables> | ||
125 | <quantifiedVariables name="trg 1"> | ||
126 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
127 | </quantifiedVariables> | ||
128 | <quantifiedVariables name="trg 2"> | ||
129 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
130 | </quantifiedVariables> | ||
131 | <expression xsi:type="language:Impl"> | ||
132 | <leftOperand xsi:type="language:And"> | ||
133 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1"> | ||
134 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/> | ||
135 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.1"/> | ||
136 | </operands> | ||
137 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1"> | ||
138 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/> | ||
139 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.2"/> | ||
140 | </operands> | ||
141 | </leftOperand> | ||
142 | <rightOperand xsi:type="language:Not"> | ||
143 | <operand xsi:type="language:Distinct"> | ||
144 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.1"/> | ||
145 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.2"/> | ||
146 | </operand> | ||
147 | </rightOperand> | ||
148 | </expression> | ||
149 | </value> | ||
150 | </assertions> | ||
151 | <assertions name="lowerMultiplicity straight Turnout" annotations="//@problemConainer/@annotations.2"> | ||
152 | <value xsi:type="language:Forall"> | ||
153 | <quantifiedVariables name="src"> | ||
154 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
155 | </quantifiedVariables> | ||
156 | <expression xsi:type="language:Exists"> | ||
157 | <quantifiedVariables name="trg 1"> | ||
158 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
159 | </quantifiedVariables> | ||
160 | <expression xsi:type="language:And"> | ||
161 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
162 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/> | ||
163 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@expression/@quantifiedVariables.0"/> | ||
164 | </operands> | ||
165 | </expression> | ||
166 | </expression> | ||
167 | </value> | ||
168 | </assertions> | ||
169 | <assertions name="upperMultiplicity straight Turnout" annotations="//@problemConainer/@annotations.3"> | ||
170 | <value xsi:type="language:Forall"> | ||
171 | <quantifiedVariables name="src"> | ||
172 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
173 | </quantifiedVariables> | ||
174 | <quantifiedVariables name="trg 1"> | ||
175 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
176 | </quantifiedVariables> | ||
177 | <quantifiedVariables name="trg 2"> | ||
178 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
179 | </quantifiedVariables> | ||
180 | <expression xsi:type="language:Impl"> | ||
181 | <leftOperand xsi:type="language:And"> | ||
182 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
183 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/> | ||
184 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.1"/> | ||
185 | </operands> | ||
186 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
187 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/> | ||
188 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.2"/> | ||
189 | </operands> | ||
190 | </leftOperand> | ||
191 | <rightOperand xsi:type="language:Not"> | ||
192 | <operand xsi:type="language:Distinct"> | ||
193 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.1"/> | ||
194 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.2"/> | ||
195 | </operand> | ||
196 | </rightOperand> | ||
197 | </expression> | ||
198 | </value> | ||
199 | </assertions> | ||
200 | <assertions name="lowerMultiplicity divergent Turnout" annotations="//@problemConainer/@annotations.4"> | ||
201 | <value xsi:type="language:Forall"> | ||
202 | <quantifiedVariables name="src"> | ||
203 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
204 | </quantifiedVariables> | ||
205 | <expression xsi:type="language:Exists"> | ||
206 | <quantifiedVariables name="trg 1"> | ||
207 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
208 | </quantifiedVariables> | ||
209 | <expression xsi:type="language:And"> | ||
210 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
211 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/> | ||
212 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@expression/@quantifiedVariables.0"/> | ||
213 | </operands> | ||
214 | </expression> | ||
215 | </expression> | ||
216 | </value> | ||
217 | </assertions> | ||
218 | <assertions name="upperMultiplicity divergent Turnout" annotations="//@problemConainer/@annotations.5"> | ||
219 | <value xsi:type="language:Forall"> | ||
220 | <quantifiedVariables name="src"> | ||
221 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
222 | </quantifiedVariables> | ||
223 | <quantifiedVariables name="trg 1"> | ||
224 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
225 | </quantifiedVariables> | ||
226 | <quantifiedVariables name="trg 2"> | ||
227 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
228 | </quantifiedVariables> | ||
229 | <expression xsi:type="language:Impl"> | ||
230 | <leftOperand xsi:type="language:And"> | ||
231 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
232 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
233 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
234 | </operands> | ||
235 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
236 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
237 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
238 | </operands> | ||
239 | </leftOperand> | ||
240 | <rightOperand xsi:type="language:Not"> | ||
241 | <operand xsi:type="language:Distinct"> | ||
242 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
243 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
244 | </operand> | ||
245 | </rightOperand> | ||
246 | </expression> | ||
247 | </value> | ||
248 | </assertions> | ||
249 | <assertions name="lowerMultiplicity location Train" annotations="//@problemConainer/@annotations.6"> | ||
250 | <value xsi:type="language:Forall"> | ||
251 | <quantifiedVariables name="src"> | ||
252 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
253 | </quantifiedVariables> | ||
254 | <expression xsi:type="language:Exists"> | ||
255 | <quantifiedVariables name="trg 1"> | ||
256 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
257 | </quantifiedVariables> | ||
258 | <expression xsi:type="language:And"> | ||
259 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
260 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/> | ||
261 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@expression/@quantifiedVariables.0"/> | ||
262 | </operands> | ||
263 | </expression> | ||
264 | </expression> | ||
265 | </value> | ||
266 | </assertions> | ||
267 | <assertions name="upperMultiplicity location Train" annotations="//@problemConainer/@annotations.7"> | ||
268 | <value xsi:type="language:Forall"> | ||
269 | <quantifiedVariables name="src"> | ||
270 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
271 | </quantifiedVariables> | ||
272 | <quantifiedVariables name="trg 1"> | ||
273 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
274 | </quantifiedVariables> | ||
275 | <quantifiedVariables name="trg 2"> | ||
276 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
277 | </quantifiedVariables> | ||
278 | <expression xsi:type="language:Impl"> | ||
279 | <leftOperand xsi:type="language:And"> | ||
280 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
281 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
282 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
283 | </operands> | ||
284 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
285 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
286 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
287 | </operands> | ||
288 | </leftOperand> | ||
289 | <rightOperand xsi:type="language:Not"> | ||
290 | <operand xsi:type="language:Distinct"> | ||
291 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
292 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
293 | </operand> | ||
294 | </rightOperand> | ||
295 | </expression> | ||
296 | </value> | ||
297 | </assertions> | ||
298 | <assertions name="oppositeReference occupiedBy Segment" annotations="//@problemConainer/@annotations.8"> | ||
299 | <value xsi:type="language:Forall"> | ||
300 | <quantifiedVariables name="src"> | ||
301 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
302 | </quantifiedVariables> | ||
303 | <quantifiedVariables name="trg"> | ||
304 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
305 | </quantifiedVariables> | ||
306 | <expression xsi:type="language:Iff"> | ||
307 | <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.1"> | ||
308 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
309 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
310 | </leftOperand> | ||
311 | <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
312 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
313 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
314 | </rightOperand> | ||
315 | </expression> | ||
316 | </value> | ||
317 | </assertions> | ||
318 | <assertions name="oppositeReference connectedTo reference Segment connectedTo reference Segment" annotations="//@problemConainer/@annotations.9"> | ||
319 | <value xsi:type="language:Forall"> | ||
320 | <quantifiedVariables name="src"> | ||
321 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
322 | </quantifiedVariables> | ||
323 | <quantifiedVariables name="trg"> | ||
324 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
325 | </quantifiedVariables> | ||
326 | <expression xsi:type="language:Iff"> | ||
327 | <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
328 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/> | ||
329 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/> | ||
330 | </leftOperand> | ||
331 | <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
332 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/> | ||
333 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/> | ||
334 | </rightOperand> | ||
335 | </expression> | ||
336 | </value> | ||
337 | </assertions> | ||
338 | <assertions name="errorpattern modes3 queries turnoutInSegments" annotations="//@problemConainer/@annotations.27"> | ||
339 | <value xsi:type="language:Forall"> | ||
340 | <quantifiedVariables name="p0"> | ||
341 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
342 | </quantifiedVariables> | ||
343 | <expression xsi:type="language:Not"> | ||
344 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
345 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/> | ||
346 | </operand> | ||
347 | </expression> | ||
348 | </value> | ||
349 | </assertions> | ||
350 | <assertions name="errorpattern modes3 queries tooManyInputsOfSegment" annotations="//@problemConainer/@annotations.28"> | ||
351 | <value xsi:type="language:Forall"> | ||
352 | <quantifiedVariables name="p0"> | ||
353 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
354 | </quantifiedVariables> | ||
355 | <expression xsi:type="language:Not"> | ||
356 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
357 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/> | ||
358 | </operand> | ||
359 | </expression> | ||
360 | </value> | ||
361 | </assertions> | ||
362 | <assertions name="errorpattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@problemConainer/@annotations.29"> | ||
363 | <value xsi:type="language:Forall"> | ||
364 | <quantifiedVariables name="p0"> | ||
365 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
366 | </quantifiedVariables> | ||
367 | <expression xsi:type="language:Not"> | ||
368 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
369 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/> | ||
370 | </operand> | ||
371 | </expression> | ||
372 | </value> | ||
373 | </assertions> | ||
374 | <assertions name="errorpattern modes3 queries turnoutOutputsAreSame" annotations="//@problemConainer/@annotations.30"> | ||
375 | <value xsi:type="language:Forall"> | ||
376 | <quantifiedVariables name="p0"> | ||
377 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
378 | </quantifiedVariables> | ||
379 | <expression xsi:type="language:Not"> | ||
380 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
381 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/> | ||
382 | </operand> | ||
383 | </expression> | ||
384 | </value> | ||
385 | </assertions> | ||
386 | <assertions name="errorpattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@problemConainer/@annotations.31"> | ||
387 | <value xsi:type="language:Forall"> | ||
388 | <quantifiedVariables name="p0"> | ||
389 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
390 | </quantifiedVariables> | ||
391 | <expression xsi:type="language:Not"> | ||
392 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
393 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/> | ||
394 | </operand> | ||
395 | </expression> | ||
396 | </value> | ||
397 | </assertions> | ||
398 | <assertions name="errorpattern modes3 queries unreachable" annotations="//@problemConainer/@annotations.32"> | ||
399 | <value xsi:type="language:Forall"> | ||
400 | <quantifiedVariables name="p0"> | ||
401 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
402 | </quantifiedVariables> | ||
403 | <quantifiedVariables name="p1"> | ||
404 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
405 | </quantifiedVariables> | ||
406 | <expression xsi:type="language:Not"> | ||
407 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
408 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/> | ||
409 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.1"/> | ||
410 | </operand> | ||
411 | </expression> | ||
412 | </value> | ||
413 | </assertions> | ||
414 | <assertions name="errorpattern modes3 queries connectedToReflexive" annotations="//@problemConainer/@annotations.33"> | ||
415 | <value xsi:type="language:Forall"> | ||
416 | <quantifiedVariables name="p0"> | ||
417 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
418 | </quantifiedVariables> | ||
419 | <expression xsi:type="language:Not"> | ||
420 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
421 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/> | ||
422 | </operand> | ||
423 | </expression> | ||
424 | </value> | ||
425 | </assertions> | ||
426 | <assertions name="errorpattern modes3 queries outputReflexive" annotations="//@problemConainer/@annotations.34"> | ||
427 | <value xsi:type="language:Forall"> | ||
428 | <quantifiedVariables name="p0"> | ||
429 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
430 | </quantifiedVariables> | ||
431 | <expression xsi:type="language:Not"> | ||
432 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
433 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/> | ||
434 | </operand> | ||
435 | </expression> | ||
436 | </value> | ||
437 | </assertions> | ||
438 | <assertions name="errorpattern modes3 queries noExtraInputOfTurnout" annotations="//@problemConainer/@annotations.35"> | ||
439 | <value xsi:type="language:Forall"> | ||
440 | <quantifiedVariables name="p0"> | ||
441 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
442 | </quantifiedVariables> | ||
443 | <expression xsi:type="language:Not"> | ||
444 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22"> | ||
445 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/> | ||
446 | </operand> | ||
447 | </expression> | ||
448 | </value> | ||
449 | </assertions> | ||
450 | <assertions name="errorpattern modes3 queries connectedToNotSymmetric" annotations="//@problemConainer/@annotations.36"> | ||
451 | <value xsi:type="language:Forall"> | ||
452 | <quantifiedVariables name="p0"> | ||
453 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
454 | </quantifiedVariables> | ||
455 | <quantifiedVariables name="p1"> | ||
456 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
457 | </quantifiedVariables> | ||
458 | <expression xsi:type="language:Not"> | ||
459 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23"> | ||
460 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/> | ||
461 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.1"/> | ||
462 | </operand> | ||
463 | </expression> | ||
464 | </value> | ||
465 | </assertions> | ||
466 | <relations xsi:type="language:RelationDeclaration" name="connectedTo reference Segment"> | ||
467 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
468 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
469 | </relations> | ||
470 | <relations xsi:type="language:RelationDeclaration" name="occupiedBy reference Segment"> | ||
471 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
472 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
473 | </relations> | ||
474 | <relations xsi:type="language:RelationDeclaration" name="trains reference Modes3ModelRoot"> | ||
475 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
476 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
477 | </relations> | ||
478 | <relations xsi:type="language:RelationDeclaration" name="segments reference Modes3ModelRoot"> | ||
479 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
480 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
481 | </relations> | ||
482 | <relations xsi:type="language:RelationDeclaration" name="turnouts reference Modes3ModelRoot"> | ||
483 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
484 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
485 | </relations> | ||
486 | <relations xsi:type="language:RelationDeclaration" name="straight reference Turnout"> | ||
487 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
488 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
489 | </relations> | ||
490 | <relations xsi:type="language:RelationDeclaration" name="divergent reference Turnout"> | ||
491 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
492 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
493 | </relations> | ||
494 | <relations xsi:type="language:RelationDeclaration" name="location reference Train"> | ||
495 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
496 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
497 | </relations> | ||
498 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutInSegments" annotations="//@problemConainer/@annotations.10"> | ||
499 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
500 | <variables name="parameter T"> | ||
501 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
502 | </variables> | ||
503 | <value xsi:type="language:Or"> | ||
504 | <operands xsi:type="language:Exists"> | ||
505 | <quantifiedVariables name="variable 0"> | ||
506 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
507 | </quantifiedVariables> | ||
508 | <expression xsi:type="language:And"> | ||
509 | <operands xsi:type="language:InstanceOf"> | ||
510 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@variables.0"/> | ||
511 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
512 | </operands> | ||
513 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3"> | ||
514 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
515 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8/@variables.0"/> | ||
516 | </operands> | ||
517 | </expression> | ||
518 | </operands> | ||
519 | </value> | ||
520 | </relations> | ||
521 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries tooManyInputsOfSegment" annotations="//@problemConainer/@annotations.11"> | ||
522 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
523 | <variables name="parameter S"> | ||
524 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
525 | </variables> | ||
526 | <value xsi:type="language:Or"> | ||
527 | <operands xsi:type="language:Exists"> | ||
528 | <quantifiedVariables name="variable I1"> | ||
529 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
530 | </quantifiedVariables> | ||
531 | <quantifiedVariables name="variable I2"> | ||
532 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
533 | </quantifiedVariables> | ||
534 | <quantifiedVariables name="variable I3"> | ||
535 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
536 | </quantifiedVariables> | ||
537 | <expression xsi:type="language:And"> | ||
538 | <operands xsi:type="language:Not"> | ||
539 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
540 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/> | ||
541 | </operand> | ||
542 | </operands> | ||
543 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24"> | ||
544 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/> | ||
545 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/> | ||
546 | </operands> | ||
547 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24"> | ||
548 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/> | ||
549 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/> | ||
550 | </operands> | ||
551 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24"> | ||
552 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/> | ||
553 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@variables.0"/> | ||
554 | </operands> | ||
555 | <operands xsi:type="language:Distinct"> | ||
556 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/> | ||
557 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/> | ||
558 | </operands> | ||
559 | <operands xsi:type="language:Distinct"> | ||
560 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/> | ||
561 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/> | ||
562 | </operands> | ||
563 | <operands xsi:type="language:Distinct"> | ||
564 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/> | ||
565 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/> | ||
566 | </operands> | ||
567 | </expression> | ||
568 | </operands> | ||
569 | </value> | ||
570 | </relations> | ||
571 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutConnectedToBothOutputs" annotations="//@problemConainer/@annotations.12"> | ||
572 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
573 | <variables name="parameter T"> | ||
574 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
575 | </variables> | ||
576 | <value xsi:type="language:Or"> | ||
577 | <operands xsi:type="language:Exists"> | ||
578 | <quantifiedVariables name="variable Straight"> | ||
579 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
580 | </quantifiedVariables> | ||
581 | <quantifiedVariables name="variable Divergent"> | ||
582 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
583 | </quantifiedVariables> | ||
584 | <expression xsi:type="language:And"> | ||
585 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
586 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/> | ||
587 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/> | ||
588 | </operands> | ||
589 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
590 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/> | ||
591 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/> | ||
592 | </operands> | ||
593 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
594 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/> | ||
595 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/> | ||
596 | </operands> | ||
597 | <operands xsi:type="language:InstanceOf"> | ||
598 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/> | ||
599 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
600 | </operands> | ||
601 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
602 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@variables.0"/> | ||
603 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/> | ||
604 | </operands> | ||
605 | <operands xsi:type="language:InstanceOf"> | ||
606 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/> | ||
607 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
608 | </operands> | ||
609 | </expression> | ||
610 | </operands> | ||
611 | </value> | ||
612 | </relations> | ||
613 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnout" annotations="//@problemConainer/@annotations.13"> | ||
614 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
615 | <variables name="parameter T"> | ||
616 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
617 | </variables> | ||
618 | <value xsi:type="language:Or"> | ||
619 | <operands xsi:type="language:And"> | ||
620 | <operands xsi:type="language:InstanceOf"> | ||
621 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11/@variables.0"/> | ||
622 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
623 | </operands> | ||
624 | </operands> | ||
625 | </value> | ||
626 | </relations> | ||
627 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutOutputsAreSame" annotations="//@problemConainer/@annotations.14"> | ||
628 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
629 | <variables name="parameter T"> | ||
630 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
631 | </variables> | ||
632 | <value xsi:type="language:Or"> | ||
633 | <operands xsi:type="language:Exists"> | ||
634 | <quantifiedVariables name="variable S"> | ||
635 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
636 | </quantifiedVariables> | ||
637 | <expression xsi:type="language:And"> | ||
638 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
639 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@variables.0"/> | ||
640 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
641 | </operands> | ||
642 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
643 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@variables.0"/> | ||
644 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
645 | </operands> | ||
646 | <operands xsi:type="language:InstanceOf"> | ||
647 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
648 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
649 | </operands> | ||
650 | </expression> | ||
651 | </operands> | ||
652 | </value> | ||
653 | </relations> | ||
654 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries tooManyExtraInputsOfTurnout" annotations="//@problemConainer/@annotations.15"> | ||
655 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
656 | <variables name="parameter T"> | ||
657 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
658 | </variables> | ||
659 | <value xsi:type="language:Or"> | ||
660 | <operands xsi:type="language:Exists"> | ||
661 | <quantifiedVariables name="variable I1"> | ||
662 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
663 | </quantifiedVariables> | ||
664 | <quantifiedVariables name="variable I2"> | ||
665 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
666 | </quantifiedVariables> | ||
667 | <expression xsi:type="language:And"> | ||
668 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
669 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@variables.0"/> | ||
670 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
671 | </operands> | ||
672 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
673 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@variables.0"/> | ||
674 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
675 | </operands> | ||
676 | <operands xsi:type="language:Distinct"> | ||
677 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
678 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
679 | </operands> | ||
680 | </expression> | ||
681 | </operands> | ||
682 | </value> | ||
683 | </relations> | ||
684 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries unreachable" annotations="//@problemConainer/@annotations.16"> | ||
685 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
686 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
687 | <variables name="parameter S1"> | ||
688 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
689 | </variables> | ||
690 | <variables name="parameter S2"> | ||
691 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
692 | </variables> | ||
693 | <value xsi:type="language:Or"> | ||
694 | <operands xsi:type="language:And"> | ||
695 | <operands xsi:type="language:InstanceOf"> | ||
696 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.0"/> | ||
697 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
698 | </operands> | ||
699 | <operands xsi:type="language:InstanceOf"> | ||
700 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.1"/> | ||
701 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
702 | </operands> | ||
703 | <operands xsi:type="language:Not"> | ||
704 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
705 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.0"/> | ||
706 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14/@variables.1"/> | ||
707 | </operand> | ||
708 | </operands> | ||
709 | </operands> | ||
710 | </value> | ||
711 | </relations> | ||
712 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedToReflexive" annotations="//@problemConainer/@annotations.17"> | ||
713 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
714 | <variables name="parameter S"> | ||
715 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
716 | </variables> | ||
717 | <value xsi:type="language:Or"> | ||
718 | <operands xsi:type="language:And"> | ||
719 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
720 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15/@variables.0"/> | ||
721 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15/@variables.0"/> | ||
722 | </operands> | ||
723 | </operands> | ||
724 | </value> | ||
725 | </relations> | ||
726 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries turnoutOutput" annotations="//@problemConainer/@annotations.18"> | ||
727 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
728 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
729 | <variables name="parameter T"> | ||
730 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
731 | </variables> | ||
732 | <variables name="parameter S"> | ||
733 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
734 | </variables> | ||
735 | <value xsi:type="language:Or"> | ||
736 | <operands xsi:type="language:And"> | ||
737 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
738 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.0"/> | ||
739 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/> | ||
740 | </operands> | ||
741 | <operands xsi:type="language:InstanceOf"> | ||
742 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/> | ||
743 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
744 | </operands> | ||
745 | </operands> | ||
746 | <operands xsi:type="language:And"> | ||
747 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
748 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.0"/> | ||
749 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/> | ||
750 | </operands> | ||
751 | <operands xsi:type="language:InstanceOf"> | ||
752 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16/@variables.1"/> | ||
753 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
754 | </operands> | ||
755 | </operands> | ||
756 | </value> | ||
757 | </relations> | ||
758 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedTo" annotations="//@problemConainer/@annotations.19"> | ||
759 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
760 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
761 | <variables name="parameter S1"> | ||
762 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
763 | </variables> | ||
764 | <variables name="parameter S2"> | ||
765 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
766 | </variables> | ||
767 | <value xsi:type="language:Or"> | ||
768 | <operands xsi:type="language:And"> | ||
769 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
770 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.0"/> | ||
771 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.1"/> | ||
772 | </operands> | ||
773 | <operands xsi:type="language:InstanceOf"> | ||
774 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17/@variables.1"/> | ||
775 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
776 | </operands> | ||
777 | </operands> | ||
778 | </value> | ||
779 | </relations> | ||
780 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries outputReflexive" annotations="//@problemConainer/@annotations.20"> | ||
781 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
782 | <variables name="parameter T"> | ||
783 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
784 | </variables> | ||
785 | <value xsi:type="language:Or"> | ||
786 | <operands xsi:type="language:And"> | ||
787 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
788 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18/@variables.0"/> | ||
789 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18/@variables.0"/> | ||
790 | </operands> | ||
791 | </operands> | ||
792 | </value> | ||
793 | </relations> | ||
794 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries adjacent" annotations="//@problemConainer/@annotations.21"> | ||
795 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
796 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
797 | <variables name="parameter S1"> | ||
798 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
799 | </variables> | ||
800 | <variables name="parameter S2"> | ||
801 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
802 | </variables> | ||
803 | <value xsi:type="language:Or"> | ||
804 | <operands xsi:type="language:And"> | ||
805 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24"> | ||
806 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.0"/> | ||
807 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.1"/> | ||
808 | </operands> | ||
809 | </operands> | ||
810 | <operands xsi:type="language:And"> | ||
811 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
812 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.1"/> | ||
813 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19/@variables.0"/> | ||
814 | </operands> | ||
815 | </operands> | ||
816 | </value> | ||
817 | </relations> | ||
818 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries extraInputOfTurnout" annotations="//@problemConainer/@annotations.22"> | ||
819 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
820 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
821 | <variables name="parameter T"> | ||
822 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
823 | </variables> | ||
824 | <variables name="parameter S"> | ||
825 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
826 | </variables> | ||
827 | <value xsi:type="language:Or"> | ||
828 | <operands xsi:type="language:Exists"> | ||
829 | <quantifiedVariables name="variable Straight"> | ||
830 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
831 | </quantifiedVariables> | ||
832 | <quantifiedVariables name="variable Divergent"> | ||
833 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
834 | </quantifiedVariables> | ||
835 | <expression xsi:type="language:And"> | ||
836 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
837 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/> | ||
838 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
839 | </operands> | ||
840 | <operands xsi:type="language:InstanceOf"> | ||
841 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
842 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
843 | </operands> | ||
844 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
845 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/> | ||
846 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
847 | </operands> | ||
848 | <operands xsi:type="language:InstanceOf"> | ||
849 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
850 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
851 | </operands> | ||
852 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24"> | ||
853 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/> | ||
854 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.0"/> | ||
855 | </operands> | ||
856 | <operands xsi:type="language:Distinct"> | ||
857 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/> | ||
858 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
859 | </operands> | ||
860 | <operands xsi:type="language:Distinct"> | ||
861 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@variables.1"/> | ||
862 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
863 | </operands> | ||
864 | </expression> | ||
865 | </operands> | ||
866 | </value> | ||
867 | </relations> | ||
868 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries reachable" annotations="//@problemConainer/@annotations.23"> | ||
869 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
870 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
871 | <variables name="parameter S1"> | ||
872 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
873 | </variables> | ||
874 | <variables name="parameter S2"> | ||
875 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
876 | </variables> | ||
877 | <value xsi:type="language:Or"> | ||
878 | <operands xsi:type="language:And"> | ||
879 | <operands xsi:type="language:InstanceOf"> | ||
880 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.1"/> | ||
881 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
882 | </operands> | ||
883 | </operands> | ||
884 | <operands xsi:type="language:And"> | ||
885 | <operands xsi:type="language:TransitiveClosure" relation="//@problemConainer/@relations.19"> | ||
886 | <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.0"/> | ||
887 | <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21/@variables.1"/> | ||
888 | </operands> | ||
889 | </operands> | ||
890 | </value> | ||
891 | </relations> | ||
892 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries noExtraInputOfTurnout" annotations="//@problemConainer/@annotations.24"> | ||
893 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
894 | <variables name="parameter T"> | ||
895 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
896 | </variables> | ||
897 | <value xsi:type="language:Or"> | ||
898 | <operands xsi:type="language:Forall"> | ||
899 | <quantifiedVariables name="variable 0"> | ||
900 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
901 | </quantifiedVariables> | ||
902 | <expression xsi:type="language:And"> | ||
903 | <operands xsi:type="language:InstanceOf"> | ||
904 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/> | ||
905 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
906 | </operands> | ||
907 | <operands xsi:type="language:Not"> | ||
908 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
909 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/> | ||
910 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
911 | </operand> | ||
912 | </operands> | ||
913 | </expression> | ||
914 | </operands> | ||
915 | </value> | ||
916 | </relations> | ||
917 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries connectedToNotSymmetric" annotations="//@problemConainer/@annotations.25"> | ||
918 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
919 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
920 | <variables name="parameter S1"> | ||
921 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
922 | </variables> | ||
923 | <variables name="parameter S2"> | ||
924 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
925 | </variables> | ||
926 | <value xsi:type="language:Or"> | ||
927 | <operands xsi:type="language:And"> | ||
928 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
929 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/> | ||
930 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/> | ||
931 | </operands> | ||
932 | <operands xsi:type="language:InstanceOf"> | ||
933 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/> | ||
934 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
935 | </operands> | ||
936 | <operands xsi:type="language:Not"> | ||
937 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
938 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.1"/> | ||
939 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/> | ||
940 | </operand> | ||
941 | </operands> | ||
942 | </operands> | ||
943 | </value> | ||
944 | </relations> | ||
945 | <relations xsi:type="language:RelationDefinition" name="pattern modes3 queries output" annotations="//@problemConainer/@annotations.26"> | ||
946 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
947 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
948 | <variables name="parameter S1"> | ||
949 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
950 | </variables> | ||
951 | <variables name="parameter S2"> | ||
952 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
953 | </variables> | ||
954 | <value xsi:type="language:Or"> | ||
955 | <operands xsi:type="language:And"> | ||
956 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.0"> | ||
957 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/> | ||
958 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/> | ||
959 | </operands> | ||
960 | <operands xsi:type="language:InstanceOf"> | ||
961 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/> | ||
962 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
963 | </operands> | ||
964 | </operands> | ||
965 | <operands xsi:type="language:And"> | ||
966 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
967 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/> | ||
968 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.1"/> | ||
969 | </operands> | ||
970 | </operands> | ||
971 | </value> | ||
972 | </relations> | ||
973 | <elements name="o 1" definedInType="//@problemConainer/@types.4"/> | ||
974 | <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.0 //@problemConainer/@types.2 //@problemConainer/@types.3 //@problemConainer/@types.1 //@problemConainer/@types.4 //@problemConainer/@types.5" containmentRelations="//@problemConainer/@relations.2 //@problemConainer/@relations.3 //@problemConainer/@relations.4"/> | ||
975 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.0" upper="2"/> | ||
976 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.1" upper="1"/> | ||
977 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" lower="1"/> | ||
978 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.5" upper="1"/> | ||
979 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" lower="1"/> | ||
980 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.6" upper="1"/> | ||
981 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.6" relation="//@problemConainer/@relations.7" lower="1"/> | ||
982 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.7" upper="1"/> | ||
983 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.8" inverseA="//@problemConainer/@relations.1" inverseB="//@problemConainer/@relations.7"/> | ||
984 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.9" inverseA="//@problemConainer/@relations.0" inverseB="//@problemConainer/@relations.0"/> | ||
985 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.8" patternFullyQualifiedName="modes3.queries.turnoutInSegments"> | ||
986 | <variableTrace targetLogicVariable="//@problemConainer/@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | ||
987 | </annotations> | ||
988 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.9" patternFullyQualifiedName="modes3.queries.tooManyInputsOfSegment"> | ||
989 | <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.0"/> | ||
990 | <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.1"/> | ||
991 | <variableTrace targetLogicVariable="//@problemConainer/@relations.9/@value/@operands.0/@quantifiedVariables.2"/> | ||
992 | </annotations> | ||
993 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.10" patternFullyQualifiedName="modes3.queries.turnoutConnectedToBothOutputs"> | ||
994 | <variableTrace targetLogicVariable="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.0"/> | ||
995 | <variableTrace targetLogicVariable="//@problemConainer/@relations.10/@value/@operands.0/@quantifiedVariables.1"/> | ||
996 | </annotations> | ||
997 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.11" patternFullyQualifiedName="modes3.queries.turnout"/> | ||
998 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.12" patternFullyQualifiedName="modes3.queries.turnoutOutputsAreSame"> | ||
999 | <variableTrace targetLogicVariable="//@problemConainer/@relations.12/@value/@operands.0/@quantifiedVariables.0"/> | ||
1000 | </annotations> | ||
1001 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.13" patternFullyQualifiedName="modes3.queries.tooManyExtraInputsOfTurnout"> | ||
1002 | <variableTrace targetLogicVariable="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.0"/> | ||
1003 | <variableTrace targetLogicVariable="//@problemConainer/@relations.13/@value/@operands.0/@quantifiedVariables.1"/> | ||
1004 | </annotations> | ||
1005 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.14" patternFullyQualifiedName="modes3.queries.unreachable"/> | ||
1006 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.15" patternFullyQualifiedName="modes3.queries.connectedToReflexive"/> | ||
1007 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.16" patternFullyQualifiedName="modes3.queries.turnoutOutput"/> | ||
1008 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.17" patternFullyQualifiedName="modes3.queries.connectedTo"/> | ||
1009 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.18" patternFullyQualifiedName="modes3.queries.outputReflexive"/> | ||
1010 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.19" patternFullyQualifiedName="modes3.queries.adjacent"/> | ||
1011 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.20" patternFullyQualifiedName="modes3.queries.extraInputOfTurnout"> | ||
1012 | <variableTrace targetLogicVariable="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.0"/> | ||
1013 | <variableTrace targetLogicVariable="//@problemConainer/@relations.20/@value/@operands.0/@quantifiedVariables.1"/> | ||
1014 | </annotations> | ||
1015 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.21" patternFullyQualifiedName="modes3.queries.reachable"/> | ||
1016 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="modes3.queries.noExtraInputOfTurnout"> | ||
1017 | <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1018 | </annotations> | ||
1019 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.23" patternFullyQualifiedName="modes3.queries.connectedToNotSymmetric"/> | ||
1020 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.24" patternFullyQualifiedName="modes3.queries.output"/> | ||
1021 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.10" query="//@problemConainer/@annotations.10"/> | ||
1022 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.11" query="//@problemConainer/@annotations.11"/> | ||
1023 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.12" query="//@problemConainer/@annotations.12"/> | ||
1024 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.13" query="//@problemConainer/@annotations.14"/> | ||
1025 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.14" query="//@problemConainer/@annotations.15"/> | ||
1026 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.15" query="//@problemConainer/@annotations.16"/> | ||
1027 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.16" query="//@problemConainer/@annotations.17"/> | ||
1028 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.17" query="//@problemConainer/@annotations.20"/> | ||
1029 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.18" query="//@problemConainer/@annotations.24"/> | ||
1030 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.19" query="//@problemConainer/@annotations.25"/> | ||
1031 | </problemConainer> | ||
1032 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.4"/> | ||
1033 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/> | ||
1034 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.6"/> | ||
1035 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.7"/> | ||
1036 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.8"/> | ||
1037 | </partialinterpretation:PartialInterpretation> | ||
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png deleted file mode 100644 index b6fa6e4e..00000000 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.png +++ /dev/null | |||
Binary files differ | |||