diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated | 1744 |
1 files changed, 718 insertions, 1026 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated index 853b7b54..b42023a4 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/generated3valued.vql_deactivated | |||
@@ -109,23 +109,23 @@ private pattern mayInstanceOfConstellationMission_class(problem:LogicProblem, in | |||
109 | { | 109 | { |
110 | find interpretation(problem,interpretation); | 110 | find interpretation(problem,interpretation); |
111 | PartialInterpretation.newElements(interpretation,element); | 111 | PartialInterpretation.newElements(interpretation,element); |
112 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 112 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
113 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 113 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
115 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
115 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 116 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
116 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 117 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
117 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
118 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 118 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
119 | neg find isPrimitive(element); | 119 | neg find isPrimitive(element); |
120 | } or { | 120 | } or { |
121 | find interpretation(problem,interpretation); | 121 | find interpretation(problem,interpretation); |
122 | PartialInterpretation.openWorldElements(interpretation,element); | 122 | PartialInterpretation.openWorldElements(interpretation,element); |
123 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 123 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); |
124 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 124 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); |
125 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 125 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
126 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
126 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 127 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
127 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 128 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
128 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
129 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); | 129 | neg find scopeDisallowsNewConstellationMission_class(problem, interpretation); |
130 | neg find isPrimitive(element); | 130 | neg find isPrimitive(element); |
131 | } or | 131 | } or |
@@ -153,21 +153,21 @@ private pattern mayInstanceOfInterferometryMission_class(problem:LogicProblem, i | |||
153 | { | 153 | { |
154 | find interpretation(problem,interpretation); | 154 | find interpretation(problem,interpretation); |
155 | PartialInterpretation.newElements(interpretation,element); | 155 | PartialInterpretation.newElements(interpretation,element); |
156 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 157 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
157 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
158 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 158 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
159 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 159 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
160 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 160 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
161 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 161 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
162 | neg find isPrimitive(element); | 162 | neg find isPrimitive(element); |
163 | } or { | 163 | } or { |
164 | find interpretation(problem,interpretation); | 164 | find interpretation(problem,interpretation); |
165 | PartialInterpretation.openWorldElements(interpretation,element); | 165 | PartialInterpretation.openWorldElements(interpretation,element); |
166 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | ||
166 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 167 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
167 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
169 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 169 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
170 | neg find mustInstanceOfConstellationMission_class_UndefinedPart(problem,interpretation,element); | 170 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
171 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); | 171 | neg find scopeDisallowsNewInterferometryMission_class(problem, interpretation); |
172 | neg find isPrimitive(element); | 172 | neg find isPrimitive(element); |
173 | } or | 173 | } or |
@@ -195,23 +195,23 @@ private pattern mayInstanceOfCommunicatingElement_class(problem:LogicProblem, in | |||
195 | { | 195 | { |
196 | find interpretation(problem,interpretation); | 196 | find interpretation(problem,interpretation); |
197 | PartialInterpretation.newElements(interpretation,element); | 197 | PartialInterpretation.newElements(interpretation,element); |
198 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
199 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
200 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
201 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 198 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
202 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
203 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 199 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
200 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
201 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
202 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
203 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
204 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 204 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
205 | neg find isPrimitive(element); | 205 | neg find isPrimitive(element); |
206 | } or { | 206 | } or { |
207 | find interpretation(problem,interpretation); | 207 | find interpretation(problem,interpretation); |
208 | PartialInterpretation.openWorldElements(interpretation,element); | 208 | PartialInterpretation.openWorldElements(interpretation,element); |
209 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
210 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
211 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
212 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 209 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
213 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
214 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 210 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
211 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
212 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
213 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
214 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
215 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); | 215 | neg find scopeDisallowsNewCommunicatingElement_class(problem, interpretation); |
216 | neg find isPrimitive(element); | 216 | neg find isPrimitive(element); |
217 | } or | 217 | } or |
@@ -239,21 +239,21 @@ private pattern mayInstanceOfGroundStationNetwork_class(problem:LogicProblem, in | |||
239 | { | 239 | { |
240 | find interpretation(problem,interpretation); | 240 | find interpretation(problem,interpretation); |
241 | PartialInterpretation.newElements(interpretation,element); | 241 | PartialInterpretation.newElements(interpretation,element); |
242 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
243 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
244 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 242 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
245 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
246 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 243 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
244 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
245 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
246 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
247 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 247 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
248 | neg find isPrimitive(element); | 248 | neg find isPrimitive(element); |
249 | } or { | 249 | } or { |
250 | find interpretation(problem,interpretation); | 250 | find interpretation(problem,interpretation); |
251 | PartialInterpretation.openWorldElements(interpretation,element); | 251 | PartialInterpretation.openWorldElements(interpretation,element); |
252 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
253 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
254 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 252 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
255 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
256 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); | 253 | neg find mustInstanceOfCommunicatingElement_class_UndefinedPart(problem,interpretation,element); |
254 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
255 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
256 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
257 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); | 257 | neg find scopeDisallowsNewGroundStationNetwork_class(problem, interpretation); |
258 | neg find isPrimitive(element); | 258 | neg find isPrimitive(element); |
259 | } or | 259 | } or |
@@ -281,25 +281,25 @@ private pattern mayInstanceOfSpacecraft_class(problem:LogicProblem, interpretati | |||
281 | { | 281 | { |
282 | find interpretation(problem,interpretation); | 282 | find interpretation(problem,interpretation); |
283 | PartialInterpretation.newElements(interpretation,element); | 283 | PartialInterpretation.newElements(interpretation,element); |
284 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
285 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
286 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
287 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
288 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 284 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
289 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 285 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
290 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 286 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
287 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
288 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
289 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
290 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
291 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 291 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
292 | neg find isPrimitive(element); | 292 | neg find isPrimitive(element); |
293 | } or { | 293 | } or { |
294 | find interpretation(problem,interpretation); | 294 | find interpretation(problem,interpretation); |
295 | PartialInterpretation.openWorldElements(interpretation,element); | 295 | PartialInterpretation.openWorldElements(interpretation,element); |
296 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
297 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
298 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
299 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
300 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 296 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
301 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 297 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); |
302 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 298 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
299 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
300 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
301 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
302 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
303 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); | 303 | neg find scopeDisallowsNewSpacecraft_class(problem, interpretation); |
304 | neg find isPrimitive(element); | 304 | neg find isPrimitive(element); |
305 | } or | 305 | } or |
@@ -327,21 +327,25 @@ private pattern mayInstanceOfCommSubsystem_class(problem:LogicProblem, interpret | |||
327 | { | 327 | { |
328 | find interpretation(problem,interpretation); | 328 | find interpretation(problem,interpretation); |
329 | PartialInterpretation.newElements(interpretation,element); | 329 | PartialInterpretation.newElements(interpretation,element); |
330 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
331 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
332 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 330 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
333 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
334 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 331 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
332 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
333 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
334 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
335 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
336 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
335 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 337 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
336 | neg find isPrimitive(element); | 338 | neg find isPrimitive(element); |
337 | } or { | 339 | } or { |
338 | find interpretation(problem,interpretation); | 340 | find interpretation(problem,interpretation); |
339 | PartialInterpretation.openWorldElements(interpretation,element); | 341 | PartialInterpretation.openWorldElements(interpretation,element); |
340 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
341 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
342 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 342 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
343 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
344 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 343 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
344 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
345 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
346 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
347 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
348 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
345 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); | 349 | neg find scopeDisallowsNewCommSubsystem_class(problem, interpretation); |
346 | neg find isPrimitive(element); | 350 | neg find isPrimitive(element); |
347 | } or | 351 | } or |
@@ -369,19 +373,19 @@ private pattern mayInstanceOfDirectedCommunicationLink_class(problem:LogicProble | |||
369 | { | 373 | { |
370 | find interpretation(problem,interpretation); | 374 | find interpretation(problem,interpretation); |
371 | PartialInterpretation.newElements(interpretation,element); | 375 | PartialInterpretation.newElements(interpretation,element); |
372 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
373 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 376 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
374 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 377 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
375 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 378 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
379 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
376 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | 380 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); |
377 | neg find isPrimitive(element); | 381 | neg find isPrimitive(element); |
378 | } or { | 382 | } or { |
379 | find interpretation(problem,interpretation); | 383 | find interpretation(problem,interpretation); |
380 | PartialInterpretation.openWorldElements(interpretation,element); | 384 | PartialInterpretation.openWorldElements(interpretation,element); |
381 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
382 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 385 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
383 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 386 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
384 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 387 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
388 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
385 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); | 389 | neg find scopeDisallowsNewDirectedCommunicationLink_class(problem, interpretation); |
386 | neg find isPrimitive(element); | 390 | neg find isPrimitive(element); |
387 | } or | 391 | } or |
@@ -409,21 +413,21 @@ private pattern mayInstanceOfPayload_class(problem:LogicProblem, interpretation: | |||
409 | { | 413 | { |
410 | find interpretation(problem,interpretation); | 414 | find interpretation(problem,interpretation); |
411 | PartialInterpretation.newElements(interpretation,element); | 415 | PartialInterpretation.newElements(interpretation,element); |
412 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
413 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 416 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
414 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
415 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 417 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
416 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 418 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
419 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
420 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
417 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 421 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
418 | neg find isPrimitive(element); | 422 | neg find isPrimitive(element); |
419 | } or { | 423 | } or { |
420 | find interpretation(problem,interpretation); | 424 | find interpretation(problem,interpretation); |
421 | PartialInterpretation.openWorldElements(interpretation,element); | 425 | PartialInterpretation.openWorldElements(interpretation,element); |
422 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
423 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 426 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
424 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
425 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 427 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
426 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 428 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
429 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
430 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
427 | neg find scopeDisallowsNewPayload_class(problem, interpretation); | 431 | neg find scopeDisallowsNewPayload_class(problem, interpretation); |
428 | neg find isPrimitive(element); | 432 | neg find isPrimitive(element); |
429 | } or | 433 | } or |
@@ -451,19 +455,19 @@ private pattern mayInstanceOfInterferometryPayload_class(problem:LogicProblem, i | |||
451 | { | 455 | { |
452 | find interpretation(problem,interpretation); | 456 | find interpretation(problem,interpretation); |
453 | PartialInterpretation.newElements(interpretation,element); | 457 | PartialInterpretation.newElements(interpretation,element); |
454 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
455 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 458 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
456 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
457 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 459 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
460 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
461 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
458 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 462 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
459 | neg find isPrimitive(element); | 463 | neg find isPrimitive(element); |
460 | } or { | 464 | } or { |
461 | find interpretation(problem,interpretation); | 465 | find interpretation(problem,interpretation); |
462 | PartialInterpretation.openWorldElements(interpretation,element); | 466 | PartialInterpretation.openWorldElements(interpretation,element); |
463 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
464 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 467 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
465 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
466 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 468 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
469 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
470 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
467 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); | 471 | neg find scopeDisallowsNewInterferometryPayload_class(problem, interpretation); |
468 | neg find isPrimitive(element); | 472 | neg find isPrimitive(element); |
469 | } or | 473 | } or |
@@ -491,25 +495,25 @@ private pattern mayInstanceOfCubeSat3U_class(problem:LogicProblem, interpretatio | |||
491 | { | 495 | { |
492 | find interpretation(problem,interpretation); | 496 | find interpretation(problem,interpretation); |
493 | PartialInterpretation.newElements(interpretation,element); | 497 | PartialInterpretation.newElements(interpretation,element); |
494 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
495 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
496 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
497 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 498 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
498 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
499 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 499 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
500 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
501 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
502 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
500 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 503 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
504 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
501 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 505 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
502 | neg find isPrimitive(element); | 506 | neg find isPrimitive(element); |
503 | } or { | 507 | } or { |
504 | find interpretation(problem,interpretation); | 508 | find interpretation(problem,interpretation); |
505 | PartialInterpretation.openWorldElements(interpretation,element); | 509 | PartialInterpretation.openWorldElements(interpretation,element); |
506 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
507 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
508 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
509 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 510 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
510 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
511 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 511 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
512 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
513 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
514 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
512 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 515 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
516 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
513 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); | 517 | neg find scopeDisallowsNewCubeSat3U_class(problem, interpretation); |
514 | neg find isPrimitive(element); | 518 | neg find isPrimitive(element); |
515 | } or | 519 | } or |
@@ -537,25 +541,25 @@ private pattern mayInstanceOfCubeSat6U_class(problem:LogicProblem, interpretatio | |||
537 | { | 541 | { |
538 | find interpretation(problem,interpretation); | 542 | find interpretation(problem,interpretation); |
539 | PartialInterpretation.newElements(interpretation,element); | 543 | PartialInterpretation.newElements(interpretation,element); |
540 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
541 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
542 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 544 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
543 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 545 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
544 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 546 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
547 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
548 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
545 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 549 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
546 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 550 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
547 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 551 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
548 | neg find isPrimitive(element); | 552 | neg find isPrimitive(element); |
549 | } or { | 553 | } or { |
550 | find interpretation(problem,interpretation); | 554 | find interpretation(problem,interpretation); |
551 | PartialInterpretation.openWorldElements(interpretation,element); | 555 | PartialInterpretation.openWorldElements(interpretation,element); |
552 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
553 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
554 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 556 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
555 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 557 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
556 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 558 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
559 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
560 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
557 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 561 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
558 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 562 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
559 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); | 563 | neg find scopeDisallowsNewCubeSat6U_class(problem, interpretation); |
560 | neg find isPrimitive(element); | 564 | neg find isPrimitive(element); |
561 | } or | 565 | } or |
@@ -583,23 +587,23 @@ private pattern mayInstanceOfSmallSat_class(problem:LogicProblem, interpretation | |||
583 | { | 587 | { |
584 | find interpretation(problem,interpretation); | 588 | find interpretation(problem,interpretation); |
585 | PartialInterpretation.newElements(interpretation,element); | 589 | PartialInterpretation.newElements(interpretation,element); |
586 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
587 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
588 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
589 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
590 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 590 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
591 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
591 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 592 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
593 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
594 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
595 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
592 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 596 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
593 | neg find isPrimitive(element); | 597 | neg find isPrimitive(element); |
594 | } or { | 598 | } or { |
595 | find interpretation(problem,interpretation); | 599 | find interpretation(problem,interpretation); |
596 | PartialInterpretation.openWorldElements(interpretation,element); | 600 | PartialInterpretation.openWorldElements(interpretation,element); |
597 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
598 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
599 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
600 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
601 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 601 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
602 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
602 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 603 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
604 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
605 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
606 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
603 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); | 607 | neg find scopeDisallowsNewSmallSat_class(problem, interpretation); |
604 | neg find isPrimitive(element); | 608 | neg find isPrimitive(element); |
605 | } or | 609 | } or |
@@ -627,94 +631,163 @@ private pattern mayInstanceOfCubeSat_class(problem:LogicProblem, interpretation: | |||
627 | { | 631 | { |
628 | find interpretation(problem,interpretation); | 632 | find interpretation(problem,interpretation); |
629 | PartialInterpretation.newElements(interpretation,element); | 633 | PartialInterpretation.newElements(interpretation,element); |
630 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
631 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
632 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 634 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
633 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
634 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
635 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
636 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 635 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
636 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
637 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
638 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
637 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 639 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
640 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
641 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
638 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 642 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
639 | neg find isPrimitive(element); | 643 | neg find isPrimitive(element); |
640 | } or { | 644 | } or { |
641 | find interpretation(problem,interpretation); | 645 | find interpretation(problem,interpretation); |
642 | PartialInterpretation.openWorldElements(interpretation,element); | 646 | PartialInterpretation.openWorldElements(interpretation,element); |
643 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
644 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
645 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 647 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
646 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
647 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
648 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
649 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 648 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); |
649 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
650 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
651 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
650 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 652 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
653 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
654 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
651 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); | 655 | neg find scopeDisallowsNewCubeSat_class(problem, interpretation); |
652 | neg find isPrimitive(element); | 656 | neg find isPrimitive(element); |
653 | } or | 657 | } or |
654 | { find mustInstanceOfCubeSat_class(problem,interpretation,element); } | 658 | { find mustInstanceOfCubeSat_class(problem,interpretation,element); } |
655 | /** | 659 | /** |
656 | * An element must be an instance of type "TransceiverBand enum". | 660 | * An element must be an instance of type "UHFCommSubsystem class". |
657 | */ | 661 | */ |
658 | private pattern mustInstanceOfTransceiverBand_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | 662 | private pattern mustInstanceOfUHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
659 | Type.name(type,"TransceiverBand enum"); | 663 | Type.name(type,"UHFCommSubsystem class"); |
660 | find directInstanceOf(problem,interpretation,element,type); | 664 | find directInstanceOf(problem,interpretation,element,type); |
661 | } | 665 | } |
662 | private pattern scopeDisallowsNewTransceiverBand_enum(problem:LogicProblem, interpretation:PartialInterpretation) { | 666 | private pattern scopeDisallowsNewUHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation) { |
663 | find interpretation(problem,interpretation); | 667 | find interpretation(problem,interpretation); |
664 | PartialInterpretation.scopes(interpretation,scope); | 668 | PartialInterpretation.scopes(interpretation,scope); |
665 | Scope.targetTypeInterpretation(scope,typeInterpretation); | 669 | Scope.targetTypeInterpretation(scope,typeInterpretation); |
666 | Scope.maxNewElements(scope,0); | 670 | Scope.maxNewElements(scope,0); |
667 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | 671 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
668 | Type.name(type,"TransceiverBand enum"); | 672 | Type.name(type,"UHFCommSubsystem class"); |
669 | } | 673 | } |
670 | 674 | ||
671 | /** | 675 | /** |
672 | * An element may be an instance of type "TransceiverBand enum". | 676 | * An element may be an instance of type "UHFCommSubsystem class". |
673 | */ | 677 | */ |
674 | private pattern mayInstanceOfTransceiverBand_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | 678 | private pattern mayInstanceOfUHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) |
675 | { find mustInstanceOfTransceiverBand_enum(problem,interpretation,element); } | 679 | { |
680 | find interpretation(problem,interpretation); | ||
681 | PartialInterpretation.newElements(interpretation,element); | ||
682 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
683 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
684 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
685 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
686 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
687 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
688 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); | ||
689 | neg find isPrimitive(element); | ||
690 | } or { | ||
691 | find interpretation(problem,interpretation); | ||
692 | PartialInterpretation.openWorldElements(interpretation,element); | ||
693 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
694 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
695 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
696 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
697 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
698 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
699 | neg find scopeDisallowsNewUHFCommSubsystem_class(problem, interpretation); | ||
700 | neg find isPrimitive(element); | ||
701 | } or | ||
702 | { find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); } | ||
676 | /** | 703 | /** |
677 | * An element must be an instance of type "AntennaGain enum". | 704 | * An element must be an instance of type "XCommSubsystem class". |
678 | */ | 705 | */ |
679 | private pattern mustInstanceOfAntennaGain_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | 706 | private pattern mustInstanceOfXCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
680 | Type.name(type,"AntennaGain enum"); | 707 | Type.name(type,"XCommSubsystem class"); |
681 | find directInstanceOf(problem,interpretation,element,type); | 708 | find directInstanceOf(problem,interpretation,element,type); |
682 | } | 709 | } |
683 | private pattern scopeDisallowsNewAntennaGain_enum(problem:LogicProblem, interpretation:PartialInterpretation) { | 710 | private pattern scopeDisallowsNewXCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation) { |
684 | find interpretation(problem,interpretation); | 711 | find interpretation(problem,interpretation); |
685 | PartialInterpretation.scopes(interpretation,scope); | 712 | PartialInterpretation.scopes(interpretation,scope); |
686 | Scope.targetTypeInterpretation(scope,typeInterpretation); | 713 | Scope.targetTypeInterpretation(scope,typeInterpretation); |
687 | Scope.maxNewElements(scope,0); | 714 | Scope.maxNewElements(scope,0); |
688 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | 715 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
689 | Type.name(type,"AntennaGain enum"); | 716 | Type.name(type,"XCommSubsystem class"); |
690 | } | 717 | } |
691 | 718 | ||
692 | /** | 719 | /** |
693 | * An element may be an instance of type "AntennaGain enum". | 720 | * An element may be an instance of type "XCommSubsystem class". |
694 | */ | 721 | */ |
695 | private pattern mayInstanceOfAntennaGain_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | 722 | private pattern mayInstanceOfXCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) |
696 | { find mustInstanceOfAntennaGain_enum(problem,interpretation,element); } | 723 | { |
724 | find interpretation(problem,interpretation); | ||
725 | PartialInterpretation.newElements(interpretation,element); | ||
726 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
727 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
728 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
729 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
730 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
731 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
732 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); | ||
733 | neg find isPrimitive(element); | ||
734 | } or { | ||
735 | find interpretation(problem,interpretation); | ||
736 | PartialInterpretation.openWorldElements(interpretation,element); | ||
737 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
738 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
739 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
740 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
741 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
742 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
743 | neg find scopeDisallowsNewXCommSubsystem_class(problem, interpretation); | ||
744 | neg find isPrimitive(element); | ||
745 | } or | ||
746 | { find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); } | ||
697 | /** | 747 | /** |
698 | * An element must be an instance of type "SpacecraftKind enum". | 748 | * An element must be an instance of type "KaCommSubsystem class". |
699 | */ | 749 | */ |
700 | private pattern mustInstanceOfSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | 750 | private pattern mustInstanceOfKaCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { |
701 | Type.name(type,"SpacecraftKind enum"); | 751 | Type.name(type,"KaCommSubsystem class"); |
702 | find directInstanceOf(problem,interpretation,element,type); | 752 | find directInstanceOf(problem,interpretation,element,type); |
703 | } | 753 | } |
704 | private pattern scopeDisallowsNewSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation) { | 754 | private pattern scopeDisallowsNewKaCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation) { |
705 | find interpretation(problem,interpretation); | 755 | find interpretation(problem,interpretation); |
706 | PartialInterpretation.scopes(interpretation,scope); | 756 | PartialInterpretation.scopes(interpretation,scope); |
707 | Scope.targetTypeInterpretation(scope,typeInterpretation); | 757 | Scope.targetTypeInterpretation(scope,typeInterpretation); |
708 | Scope.maxNewElements(scope,0); | 758 | Scope.maxNewElements(scope,0); |
709 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | 759 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
710 | Type.name(type,"SpacecraftKind enum"); | 760 | Type.name(type,"KaCommSubsystem class"); |
711 | } | 761 | } |
712 | 762 | ||
713 | /** | 763 | /** |
714 | * An element may be an instance of type "SpacecraftKind enum". | 764 | * An element may be an instance of type "KaCommSubsystem class". |
715 | */ | 765 | */ |
716 | private pattern mayInstanceOfSpacecraftKind_enum(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | 766 | private pattern mayInstanceOfKaCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) |
717 | { find mustInstanceOfSpacecraftKind_enum(problem,interpretation,element); } | 767 | { |
768 | find interpretation(problem,interpretation); | ||
769 | PartialInterpretation.newElements(interpretation,element); | ||
770 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
771 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
772 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
773 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
774 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
775 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
776 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); | ||
777 | neg find isPrimitive(element); | ||
778 | } or { | ||
779 | find interpretation(problem,interpretation); | ||
780 | PartialInterpretation.openWorldElements(interpretation,element); | ||
781 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
782 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
783 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
784 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
785 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
786 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
787 | neg find scopeDisallowsNewKaCommSubsystem_class(problem, interpretation); | ||
788 | neg find isPrimitive(element); | ||
789 | } or | ||
790 | { find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); } | ||
718 | /** | 791 | /** |
719 | * An element must be an instance of type "ConstellationMission class DefinedPart". | 792 | * An element must be an instance of type "ConstellationMission class DefinedPart". |
720 | */ | 793 | */ |
@@ -759,21 +832,21 @@ private pattern mayInstanceOfConstellationMission_class_UndefinedPart(problem:Lo | |||
759 | { | 832 | { |
760 | find interpretation(problem,interpretation); | 833 | find interpretation(problem,interpretation); |
761 | PartialInterpretation.newElements(interpretation,element); | 834 | PartialInterpretation.newElements(interpretation,element); |
835 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | ||
762 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 836 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
763 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
764 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
765 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 837 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
766 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 838 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
839 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
767 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 840 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
768 | neg find isPrimitive(element); | 841 | neg find isPrimitive(element); |
769 | } or { | 842 | } or { |
770 | find interpretation(problem,interpretation); | 843 | find interpretation(problem,interpretation); |
771 | PartialInterpretation.openWorldElements(interpretation,element); | 844 | PartialInterpretation.openWorldElements(interpretation,element); |
845 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | ||
772 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 846 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
773 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
774 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
775 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 847 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
776 | neg find mustInstanceOfInterferometryMission_class(problem,interpretation,element); | 848 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
849 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
777 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); | 850 | neg find scopeDisallowsNewConstellationMission_class_UndefinedPart(problem, interpretation); |
778 | neg find isPrimitive(element); | 851 | neg find isPrimitive(element); |
779 | } or | 852 | } or |
@@ -822,19 +895,19 @@ private pattern mayInstanceOfInterferometryMission_class_UndefinedPart(problem:L | |||
822 | { | 895 | { |
823 | find interpretation(problem,interpretation); | 896 | find interpretation(problem,interpretation); |
824 | PartialInterpretation.newElements(interpretation,element); | 897 | PartialInterpretation.newElements(interpretation,element); |
898 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
899 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
825 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 900 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
826 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 901 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
827 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
828 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
829 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 902 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
830 | neg find isPrimitive(element); | 903 | neg find isPrimitive(element); |
831 | } or { | 904 | } or { |
832 | find interpretation(problem,interpretation); | 905 | find interpretation(problem,interpretation); |
833 | PartialInterpretation.openWorldElements(interpretation,element); | 906 | PartialInterpretation.openWorldElements(interpretation,element); |
907 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
908 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
834 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 909 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
835 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 910 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
836 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
837 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
838 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); | 911 | neg find scopeDisallowsNewInterferometryMission_class_UndefinedPart(problem, interpretation); |
839 | neg find isPrimitive(element); | 912 | neg find isPrimitive(element); |
840 | } or | 913 | } or |
@@ -883,23 +956,23 @@ private pattern mayInstanceOfCommunicatingElement_class_UndefinedPart(problem:Lo | |||
883 | { | 956 | { |
884 | find interpretation(problem,interpretation); | 957 | find interpretation(problem,interpretation); |
885 | PartialInterpretation.newElements(interpretation,element); | 958 | PartialInterpretation.newElements(interpretation,element); |
886 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
887 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
888 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 959 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
889 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
890 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
891 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 960 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
961 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
962 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
963 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
964 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
892 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 965 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
893 | neg find isPrimitive(element); | 966 | neg find isPrimitive(element); |
894 | } or { | 967 | } or { |
895 | find interpretation(problem,interpretation); | 968 | find interpretation(problem,interpretation); |
896 | PartialInterpretation.openWorldElements(interpretation,element); | 969 | PartialInterpretation.openWorldElements(interpretation,element); |
897 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
898 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
899 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 970 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
900 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
901 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
902 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 971 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
972 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
973 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
974 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
975 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
903 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); | 976 | neg find scopeDisallowsNewCommunicatingElement_class_UndefinedPart(problem, interpretation); |
904 | neg find isPrimitive(element); | 977 | neg find isPrimitive(element); |
905 | } or | 978 | } or |
@@ -948,21 +1021,21 @@ private pattern mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem:Lo | |||
948 | { | 1021 | { |
949 | find interpretation(problem,interpretation); | 1022 | find interpretation(problem,interpretation); |
950 | PartialInterpretation.newElements(interpretation,element); | 1023 | PartialInterpretation.newElements(interpretation,element); |
951 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
952 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
953 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1024 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
954 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
955 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 1025 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
1026 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
1027 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1028 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
956 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 1029 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
957 | neg find isPrimitive(element); | 1030 | neg find isPrimitive(element); |
958 | } or { | 1031 | } or { |
959 | find interpretation(problem,interpretation); | 1032 | find interpretation(problem,interpretation); |
960 | PartialInterpretation.openWorldElements(interpretation,element); | 1033 | PartialInterpretation.openWorldElements(interpretation,element); |
961 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
962 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
963 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1034 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
964 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
965 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 1035 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); |
1036 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
1037 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1038 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
966 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); | 1039 | neg find scopeDisallowsNewGroundStationNetwork_class_UndefinedPart(problem, interpretation); |
967 | neg find isPrimitive(element); | 1040 | neg find isPrimitive(element); |
968 | } or | 1041 | } or |
@@ -1011,23 +1084,159 @@ private pattern mayInstanceOfCommSubsystem_class_UndefinedPart(problem:LogicProb | |||
1011 | { | 1084 | { |
1012 | find interpretation(problem,interpretation); | 1085 | find interpretation(problem,interpretation); |
1013 | PartialInterpretation.newElements(interpretation,element); | 1086 | PartialInterpretation.newElements(interpretation,element); |
1087 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1014 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 1088 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
1089 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1090 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
1091 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
1092 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
1015 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1093 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1094 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | ||
1095 | neg find isPrimitive(element); | ||
1096 | } or { | ||
1097 | find interpretation(problem,interpretation); | ||
1098 | PartialInterpretation.openWorldElements(interpretation,element); | ||
1016 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1099 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1100 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1017 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 1101 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
1102 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
1103 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
1104 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
1105 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
1018 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1106 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); |
1019 | neg find isPrimitive(element); | 1107 | neg find isPrimitive(element); |
1108 | } or | ||
1109 | { find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); } | ||
1110 | /** | ||
1111 | * An element must be an instance of type "XCommSubsystem class DefinedPart". | ||
1112 | */ | ||
1113 | private pattern mustInstanceOfXCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | ||
1114 | Type.name(type,"XCommSubsystem class DefinedPart"); | ||
1115 | find directInstanceOf(problem,interpretation,element,type); | ||
1116 | } | ||
1117 | private pattern scopeDisallowsNewXCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
1118 | find interpretation(problem,interpretation); | ||
1119 | PartialInterpretation.scopes(interpretation,scope); | ||
1120 | Scope.targetTypeInterpretation(scope,typeInterpretation); | ||
1121 | Scope.maxNewElements(scope,0); | ||
1122 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | ||
1123 | Type.name(type,"XCommSubsystem class DefinedPart"); | ||
1124 | } | ||
1125 | |||
1126 | /** | ||
1127 | * An element may be an instance of type "XCommSubsystem class DefinedPart". | ||
1128 | */ | ||
1129 | private pattern mayInstanceOfXCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | ||
1130 | { find mustInstanceOfXCommSubsystem_class_DefinedPart(problem,interpretation,element); } | ||
1131 | /** | ||
1132 | * An element must be an instance of type "XCommSubsystem class UndefinedPart". | ||
1133 | */ | ||
1134 | private pattern mustInstanceOfXCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | ||
1135 | Type.name(type,"XCommSubsystem class UndefinedPart"); | ||
1136 | find directInstanceOf(problem,interpretation,element,type); | ||
1137 | } | ||
1138 | private pattern scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
1139 | find interpretation(problem,interpretation); | ||
1140 | PartialInterpretation.scopes(interpretation,scope); | ||
1141 | Scope.targetTypeInterpretation(scope,typeInterpretation); | ||
1142 | Scope.maxNewElements(scope,0); | ||
1143 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | ||
1144 | Type.name(type,"XCommSubsystem class UndefinedPart"); | ||
1145 | } | ||
1146 | |||
1147 | /** | ||
1148 | * An element may be an instance of type "XCommSubsystem class UndefinedPart". | ||
1149 | */ | ||
1150 | private pattern mayInstanceOfXCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | ||
1151 | { | ||
1152 | find interpretation(problem,interpretation); | ||
1153 | PartialInterpretation.newElements(interpretation,element); | ||
1154 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1155 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1157 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
1158 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
1159 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
1160 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); | ||
1161 | neg find isPrimitive(element); | ||
1020 | } or { | 1162 | } or { |
1021 | find interpretation(problem,interpretation); | 1163 | find interpretation(problem,interpretation); |
1022 | PartialInterpretation.openWorldElements(interpretation,element); | 1164 | PartialInterpretation.openWorldElements(interpretation,element); |
1165 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1166 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1167 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1168 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
1169 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
1170 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
1171 | neg find scopeDisallowsNewXCommSubsystem_class_UndefinedPart(problem, interpretation); | ||
1172 | neg find isPrimitive(element); | ||
1173 | } or | ||
1174 | { find mustInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); } | ||
1175 | /** | ||
1176 | * An element must be an instance of type "KaCommSubsystem class DefinedPart". | ||
1177 | */ | ||
1178 | private pattern mustInstanceOfKaCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | ||
1179 | Type.name(type,"KaCommSubsystem class DefinedPart"); | ||
1180 | find directInstanceOf(problem,interpretation,element,type); | ||
1181 | } | ||
1182 | private pattern scopeDisallowsNewKaCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
1183 | find interpretation(problem,interpretation); | ||
1184 | PartialInterpretation.scopes(interpretation,scope); | ||
1185 | Scope.targetTypeInterpretation(scope,typeInterpretation); | ||
1186 | Scope.maxNewElements(scope,0); | ||
1187 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | ||
1188 | Type.name(type,"KaCommSubsystem class DefinedPart"); | ||
1189 | } | ||
1190 | |||
1191 | /** | ||
1192 | * An element may be an instance of type "KaCommSubsystem class DefinedPart". | ||
1193 | */ | ||
1194 | private pattern mayInstanceOfKaCommSubsystem_class_DefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | ||
1195 | { find mustInstanceOfKaCommSubsystem_class_DefinedPart(problem,interpretation,element); } | ||
1196 | /** | ||
1197 | * An element must be an instance of type "KaCommSubsystem class UndefinedPart". | ||
1198 | */ | ||
1199 | private pattern mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) { | ||
1200 | Type.name(type,"KaCommSubsystem class UndefinedPart"); | ||
1201 | find directInstanceOf(problem,interpretation,element,type); | ||
1202 | } | ||
1203 | private pattern scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation) { | ||
1204 | find interpretation(problem,interpretation); | ||
1205 | PartialInterpretation.scopes(interpretation,scope); | ||
1206 | Scope.targetTypeInterpretation(scope,typeInterpretation); | ||
1207 | Scope.maxNewElements(scope,0); | ||
1208 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); | ||
1209 | Type.name(type,"KaCommSubsystem class UndefinedPart"); | ||
1210 | } | ||
1211 | |||
1212 | /** | ||
1213 | * An element may be an instance of type "KaCommSubsystem class UndefinedPart". | ||
1214 | */ | ||
1215 | private pattern mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) | ||
1216 | { | ||
1217 | find interpretation(problem,interpretation); | ||
1218 | PartialInterpretation.newElements(interpretation,element); | ||
1219 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
1023 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 1220 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
1221 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
1222 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
1223 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
1024 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 1224 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
1225 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); | ||
1226 | neg find isPrimitive(element); | ||
1227 | } or { | ||
1228 | find interpretation(problem,interpretation); | ||
1229 | PartialInterpretation.openWorldElements(interpretation,element); | ||
1025 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 1230 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
1231 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
1026 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 1232 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
1027 | neg find scopeDisallowsNewCommSubsystem_class_UndefinedPart(problem, interpretation); | 1233 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
1234 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
1235 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
1236 | neg find scopeDisallowsNewKaCommSubsystem_class_UndefinedPart(problem, interpretation); | ||
1028 | neg find isPrimitive(element); | 1237 | neg find isPrimitive(element); |
1029 | } or | 1238 | } or |
1030 | { find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); } | 1239 | { find mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); } |
1031 | 1240 | ||
1032 | ////////// | 1241 | ////////// |
1033 | // 1.2 Relation Declaration Indexers | 1242 | // 1.2 Relation Declaration Indexers |
@@ -1302,94 +1511,6 @@ private pattern mayInRelationtarget_reference_DirectedCommunicationLink( | |||
1302 | } or { | 1511 | } or { |
1303 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,source,target); | 1512 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,source,target); |
1304 | } | 1513 | } |
1305 | /** | ||
1306 | * Matcher for detecting tuples t where []kind attribute Spacecraft(source,target) | ||
1307 | */ | ||
1308 | private pattern mustInRelationkind_attribute_Spacecraft( | ||
1309 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1310 | source: DefinedElement, target:DefinedElement) | ||
1311 | { | ||
1312 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(problem,interpretation,source,target); | ||
1313 | } | ||
1314 | /** | ||
1315 | * Matcher for detecting tuples t where []kind attribute Spacecraft(source,target) | ||
1316 | */ | ||
1317 | private pattern mayInRelationkind_attribute_Spacecraft( | ||
1318 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1319 | source: DefinedElement, target:DefinedElement) | ||
1320 | { | ||
1321 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind(problem,interpretation,source,target); | ||
1322 | } | ||
1323 | /** | ||
1324 | * Matcher for detecting tuples t where []band attribute CommSubsystem(source,target) | ||
1325 | */ | ||
1326 | private pattern mustInRelationband_attribute_CommSubsystem( | ||
1327 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1328 | source: DefinedElement, target:DefinedElement) | ||
1329 | { | ||
1330 | find interpretation(problem,interpretation); | ||
1331 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
1332 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"band attribute CommSubsystem"); | ||
1333 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | ||
1334 | BinaryElementRelationLink.param1(link,source); | ||
1335 | BinaryElementRelationLink.param2(link,target); | ||
1336 | } | ||
1337 | /** | ||
1338 | * Matcher for detecting tuples t where <>band attribute CommSubsystem(source,target) | ||
1339 | */ | ||
1340 | private pattern mayInRelationband_attribute_CommSubsystem( | ||
1341 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1342 | source: DefinedElement, target:DefinedElement) | ||
1343 | { | ||
1344 | find interpretation(problem,interpretation); | ||
1345 | // The two endpoint of the link have to exist | ||
1346 | find mayExist(problem, interpretation, source); | ||
1347 | find mayExist(problem, interpretation, target); | ||
1348 | // Type consistency | ||
1349 | find mayInstanceOfCommSubsystem_class(problem,interpretation,source); | ||
1350 | find mayInstanceOfTransceiverBand_enum(problem,interpretation,target); | ||
1351 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | ||
1352 | // the upper bound of the multiplicity should be considered. | ||
1353 | numberOfExistingReferences == count find mustInRelationband_attribute_CommSubsystem(problem,interpretation,source,_); | ||
1354 | check(numberOfExistingReferences < 1); | ||
1355 | } or { | ||
1356 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,source,target); | ||
1357 | } | ||
1358 | /** | ||
1359 | * Matcher for detecting tuples t where []gain attribute CommSubsystem(source,target) | ||
1360 | */ | ||
1361 | private pattern mustInRelationgain_attribute_CommSubsystem( | ||
1362 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1363 | source: DefinedElement, target:DefinedElement) | ||
1364 | { | ||
1365 | find interpretation(problem,interpretation); | ||
1366 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
1367 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"gain attribute CommSubsystem"); | ||
1368 | PartialRelationInterpretation.relationlinks(relationIterpretation,link); | ||
1369 | BinaryElementRelationLink.param1(link,source); | ||
1370 | BinaryElementRelationLink.param2(link,target); | ||
1371 | } | ||
1372 | /** | ||
1373 | * Matcher for detecting tuples t where <>gain attribute CommSubsystem(source,target) | ||
1374 | */ | ||
1375 | private pattern mayInRelationgain_attribute_CommSubsystem( | ||
1376 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
1377 | source: DefinedElement, target:DefinedElement) | ||
1378 | { | ||
1379 | find interpretation(problem,interpretation); | ||
1380 | // The two endpoint of the link have to exist | ||
1381 | find mayExist(problem, interpretation, source); | ||
1382 | find mayExist(problem, interpretation, target); | ||
1383 | // Type consistency | ||
1384 | find mayInstanceOfCommSubsystem_class(problem,interpretation,source); | ||
1385 | find mayInstanceOfAntennaGain_enum(problem,interpretation,target); | ||
1386 | // There are "numberOfExistingReferences" currently existing instances of the reference from the source, | ||
1387 | // the upper bound of the multiplicity should be considered. | ||
1388 | numberOfExistingReferences == count find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,source,_); | ||
1389 | check(numberOfExistingReferences < 1); | ||
1390 | } or { | ||
1391 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,source,target); | ||
1392 | } | ||
1393 | 1514 | ||
1394 | ////////// | 1515 | ////////// |
1395 | // 1.3 Relation Definition Indexers | 1516 | // 1.3 Relation Definition Indexers |
@@ -1729,7 +1850,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
1729 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1850 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1730 | // From is exported | 1851 | // From is exported |
1731 | // To is exported | 1852 | // To is exported |
1732 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1853 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1733 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); | 1854 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); |
1734 | }or{ | 1855 | }or{ |
1735 | find interpretation(problem,interpretation); | 1856 | find interpretation(problem,interpretation); |
@@ -1737,8 +1858,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
1737 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1858 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1738 | // From is exported | 1859 | // From is exported |
1739 | // To is exported | 1860 | // To is exported |
1740 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 1861 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1741 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0); | ||
1742 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1862 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1743 | }or{ | 1863 | }or{ |
1744 | find interpretation(problem,interpretation); | 1864 | find interpretation(problem,interpretation); |
@@ -1746,7 +1866,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
1746 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1866 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1747 | // From is exported | 1867 | // From is exported |
1748 | // To is exported | 1868 | // To is exported |
1749 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1869 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1750 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1870 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1751 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); | 1871 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); |
1752 | } | 1872 | } |
@@ -1759,7 +1879,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
1759 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1879 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1760 | // From is exported | 1880 | // From is exported |
1761 | // To is exported | 1881 | // To is exported |
1762 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1882 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1763 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); | 1883 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); |
1764 | }or{ | 1884 | }or{ |
1765 | find interpretation(problem,interpretation); | 1885 | find interpretation(problem,interpretation); |
@@ -1767,8 +1887,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
1767 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1887 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1768 | // From is exported | 1888 | // From is exported |
1769 | // To is exported | 1889 | // To is exported |
1770 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 1890 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1771 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0); | ||
1772 | find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1891 | find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1773 | }or{ | 1892 | }or{ |
1774 | find interpretation(problem,interpretation); | 1893 | find interpretation(problem,interpretation); |
@@ -1776,7 +1895,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
1776 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1895 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1777 | // From is exported | 1896 | // From is exported |
1778 | // To is exported | 1897 | // To is exported |
1779 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1898 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1780 | find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1899 | find mayInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1781 | find mayInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); | 1900 | find mayInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); |
1782 | } | 1901 | } |
@@ -1789,7 +1908,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
1789 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1908 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1790 | // From is exported | 1909 | // From is exported |
1791 | // To is exported | 1910 | // To is exported |
1792 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1911 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1793 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); | 1912 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U(problem,interpretation,var_From); |
1794 | }or{ | 1913 | }or{ |
1795 | find interpretation(problem,interpretation); | 1914 | find interpretation(problem,interpretation); |
@@ -1797,8 +1916,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
1797 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1916 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1798 | // From is exported | 1917 | // From is exported |
1799 | // To is exported | 1918 | // To is exported |
1800 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 1919 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1801 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,var_virtual0); | ||
1802 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1920 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1803 | }or{ | 1921 | }or{ |
1804 | find interpretation(problem,interpretation); | 1922 | find interpretation(problem,interpretation); |
@@ -1806,7 +1924,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
1806 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1924 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1807 | // From is exported | 1925 | // From is exported |
1808 | // To is exported | 1926 | // To is exported |
1809 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To,_var__0); | 1927 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna(problem,interpretation,var_From,var_To); |
1810 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); | 1928 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_From); |
1811 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); | 1929 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,var_To); |
1812 | } | 1930 | } |
@@ -1822,111 +1940,145 @@ private pattern twoParam_currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_do | |||
1822 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna | 1940 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries matchingAntenna |
1823 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( | 1941 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( |
1824 | problem:LogicProblem, interpretation:PartialInterpretation, | 1942 | problem:LogicProblem, interpretation:PartialInterpretation, |
1825 | var_From, var_To, var_Band) | 1943 | var_From, var_To) |
1826 | { | 1944 | { |
1827 | find interpretation(problem,interpretation); | 1945 | find interpretation(problem,interpretation); |
1828 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_From); | 1946 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_From); |
1829 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1947 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1830 | // type constraint is enforced by construction | ||
1831 | // From is exported | 1948 | // From is exported |
1832 | // To is exported | 1949 | // To is exported |
1833 | // Band is exported | ||
1834 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | 1950 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); |
1835 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); | 1951 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); |
1836 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1952 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
1837 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1953 | find mustEquivalent(problem, interpretation, var_virtual0, var_FromSys); |
1838 | // type constraint is enforced by construction | ||
1839 | find mustEquivalent(problem, interpretation, var_virtual1, var_Band); | ||
1840 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1954 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1841 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2); | 1955 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual1); |
1842 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 1956 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1843 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | 1957 | find mustEquivalent(problem, interpretation, var_virtual1, var_ToSys); |
1844 | // type constraint is enforced by construction | 1958 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_FromSys,var_ToSys); |
1845 | find mustEquivalent(problem, interpretation, var_virtual3, var_Band); | ||
1846 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | ||
1847 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4); | ||
1848 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4); | ||
1849 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5); | ||
1850 | // type constraint is enforced by construction | ||
1851 | find mustEquivalent(problem, interpretation, var_virtual5, var_Gain); | ||
1852 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | ||
1853 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6); | ||
1854 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6); | ||
1855 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7); | ||
1856 | // type constraint is enforced by construction | ||
1857 | find mustEquivalent(problem, interpretation, var_virtual7, var_Gain); | ||
1858 | } | 1959 | } |
1859 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( | 1960 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( |
1860 | problem:LogicProblem, interpretation:PartialInterpretation, | 1961 | problem:LogicProblem, interpretation:PartialInterpretation, |
1861 | var_From, var_To, var_Band) | 1962 | var_From, var_To) |
1862 | { | 1963 | { |
1863 | find interpretation(problem,interpretation); | 1964 | find interpretation(problem,interpretation); |
1864 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_From); | 1965 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_From); |
1865 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1966 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1866 | // type constraint is enforced by construction | ||
1867 | // From is exported | 1967 | // From is exported |
1868 | // To is exported | 1968 | // To is exported |
1869 | // Band is exported | ||
1870 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | 1969 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_From); |
1871 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); | 1970 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); |
1872 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1971 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
1873 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1972 | find mayEquivalent(problem, interpretation, var_virtual0, var_FromSys); |
1874 | // type constraint is enforced by construction | ||
1875 | find mayEquivalent(problem, interpretation, var_virtual1, var_Band); | ||
1876 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1973 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1877 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2); | 1974 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual1); |
1878 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | 1975 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1879 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | 1976 | find mayEquivalent(problem, interpretation, var_virtual1, var_ToSys); |
1880 | // type constraint is enforced by construction | 1977 | find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_FromSys,var_ToSys); |
1881 | find mayEquivalent(problem, interpretation, var_virtual3, var_Band); | ||
1882 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | ||
1883 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4); | ||
1884 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4); | ||
1885 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5); | ||
1886 | // type constraint is enforced by construction | ||
1887 | find mayEquivalent(problem, interpretation, var_virtual5, var_Gain); | ||
1888 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | ||
1889 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6); | ||
1890 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6); | ||
1891 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7); | ||
1892 | // type constraint is enforced by construction | ||
1893 | find mayEquivalent(problem, interpretation, var_virtual7, var_Gain); | ||
1894 | } | 1978 | } |
1895 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( | 1979 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingAntenna( |
1896 | problem:LogicProblem, interpretation:PartialInterpretation, | 1980 | problem:LogicProblem, interpretation:PartialInterpretation, |
1897 | var_From, var_To, var_Band) | 1981 | var_From, var_To) |
1898 | { | 1982 | { |
1899 | find interpretation(problem,interpretation); | 1983 | find interpretation(problem,interpretation); |
1900 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_From); | 1984 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_From); |
1901 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1985 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1902 | // type constraint is enforced by construction | ||
1903 | // From is exported | 1986 | // From is exported |
1904 | // To is exported | 1987 | // To is exported |
1905 | // Band is exported | ||
1906 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | 1988 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); |
1907 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); | 1989 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual0); |
1908 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | 1990 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
1909 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual0,var_virtual1); | 1991 | find mustEquivalent(problem, interpretation, var_virtual0, var_FromSys); |
1910 | // type constraint is enforced by construction | ||
1911 | find mustEquivalent(problem, interpretation, var_virtual1, var_Band); | ||
1912 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | ||
1913 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual2); | ||
1914 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual2); | ||
1915 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual2,var_virtual3); | ||
1916 | // type constraint is enforced by construction | ||
1917 | find mustEquivalent(problem, interpretation, var_virtual3, var_Band); | ||
1918 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_From); | ||
1919 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_From,var_virtual4); | ||
1920 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual4); | ||
1921 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual4,var_virtual5); | ||
1922 | // type constraint is enforced by construction | ||
1923 | find mustEquivalent(problem, interpretation, var_virtual5, var_Gain); | ||
1924 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); | 1992 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_To); |
1925 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual6); | 1993 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_To,var_virtual1); |
1926 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual6); | 1994 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
1927 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_virtual6,var_virtual7); | 1995 | find mustEquivalent(problem, interpretation, var_virtual1, var_ToSys); |
1928 | // type constraint is enforced by construction | 1996 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_FromSys,var_ToSys); |
1929 | find mustEquivalent(problem, interpretation, var_virtual7, var_Gain); | 1997 | } |
1998 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries matchingCommSubsystem | ||
1999 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem( | ||
2000 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2001 | var_From, var_To) | ||
2002 | { | ||
2003 | find interpretation(problem,interpretation); | ||
2004 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2005 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2006 | // From is exported | ||
2007 | // To is exported | ||
2008 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_From); | ||
2009 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_To); | ||
2010 | }or{ | ||
2011 | find interpretation(problem,interpretation); | ||
2012 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2013 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2014 | // From is exported | ||
2015 | // To is exported | ||
2016 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,var_From); | ||
2017 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,var_To); | ||
2018 | }or{ | ||
2019 | find interpretation(problem,interpretation); | ||
2020 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2021 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2022 | // From is exported | ||
2023 | // To is exported | ||
2024 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_From); | ||
2025 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_To); | ||
2026 | } | ||
2027 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem( | ||
2028 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2029 | var_From, var_To) | ||
2030 | { | ||
2031 | find interpretation(problem,interpretation); | ||
2032 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2033 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2034 | // From is exported | ||
2035 | // To is exported | ||
2036 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,var_From); | ||
2037 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,var_To); | ||
2038 | }or{ | ||
2039 | find interpretation(problem,interpretation); | ||
2040 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2041 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2042 | // From is exported | ||
2043 | // To is exported | ||
2044 | find mayInstanceOfXCommSubsystem_class(problem,interpretation,var_From); | ||
2045 | find mayInstanceOfXCommSubsystem_class(problem,interpretation,var_To); | ||
2046 | }or{ | ||
2047 | find interpretation(problem,interpretation); | ||
2048 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2049 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2050 | // From is exported | ||
2051 | // To is exported | ||
2052 | find mayInstanceOfKaCommSubsystem_class(problem,interpretation,var_From); | ||
2053 | find mayInstanceOfKaCommSubsystem_class(problem,interpretation,var_To); | ||
2054 | } | ||
2055 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem( | ||
2056 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2057 | var_From, var_To) | ||
2058 | { | ||
2059 | find interpretation(problem,interpretation); | ||
2060 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2061 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2062 | // From is exported | ||
2063 | // To is exported | ||
2064 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_From); | ||
2065 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_To); | ||
2066 | }or{ | ||
2067 | find interpretation(problem,interpretation); | ||
2068 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2069 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2070 | // From is exported | ||
2071 | // To is exported | ||
2072 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,var_From); | ||
2073 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,var_To); | ||
2074 | }or{ | ||
2075 | find interpretation(problem,interpretation); | ||
2076 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_From); | ||
2077 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_To); | ||
2078 | // From is exported | ||
2079 | // To is exported | ||
2080 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_From); | ||
2081 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_To); | ||
1930 | } | 2082 | } |
1931 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U | 2083 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries cubeSat3U |
1932 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U( | 2084 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat3U( |
@@ -1956,6 +2108,34 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
1956 | // Sat is exported | 2108 | // Sat is exported |
1957 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat); | 2109 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Sat); |
1958 | } | 2110 | } |
2111 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries cubeSat6U | ||
2112 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat6U( | ||
2113 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2114 | var_Sat) | ||
2115 | { | ||
2116 | find interpretation(problem,interpretation); | ||
2117 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2118 | // Sat is exported | ||
2119 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2120 | } | ||
2121 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat6U( | ||
2122 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2123 | var_Sat) | ||
2124 | { | ||
2125 | find interpretation(problem,interpretation); | ||
2126 | find mayInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2127 | // Sat is exported | ||
2128 | find mayInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2129 | } | ||
2130 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSat6U( | ||
2131 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2132 | var_Sat) | ||
2133 | { | ||
2134 | find interpretation(problem,interpretation); | ||
2135 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2136 | // Sat is exported | ||
2137 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Sat); | ||
2138 | } | ||
1959 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop | 2139 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries communicationLoop |
1960 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop( | 2140 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_communicationLoop( |
1961 | problem:LogicProblem, interpretation:PartialInterpretation, | 2141 | problem:LogicProblem, interpretation:PartialInterpretation, |
@@ -2122,11 +2302,7 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
2122 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2302 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
2123 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2303 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2124 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | 2304 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); |
2125 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | 2305 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2126 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2127 | // type constraint is enforced by construction | ||
2128 | find mustEquivalent(problem, interpretation, var_virtual2, var_Band); | ||
2129 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(problem,interpretation,var_TargetSubsystem,var_Band); | ||
2130 | } | 2306 | } |
2131 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( | 2307 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( |
2132 | problem:LogicProblem, interpretation:PartialInterpretation, | 2308 | problem:LogicProblem, interpretation:PartialInterpretation, |
@@ -2143,11 +2319,7 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
2143 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2319 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
2144 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2320 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2145 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | 2321 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); |
2146 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | 2322 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2147 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2148 | // type constraint is enforced by construction | ||
2149 | find mayEquivalent(problem, interpretation, var_virtual2, var_Band); | ||
2150 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(problem,interpretation,var_TargetSubsystem,var_Band); | ||
2151 | } | 2323 | } |
2152 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( | 2324 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand( |
2153 | problem:LogicProblem, interpretation:PartialInterpretation, | 2325 | problem:LogicProblem, interpretation:PartialInterpretation, |
@@ -2164,382 +2336,7 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
2164 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | 2336 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); |
2165 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2337 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); |
2166 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | 2338 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); |
2167 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | 2339 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_matchingCommSubsystem(problem,interpretation,var_SourceSubsystem,var_TargetSubsystem); |
2168 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2169 | // type constraint is enforced by construction | ||
2170 | find mustEquivalent(problem, interpretation, var_virtual2, var_Band); | ||
2171 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand(problem,interpretation,var_TargetSubsystem,var_Band); | ||
2172 | } | ||
2173 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemBand | ||
2174 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand( | ||
2175 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2176 | var_Comm, var_Band) | ||
2177 | { | ||
2178 | find interpretation(problem,interpretation); | ||
2179 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2180 | // type constraint is enforced by construction | ||
2181 | // Comm is exported | ||
2182 | // Band is exported | ||
2183 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2184 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2185 | // type constraint is enforced by construction | ||
2186 | find mustEquivalent(problem, interpretation, var_virtual0, var_Band); | ||
2187 | } | ||
2188 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand( | ||
2189 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2190 | var_Comm, var_Band) | ||
2191 | { | ||
2192 | find interpretation(problem,interpretation); | ||
2193 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2194 | // type constraint is enforced by construction | ||
2195 | // Comm is exported | ||
2196 | // Band is exported | ||
2197 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2198 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2199 | // type constraint is enforced by construction | ||
2200 | find mayEquivalent(problem, interpretation, var_virtual0, var_Band); | ||
2201 | } | ||
2202 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBand( | ||
2203 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2204 | var_Comm, var_Band) | ||
2205 | { | ||
2206 | find interpretation(problem,interpretation); | ||
2207 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2208 | // type constraint is enforced by construction | ||
2209 | // Comm is exported | ||
2210 | // Band is exported | ||
2211 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2212 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2213 | // type constraint is enforced by construction | ||
2214 | find mustEquivalent(problem, interpretation, var_virtual0, var_Band); | ||
2215 | } | ||
2216 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries incompatibleSourceAndTargetGain | ||
2217 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain( | ||
2218 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2219 | var_Link) | ||
2220 | { | ||
2221 | find interpretation(problem,interpretation); | ||
2222 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2223 | // Link is exported | ||
2224 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2225 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | ||
2226 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
2227 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | ||
2228 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2229 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2230 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2231 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2232 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | ||
2233 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2234 | // type constraint is enforced by construction | ||
2235 | find mustEquivalent(problem, interpretation, var_virtual2, var_Gain); | ||
2236 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(problem,interpretation,var_TargetSubsystem,var_Gain); | ||
2237 | } | ||
2238 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain( | ||
2239 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2240 | var_Link) | ||
2241 | { | ||
2242 | find interpretation(problem,interpretation); | ||
2243 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2244 | // Link is exported | ||
2245 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2246 | find mayInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | ||
2247 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
2248 | find mayEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | ||
2249 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2250 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2251 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2252 | find mayEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2253 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | ||
2254 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2255 | // type constraint is enforced by construction | ||
2256 | find mayEquivalent(problem, interpretation, var_virtual2, var_Gain); | ||
2257 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(problem,interpretation,var_TargetSubsystem,var_Gain); | ||
2258 | } | ||
2259 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain( | ||
2260 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2261 | var_Link) | ||
2262 | { | ||
2263 | find interpretation(problem,interpretation); | ||
2264 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2265 | // Link is exported | ||
2266 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2267 | find mustInRelationsource_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual0); | ||
2268 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); | ||
2269 | find mustEquivalent(problem, interpretation, var_virtual0, var_SourceSubsystem); | ||
2270 | find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,var_Link); | ||
2271 | find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,var_Link,var_virtual1); | ||
2272 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | ||
2273 | find mustEquivalent(problem, interpretation, var_virtual1, var_TargetSubsystem); | ||
2274 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_SourceSubsystem); | ||
2275 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_SourceSubsystem,var_virtual2); | ||
2276 | // type constraint is enforced by construction | ||
2277 | find mustEquivalent(problem, interpretation, var_virtual2, var_Gain); | ||
2278 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain(problem,interpretation,var_TargetSubsystem,var_Gain); | ||
2279 | } | ||
2280 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGain | ||
2281 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain( | ||
2282 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2283 | var_Comm, var_Gain) | ||
2284 | { | ||
2285 | find interpretation(problem,interpretation); | ||
2286 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2287 | // type constraint is enforced by construction | ||
2288 | // Comm is exported | ||
2289 | // Gain is exported | ||
2290 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2291 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2292 | // type constraint is enforced by construction | ||
2293 | find mustEquivalent(problem, interpretation, var_virtual0, var_Gain); | ||
2294 | } | ||
2295 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain( | ||
2296 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2297 | var_Comm, var_Gain) | ||
2298 | { | ||
2299 | find interpretation(problem,interpretation); | ||
2300 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2301 | // type constraint is enforced by construction | ||
2302 | // Comm is exported | ||
2303 | // Gain is exported | ||
2304 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2305 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2306 | // type constraint is enforced by construction | ||
2307 | find mayEquivalent(problem, interpretation, var_virtual0, var_Gain); | ||
2308 | } | ||
2309 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGain( | ||
2310 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2311 | var_Comm, var_Gain) | ||
2312 | { | ||
2313 | find interpretation(problem,interpretation); | ||
2314 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2315 | // type constraint is enforced by construction | ||
2316 | // Comm is exported | ||
2317 | // Gain is exported | ||
2318 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2319 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual0); | ||
2320 | // type constraint is enforced by construction | ||
2321 | find mustEquivalent(problem, interpretation, var_virtual0, var_Gain); | ||
2322 | } | ||
2323 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries uhfAntennaGainNotLow | ||
2324 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow( | ||
2325 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2326 | var_Comm) | ||
2327 | { | ||
2328 | find interpretation(problem,interpretation); | ||
2329 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2330 | // Comm is exported | ||
2331 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | ||
2332 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2333 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2334 | // type constraint is enforced by construction | ||
2335 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2336 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(problem,interpretation,var_Comm); | ||
2337 | } | ||
2338 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow( | ||
2339 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2340 | var_Comm) | ||
2341 | { | ||
2342 | find interpretation(problem,interpretation); | ||
2343 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2344 | // Comm is exported | ||
2345 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | ||
2346 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2347 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2348 | // type constraint is enforced by construction | ||
2349 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2350 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(problem,interpretation,var_Comm); | ||
2351 | } | ||
2352 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow( | ||
2353 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2354 | var_Comm) | ||
2355 | { | ||
2356 | find interpretation(problem,interpretation); | ||
2357 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2358 | // Comm is exported | ||
2359 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | ||
2360 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2361 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2362 | // type constraint is enforced by construction | ||
2363 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2364 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow(problem,interpretation,var_Comm); | ||
2365 | } | ||
2366 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainLow | ||
2367 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow( | ||
2368 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2369 | var_Comm) | ||
2370 | { | ||
2371 | find interpretation(problem,interpretation); | ||
2372 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2373 | // Comm is exported | ||
2374 | var_virtual0 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2375 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2376 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2377 | // type constraint is enforced by construction | ||
2378 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2379 | } | ||
2380 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow( | ||
2381 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2382 | var_Comm) | ||
2383 | { | ||
2384 | find interpretation(problem,interpretation); | ||
2385 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2386 | // Comm is exported | ||
2387 | var_virtual0 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2388 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2389 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2390 | // type constraint is enforced by construction | ||
2391 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2392 | } | ||
2393 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainLow( | ||
2394 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2395 | var_Comm) | ||
2396 | { | ||
2397 | find interpretation(problem,interpretation); | ||
2398 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2399 | // Comm is exported | ||
2400 | var_virtual0 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2401 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2402 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2403 | // type constraint is enforced by construction | ||
2404 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2405 | } | ||
2406 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries xAntennaGainNotMedium | ||
2407 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium( | ||
2408 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2409 | var_Comm) | ||
2410 | { | ||
2411 | find interpretation(problem,interpretation); | ||
2412 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2413 | // Comm is exported | ||
2414 | var_virtual0 == const_X_TransceiverBand;DefinedElement.name(const_X_TransceiverBand,"X TransceiverBand"); //LogicProblem.elements(problem,const_X_TransceiverBand); | ||
2415 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2416 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2417 | // type constraint is enforced by construction | ||
2418 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2419 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(problem,interpretation,var_Comm); | ||
2420 | } | ||
2421 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium( | ||
2422 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2423 | var_Comm) | ||
2424 | { | ||
2425 | find interpretation(problem,interpretation); | ||
2426 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2427 | // Comm is exported | ||
2428 | var_virtual0 == const_X_TransceiverBand;DefinedElement.name(const_X_TransceiverBand,"X TransceiverBand"); //LogicProblem.elements(problem,const_X_TransceiverBand); | ||
2429 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2430 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2431 | // type constraint is enforced by construction | ||
2432 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2433 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(problem,interpretation,var_Comm); | ||
2434 | } | ||
2435 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium( | ||
2436 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2437 | var_Comm) | ||
2438 | { | ||
2439 | find interpretation(problem,interpretation); | ||
2440 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2441 | // Comm is exported | ||
2442 | var_virtual0 == const_X_TransceiverBand;DefinedElement.name(const_X_TransceiverBand,"X TransceiverBand"); //LogicProblem.elements(problem,const_X_TransceiverBand); | ||
2443 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2444 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2445 | // type constraint is enforced by construction | ||
2446 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2447 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium(problem,interpretation,var_Comm); | ||
2448 | } | ||
2449 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries commSubsystemGainMedium | ||
2450 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium( | ||
2451 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2452 | var_Comm) | ||
2453 | { | ||
2454 | find interpretation(problem,interpretation); | ||
2455 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2456 | // Comm is exported | ||
2457 | var_virtual0 == const_MEDIUM_AntennaGain;DefinedElement.name(const_MEDIUM_AntennaGain,"MEDIUM AntennaGain"); //LogicProblem.elements(problem,const_MEDIUM_AntennaGain); | ||
2458 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2459 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2460 | // type constraint is enforced by construction | ||
2461 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2462 | } | ||
2463 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium( | ||
2464 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2465 | var_Comm) | ||
2466 | { | ||
2467 | find interpretation(problem,interpretation); | ||
2468 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2469 | // Comm is exported | ||
2470 | var_virtual0 == const_MEDIUM_AntennaGain;DefinedElement.name(const_MEDIUM_AntennaGain,"MEDIUM AntennaGain"); //LogicProblem.elements(problem,const_MEDIUM_AntennaGain); | ||
2471 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2472 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2473 | // type constraint is enforced by construction | ||
2474 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2475 | } | ||
2476 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemGainMedium( | ||
2477 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2478 | var_Comm) | ||
2479 | { | ||
2480 | find interpretation(problem,interpretation); | ||
2481 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2482 | // Comm is exported | ||
2483 | var_virtual0 == const_MEDIUM_AntennaGain;DefinedElement.name(const_MEDIUM_AntennaGain,"MEDIUM AntennaGain"); //LogicProblem.elements(problem,const_MEDIUM_AntennaGain); | ||
2484 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2485 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2486 | // type constraint is enforced by construction | ||
2487 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2488 | } | ||
2489 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries kaAntennaGainLow | ||
2490 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow( | ||
2491 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2492 | var_Comm) | ||
2493 | { | ||
2494 | find interpretation(problem,interpretation); | ||
2495 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2496 | // Comm is exported | ||
2497 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2498 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2499 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2500 | // type constraint is enforced by construction | ||
2501 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2502 | var_virtual2 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2503 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2504 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual3); | ||
2505 | // type constraint is enforced by construction | ||
2506 | find mustEquivalent(problem, interpretation, var_virtual3, var_virtual2); | ||
2507 | } | ||
2508 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow( | ||
2509 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2510 | var_Comm) | ||
2511 | { | ||
2512 | find interpretation(problem,interpretation); | ||
2513 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2514 | // Comm is exported | ||
2515 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2516 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2517 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2518 | // type constraint is enforced by construction | ||
2519 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2520 | var_virtual2 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2521 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2522 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual3); | ||
2523 | // type constraint is enforced by construction | ||
2524 | find mayEquivalent(problem, interpretation, var_virtual3, var_virtual2); | ||
2525 | } | ||
2526 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow( | ||
2527 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2528 | var_Comm) | ||
2529 | { | ||
2530 | find interpretation(problem,interpretation); | ||
2531 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2532 | // Comm is exported | ||
2533 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2534 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2535 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2536 | // type constraint is enforced by construction | ||
2537 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2538 | var_virtual2 == const_LOW_AntennaGain;DefinedElement.name(const_LOW_AntennaGain,"LOW AntennaGain"); //LogicProblem.elements(problem,const_LOW_AntennaGain); | ||
2539 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2540 | find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual3); | ||
2541 | // type constraint is enforced by construction | ||
2542 | find mustEquivalent(problem, interpretation, var_virtual3, var_virtual2); | ||
2543 | } | 2340 | } |
2544 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink | 2341 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries threeUCubeSatWithNonUhfCrossLink |
2545 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( | 2342 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink( |
@@ -2626,39 +2423,27 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
2626 | var_Comm) | 2423 | var_Comm) |
2627 | { | 2424 | { |
2628 | find interpretation(problem,interpretation); | 2425 | find interpretation(problem,interpretation); |
2629 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | 2426 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2630 | // Comm is exported | 2427 | // Comm is exported |
2631 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 2428 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2632 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2633 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2634 | // type constraint is enforced by construction | ||
2635 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2636 | } | 2429 | } |
2637 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf( | 2430 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf( |
2638 | problem:LogicProblem, interpretation:PartialInterpretation, | 2431 | problem:LogicProblem, interpretation:PartialInterpretation, |
2639 | var_Comm) | 2432 | var_Comm) |
2640 | { | 2433 | { |
2641 | find interpretation(problem,interpretation); | 2434 | find interpretation(problem,interpretation); |
2642 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | 2435 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2643 | // Comm is exported | 2436 | // Comm is exported |
2644 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 2437 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2645 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2646 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2647 | // type constraint is enforced by construction | ||
2648 | find mayEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2649 | } | 2438 | } |
2650 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf( | 2439 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_commSubsystemBandUhf( |
2651 | problem:LogicProblem, interpretation:PartialInterpretation, | 2440 | problem:LogicProblem, interpretation:PartialInterpretation, |
2652 | var_Comm) | 2441 | var_Comm) |
2653 | { | 2442 | { |
2654 | find interpretation(problem,interpretation); | 2443 | find interpretation(problem,interpretation); |
2655 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | 2444 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2656 | // Comm is exported | 2445 | // Comm is exported |
2657 | var_virtual0 == const_UHF_TransceiverBand;DefinedElement.name(const_UHF_TransceiverBand,"UHF TransceiverBand"); //LogicProblem.elements(problem,const_UHF_TransceiverBand); | 2446 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,var_Comm); |
2658 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_Comm); | ||
2659 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_Comm,var_virtual1); | ||
2660 | // type constraint is enforced by construction | ||
2661 | find mustEquivalent(problem, interpretation, var_virtual1, var_virtual0); | ||
2662 | } | 2447 | } |
2663 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork | 2448 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries groundStationNetwork |
2664 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork( | 2449 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_groundStationNetwork( |
@@ -2696,13 +2481,11 @@ private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satell | |||
2696 | find interpretation(problem,interpretation); | 2481 | find interpretation(problem,interpretation); |
2697 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | 2482 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); |
2698 | // Spacecraft is exported | 2483 | // Spacecraft is exported |
2699 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2700 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); | 2484 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); |
2701 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual1); | 2485 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual0); |
2702 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2486 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2703 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual1,var_virtual2); | 2487 | find mustEquivalent(problem, interpretation, var_virtual0, var_Comm); |
2704 | // type constraint is enforced by construction | 2488 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_Comm); |
2705 | find mustEquivalent(problem, interpretation, var_virtual2, var_virtual0); | ||
2706 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); | 2489 | neg find mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); |
2707 | } | 2490 | } |
2708 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSatWithKaAntenna( | 2491 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSatWithKaAntenna( |
@@ -2712,13 +2495,11 @@ private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satelli | |||
2712 | find interpretation(problem,interpretation); | 2495 | find interpretation(problem,interpretation); |
2713 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | 2496 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); |
2714 | // Spacecraft is exported | 2497 | // Spacecraft is exported |
2715 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2716 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); | 2498 | find mayInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); |
2717 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual1); | 2499 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual0); |
2718 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2500 | find mayInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2719 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual1,var_virtual2); | 2501 | find mayEquivalent(problem, interpretation, var_virtual0, var_Comm); |
2720 | // type constraint is enforced by construction | 2502 | find mayInstanceOfKaCommSubsystem_class(problem,interpretation,var_Comm); |
2721 | find mayEquivalent(problem, interpretation, var_virtual2, var_virtual0); | ||
2722 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); | 2503 | neg find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); |
2723 | } | 2504 | } |
2724 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSatWithKaAntenna( | 2505 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_cubeSatWithKaAntenna( |
@@ -2728,13 +2509,11 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
2728 | find interpretation(problem,interpretation); | 2509 | find interpretation(problem,interpretation); |
2729 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | 2510 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); |
2730 | // Spacecraft is exported | 2511 | // Spacecraft is exported |
2731 | var_virtual0 == const_Ka_TransceiverBand;DefinedElement.name(const_Ka_TransceiverBand,"Ka TransceiverBand"); //LogicProblem.elements(problem,const_Ka_TransceiverBand); | ||
2732 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); | 2512 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,var_Spacecraft); |
2733 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual1); | 2513 | find mustInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,var_Spacecraft,var_virtual0); |
2734 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual1); | 2514 | find mustInstanceOfCommSubsystem_class(problem,interpretation,var_virtual0); |
2735 | find mustInRelationband_attribute_CommSubsystem(problem,interpretation,var_virtual1,var_virtual2); | 2515 | find mustEquivalent(problem, interpretation, var_virtual0, var_Comm); |
2736 | // type constraint is enforced by construction | 2516 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,var_Comm); |
2737 | find mustEquivalent(problem, interpretation, var_virtual2, var_virtual0); | ||
2738 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); | 2517 | neg find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_smallSat(problem,interpretation,var_Spacecraft); |
2739 | } | 2518 | } |
2740 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries smallSat | 2519 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries smallSat |
@@ -2765,100 +2544,6 @@ private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_sat | |||
2765 | // Sat is exported | 2544 | // Sat is exported |
2766 | find mustInstanceOfSmallSat_class(problem,interpretation,var_Sat); | 2545 | find mustInstanceOfSmallSat_class(problem,interpretation,var_Sat); |
2767 | } | 2546 | } |
2768 | // Must, May and Current queries for pattern hu bme mit inf dslreasoner domains satellite queries spacecraftOfKind | ||
2769 | private pattern mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind( | ||
2770 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2771 | var_Spacecraft, var_Kind) | ||
2772 | { | ||
2773 | find interpretation(problem,interpretation); | ||
2774 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2775 | // type constraint is enforced by construction | ||
2776 | // Spacecraft is exported | ||
2777 | // Kind is exported | ||
2778 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft); | ||
2779 | var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind); | ||
2780 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2781 | }or{ | ||
2782 | find interpretation(problem,interpretation); | ||
2783 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2784 | // type constraint is enforced by construction | ||
2785 | // Spacecraft is exported | ||
2786 | // Kind is exported | ||
2787 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft); | ||
2788 | var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind); | ||
2789 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2790 | }or{ | ||
2791 | find interpretation(problem,interpretation); | ||
2792 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2793 | // type constraint is enforced by construction | ||
2794 | // Spacecraft is exported | ||
2795 | // Kind is exported | ||
2796 | find mustInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft); | ||
2797 | var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind"); //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind); | ||
2798 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2799 | } | ||
2800 | private pattern mayInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind( | ||
2801 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2802 | var_Spacecraft, var_Kind) | ||
2803 | { | ||
2804 | find interpretation(problem,interpretation); | ||
2805 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2806 | // type constraint is enforced by construction | ||
2807 | // Spacecraft is exported | ||
2808 | // Kind is exported | ||
2809 | find mayInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft); | ||
2810 | var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind); | ||
2811 | find mayEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2812 | }or{ | ||
2813 | find interpretation(problem,interpretation); | ||
2814 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2815 | // type constraint is enforced by construction | ||
2816 | // Spacecraft is exported | ||
2817 | // Kind is exported | ||
2818 | find mayInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft); | ||
2819 | var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind); | ||
2820 | find mayEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2821 | }or{ | ||
2822 | find interpretation(problem,interpretation); | ||
2823 | find mayInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2824 | // type constraint is enforced by construction | ||
2825 | // Spacecraft is exported | ||
2826 | // Kind is exported | ||
2827 | find mayInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft); | ||
2828 | var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind"); //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind); | ||
2829 | find mayEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2830 | } | ||
2831 | private pattern currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_spacecraftOfKind( | ||
2832 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2833 | var_Spacecraft, var_Kind) | ||
2834 | { | ||
2835 | find interpretation(problem,interpretation); | ||
2836 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2837 | // type constraint is enforced by construction | ||
2838 | // Spacecraft is exported | ||
2839 | // Kind is exported | ||
2840 | find mustInstanceOfCubeSat3U_class(problem,interpretation,var_Spacecraft); | ||
2841 | var_virtual0 == const_CubeSat3U_SpacecraftKind;DefinedElement.name(const_CubeSat3U_SpacecraftKind,"CubeSat3U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat3U_SpacecraftKind); | ||
2842 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2843 | }or{ | ||
2844 | find interpretation(problem,interpretation); | ||
2845 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2846 | // type constraint is enforced by construction | ||
2847 | // Spacecraft is exported | ||
2848 | // Kind is exported | ||
2849 | find mustInstanceOfCubeSat6U_class(problem,interpretation,var_Spacecraft); | ||
2850 | var_virtual0 == const_CubeSat6U_SpacecraftKind;DefinedElement.name(const_CubeSat6U_SpacecraftKind,"CubeSat6U SpacecraftKind"); //LogicProblem.elements(problem,const_CubeSat6U_SpacecraftKind); | ||
2851 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2852 | }or{ | ||
2853 | find interpretation(problem,interpretation); | ||
2854 | find mustInstanceOfSpacecraft_class(problem,interpretation,var_Spacecraft); | ||
2855 | // type constraint is enforced by construction | ||
2856 | // Spacecraft is exported | ||
2857 | // Kind is exported | ||
2858 | find mustInstanceOfSmallSat_class(problem,interpretation,var_Spacecraft); | ||
2859 | var_virtual0 == const_SmallSat_SpacecraftKind;DefinedElement.name(const_SmallSat_SpacecraftKind,"SmallSat SpacecraftKind"); //LogicProblem.elements(problem,const_SmallSat_SpacecraftKind); | ||
2860 | find mustEquivalent(problem, interpretation, var_Kind, var_virtual0); | ||
2861 | } | ||
2862 | 2547 | ||
2863 | ////////// | 2548 | ////////// |
2864 | // 1.4 Containment Indexer | 2549 | // 1.4 Containment Indexer |
@@ -2918,26 +2603,6 @@ pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queri | |||
2918 | { | 2603 | { |
2919 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); | 2604 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); |
2920 | } | 2605 | } |
2921 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(problem:LogicProblem, interpretation:PartialInterpretation, | ||
2922 | var_Link) | ||
2923 | { | ||
2924 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(problem,interpretation,var_Link); | ||
2925 | } | ||
2926 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(problem:LogicProblem, interpretation:PartialInterpretation, | ||
2927 | var_Comm) | ||
2928 | { | ||
2929 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(problem,interpretation,var_Comm); | ||
2930 | } | ||
2931 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(problem:LogicProblem, interpretation:PartialInterpretation, | ||
2932 | var_Comm) | ||
2933 | { | ||
2934 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(problem,interpretation,var_Comm); | ||
2935 | } | ||
2936 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(problem:LogicProblem, interpretation:PartialInterpretation, | ||
2937 | var_Comm) | ||
2938 | { | ||
2939 | find mustInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(problem,interpretation,var_Comm); | ||
2940 | } | ||
2941 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, | 2606 | pattern invalidatedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, |
2942 | var_Sat) | 2607 | var_Sat) |
2943 | { | 2608 | { |
@@ -2999,24 +2664,6 @@ pattern unfinishedLowerMultiplicity_target_reference_DirectedCommunicationLink(p | |||
2999 | check(numberOfExistingReferences < 1); | 2664 | check(numberOfExistingReferences < 1); |
3000 | missingMultiplicity == eval(1-numberOfExistingReferences); | 2665 | missingMultiplicity == eval(1-numberOfExistingReferences); |
3001 | } | 2666 | } |
3002 | pattern unfinishedLowerMultiplicity_band_attribute_CommSubsystem(problem:LogicProblem, interpretation:PartialInterpretation, relationIterpretation:PartialRelationInterpretation, object:DefinedElement,missingMultiplicity) { | ||
3003 | find interpretation(problem,interpretation); | ||
3004 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3005 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"band attribute CommSubsystem"); | ||
3006 | find mustInstanceOfCommSubsystem_class(problem,interpretation,object); | ||
3007 | numberOfExistingReferences == count find mustInRelationband_attribute_CommSubsystem(problem,interpretation,object,_); | ||
3008 | check(numberOfExistingReferences < 1); | ||
3009 | missingMultiplicity == eval(1-numberOfExistingReferences); | ||
3010 | } | ||
3011 | pattern unfinishedLowerMultiplicity_gain_attribute_CommSubsystem(problem:LogicProblem, interpretation:PartialInterpretation, relationIterpretation:PartialRelationInterpretation, object:DefinedElement,missingMultiplicity) { | ||
3012 | find interpretation(problem,interpretation); | ||
3013 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3014 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"gain attribute CommSubsystem"); | ||
3015 | find mustInstanceOfCommSubsystem_class(problem,interpretation,object); | ||
3016 | numberOfExistingReferences == count find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,object,_); | ||
3017 | check(numberOfExistingReferences < 1); | ||
3018 | missingMultiplicity == eval(1-numberOfExistingReferences); | ||
3019 | } | ||
3020 | 2667 | ||
3021 | ////////// | 2668 | ////////// |
3022 | // 3.2 Unfinishedness Measured by WF Queries | 2669 | // 3.2 Unfinishedness Measured by WF Queries |
@@ -3051,26 +2698,6 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie | |||
3051 | { | 2698 | { |
3052 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); | 2699 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetBand(problem,interpretation,var_Link); |
3053 | } | 2700 | } |
3054 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(problem:LogicProblem, interpretation:PartialInterpretation, | ||
3055 | var_Link) | ||
3056 | { | ||
3057 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_incompatibleSourceAndTargetGain(problem,interpretation,var_Link); | ||
3058 | } | ||
3059 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(problem:LogicProblem, interpretation:PartialInterpretation, | ||
3060 | var_Comm) | ||
3061 | { | ||
3062 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_uhfAntennaGainNotLow(problem,interpretation,var_Comm); | ||
3063 | } | ||
3064 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(problem:LogicProblem, interpretation:PartialInterpretation, | ||
3065 | var_Comm) | ||
3066 | { | ||
3067 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_xAntennaGainNotMedium(problem,interpretation,var_Comm); | ||
3068 | } | ||
3069 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(problem:LogicProblem, interpretation:PartialInterpretation, | ||
3070 | var_Comm) | ||
3071 | { | ||
3072 | find currentInRelation_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_kaAntennaGainLow(problem,interpretation,var_Comm); | ||
3073 | } | ||
3074 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, | 2701 | pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_queries_threeUCubeSatWithNonUhfCrossLink(problem:LogicProblem, interpretation:PartialInterpretation, |
3075 | var_Sat) | 2702 | var_Sat) |
3076 | { | 2703 | { |
@@ -3090,11 +2717,19 @@ pattern unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_domains_satellite_querie | |||
3090 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) | 2717 | private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation) |
3091 | { | 2718 | { |
3092 | find interpretation(problem,interpretation); | 2719 | find interpretation(problem,interpretation); |
3093 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); | 2720 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); |
3094 | find mustExist(problem, interpretation, root); | 2721 | find mustExist(problem, interpretation, root); |
3095 | }or{ | 2722 | }or{ |
3096 | find interpretation(problem,interpretation); | 2723 | find interpretation(problem,interpretation); |
3097 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); | 2724 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); |
2725 | find mustExist(problem, interpretation, root); | ||
2726 | }or{ | ||
2727 | find interpretation(problem,interpretation); | ||
2728 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); | ||
2729 | find mustExist(problem, interpretation, root); | ||
2730 | }or{ | ||
2731 | find interpretation(problem,interpretation); | ||
2732 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); | ||
3098 | find mustExist(problem, interpretation, root); | 2733 | find mustExist(problem, interpretation, root); |
3099 | }or{ | 2734 | }or{ |
3100 | find interpretation(problem,interpretation); | 2735 | find interpretation(problem,interpretation); |
@@ -3102,7 +2737,7 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par | |||
3102 | find mustExist(problem, interpretation, root); | 2737 | find mustExist(problem, interpretation, root); |
3103 | }or{ | 2738 | }or{ |
3104 | find interpretation(problem,interpretation); | 2739 | find interpretation(problem,interpretation); |
3105 | find mustInstanceOfCubeSat_class(problem,interpretation,root); | 2740 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); |
3106 | find mustExist(problem, interpretation, root); | 2741 | find mustExist(problem, interpretation, root); |
3107 | }or{ | 2742 | }or{ |
3108 | find interpretation(problem,interpretation); | 2743 | find interpretation(problem,interpretation); |
@@ -3110,19 +2745,23 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par | |||
3110 | find mustExist(problem, interpretation, root); | 2745 | find mustExist(problem, interpretation, root); |
3111 | }or{ | 2746 | }or{ |
3112 | find interpretation(problem,interpretation); | 2747 | find interpretation(problem,interpretation); |
3113 | find mustInstanceOfInterferometryMission_class(problem,interpretation,root); | 2748 | find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,root); |
3114 | find mustExist(problem, interpretation, root); | 2749 | find mustExist(problem, interpretation, root); |
3115 | }or{ | 2750 | }or{ |
3116 | find interpretation(problem,interpretation); | 2751 | find interpretation(problem,interpretation); |
3117 | find mustInstanceOfCubeSat3U_class(problem,interpretation,root); | 2752 | find mustInstanceOfKaCommSubsystem_class(problem,interpretation,root); |
3118 | find mustExist(problem, interpretation, root); | 2753 | find mustExist(problem, interpretation, root); |
3119 | }or{ | 2754 | }or{ |
3120 | find interpretation(problem,interpretation); | 2755 | find interpretation(problem,interpretation); |
3121 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); | 2756 | find mustInstanceOfPayload_class(problem,interpretation,root); |
3122 | find mustExist(problem, interpretation, root); | 2757 | find mustExist(problem, interpretation, root); |
3123 | }or{ | 2758 | }or{ |
3124 | find interpretation(problem,interpretation); | 2759 | find interpretation(problem,interpretation); |
3125 | find mustInstanceOfCubeSat6U_class(problem,interpretation,root); | 2760 | find mustInstanceOfCubeSat_class(problem,interpretation,root); |
2761 | find mustExist(problem, interpretation, root); | ||
2762 | }or{ | ||
2763 | find interpretation(problem,interpretation); | ||
2764 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,root); | ||
3126 | find mustExist(problem, interpretation, root); | 2765 | find mustExist(problem, interpretation, root); |
3127 | }or{ | 2766 | }or{ |
3128 | find interpretation(problem,interpretation); | 2767 | find interpretation(problem,interpretation); |
@@ -3130,15 +2769,15 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par | |||
3130 | find mustExist(problem, interpretation, root); | 2769 | find mustExist(problem, interpretation, root); |
3131 | }or{ | 2770 | }or{ |
3132 | find interpretation(problem,interpretation); | 2771 | find interpretation(problem,interpretation); |
3133 | find mustInstanceOfCommSubsystem_class(problem,interpretation,root); | 2772 | find mustInstanceOfInterferometryPayload_class(problem,interpretation,root); |
3134 | find mustExist(problem, interpretation, root); | 2773 | find mustExist(problem, interpretation, root); |
3135 | }or{ | 2774 | }or{ |
3136 | find interpretation(problem,interpretation); | 2775 | find interpretation(problem,interpretation); |
3137 | find mustInstanceOfGroundStationNetwork_class(problem,interpretation,root); | 2776 | find mustInstanceOfSpacecraft_class(problem,interpretation,root); |
3138 | find mustExist(problem, interpretation, root); | 2777 | find mustExist(problem, interpretation, root); |
3139 | }or{ | 2778 | }or{ |
3140 | find interpretation(problem,interpretation); | 2779 | find interpretation(problem,interpretation); |
3141 | find mustInstanceOfPayload_class(problem,interpretation,root); | 2780 | find mustInstanceOfXCommSubsystem_class(problem,interpretation,root); |
3142 | find mustExist(problem, interpretation, root); | 2781 | find mustExist(problem, interpretation, root); |
3143 | }or{ | 2782 | }or{ |
3144 | find interpretation(problem,interpretation); | 2783 | find interpretation(problem,interpretation); |
@@ -3180,44 +2819,76 @@ private pattern hasElementInContainment(problem:LogicProblem, interpretation:Par | |||
3180 | find interpretation(problem,interpretation); | 2819 | find interpretation(problem,interpretation); |
3181 | find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root); | 2820 | find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,root); |
3182 | find mustExist(problem, interpretation, root); | 2821 | find mustExist(problem, interpretation, root); |
2822 | }or{ | ||
2823 | find interpretation(problem,interpretation); | ||
2824 | find mustInstanceOfXCommSubsystem_class_DefinedPart(problem,interpretation,root); | ||
2825 | find mustExist(problem, interpretation, root); | ||
2826 | }or{ | ||
2827 | find interpretation(problem,interpretation); | ||
2828 | find mustInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,root); | ||
2829 | find mustExist(problem, interpretation, root); | ||
2830 | }or{ | ||
2831 | find interpretation(problem,interpretation); | ||
2832 | find mustInstanceOfKaCommSubsystem_class_DefinedPart(problem,interpretation,root); | ||
2833 | find mustExist(problem, interpretation, root); | ||
2834 | }or{ | ||
2835 | find interpretation(problem,interpretation); | ||
2836 | find mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,root); | ||
2837 | find mustExist(problem, interpretation, root); | ||
3183 | } | 2838 | } |
3184 | pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement( | 2839 | pattern createObject_KaCommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement( |
3185 | problem:LogicProblem, interpretation:PartialInterpretation, | 2840 | problem:LogicProblem, interpretation:PartialInterpretation, |
3186 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2841 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3187 | container:DefinedElement) | 2842 | container:DefinedElement) |
3188 | { | 2843 | { |
3189 | find interpretation(problem,interpretation); | 2844 | find interpretation(problem,interpretation); |
3190 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2845 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3191 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 2846 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"KaCommSubsystem class UndefinedPart"); |
3192 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2847 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3193 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement"); | 2848 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); |
3194 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); | 2849 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); |
3195 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 2850 | find mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); |
3196 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject); | 2851 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); |
3197 | find mustExist(problem, interpretation, container); | 2852 | find mustExist(problem, interpretation, container); |
3198 | neg find mustExist(problem, interpretation, newObject); | 2853 | neg find mustExist(problem, interpretation, newObject); |
3199 | } | 2854 | } |
3200 | pattern createObject_DirectedCommunicationLink_class( | 2855 | pattern createObject_KaCommSubsystem_class_UndefinedPart( |
3201 | problem:LogicProblem, interpretation:PartialInterpretation, | 2856 | problem:LogicProblem, interpretation:PartialInterpretation, |
3202 | typeInterpretation:PartialComplexTypeInterpretation) | 2857 | typeInterpretation:PartialComplexTypeInterpretation) |
3203 | { | 2858 | { |
3204 | find interpretation(problem,interpretation); | 2859 | find interpretation(problem,interpretation); |
3205 | neg find hasElementInContainment(problem,interpretation); | 2860 | neg find hasElementInContainment(problem,interpretation); |
3206 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2861 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3207 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); | 2862 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"KaCommSubsystem class UndefinedPart"); |
3208 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); | 2863 | find mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); |
3209 | find mayExist(problem, interpretation, newObject); | 2864 | find mayExist(problem, interpretation, newObject); |
3210 | neg find mustExist(problem, interpretation, newObject); | 2865 | neg find mustExist(problem, interpretation, newObject); |
3211 | } | 2866 | } |
3212 | pattern createObject_InterferometryMission_class_UndefinedPart( | 2867 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( |
2868 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2869 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | ||
2870 | container:DefinedElement) | ||
2871 | { | ||
2872 | find interpretation(problem,interpretation); | ||
2873 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
2874 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | ||
2875 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | ||
2876 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | ||
2877 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | ||
2878 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | ||
2879 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | ||
2880 | find mustExist(problem, interpretation, container); | ||
2881 | neg find mustExist(problem, interpretation, newObject); | ||
2882 | } | ||
2883 | pattern createObject_SmallSat_class( | ||
3213 | problem:LogicProblem, interpretation:PartialInterpretation, | 2884 | problem:LogicProblem, interpretation:PartialInterpretation, |
3214 | typeInterpretation:PartialComplexTypeInterpretation) | 2885 | typeInterpretation:PartialComplexTypeInterpretation) |
3215 | { | 2886 | { |
3216 | find interpretation(problem,interpretation); | 2887 | find interpretation(problem,interpretation); |
3217 | neg find hasElementInContainment(problem,interpretation); | 2888 | neg find hasElementInContainment(problem,interpretation); |
3218 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2889 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3219 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); | 2890 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); |
3220 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); | 2891 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); |
3221 | find mayExist(problem, interpretation, newObject); | 2892 | find mayExist(problem, interpretation, newObject); |
3222 | neg find mustExist(problem, interpretation, newObject); | 2893 | neg find mustExist(problem, interpretation, newObject); |
3223 | } | 2894 | } |
@@ -3249,143 +2920,183 @@ pattern createObject_InterferometryPayload_class( | |||
3249 | find mayExist(problem, interpretation, newObject); | 2920 | find mayExist(problem, interpretation, newObject); |
3250 | neg find mustExist(problem, interpretation, newObject); | 2921 | neg find mustExist(problem, interpretation, newObject); |
3251 | } | 2922 | } |
3252 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( | 2923 | pattern createObject_DirectedCommunicationLink_class_by_communicationLink_reference_CommunicatingElement( |
3253 | problem:LogicProblem, interpretation:PartialInterpretation, | 2924 | problem:LogicProblem, interpretation:PartialInterpretation, |
3254 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2925 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3255 | container:DefinedElement) | 2926 | container:DefinedElement) |
3256 | { | 2927 | { |
3257 | find interpretation(problem,interpretation); | 2928 | find interpretation(problem,interpretation); |
3258 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2929 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3259 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 2930 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); |
3260 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2931 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3261 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); | 2932 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"communicationLink reference CommunicatingElement"); |
3262 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 2933 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); |
3263 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 2934 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); |
3264 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); | 2935 | find mayInRelationcommunicationLink_reference_CommunicatingElement(problem,interpretation,container,newObject); |
3265 | find mustExist(problem, interpretation, container); | 2936 | find mustExist(problem, interpretation, container); |
3266 | neg find mustExist(problem, interpretation, newObject); | 2937 | neg find mustExist(problem, interpretation, newObject); |
3267 | } | 2938 | } |
3268 | pattern createObject_GroundStationNetwork_class_UndefinedPart( | 2939 | pattern createObject_DirectedCommunicationLink_class( |
3269 | problem:LogicProblem, interpretation:PartialInterpretation, | 2940 | problem:LogicProblem, interpretation:PartialInterpretation, |
3270 | typeInterpretation:PartialComplexTypeInterpretation) | 2941 | typeInterpretation:PartialComplexTypeInterpretation) |
3271 | { | 2942 | { |
3272 | find interpretation(problem,interpretation); | 2943 | find interpretation(problem,interpretation); |
3273 | neg find hasElementInContainment(problem,interpretation); | 2944 | neg find hasElementInContainment(problem,interpretation); |
3274 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2945 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3275 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); | 2946 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"DirectedCommunicationLink class"); |
3276 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); | 2947 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,newObject); |
3277 | find mayExist(problem, interpretation, newObject); | 2948 | find mayExist(problem, interpretation, newObject); |
3278 | neg find mustExist(problem, interpretation, newObject); | 2949 | neg find mustExist(problem, interpretation, newObject); |
3279 | } | 2950 | } |
3280 | pattern createObject_CubeSat3U_class_by_spacecraft_reference_ConstellationMission( | 2951 | pattern createObject_UHFCommSubsystem_class_by_commSubsystem_reference_CommunicatingElement( |
3281 | problem:LogicProblem, interpretation:PartialInterpretation, | 2952 | problem:LogicProblem, interpretation:PartialInterpretation, |
3282 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2953 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3283 | container:DefinedElement) | 2954 | container:DefinedElement) |
3284 | { | 2955 | { |
3285 | find interpretation(problem,interpretation); | 2956 | find interpretation(problem,interpretation); |
3286 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2957 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3287 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); | 2958 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"UHFCommSubsystem class"); |
3288 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 2959 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3289 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 2960 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); |
3290 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 2961 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); |
3291 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); | 2962 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,newObject); |
3292 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 2963 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); |
3293 | find mustExist(problem, interpretation, container); | 2964 | find mustExist(problem, interpretation, container); |
3294 | neg find mustExist(problem, interpretation, newObject); | 2965 | neg find mustExist(problem, interpretation, newObject); |
3295 | } | 2966 | } |
3296 | pattern createObject_CubeSat3U_class( | 2967 | pattern createObject_UHFCommSubsystem_class( |
3297 | problem:LogicProblem, interpretation:PartialInterpretation, | 2968 | problem:LogicProblem, interpretation:PartialInterpretation, |
3298 | typeInterpretation:PartialComplexTypeInterpretation) | 2969 | typeInterpretation:PartialComplexTypeInterpretation) |
3299 | { | 2970 | { |
3300 | find interpretation(problem,interpretation); | 2971 | find interpretation(problem,interpretation); |
3301 | neg find hasElementInContainment(problem,interpretation); | 2972 | neg find hasElementInContainment(problem,interpretation); |
3302 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2973 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3303 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); | 2974 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"UHFCommSubsystem class"); |
3304 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); | 2975 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,newObject); |
3305 | find mayExist(problem, interpretation, newObject); | 2976 | find mayExist(problem, interpretation, newObject); |
3306 | neg find mustExist(problem, interpretation, newObject); | 2977 | neg find mustExist(problem, interpretation, newObject); |
3307 | } | 2978 | } |
3308 | pattern createObject_SmallSat_class_by_spacecraft_reference_ConstellationMission( | 2979 | pattern createObject_XCommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement( |
3309 | problem:LogicProblem, interpretation:PartialInterpretation, | 2980 | problem:LogicProblem, interpretation:PartialInterpretation, |
3310 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 2981 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3311 | container:DefinedElement) | 2982 | container:DefinedElement) |
3312 | { | 2983 | { |
3313 | find interpretation(problem,interpretation); | 2984 | find interpretation(problem,interpretation); |
3314 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 2985 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3315 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 2986 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); |
2987 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | ||
2988 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); | ||
2989 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); | ||
2990 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | ||
2991 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); | ||
2992 | find mustExist(problem, interpretation, container); | ||
2993 | neg find mustExist(problem, interpretation, newObject); | ||
2994 | } | ||
2995 | pattern createObject_XCommSubsystem_class_UndefinedPart( | ||
2996 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
2997 | typeInterpretation:PartialComplexTypeInterpretation) | ||
2998 | { | ||
2999 | find interpretation(problem,interpretation); | ||
3000 | neg find hasElementInContainment(problem,interpretation); | ||
3001 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3002 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"XCommSubsystem class UndefinedPart"); | ||
3003 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | ||
3004 | find mayExist(problem, interpretation, newObject); | ||
3005 | neg find mustExist(problem, interpretation, newObject); | ||
3006 | } | ||
3007 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( | ||
3008 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3009 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | ||
3010 | container:DefinedElement) | ||
3011 | { | ||
3012 | find interpretation(problem,interpretation); | ||
3013 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3014 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); | ||
3316 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3015 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3317 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 3016 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
3318 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 3017 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3319 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 3018 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); |
3320 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 3019 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
3321 | find mustExist(problem, interpretation, container); | 3020 | find mustExist(problem, interpretation, container); |
3322 | neg find mustExist(problem, interpretation, newObject); | 3021 | neg find mustExist(problem, interpretation, newObject); |
3323 | } | 3022 | } |
3324 | pattern createObject_SmallSat_class( | 3023 | pattern createObject_CubeSat6U_class( |
3325 | problem:LogicProblem, interpretation:PartialInterpretation, | 3024 | problem:LogicProblem, interpretation:PartialInterpretation, |
3326 | typeInterpretation:PartialComplexTypeInterpretation) | 3025 | typeInterpretation:PartialComplexTypeInterpretation) |
3327 | { | 3026 | { |
3328 | find interpretation(problem,interpretation); | 3027 | find interpretation(problem,interpretation); |
3329 | neg find hasElementInContainment(problem,interpretation); | 3028 | neg find hasElementInContainment(problem,interpretation); |
3330 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3029 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3331 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"SmallSat class"); | 3030 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); |
3332 | find mayInstanceOfSmallSat_class(problem,interpretation,newObject); | 3031 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); |
3333 | find mayExist(problem, interpretation, newObject); | 3032 | find mayExist(problem, interpretation, newObject); |
3334 | neg find mustExist(problem, interpretation, newObject); | 3033 | neg find mustExist(problem, interpretation, newObject); |
3335 | } | 3034 | } |
3336 | pattern createObject_CommSubsystem_class_UndefinedPart_by_commSubsystem_reference_CommunicatingElement( | 3035 | pattern createObject_GroundStationNetwork_class_UndefinedPart_by_groundStationNetwork_reference_ConstellationMission( |
3337 | problem:LogicProblem, interpretation:PartialInterpretation, | 3036 | problem:LogicProblem, interpretation:PartialInterpretation, |
3338 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3037 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3339 | container:DefinedElement) | 3038 | container:DefinedElement) |
3340 | { | 3039 | { |
3341 | find interpretation(problem,interpretation); | 3040 | find interpretation(problem,interpretation); |
3342 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3041 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3343 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CommSubsystem class UndefinedPart"); | 3042 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
3344 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3043 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3345 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"commSubsystem reference CommunicatingElement"); | 3044 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"groundStationNetwork reference ConstellationMission"); |
3346 | find mustInstanceOfCommunicatingElement_class(problem,interpretation,container); | 3045 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3347 | find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | 3046 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
3348 | find mayInRelationcommSubsystem_reference_CommunicatingElement(problem,interpretation,container,newObject); | 3047 | find mayInRelationgroundStationNetwork_reference_ConstellationMission(problem,interpretation,container,newObject); |
3349 | find mustExist(problem, interpretation, container); | 3048 | find mustExist(problem, interpretation, container); |
3350 | neg find mustExist(problem, interpretation, newObject); | 3049 | neg find mustExist(problem, interpretation, newObject); |
3351 | } | 3050 | } |
3352 | pattern createObject_CommSubsystem_class_UndefinedPart( | 3051 | pattern createObject_GroundStationNetwork_class_UndefinedPart( |
3353 | problem:LogicProblem, interpretation:PartialInterpretation, | 3052 | problem:LogicProblem, interpretation:PartialInterpretation, |
3354 | typeInterpretation:PartialComplexTypeInterpretation) | 3053 | typeInterpretation:PartialComplexTypeInterpretation) |
3355 | { | 3054 | { |
3356 | find interpretation(problem,interpretation); | 3055 | find interpretation(problem,interpretation); |
3357 | neg find hasElementInContainment(problem,interpretation); | 3056 | neg find hasElementInContainment(problem,interpretation); |
3358 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3057 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3359 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CommSubsystem class UndefinedPart"); | 3058 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"GroundStationNetwork class UndefinedPart"); |
3360 | find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,newObject); | 3059 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,newObject); |
3361 | find mayExist(problem, interpretation, newObject); | 3060 | find mayExist(problem, interpretation, newObject); |
3362 | neg find mustExist(problem, interpretation, newObject); | 3061 | neg find mustExist(problem, interpretation, newObject); |
3363 | } | 3062 | } |
3364 | pattern createObject_CubeSat6U_class_by_spacecraft_reference_ConstellationMission( | 3063 | pattern createObject_CubeSat3U_class_by_spacecraft_reference_ConstellationMission( |
3365 | problem:LogicProblem, interpretation:PartialInterpretation, | 3064 | problem:LogicProblem, interpretation:PartialInterpretation, |
3366 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, | 3065 | relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation, |
3367 | container:DefinedElement) | 3066 | container:DefinedElement) |
3368 | { | 3067 | { |
3369 | find interpretation(problem,interpretation); | 3068 | find interpretation(problem,interpretation); |
3370 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3069 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3371 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); | 3070 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); |
3372 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 3071 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
3373 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); | 3072 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"spacecraft reference ConstellationMission"); |
3374 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); | 3073 | find mustInstanceOfConstellationMission_class(problem,interpretation,container); |
3375 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); | 3074 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); |
3376 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); | 3075 | find mayInRelationspacecraft_reference_ConstellationMission(problem,interpretation,container,newObject); |
3377 | find mustExist(problem, interpretation, container); | 3076 | find mustExist(problem, interpretation, container); |
3378 | neg find mustExist(problem, interpretation, newObject); | 3077 | neg find mustExist(problem, interpretation, newObject); |
3379 | } | 3078 | } |
3380 | pattern createObject_CubeSat6U_class( | 3079 | pattern createObject_CubeSat3U_class( |
3381 | problem:LogicProblem, interpretation:PartialInterpretation, | 3080 | problem:LogicProblem, interpretation:PartialInterpretation, |
3382 | typeInterpretation:PartialComplexTypeInterpretation) | 3081 | typeInterpretation:PartialComplexTypeInterpretation) |
3383 | { | 3082 | { |
3384 | find interpretation(problem,interpretation); | 3083 | find interpretation(problem,interpretation); |
3385 | neg find hasElementInContainment(problem,interpretation); | 3084 | neg find hasElementInContainment(problem,interpretation); |
3386 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 3085 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
3387 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat6U class"); | 3086 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"CubeSat3U class"); |
3388 | find mayInstanceOfCubeSat6U_class(problem,interpretation,newObject); | 3087 | find mayInstanceOfCubeSat3U_class(problem,interpretation,newObject); |
3088 | find mayExist(problem, interpretation, newObject); | ||
3089 | neg find mustExist(problem, interpretation, newObject); | ||
3090 | } | ||
3091 | pattern createObject_InterferometryMission_class_UndefinedPart( | ||
3092 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3093 | typeInterpretation:PartialComplexTypeInterpretation) | ||
3094 | { | ||
3095 | find interpretation(problem,interpretation); | ||
3096 | neg find hasElementInContainment(problem,interpretation); | ||
3097 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | ||
3098 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"InterferometryMission class UndefinedPart"); | ||
3099 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,newObject); | ||
3389 | find mayExist(problem, interpretation, newObject); | 3100 | find mayExist(problem, interpretation, newObject); |
3390 | neg find mustExist(problem, interpretation, newObject); | 3101 | neg find mustExist(problem, interpretation, newObject); |
3391 | } | 3102 | } |
@@ -3393,94 +3104,120 @@ pattern createObject_CubeSat6U_class( | |||
3393 | ////////// | 3104 | ////////// |
3394 | // 4.2 Type refinement | 3105 | // 4.2 Type refinement |
3395 | ////////// | 3106 | ////////// |
3396 | pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3107 | pattern refineTypeTo_KaCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3397 | find interpretation(problem,interpretation); | 3108 | find interpretation(problem,interpretation); |
3398 | PartialInterpretation.newElements(interpretation,element); | 3109 | PartialInterpretation.newElements(interpretation,element); |
3399 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3110 | find mayInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3400 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3401 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3402 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3111 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3403 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3112 | neg find mustInstanceOfKaCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3113 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3404 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | 3114 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3115 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
3116 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
3117 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3405 | } | 3118 | } |
3406 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3119 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3407 | find interpretation(problem,interpretation); | 3120 | find interpretation(problem,interpretation); |
3408 | PartialInterpretation.newElements(interpretation,element); | 3121 | PartialInterpretation.newElements(interpretation,element); |
3409 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | 3122 | find mayInstanceOfSmallSat_class(problem,interpretation,element); |
3123 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3124 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
3125 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3126 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3410 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3127 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3128 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3411 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3129 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3412 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | ||
3413 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3414 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3415 | } | 3130 | } |
3416 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3131 | pattern refineTypeTo_InterferometryPayload_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3417 | find interpretation(problem,interpretation); | 3132 | find interpretation(problem,interpretation); |
3418 | PartialInterpretation.newElements(interpretation,element); | 3133 | PartialInterpretation.newElements(interpretation,element); |
3419 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); | 3134 | find mayInstanceOfInterferometryPayload_class(problem,interpretation,element); |
3420 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3421 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3135 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3422 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3423 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3424 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); | 3136 | neg find mustInstanceOfInterferometryPayload_class(problem,interpretation,element); |
3137 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3138 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3139 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3425 | } | 3140 | } |
3426 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3141 | pattern refineTypeTo_DirectedCommunicationLink_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3427 | find interpretation(problem,interpretation); | 3142 | find interpretation(problem,interpretation); |
3428 | PartialInterpretation.newElements(interpretation,element); | 3143 | PartialInterpretation.newElements(interpretation,element); |
3429 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | 3144 | find mayInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3145 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3146 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3147 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3430 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3148 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3431 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3149 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3150 | } | ||
3151 | pattern refineTypeTo_UHFCommSubsystem_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3152 | find interpretation(problem,interpretation); | ||
3153 | PartialInterpretation.newElements(interpretation,element); | ||
3154 | find mayInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
3432 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3155 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3433 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3156 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3434 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | 3157 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); |
3435 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | 3158 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); |
3159 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
3160 | neg find mustInstanceOfXCommSubsystem_class(problem,interpretation,element); | ||
3161 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3436 | } | 3162 | } |
3437 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3163 | pattern refineTypeTo_XCommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3438 | find interpretation(problem,interpretation); | 3164 | find interpretation(problem,interpretation); |
3439 | PartialInterpretation.newElements(interpretation,element); | 3165 | PartialInterpretation.newElements(interpretation,element); |
3440 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); | 3166 | find mayInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); |
3167 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3168 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3441 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3169 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3170 | neg find mustInstanceOfUHFCommSubsystem_class(problem,interpretation,element); | ||
3171 | neg find mustInstanceOfKaCommSubsystem_class(problem,interpretation,element); | ||
3172 | neg find mustInstanceOfXCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
3442 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3173 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3443 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | 3174 | } |
3175 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | ||
3176 | find interpretation(problem,interpretation); | ||
3177 | PartialInterpretation.newElements(interpretation,element); | ||
3178 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); | ||
3444 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3179 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3180 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3445 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3181 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3182 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3183 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3446 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | 3184 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); |
3447 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3448 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | 3185 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); |
3186 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3449 | } | 3187 | } |
3450 | pattern refineTypeTo_SmallSat_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3188 | pattern refineTypeTo_GroundStationNetwork_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3451 | find interpretation(problem,interpretation); | 3189 | find interpretation(problem,interpretation); |
3452 | PartialInterpretation.newElements(interpretation,element); | 3190 | PartialInterpretation.newElements(interpretation,element); |
3453 | find mayInstanceOfSmallSat_class(problem,interpretation,element); | 3191 | find mayInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); |
3454 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | ||
3455 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3456 | neg find mustInstanceOfCubeSat_class(problem,interpretation,element); | ||
3457 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3458 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | 3192 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); |
3193 | neg find mustInstanceOfSpacecraft_class(problem,interpretation,element); | ||
3459 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | 3194 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); |
3460 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | 3195 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3196 | neg find mustInstanceOfGroundStationNetwork_class_UndefinedPart(problem,interpretation,element); | ||
3197 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | ||
3461 | } | 3198 | } |
3462 | pattern refineTypeTo_CommSubsystem_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3199 | pattern refineTypeTo_CubeSat3U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3463 | find interpretation(problem,interpretation); | 3200 | find interpretation(problem,interpretation); |
3464 | PartialInterpretation.newElements(interpretation,element); | 3201 | PartialInterpretation.newElements(interpretation,element); |
3465 | find mayInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | 3202 | find mayInstanceOfCubeSat3U_class(problem,interpretation,element); |
3203 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3204 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3205 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3466 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3206 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3207 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3208 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | ||
3209 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
3467 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3210 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3468 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3469 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3470 | neg find mustInstanceOfCommSubsystem_class_UndefinedPart(problem,interpretation,element); | ||
3471 | } | 3211 | } |
3472 | pattern refineTypeTo_CubeSat6U_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { | 3212 | pattern refineTypeTo_InterferometryMission_class_UndefinedPart(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) { |
3473 | find interpretation(problem,interpretation); | 3213 | find interpretation(problem,interpretation); |
3474 | PartialInterpretation.newElements(interpretation,element); | 3214 | PartialInterpretation.newElements(interpretation,element); |
3475 | find mayInstanceOfCubeSat6U_class(problem,interpretation,element); | 3215 | find mayInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); |
3216 | neg find mustInstanceOfCommunicatingElement_class(problem,interpretation,element); | ||
3217 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3476 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); | 3218 | neg find mustInstanceOfDirectedCommunicationLink_class(problem,interpretation,element); |
3219 | neg find mustInstanceOfInterferometryMission_class_UndefinedPart(problem,interpretation,element); | ||
3477 | neg find mustInstanceOfPayload_class(problem,interpretation,element); | 3220 | neg find mustInstanceOfPayload_class(problem,interpretation,element); |
3478 | neg find mustInstanceOfConstellationMission_class(problem,interpretation,element); | ||
3479 | neg find mustInstanceOfGroundStationNetwork_class(problem,interpretation,element); | ||
3480 | neg find mustInstanceOfCommSubsystem_class(problem,interpretation,element); | ||
3481 | neg find mustInstanceOfCubeSat3U_class(problem,interpretation,element); | ||
3482 | neg find mustInstanceOfSmallSat_class(problem,interpretation,element); | ||
3483 | neg find mustInstanceOfCubeSat6U_class(problem,interpretation,element); | ||
3484 | } | 3221 | } |
3485 | 3222 | ||
3486 | ////////// | 3223 | ////////// |
@@ -3516,49 +3253,4 @@ pattern refineRelation_target_reference_DirectedCommunicationLink( | |||
3516 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); | 3253 | find mayInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); |
3517 | neg find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); | 3254 | neg find mustInRelationtarget_reference_DirectedCommunicationLink(problem,interpretation,from,to); |
3518 | } | 3255 | } |
3519 | pattern refineRelation_kind_attribute_Spacecraft( | ||
3520 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3521 | relationIterpretation:PartialRelationInterpretation, | ||
3522 | from: DefinedElement, to: DefinedElement) | ||
3523 | { | ||
3524 | find interpretation(problem,interpretation); | ||
3525 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3526 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"kind attribute Spacecraft"); | ||
3527 | find mustExist(problem, interpretation, from); | ||
3528 | find mustExist(problem, interpretation, to); | ||
3529 | find mustInstanceOfSpacecraft_class(problem,interpretation,from); | ||
3530 | find mustInstanceOfSpacecraftKind_enum(problem,interpretation,to); | ||
3531 | find mayInRelationkind_attribute_Spacecraft(problem,interpretation,from,to); | ||
3532 | neg find mustInRelationkind_attribute_Spacecraft(problem,interpretation,from,to); | ||
3533 | } | ||
3534 | pattern refineRelation_band_attribute_CommSubsystem( | ||
3535 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3536 | relationIterpretation:PartialRelationInterpretation, | ||
3537 | from: DefinedElement, to: DefinedElement) | ||
3538 | { | ||
3539 | find interpretation(problem,interpretation); | ||
3540 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3541 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"band attribute CommSubsystem"); | ||
3542 | find mustExist(problem, interpretation, from); | ||
3543 | find mustExist(problem, interpretation, to); | ||
3544 | find mustInstanceOfCommSubsystem_class(problem,interpretation,from); | ||
3545 | find mustInstanceOfTransceiverBand_enum(problem,interpretation,to); | ||
3546 | find mayInRelationband_attribute_CommSubsystem(problem,interpretation,from,to); | ||
3547 | neg find mustInRelationband_attribute_CommSubsystem(problem,interpretation,from,to); | ||
3548 | } | ||
3549 | pattern refineRelation_gain_attribute_CommSubsystem( | ||
3550 | problem:LogicProblem, interpretation:PartialInterpretation, | ||
3551 | relationIterpretation:PartialRelationInterpretation, | ||
3552 | from: DefinedElement, to: DefinedElement) | ||
3553 | { | ||
3554 | find interpretation(problem,interpretation); | ||
3555 | PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation); | ||
3556 | PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"gain attribute CommSubsystem"); | ||
3557 | find mustExist(problem, interpretation, from); | ||
3558 | find mustExist(problem, interpretation, to); | ||
3559 | find mustInstanceOfCommSubsystem_class(problem,interpretation,from); | ||
3560 | find mustInstanceOfAntennaGain_enum(problem,interpretation,to); | ||
3561 | find mayInRelationgain_attribute_CommSubsystem(problem,interpretation,from,to); | ||
3562 | neg find mustInRelationgain_attribute_CommSubsystem(problem,interpretation,from,to); | ||
3563 | } | ||
3564 | 3256 | ||