aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml282
1 files changed, 196 insertions, 86 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml
index b8da662f..59498c9f 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml
@@ -221,6 +221,114 @@ graph
221 id 6 221 id 6
222 graphics 222 graphics
223 [ 223 [
224 w 288.20000000000005
225 h 40
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "CubeSat3U literal SpacecraftKind"
234 outline "#000000"
235 fill "#FFFFFF"
236 fontSize 16
237 fontName "Monospace"
238 autoSizePolicy "node_width"
239 anchor "t"
240 borderDistance 0.0
241 ]
242 LabelGraphics
243 [
244 text "
245 SpacecraftKind enum
246 "
247 fontSize 14
248 fontName "Consolas"
249 alignment "left"
250 anchor "tl"
251 borderDistance 6
252 ]
253 ]
254
255 node
256 [
257 id 7
258 graphics
259 [
260 w 288.20000000000005
261 h 40
262 type "rectangle"
263 fill "#FFFFFF"
264 fill2 "#FFFFFF"
265 outline "#000000"
266 ]
267 LabelGraphics
268 [
269 text "CubeSat6U literal SpacecraftKind"
270 outline "#000000"
271 fill "#FFFFFF"
272 fontSize 16
273 fontName "Monospace"
274 autoSizePolicy "node_width"
275 anchor "t"
276 borderDistance 0.0
277 ]
278 LabelGraphics
279 [
280 text "
281 SpacecraftKind enum
282 "
283 fontSize 14
284 fontName "Consolas"
285 alignment "left"
286 anchor "tl"
287 borderDistance 6
288 ]
289 ]
290
291 node
292 [
293 id 8
294 graphics
295 [
296 w 279.40000000000003
297 h 40
298 type "rectangle"
299 fill "#FFFFFF"
300 fill2 "#FFFFFF"
301 outline "#000000"
302 ]
303 LabelGraphics
304 [
305 text "SmallSat literal SpacecraftKind"
306 outline "#000000"
307 fill "#FFFFFF"
308 fontSize 16
309 fontName "Monospace"
310 autoSizePolicy "node_width"
311 anchor "t"
312 borderDistance 0.0
313 ]
314 LabelGraphics
315 [
316 text "
317 SpacecraftKind enum
318 "
319 fontSize 14
320 fontName "Consolas"
321 alignment "left"
322 anchor "tl"
323 borderDistance 6
324 ]
325 ]
326
327 node
328 [
329 id 9
330 graphics
331 [
224 w 315.70000000000005 332 w 315.70000000000005
225 h 82 333 h 82
226 type "rectangle" 334 type "rectangle"
@@ -257,7 +365,7 @@ graph
257 365
258 node 366 node
259 [ 367 [
260 id 7 368 id 10
261 graphics 369 graphics
262 [ 370 [
263 w 308.0 371 w 308.0
@@ -296,7 +404,7 @@ graph
296 404
297 node 405 node
298 [ 406 [
299 id 8 407 id 11
300 graphics 408 graphics
301 [ 409 [
302 w 254.10000000000002 410 w 254.10000000000002
@@ -333,7 +441,7 @@ graph
333 441
334 node 442 node
335 [ 443 [
336 id 9 444 id 12
337 graphics 445 graphics
338 [ 446 [
339 w 254.10000000000002 447 w 254.10000000000002
@@ -370,7 +478,7 @@ graph
370 478
371 node 479 node
372 [ 480 [
373 id 10 481 id 13
374 graphics 482 graphics
375 [ 483 [
376 w 41.800000000000004 484 w 41.800000000000004
@@ -405,7 +513,7 @@ graph
405 513
406 node 514 node
407 [ 515 [
408 id 11 516 id 14
409 graphics 517 graphics
410 [ 518 [
411 w 50.6 519 w 50.6
@@ -440,11 +548,11 @@ graph
440 548
441 node 549 node
442 [ 550 [
443 id 12 551 id 15
444 graphics 552 graphics
445 [ 553 [
446 w 323.40000000000003 554 w 323.40000000000003
447 h 82 555 h 96
448 type "rectangle" 556 type "rectangle"
449 fill "#FFFFFF" 557 fill "#FFFFFF"
450 fill2 "#FFFFFF" 558 fill2 "#FFFFFF"
@@ -467,6 +575,7 @@ graph
467 CommunicatingElement class 575 CommunicatingElement class
468 Spacecraft class 576 Spacecraft class
469 CubeSat6U class 577 CubeSat6U class
578 CubeSat class
470 CommunicatingElement class UndefinedPart 579 CommunicatingElement class UndefinedPart
471 " 580 "
472 fontSize 14 581 fontSize 14
@@ -479,11 +588,11 @@ graph
479 588
480 node 589 node
481 [ 590 [
482 id 13 591 id 16
483 graphics 592 graphics
484 [ 593 [
485 w 223.3 594 w 323.40000000000003
486 h 54 595 h 96
487 type "rectangle" 596 type "rectangle"
488 fill "#FFFFFF" 597 fill "#FFFFFF"
489 fill2 "#FFFFFF" 598 fill2 "#FFFFFF"
@@ -503,8 +612,11 @@ graph
503 LabelGraphics 612 LabelGraphics
504 [ 613 [
505 text " 614 text "
506 Payload class 615 CommunicatingElement class
507 InterferometryPayload class 616 Spacecraft class
617 CubeSat3U class
618 CubeSat class
619 CommunicatingElement class UndefinedPart
508 " 620 "
509 fontSize 14 621 fontSize 14
510 fontName "Consolas" 622 fontName "Consolas"
@@ -516,10 +628,10 @@ graph
516 628
517 node 629 node
518 [ 630 [
519 id 14 631 id 17
520 graphics 632 graphics
521 [ 633 [
522 w 269.5 634 w 223.3
523 h 54 635 h 54
524 type "rectangle" 636 type "rectangle"
525 fill "#FFFFFF" 637 fill "#FFFFFF"
@@ -540,8 +652,8 @@ graph
540 LabelGraphics 652 LabelGraphics
541 [ 653 [
542 text " 654 text "
543 CommSubsystem class 655 Payload class
544 CommSubsystem class UndefinedPart 656 InterferometryPayload class
545 " 657 "
546 fontSize 14 658 fontSize 14
547 fontName "Consolas" 659 fontName "Consolas"
@@ -553,11 +665,11 @@ graph
553 665
554 node 666 node
555 [ 667 [
556 id 15 668 id 18
557 graphics 669 graphics
558 [ 670 [
559 w 323.40000000000003 671 w 269.5
560 h 82 672 h 54
561 type "rectangle" 673 type "rectangle"
562 fill "#FFFFFF" 674 fill "#FFFFFF"
563 fill2 "#FFFFFF" 675 fill2 "#FFFFFF"
@@ -577,10 +689,8 @@ graph
577 LabelGraphics 689 LabelGraphics
578 [ 690 [
579 text " 691 text "
580 CommunicatingElement class 692 CommSubsystem class
581 Spacecraft class 693 CommSubsystem class UndefinedPart
582 SmallSat class
583 CommunicatingElement class UndefinedPart
584 " 694 "
585 fontSize 14 695 fontSize 14
586 fontName "Consolas" 696 fontName "Consolas"
@@ -592,7 +702,7 @@ graph
592 702
593 node 703 node
594 [ 704 [
595 id 16 705 id 19
596 graphics 706 graphics
597 [ 707 [
598 w 223.3 708 w 223.3
@@ -629,7 +739,7 @@ graph
629 739
630 node 740 node
631 [ 741 [
632 id 17 742 id 20
633 graphics 743 graphics
634 [ 744 [
635 w 269.5 745 w 269.5
@@ -666,11 +776,11 @@ graph
666 776
667 node 777 node
668 [ 778 [
669 id 18 779 id 21
670 graphics 780 graphics
671 [ 781 [
672 w 269.5 782 w 254.10000000000002
673 h 54 783 h 40
674 type "rectangle" 784 type "rectangle"
675 fill "#FFFFFF" 785 fill "#FFFFFF"
676 fill2 "#FFFFFF" 786 fill2 "#FFFFFF"
@@ -690,8 +800,7 @@ graph
690 LabelGraphics 800 LabelGraphics
691 [ 801 [
692 text " 802 text "
693 CommSubsystem class 803 DirectedCommunicationLink class
694 CommSubsystem class UndefinedPart
695 " 804 "
696 fontSize 14 805 fontSize 14
697 fontName "Consolas" 806 fontName "Consolas"
@@ -703,11 +812,11 @@ graph
703 812
704 node 813 node
705 [ 814 [
706 id 19 815 id 22
707 graphics 816 graphics
708 [ 817 [
709 w 254.10000000000002 818 w 269.5
710 h 40 819 h 54
711 type "rectangle" 820 type "rectangle"
712 fill "#FFFFFF" 821 fill "#FFFFFF"
713 fill2 "#FFFFFF" 822 fill2 "#FFFFFF"
@@ -727,7 +836,8 @@ graph
727 LabelGraphics 836 LabelGraphics
728 [ 837 [
729 text " 838 text "
730 DirectedCommunicationLink class 839 CommSubsystem class
840 CommSubsystem class UndefinedPart
731 " 841 "
732 fontSize 14 842 fontSize 14
733 fontName "Consolas" 843 fontName "Consolas"
@@ -739,7 +849,7 @@ graph
739 849
740 node 850 node
741 [ 851 [
742 id 20 852 id 23
743 graphics 853 graphics
744 [ 854 [
745 w 269.5 855 w 269.5
@@ -776,7 +886,7 @@ graph
776 886
777 node 887 node
778 [ 888 [
779 id 21 889 id 24
780 graphics 890 graphics
781 [ 891 [
782 w 254.10000000000002 892 w 254.10000000000002
@@ -812,7 +922,7 @@ graph
812 922
813 node 923 node
814 [ 924 [
815 id 22 925 id 25
816 graphics 926 graphics
817 [ 927 [
818 w 112.2 928 w 112.2
@@ -847,7 +957,7 @@ graph
847 957
848 node 958 node
849 [ 959 [
850 id 23 960 id 26
851 graphics 961 graphics
852 [ 962 [
853 w 85.80000000000001 963 w 85.80000000000001
@@ -882,7 +992,7 @@ graph
882 992
883 node 993 node
884 [ 994 [
885 id 24 995 id 27
886 graphics 996 graphics
887 [ 997 [
888 w 103.4 998 w 103.4
@@ -917,7 +1027,7 @@ graph
917 1027
918 node 1028 node
919 [ 1029 [
920 id 25 1030 id 28
921 graphics 1031 graphics
922 [ 1032 [
923 w 103.4 1033 w 103.4
@@ -951,8 +1061,8 @@ graph
951 ] 1061 ]
952 edge 1062 edge
953 [ 1063 [
954 source 6 1064 source 9
955 target 7 1065 target 10
956 graphics 1066 graphics
957 [ 1067 [
958 fill "#000000" 1068 fill "#000000"
@@ -971,8 +1081,8 @@ graph
971 ] 1081 ]
972 edge 1082 edge
973 [ 1083 [
974 source 6 1084 source 9
975 target 12 1085 target 15
976 graphics 1086 graphics
977 [ 1087 [
978 fill "#000000" 1088 fill "#000000"
@@ -991,8 +1101,8 @@ graph
991 ] 1101 ]
992 edge 1102 edge
993 [ 1103 [
994 source 6 1104 source 9
995 target 15 1105 target 16
996 graphics 1106 graphics
997 [ 1107 [
998 fill "#000000" 1108 fill "#000000"
@@ -1011,8 +1121,8 @@ graph
1011 ] 1121 ]
1012 edge 1122 edge
1013 [ 1123 [
1014 source 7 1124 source 10
1015 target 8 1125 target 11
1016 graphics 1126 graphics
1017 [ 1127 [
1018 fill "#000000" 1128 fill "#000000"
@@ -1031,8 +1141,8 @@ graph
1031 ] 1141 ]
1032 edge 1142 edge
1033 [ 1143 [
1034 source 7 1144 source 10
1035 target 9 1145 target 12
1036 graphics 1146 graphics
1037 [ 1147 [
1038 fill "#000000" 1148 fill "#000000"
@@ -1051,8 +1161,8 @@ graph
1051 ] 1161 ]
1052 edge 1162 edge
1053 [ 1163 [
1054 source 12 1164 source 15
1055 target 14 1165 target 18
1056 graphics 1166 graphics
1057 [ 1167 [
1058 fill "#000000" 1168 fill "#000000"
@@ -1071,8 +1181,8 @@ graph
1071 ] 1181 ]
1072 edge 1182 edge
1073 [ 1183 [
1074 source 15 1184 source 16
1075 target 17 1185 target 20
1076 graphics 1186 graphics
1077 [ 1187 [
1078 fill "#000000" 1188 fill "#000000"
@@ -1092,7 +1202,7 @@ graph
1092 edge 1202 edge
1093 [ 1203 [
1094 source 15 1204 source 15
1095 target 18 1205 target 22
1096 graphics 1206 graphics
1097 [ 1207 [
1098 fill "#000000" 1208 fill "#000000"
@@ -1111,8 +1221,8 @@ graph
1111 ] 1221 ]
1112 edge 1222 edge
1113 [ 1223 [
1114 source 12 1224 source 16
1115 target 20 1225 target 23
1116 graphics 1226 graphics
1117 [ 1227 [
1118 fill "#000000" 1228 fill "#000000"
@@ -1132,7 +1242,7 @@ graph
1132 edge 1242 edge
1133 [ 1243 [
1134 source 15 1244 source 15
1135 target 19 1245 target 21
1136 graphics 1246 graphics
1137 [ 1247 [
1138 fill "#000000" 1248 fill "#000000"
@@ -1151,8 +1261,8 @@ graph
1151 ] 1261 ]
1152 edge 1262 edge
1153 [ 1263 [
1154 source 12 1264 source 16
1155 target 21 1265 target 24
1156 graphics 1266 graphics
1157 [ 1267 [
1158 fill "#000000" 1268 fill "#000000"
@@ -1171,8 +1281,8 @@ graph
1171 ] 1281 ]
1172 edge 1282 edge
1173 [ 1283 [
1174 source 12 1284 source 16
1175 target 13 1285 target 17
1176 graphics 1286 graphics
1177 [ 1287 [
1178 fill "#000000" 1288 fill "#000000"
@@ -1192,7 +1302,7 @@ graph
1192 edge 1302 edge
1193 [ 1303 [
1194 source 15 1304 source 15
1195 target 16 1305 target 19
1196 graphics 1306 graphics
1197 [ 1307 [
1198 fill "#000000" 1308 fill "#000000"
@@ -1211,7 +1321,7 @@ graph
1211 ] 1321 ]
1212 edge 1322 edge
1213 [ 1323 [
1214 source 19 1324 source 21
1215 target 18 1325 target 18
1216 graphics 1326 graphics
1217 [ 1327 [
@@ -1230,8 +1340,8 @@ graph
1230 ] 1340 ]
1231 edge 1341 edge
1232 [ 1342 [
1233 source 21 1343 source 24
1234 target 20 1344 target 23
1235 graphics 1345 graphics
1236 [ 1346 [
1237 fill "#000000" 1347 fill "#000000"
@@ -1249,8 +1359,8 @@ graph
1249 ] 1359 ]
1250 edge 1360 edge
1251 [ 1361 [
1252 source 19 1362 source 21
1253 target 8 1363 target 12
1254 graphics 1364 graphics
1255 [ 1365 [
1256 fill "#000000" 1366 fill "#000000"
@@ -1268,8 +1378,8 @@ graph
1268 ] 1378 ]
1269 edge 1379 edge
1270 [ 1380 [
1271 source 21 1381 source 24
1272 target 8 1382 target 11
1273 graphics 1383 graphics
1274 [ 1384 [
1275 fill "#000000" 1385 fill "#000000"
@@ -1287,7 +1397,7 @@ graph
1287 ] 1397 ]
1288 edge 1398 edge
1289 [ 1399 [
1290 source 8 1400 source 11
1291 target 1 1401 target 1
1292 graphics 1402 graphics
1293 [ 1403 [
@@ -1306,7 +1416,7 @@ graph
1306 ] 1416 ]
1307 edge 1417 edge
1308 [ 1418 [
1309 source 9 1419 source 12
1310 target 2 1420 target 2
1311 graphics 1421 graphics
1312 [ 1422 [
@@ -1325,8 +1435,8 @@ graph
1325 ] 1435 ]
1326 edge 1436 edge
1327 [ 1437 [
1328 source 14 1438 source 18
1329 target 0 1439 target 2
1330 graphics 1440 graphics
1331 [ 1441 [
1332 fill "#000000" 1442 fill "#000000"
@@ -1344,7 +1454,7 @@ graph
1344 ] 1454 ]
1345 edge 1455 edge
1346 [ 1456 [
1347 source 17 1457 source 20
1348 target 1 1458 target 1
1349 graphics 1459 graphics
1350 [ 1460 [
@@ -1363,7 +1473,7 @@ graph
1363 ] 1473 ]
1364 edge 1474 edge
1365 [ 1475 [
1366 source 18 1476 source 22
1367 target 1 1477 target 1
1368 graphics 1478 graphics
1369 [ 1479 [
@@ -1382,7 +1492,7 @@ graph
1382 ] 1492 ]
1383 edge 1493 edge
1384 [ 1494 [
1385 source 20 1495 source 23
1386 target 1 1496 target 1
1387 graphics 1497 graphics
1388 [ 1498 [
@@ -1401,7 +1511,7 @@ graph
1401 ] 1511 ]
1402 edge 1512 edge
1403 [ 1513 [
1404 source 8 1514 source 11
1405 target 4 1515 target 4
1406 graphics 1516 graphics
1407 [ 1517 [
@@ -1420,7 +1530,7 @@ graph
1420 ] 1530 ]
1421 edge 1531 edge
1422 [ 1532 [
1423 source 9 1533 source 12
1424 target 5 1534 target 5
1425 graphics 1535 graphics
1426 [ 1536 [
@@ -1439,8 +1549,8 @@ graph
1439 ] 1549 ]
1440 edge 1550 edge
1441 [ 1551 [
1442 source 14 1552 source 18
1443 target 3 1553 target 5
1444 graphics 1554 graphics
1445 [ 1555 [
1446 fill "#000000" 1556 fill "#000000"
@@ -1458,8 +1568,8 @@ graph
1458 ] 1568 ]
1459 edge 1569 edge
1460 [ 1570 [
1461 source 17 1571 source 20
1462 target 3 1572 target 5
1463 graphics 1573 graphics
1464 [ 1574 [
1465 fill "#000000" 1575 fill "#000000"
@@ -1477,8 +1587,8 @@ graph
1477 ] 1587 ]
1478 edge 1588 edge
1479 [ 1589 [
1480 source 18 1590 source 22
1481 target 4 1591 target 5
1482 graphics 1592 graphics
1483 [ 1593 [
1484 fill "#000000" 1594 fill "#000000"
@@ -1496,7 +1606,7 @@ graph
1496 ] 1606 ]
1497 edge 1607 edge
1498 [ 1608 [
1499 source 20 1609 source 23
1500 target 4 1610 target 4
1501 graphics 1611 graphics
1502 [ 1612 [
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-07 18:21:15 +0000