aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.gml282
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.pngbin230457 -> 230838 bytes
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi12
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.gml1983
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.pngbin211085 -> 0 bytes
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.xmi31
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.gml1926
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.pngbin206387 -> 0 bytes
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.xmi30
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.gml1983
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.pngbin209322 -> 0 bytes
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.xmi31
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.gml1926
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.pngbin204074 -> 0 bytes
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.xmi30
15 files changed, 202 insertions, 8032 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 [
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png
index 46fb5138..832f8b42 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.png
Binary files differ
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi
index 5d49f882..44ca2b3e 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/1.xmi
@@ -4,16 +4,16 @@
4 <commSubsystem band="X" gain="MEDIUM"/> 4 <commSubsystem band="X" gain="MEDIUM"/>
5 <commSubsystem band="Ka" gain="HIGH"/> 5 <commSubsystem band="Ka" gain="HIGH"/>
6 </groundStationNetwork> 6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:SmallSat"> 7 <spacecraft xsi:type="satellite:CubeSat3U">
8 <commSubsystem band="X" gain="HIGH"/>
8 <commSubsystem band="X" gain="MEDIUM"/> 9 <commSubsystem band="X" gain="MEDIUM"/>
9 <commSubsystem band="X"/> 10 <communicationLink source="//@spacecraft.0/@commSubsystem.1" target="//@groundStationNetwork/@commSubsystem.0"/>
10 <communicationLink source="//@spacecraft.0/@commSubsystem.0" target="//@groundStationNetwork/@commSubsystem.0"/>
11 <payload xsi:type="satellite:InterferometryPayload"/> 11 <payload xsi:type="satellite:InterferometryPayload"/>
12 </spacecraft> 12 </spacecraft>
13 <spacecraft xsi:type="satellite:CubeSat6U"> 13 <spacecraft xsi:type="satellite:CubeSat6U">
14 <commSubsystem/> 14 <commSubsystem band="X" gain="HIGH"/>
15 <commSubsystem band="X" gain="MEDIUM"/> 15 <commSubsystem band="Ka" gain="HIGH"/>
16 <communicationLink source="//@spacecraft.1/@commSubsystem.1" target="//@groundStationNetwork/@commSubsystem.0"/> 16 <communicationLink source="//@spacecraft.1/@commSubsystem.1" target="//@groundStationNetwork/@commSubsystem.1"/>
17 <payload xsi:type="satellite:InterferometryPayload"/> 17 <payload xsi:type="satellite:InterferometryPayload"/>
18 </spacecraft> 18 </spacecraft>
19</satellite:InterferometryMission> 19</satellite:InterferometryMission>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.gml
deleted file mode 100644
index c5fd2a74..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.gml
+++ /dev/null
@@ -1,1983 +0,0 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 244.20000000000002
9 h 40
10 type "rectangle"
11 fill "#FFFFFF"
12 fill2 "#FFFFFF"
13 outline "#000000"
14 ]
15 LabelGraphics
16 [
17 text "UHF literal TransceiverBand"
18 outline "#000000"
19 fill "#FFFFFF"
20 fontSize 16
21 fontName "Monospace"
22 autoSizePolicy "node_width"
23 anchor "t"
24 borderDistance 0.0
25 ]
26 LabelGraphics
27 [
28 text "
29 TransceiverBand enum
30 "
31 fontSize 14
32 fontName "Consolas"
33 alignment "left"
34 anchor "tl"
35 borderDistance 6
36 ]
37 ]
38
39 node
40 [
41 id 1
42 graphics
43 [
44 w 226.60000000000002
45 h 40
46 type "rectangle"
47 fill "#FFFFFF"
48 fill2 "#FFFFFF"
49 outline "#000000"
50 ]
51 LabelGraphics
52 [
53 text "X literal TransceiverBand"
54 outline "#000000"
55 fill "#FFFFFF"
56 fontSize 16
57 fontName "Monospace"
58 autoSizePolicy "node_width"
59 anchor "t"
60 borderDistance 0.0
61 ]
62 LabelGraphics
63 [
64 text "
65 TransceiverBand enum
66 "
67 fontSize 14
68 fontName "Consolas"
69 alignment "left"
70 anchor "tl"
71 borderDistance 6
72 ]
73 ]
74
75 node
76 [
77 id 2
78 graphics
79 [
80 w 235.4
81 h 40
82 type "rectangle"
83 fill "#FFFFFF"
84 fill2 "#FFFFFF"
85 outline "#000000"
86 ]
87 LabelGraphics
88 [
89 text "Ka literal TransceiverBand"
90 outline "#000000"
91 fill "#FFFFFF"
92 fontSize 16
93 fontName "Monospace"
94 autoSizePolicy "node_width"
95 anchor "t"
96 borderDistance 0.0
97 ]
98 LabelGraphics
99 [
100 text "
101 TransceiverBand enum
102 "
103 fontSize 14
104 fontName "Consolas"
105 alignment "left"
106 anchor "tl"
107 borderDistance 6
108 ]
109 ]
110
111 node
112 [
113 id 3
114 graphics
115 [
116 w 209.00000000000003
117 h 40
118 type "rectangle"
119 fill "#FFFFFF"
120 fill2 "#FFFFFF"
121 outline "#000000"
122 ]
123 LabelGraphics
124 [
125 text "LOW literal AntennaGain"
126 outline "#000000"
127 fill "#FFFFFF"
128 fontSize 16
129 fontName "Monospace"
130 autoSizePolicy "node_width"
131 anchor "t"
132 borderDistance 0.0
133 ]
134 LabelGraphics
135 [
136 text "
137 AntennaGain enum
138 "
139 fontSize 14
140 fontName "Consolas"
141 alignment "left"
142 anchor "tl"
143 borderDistance 6
144 ]
145 ]
146
147 node
148 [
149 id 4
150 graphics
151 [
152 w 235.4
153 h 40
154 type "rectangle"
155 fill "#FFFFFF"
156 fill2 "#FFFFFF"
157 outline "#000000"
158 ]
159 LabelGraphics
160 [
161 text "MEDIUM literal AntennaGain"
162 outline "#000000"
163 fill "#FFFFFF"
164 fontSize 16
165 fontName "Monospace"
166 autoSizePolicy "node_width"
167 anchor "t"
168 borderDistance 0.0
169 ]
170 LabelGraphics
171 [
172 text "
173 AntennaGain enum
174 "
175 fontSize 14
176 fontName "Consolas"
177 alignment "left"
178 anchor "tl"
179 borderDistance 6
180 ]
181 ]
182
183 node
184 [
185 id 5
186 graphics
187 [
188 w 217.8
189 h 40
190 type "rectangle"
191 fill "#FFFFFF"
192 fill2 "#FFFFFF"
193 outline "#000000"
194 ]
195 LabelGraphics
196 [
197 text "HIGH literal AntennaGain"
198 outline "#000000"
199 fill "#FFFFFF"
200 fontSize 16
201 fontName "Monospace"
202 autoSizePolicy "node_width"
203 anchor "t"
204 borderDistance 0.0
205 ]
206 LabelGraphics
207 [
208 text "
209 AntennaGain enum
210 "
211 fontSize 14
212 fontName "Consolas"
213 alignment "left"
214 anchor "tl"
215 borderDistance 6
216 ]
217 ]
218
219 node
220 [
221 id 6
222 graphics
223 [
224 w 315.70000000000005
225 h 82
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "o 1"
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 ConstellationMission class DefinedPart
246 InterferometryMission class DefinedPart
247 ConstellationMission class
248 InterferometryMission class
249 "
250 fontSize 14
251 fontName "Consolas"
252 alignment "left"
253 anchor "tl"
254 borderDistance 6
255 ]
256 ]
257
258 node
259 [
260 id 7
261 graphics
262 [
263 w 308.0
264 h 82
265 type "rectangle"
266 fill "#FFFFFF"
267 fill2 "#FFFFFF"
268 outline "#000000"
269 ]
270 LabelGraphics
271 [
272 text "o 2"
273 outline "#000000"
274 fill "#FFFFFF"
275 fontSize 16
276 fontName "Monospace"
277 autoSizePolicy "node_width"
278 anchor "t"
279 borderDistance 0.0
280 ]
281 LabelGraphics
282 [
283 text "
284 CommunicatingElement class DefinedPart
285 GroundStationNetwork class DefinedPart
286 CommunicatingElement class
287 GroundStationNetwork class
288 "
289 fontSize 14
290 fontName "Consolas"
291 alignment "left"
292 anchor "tl"
293 borderDistance 6
294 ]
295 ]
296
297 node
298 [
299 id 8
300 graphics
301 [
302 w 254.10000000000002
303 h 54
304 type "rectangle"
305 fill "#FFFFFF"
306 fill2 "#FFFFFF"
307 outline "#000000"
308 ]
309 LabelGraphics
310 [
311 text "o 3"
312 outline "#000000"
313 fill "#FFFFFF"
314 fontSize 16
315 fontName "Monospace"
316 autoSizePolicy "node_width"
317 anchor "t"
318 borderDistance 0.0
319 ]
320 LabelGraphics
321 [
322 text "
323 CommSubsystem class DefinedPart
324 CommSubsystem class
325 "
326 fontSize 14
327 fontName "Consolas"
328 alignment "left"
329 anchor "tl"
330 borderDistance 6
331 ]
332 ]
333
334 node
335 [
336 id 9
337 graphics
338 [
339 w 254.10000000000002
340 h 54
341 type "rectangle"
342 fill "#FFFFFF"
343 fill2 "#FFFFFF"
344 outline "#000000"
345 ]
346 LabelGraphics
347 [
348 text "o 4"
349 outline "#000000"
350 fill "#FFFFFF"
351 fontSize 16
352 fontName "Monospace"
353 autoSizePolicy "node_width"
354 anchor "t"
355 borderDistance 0.0
356 ]
357 LabelGraphics
358 [
359 text "
360 CommSubsystem class DefinedPart
361 CommSubsystem class
362 "
363 fontSize 14
364 fontName "Consolas"
365 alignment "left"
366 anchor "tl"
367 borderDistance 6
368 ]
369 ]
370
371 node
372 [
373 id 10
374 graphics
375 [
376 w 41.800000000000004
377 h 26
378 type "rectangle"
379 fill "#FFFFFF"
380 fill2 "#FFFFFF"
381 outline "#000000"
382 ]
383 LabelGraphics
384 [
385 text "true"
386 outline "#000000"
387 fill "#FFFFFF"
388 fontSize 16
389 fontName "Monospace"
390 autoSizePolicy "node_width"
391 anchor "t"
392 borderDistance 0.0
393 ]
394 LabelGraphics
395 [
396 text "
397 "
398 fontSize 14
399 fontName "Consolas"
400 alignment "left"
401 anchor "tl"
402 borderDistance 6
403 ]
404 ]
405
406 node
407 [
408 id 11
409 graphics
410 [
411 w 50.6
412 h 26
413 type "rectangle"
414 fill "#FFFFFF"
415 fill2 "#FFFFFF"
416 outline "#000000"
417 ]
418 LabelGraphics
419 [
420 text "false"
421 outline "#000000"
422 fill "#FFFFFF"
423 fontSize 16
424 fontName "Monospace"
425 autoSizePolicy "node_width"
426 anchor "t"
427 borderDistance 0.0
428 ]
429 LabelGraphics
430 [
431 text "
432 "
433 fontSize 14
434 fontName "Consolas"
435 alignment "left"
436 anchor "tl"
437 borderDistance 6
438 ]
439 ]
440
441 node
442 [
443 id 12
444 graphics
445 [
446 w 323.40000000000003
447 h 82
448 type "rectangle"
449 fill "#FFFFFF"
450 fill2 "#FFFFFF"
451 outline "#000000"
452 ]
453 LabelGraphics
454 [
455 text "null"
456 outline "#000000"
457 fill "#FFFFFF"
458 fontSize 16
459 fontName "Monospace"
460 autoSizePolicy "node_width"
461 anchor "t"
462 borderDistance 0.0
463 ]
464 LabelGraphics
465 [
466 text "
467 CommunicatingElement class
468 Spacecraft class
469 SmallSat class
470 CommunicatingElement class UndefinedPart
471 "
472 fontSize 14
473 fontName "Consolas"
474 alignment "left"
475 anchor "tl"
476 borderDistance 6
477 ]
478 ]
479
480 node
481 [
482 id 13
483 graphics
484 [
485 w 323.40000000000003
486 h 82
487 type "rectangle"
488 fill "#FFFFFF"
489 fill2 "#FFFFFF"
490 outline "#000000"
491 ]
492 LabelGraphics
493 [
494 text "null"
495 outline "#000000"
496 fill "#FFFFFF"
497 fontSize 16
498 fontName "Monospace"
499 autoSizePolicy "node_width"
500 anchor "t"
501 borderDistance 0.0
502 ]
503 LabelGraphics
504 [
505 text "
506 CommunicatingElement class
507 Spacecraft class
508 CubeSat6U class
509 CommunicatingElement class UndefinedPart
510 "
511 fontSize 14
512 fontName "Consolas"
513 alignment "left"
514 anchor "tl"
515 borderDistance 6
516 ]
517 ]
518
519 node
520 [
521 id 14
522 graphics
523 [
524 w 269.5
525 h 54
526 type "rectangle"
527 fill "#FFFFFF"
528 fill2 "#FFFFFF"
529 outline "#000000"
530 ]
531 LabelGraphics
532 [
533 text "null"
534 outline "#000000"
535 fill "#FFFFFF"
536 fontSize 16
537 fontName "Monospace"
538 autoSizePolicy "node_width"
539 anchor "t"
540 borderDistance 0.0
541 ]
542 LabelGraphics
543 [
544 text "
545 CommSubsystem class
546 CommSubsystem class UndefinedPart
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 15
559 graphics
560 [
561 w 223.3
562 h 54
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "null"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 Payload class
583 InterferometryPayload class
584 "
585 fontSize 14
586 fontName "Consolas"
587 alignment "left"
588 anchor "tl"
589 borderDistance 6
590 ]
591 ]
592
593 node
594 [
595 id 16
596 graphics
597 [
598 w 269.5
599 h 54
600 type "rectangle"
601 fill "#FFFFFF"
602 fill2 "#FFFFFF"
603 outline "#000000"
604 ]
605 LabelGraphics
606 [
607 text "null"
608 outline "#000000"
609 fill "#FFFFFF"
610 fontSize 16
611 fontName "Monospace"
612 autoSizePolicy "node_width"
613 anchor "t"
614 borderDistance 0.0
615 ]
616 LabelGraphics
617 [
618 text "
619 CommSubsystem class
620 CommSubsystem class UndefinedPart
621 "
622 fontSize 14
623 fontName "Consolas"
624 alignment "left"
625 anchor "tl"
626 borderDistance 6
627 ]
628 ]
629
630 node
631 [
632 id 17
633 graphics
634 [
635 w 323.40000000000003
636 h 82
637 type "rectangle"
638 fill "#FFFFFF"
639 fill2 "#FFFFFF"
640 outline "#000000"
641 ]
642 LabelGraphics
643 [
644 text "null"
645 outline "#000000"
646 fill "#FFFFFF"
647 fontSize 16
648 fontName "Monospace"
649 autoSizePolicy "node_width"
650 anchor "t"
651 borderDistance 0.0
652 ]
653 LabelGraphics
654 [
655 text "
656 CommunicatingElement class
657 Spacecraft class
658 SmallSat class
659 CommunicatingElement class UndefinedPart
660 "
661 fontSize 14
662 fontName "Consolas"
663 alignment "left"
664 anchor "tl"
665 borderDistance 6
666 ]
667 ]
668
669 node
670 [
671 id 18
672 graphics
673 [
674 w 223.3
675 h 54
676 type "rectangle"
677 fill "#FFFFFF"
678 fill2 "#FFFFFF"
679 outline "#000000"
680 ]
681 LabelGraphics
682 [
683 text "null"
684 outline "#000000"
685 fill "#FFFFFF"
686 fontSize 16
687 fontName "Monospace"
688 autoSizePolicy "node_width"
689 anchor "t"
690 borderDistance 0.0
691 ]
692 LabelGraphics
693 [
694 text "
695 Payload class
696 InterferometryPayload class
697 "
698 fontSize 14
699 fontName "Consolas"
700 alignment "left"
701 anchor "tl"
702 borderDistance 6
703 ]
704 ]
705
706 node
707 [
708 id 19
709 graphics
710 [
711 w 323.40000000000003
712 h 82
713 type "rectangle"
714 fill "#FFFFFF"
715 fill2 "#FFFFFF"
716 outline "#000000"
717 ]
718 LabelGraphics
719 [
720 text "null"
721 outline "#000000"
722 fill "#FFFFFF"
723 fontSize 16
724 fontName "Monospace"
725 autoSizePolicy "node_width"
726 anchor "t"
727 borderDistance 0.0
728 ]
729 LabelGraphics
730 [
731 text "
732 CommunicatingElement class
733 Spacecraft class
734 SmallSat class
735 CommunicatingElement class UndefinedPart
736 "
737 fontSize 14
738 fontName "Consolas"
739 alignment "left"
740 anchor "tl"
741 borderDistance 6
742 ]
743 ]
744
745 node
746 [
747 id 20
748 graphics
749 [
750 w 223.3
751 h 54
752 type "rectangle"
753 fill "#FFFFFF"
754 fill2 "#FFFFFF"
755 outline "#000000"
756 ]
757 LabelGraphics
758 [
759 text "null"
760 outline "#000000"
761 fill "#FFFFFF"
762 fontSize 16
763 fontName "Monospace"
764 autoSizePolicy "node_width"
765 anchor "t"
766 borderDistance 0.0
767 ]
768 LabelGraphics
769 [
770 text "
771 Payload class
772 InterferometryPayload class
773 "
774 fontSize 14
775 fontName "Consolas"
776 alignment "left"
777 anchor "tl"
778 borderDistance 6
779 ]
780 ]
781
782 node
783 [
784 id 21
785 graphics
786 [
787 w 323.40000000000003
788 h 82
789 type "rectangle"
790 fill "#FFFFFF"
791 fill2 "#FFFFFF"
792 outline "#000000"
793 ]
794 LabelGraphics
795 [
796 text "null"
797 outline "#000000"
798 fill "#FFFFFF"
799 fontSize 16
800 fontName "Monospace"
801 autoSizePolicy "node_width"
802 anchor "t"
803 borderDistance 0.0
804 ]
805 LabelGraphics
806 [
807 text "
808 CommunicatingElement class
809 Spacecraft class
810 CubeSat6U class
811 CommunicatingElement class UndefinedPart
812 "
813 fontSize 14
814 fontName "Consolas"
815 alignment "left"
816 anchor "tl"
817 borderDistance 6
818 ]
819 ]
820
821 node
822 [
823 id 22
824 graphics
825 [
826 w 323.40000000000003
827 h 82
828 type "rectangle"
829 fill "#FFFFFF"
830 fill2 "#FFFFFF"
831 outline "#000000"
832 ]
833 LabelGraphics
834 [
835 text "null"
836 outline "#000000"
837 fill "#FFFFFF"
838 fontSize 16
839 fontName "Monospace"
840 autoSizePolicy "node_width"
841 anchor "t"
842 borderDistance 0.0
843 ]
844 LabelGraphics
845 [
846 text "
847 CommunicatingElement class
848 Spacecraft class
849 SmallSat class
850 CommunicatingElement class UndefinedPart
851 "
852 fontSize 14
853 fontName "Consolas"
854 alignment "left"
855 anchor "tl"
856 borderDistance 6
857 ]
858 ]
859
860 node
861 [
862 id 23
863 graphics
864 [
865 w 269.5
866 h 54
867 type "rectangle"
868 fill "#FFFFFF"
869 fill2 "#FFFFFF"
870 outline "#000000"
871 ]
872 LabelGraphics
873 [
874 text "null"
875 outline "#000000"
876 fill "#FFFFFF"
877 fontSize 16
878 fontName "Monospace"
879 autoSizePolicy "node_width"
880 anchor "t"
881 borderDistance 0.0
882 ]
883 LabelGraphics
884 [
885 text "
886 CommSubsystem class
887 CommSubsystem class UndefinedPart
888 "
889 fontSize 14
890 fontName "Consolas"
891 alignment "left"
892 anchor "tl"
893 borderDistance 6
894 ]
895 ]
896
897 node
898 [
899 id 24
900 graphics
901 [
902 w 269.5
903 h 54
904 type "rectangle"
905 fill "#FFFFFF"
906 fill2 "#FFFFFF"
907 outline "#000000"
908 ]
909 LabelGraphics
910 [
911 text "null"
912 outline "#000000"
913 fill "#FFFFFF"
914 fontSize 16
915 fontName "Monospace"
916 autoSizePolicy "node_width"
917 anchor "t"
918 borderDistance 0.0
919 ]
920 LabelGraphics
921 [
922 text "
923 CommSubsystem class
924 CommSubsystem class UndefinedPart
925 "
926 fontSize 14
927 fontName "Consolas"
928 alignment "left"
929 anchor "tl"
930 borderDistance 6
931 ]
932 ]
933
934 node
935 [
936 id 25
937 graphics
938 [
939 w 223.3
940 h 54
941 type "rectangle"
942 fill "#FFFFFF"
943 fill2 "#FFFFFF"
944 outline "#000000"
945 ]
946 LabelGraphics
947 [
948 text "null"
949 outline "#000000"
950 fill "#FFFFFF"
951 fontSize 16
952 fontName "Monospace"
953 autoSizePolicy "node_width"
954 anchor "t"
955 borderDistance 0.0
956 ]
957 LabelGraphics
958 [
959 text "
960 Payload class
961 InterferometryPayload class
962 "
963 fontSize 14
964 fontName "Consolas"
965 alignment "left"
966 anchor "tl"
967 borderDistance 6
968 ]
969 ]
970
971 node
972 [
973 id 26
974 graphics
975 [
976 w 223.3
977 h 54
978 type "rectangle"
979 fill "#FFFFFF"
980 fill2 "#FFFFFF"
981 outline "#000000"
982 ]
983 LabelGraphics
984 [
985 text "null"
986 outline "#000000"
987 fill "#FFFFFF"
988 fontSize 16
989 fontName "Monospace"
990 autoSizePolicy "node_width"
991 anchor "t"
992 borderDistance 0.0
993 ]
994 LabelGraphics
995 [
996 text "
997 Payload class
998 InterferometryPayload class
999 "
1000 fontSize 14
1001 fontName "Consolas"
1002 alignment "left"
1003 anchor "tl"
1004 borderDistance 6
1005 ]
1006 ]
1007
1008 node
1009 [
1010 id 27
1011 graphics
1012 [
1013 w 269.5
1014 h 54
1015 type "rectangle"
1016 fill "#FFFFFF"
1017 fill2 "#FFFFFF"
1018 outline "#000000"
1019 ]
1020 LabelGraphics
1021 [
1022 text "null"
1023 outline "#000000"
1024 fill "#FFFFFF"
1025 fontSize 16
1026 fontName "Monospace"
1027 autoSizePolicy "node_width"
1028 anchor "t"
1029 borderDistance 0.0
1030 ]
1031 LabelGraphics
1032 [
1033 text "
1034 CommSubsystem class
1035 CommSubsystem class UndefinedPart
1036 "
1037 fontSize 14
1038 fontName "Consolas"
1039 alignment "left"
1040 anchor "tl"
1041 borderDistance 6
1042 ]
1043 ]
1044
1045 node
1046 [
1047 id 28
1048 graphics
1049 [
1050 w 269.5
1051 h 54
1052 type "rectangle"
1053 fill "#FFFFFF"
1054 fill2 "#FFFFFF"
1055 outline "#000000"
1056 ]
1057 LabelGraphics
1058 [
1059 text "null"
1060 outline "#000000"
1061 fill "#FFFFFF"
1062 fontSize 16
1063 fontName "Monospace"
1064 autoSizePolicy "node_width"
1065 anchor "t"
1066 borderDistance 0.0
1067 ]
1068 LabelGraphics
1069 [
1070 text "
1071 CommSubsystem class
1072 CommSubsystem class UndefinedPart
1073 "
1074 fontSize 14
1075 fontName "Consolas"
1076 alignment "left"
1077 anchor "tl"
1078 borderDistance 6
1079 ]
1080 ]
1081
1082 node
1083 [
1084 id 29
1085 graphics
1086 [
1087 w 223.3
1088 h 54
1089 type "rectangle"
1090 fill "#FFFFFF"
1091 fill2 "#FFFFFF"
1092 outline "#000000"
1093 ]
1094 LabelGraphics
1095 [
1096 text "null"
1097 outline "#000000"
1098 fill "#FFFFFF"
1099 fontSize 16
1100 fontName "Monospace"
1101 autoSizePolicy "node_width"
1102 anchor "t"
1103 borderDistance 0.0
1104 ]
1105 LabelGraphics
1106 [
1107 text "
1108 Payload class
1109 InterferometryPayload class
1110 "
1111 fontSize 14
1112 fontName "Consolas"
1113 alignment "left"
1114 anchor "tl"
1115 borderDistance 6
1116 ]
1117 ]
1118
1119 node
1120 [
1121 id 30
1122 graphics
1123 [
1124 w 112.2
1125 h 26
1126 type "rectangle"
1127 fill "#FFFFFF"
1128 fill2 "#FFFFFF"
1129 outline "#000000"
1130 ]
1131 LabelGraphics
1132 [
1133 text "New Integers"
1134 outline "#000000"
1135 fill "#FFFFFF"
1136 fontSize 16
1137 fontName "Monospace"
1138 autoSizePolicy "node_width"
1139 anchor "t"
1140 borderDistance 0.0
1141 ]
1142 LabelGraphics
1143 [
1144 text "
1145 "
1146 fontSize 14
1147 fontName "Consolas"
1148 alignment "left"
1149 anchor "tl"
1150 borderDistance 6
1151 ]
1152 ]
1153
1154 node
1155 [
1156 id 31
1157 graphics
1158 [
1159 w 85.80000000000001
1160 h 26
1161 type "rectangle"
1162 fill "#FFFFFF"
1163 fill2 "#FFFFFF"
1164 outline "#000000"
1165 ]
1166 LabelGraphics
1167 [
1168 text "New Reals"
1169 outline "#000000"
1170 fill "#FFFFFF"
1171 fontSize 16
1172 fontName "Monospace"
1173 autoSizePolicy "node_width"
1174 anchor "t"
1175 borderDistance 0.0
1176 ]
1177 LabelGraphics
1178 [
1179 text "
1180 "
1181 fontSize 14
1182 fontName "Consolas"
1183 alignment "left"
1184 anchor "tl"
1185 borderDistance 6
1186 ]
1187 ]
1188
1189 node
1190 [
1191 id 32
1192 graphics
1193 [
1194 w 103.4
1195 h 26
1196 type "rectangle"
1197 fill "#FFFFFF"
1198 fill2 "#FFFFFF"
1199 outline "#000000"
1200 ]
1201 LabelGraphics
1202 [
1203 text "New Strings"
1204 outline "#000000"
1205 fill "#FFFFFF"
1206 fontSize 16
1207 fontName "Monospace"
1208 autoSizePolicy "node_width"
1209 anchor "t"
1210 borderDistance 0.0
1211 ]
1212 LabelGraphics
1213 [
1214 text "
1215 "
1216 fontSize 14
1217 fontName "Consolas"
1218 alignment "left"
1219 anchor "tl"
1220 borderDistance 6
1221 ]
1222 ]
1223
1224 node
1225 [
1226 id 33
1227 graphics
1228 [
1229 w 103.4
1230 h 26
1231 type "rectangle"
1232 fill "#FFFFFF"
1233 fill2 "#FFFFFF"
1234 outline "#000000"
1235 ]
1236 LabelGraphics
1237 [
1238 text "New Objects"
1239 outline "#000000"
1240 fill "#FFFFFF"
1241 fontSize 16
1242 fontName "Monospace"
1243 autoSizePolicy "node_width"
1244 anchor "t"
1245 borderDistance 0.0
1246 ]
1247 LabelGraphics
1248 [
1249 text "
1250 "
1251 fontSize 14
1252 fontName "Consolas"
1253 alignment "left"
1254 anchor "tl"
1255 borderDistance 6
1256 ]
1257 ]
1258 edge
1259 [
1260 source 6
1261 target 7
1262 graphics
1263 [
1264 fill "#000000"
1265 width 3
1266 targetArrow "standard"
1267 ]
1268 LabelGraphics
1269 [
1270 text "groundStationNetwork reference ConstellationMission"
1271 fontSize 14
1272 fontName "Consolas"
1273 configuration "AutoFlippingLabel"
1274 model "six_pos"
1275 position "thead"
1276 ]
1277 ]
1278 edge
1279 [
1280 source 6
1281 target 12
1282 graphics
1283 [
1284 fill "#000000"
1285 width 3
1286 targetArrow "standard"
1287 ]
1288 LabelGraphics
1289 [
1290 text "spacecraft reference ConstellationMission"
1291 fontSize 14
1292 fontName "Consolas"
1293 configuration "AutoFlippingLabel"
1294 model "six_pos"
1295 position "thead"
1296 ]
1297 ]
1298 edge
1299 [
1300 source 6
1301 target 13
1302 graphics
1303 [
1304 fill "#000000"
1305 width 3
1306 targetArrow "standard"
1307 ]
1308 LabelGraphics
1309 [
1310 text "spacecraft reference ConstellationMission"
1311 fontSize 14
1312 fontName "Consolas"
1313 configuration "AutoFlippingLabel"
1314 model "six_pos"
1315 position "thead"
1316 ]
1317 ]
1318 edge
1319 [
1320 source 6
1321 target 17
1322 graphics
1323 [
1324 fill "#000000"
1325 width 3
1326 targetArrow "standard"
1327 ]
1328 LabelGraphics
1329 [
1330 text "spacecraft reference ConstellationMission"
1331 fontSize 14
1332 fontName "Consolas"
1333 configuration "AutoFlippingLabel"
1334 model "six_pos"
1335 position "thead"
1336 ]
1337 ]
1338 edge
1339 [
1340 source 6
1341 target 19
1342 graphics
1343 [
1344 fill "#000000"
1345 width 3
1346 targetArrow "standard"
1347 ]
1348 LabelGraphics
1349 [
1350 text "spacecraft reference ConstellationMission"
1351 fontSize 14
1352 fontName "Consolas"
1353 configuration "AutoFlippingLabel"
1354 model "six_pos"
1355 position "thead"
1356 ]
1357 ]
1358 edge
1359 [
1360 source 6
1361 target 21
1362 graphics
1363 [
1364 fill "#000000"
1365 width 3
1366 targetArrow "standard"
1367 ]
1368 LabelGraphics
1369 [
1370 text "spacecraft reference ConstellationMission"
1371 fontSize 14
1372 fontName "Consolas"
1373 configuration "AutoFlippingLabel"
1374 model "six_pos"
1375 position "thead"
1376 ]
1377 ]
1378 edge
1379 [
1380 source 6
1381 target 22
1382 graphics
1383 [
1384 fill "#000000"
1385 width 3
1386 targetArrow "standard"
1387 ]
1388 LabelGraphics
1389 [
1390 text "spacecraft reference ConstellationMission"
1391 fontSize 14
1392 fontName "Consolas"
1393 configuration "AutoFlippingLabel"
1394 model "six_pos"
1395 position "thead"
1396 ]
1397 ]
1398 edge
1399 [
1400 source 7
1401 target 8
1402 graphics
1403 [
1404 fill "#000000"
1405 width 3
1406 targetArrow "standard"
1407 ]
1408 LabelGraphics
1409 [
1410 text "commSubsystem reference CommunicatingElement"
1411 fontSize 14
1412 fontName "Consolas"
1413 configuration "AutoFlippingLabel"
1414 model "six_pos"
1415 position "thead"
1416 ]
1417 ]
1418 edge
1419 [
1420 source 7
1421 target 9
1422 graphics
1423 [
1424 fill "#000000"
1425 width 3
1426 targetArrow "standard"
1427 ]
1428 LabelGraphics
1429 [
1430 text "commSubsystem reference CommunicatingElement"
1431 fontSize 14
1432 fontName "Consolas"
1433 configuration "AutoFlippingLabel"
1434 model "six_pos"
1435 position "thead"
1436 ]
1437 ]
1438 edge
1439 [
1440 source 13
1441 target 14
1442 graphics
1443 [
1444 fill "#000000"
1445 width 3
1446 targetArrow "standard"
1447 ]
1448 LabelGraphics
1449 [
1450 text "commSubsystem reference CommunicatingElement"
1451 fontSize 14
1452 fontName "Consolas"
1453 configuration "AutoFlippingLabel"
1454 model "six_pos"
1455 position "thead"
1456 ]
1457 ]
1458 edge
1459 [
1460 source 12
1461 target 16
1462 graphics
1463 [
1464 fill "#000000"
1465 width 3
1466 targetArrow "standard"
1467 ]
1468 LabelGraphics
1469 [
1470 text "commSubsystem reference CommunicatingElement"
1471 fontSize 14
1472 fontName "Consolas"
1473 configuration "AutoFlippingLabel"
1474 model "six_pos"
1475 position "thead"
1476 ]
1477 ]
1478 edge
1479 [
1480 source 21
1481 target 23
1482 graphics
1483 [
1484 fill "#000000"
1485 width 3
1486 targetArrow "standard"
1487 ]
1488 LabelGraphics
1489 [
1490 text "commSubsystem reference CommunicatingElement"
1491 fontSize 14
1492 fontName "Consolas"
1493 configuration "AutoFlippingLabel"
1494 model "six_pos"
1495 position "thead"
1496 ]
1497 ]
1498 edge
1499 [
1500 source 19
1501 target 24
1502 graphics
1503 [
1504 fill "#000000"
1505 width 3
1506 targetArrow "standard"
1507 ]
1508 LabelGraphics
1509 [
1510 text "commSubsystem reference CommunicatingElement"
1511 fontSize 14
1512 fontName "Consolas"
1513 configuration "AutoFlippingLabel"
1514 model "six_pos"
1515 position "thead"
1516 ]
1517 ]
1518 edge
1519 [
1520 source 17
1521 target 27
1522 graphics
1523 [
1524 fill "#000000"
1525 width 3
1526 targetArrow "standard"
1527 ]
1528 LabelGraphics
1529 [
1530 text "commSubsystem reference CommunicatingElement"
1531 fontSize 14
1532 fontName "Consolas"
1533 configuration "AutoFlippingLabel"
1534 model "six_pos"
1535 position "thead"
1536 ]
1537 ]
1538 edge
1539 [
1540 source 22
1541 target 28
1542 graphics
1543 [
1544 fill "#000000"
1545 width 3
1546 targetArrow "standard"
1547 ]
1548 LabelGraphics
1549 [
1550 text "commSubsystem reference CommunicatingElement"
1551 fontSize 14
1552 fontName "Consolas"
1553 configuration "AutoFlippingLabel"
1554 model "six_pos"
1555 position "thead"
1556 ]
1557 ]
1558 edge
1559 [
1560 source 13
1561 target 15
1562 graphics
1563 [
1564 fill "#000000"
1565 width 3
1566 targetArrow "standard"
1567 ]
1568 LabelGraphics
1569 [
1570 text "payload reference Spacecraft"
1571 fontSize 14
1572 fontName "Consolas"
1573 configuration "AutoFlippingLabel"
1574 model "six_pos"
1575 position "thead"
1576 ]
1577 ]
1578 edge
1579 [
1580 source 12
1581 target 18
1582 graphics
1583 [
1584 fill "#000000"
1585 width 3
1586 targetArrow "standard"
1587 ]
1588 LabelGraphics
1589 [
1590 text "payload reference Spacecraft"
1591 fontSize 14
1592 fontName "Consolas"
1593 configuration "AutoFlippingLabel"
1594 model "six_pos"
1595 position "thead"
1596 ]
1597 ]
1598 edge
1599 [
1600 source 17
1601 target 20
1602 graphics
1603 [
1604 fill "#000000"
1605 width 3
1606 targetArrow "standard"
1607 ]
1608 LabelGraphics
1609 [
1610 text "payload reference Spacecraft"
1611 fontSize 14
1612 fontName "Consolas"
1613 configuration "AutoFlippingLabel"
1614 model "six_pos"
1615 position "thead"
1616 ]
1617 ]
1618 edge
1619 [
1620 source 19
1621 target 25
1622 graphics
1623 [
1624 fill "#000000"
1625 width 3
1626 targetArrow "standard"
1627 ]
1628 LabelGraphics
1629 [
1630 text "payload reference Spacecraft"
1631 fontSize 14
1632 fontName "Consolas"
1633 configuration "AutoFlippingLabel"
1634 model "six_pos"
1635 position "thead"
1636 ]
1637 ]
1638 edge
1639 [
1640 source 22
1641 target 26
1642 graphics
1643 [
1644 fill "#000000"
1645 width 3
1646 targetArrow "standard"
1647 ]
1648 LabelGraphics
1649 [
1650 text "payload reference Spacecraft"
1651 fontSize 14
1652 fontName "Consolas"
1653 configuration "AutoFlippingLabel"
1654 model "six_pos"
1655 position "thead"
1656 ]
1657 ]
1658 edge
1659 [
1660 source 21
1661 target 29
1662 graphics
1663 [
1664 fill "#000000"
1665 width 3
1666 targetArrow "standard"
1667 ]
1668 LabelGraphics
1669 [
1670 text "payload reference Spacecraft"
1671 fontSize 14
1672 fontName "Consolas"
1673 configuration "AutoFlippingLabel"
1674 model "six_pos"
1675 position "thead"
1676 ]
1677 ]
1678 edge
1679 [
1680 source 8
1681 target 1
1682 graphics
1683 [
1684 fill "#000000"
1685 targetArrow "standard"
1686 ]
1687 LabelGraphics
1688 [
1689 text "band attribute CommSubsystem"
1690 fontSize 14
1691 fontName "Consolas"
1692 configuration "AutoFlippingLabel"
1693 model "six_pos"
1694 position "thead"
1695 ]
1696 ]
1697 edge
1698 [
1699 source 9
1700 target 2
1701 graphics
1702 [
1703 fill "#000000"
1704 targetArrow "standard"
1705 ]
1706 LabelGraphics
1707 [
1708 text "band attribute CommSubsystem"
1709 fontSize 14
1710 fontName "Consolas"
1711 configuration "AutoFlippingLabel"
1712 model "six_pos"
1713 position "thead"
1714 ]
1715 ]
1716 edge
1717 [
1718 source 14
1719 target 0
1720 graphics
1721 [
1722 fill "#000000"
1723 targetArrow "standard"
1724 ]
1725 LabelGraphics
1726 [
1727 text "band attribute CommSubsystem"
1728 fontSize 14
1729 fontName "Consolas"
1730 configuration "AutoFlippingLabel"
1731 model "six_pos"
1732 position "thead"
1733 ]
1734 ]
1735 edge
1736 [
1737 source 16
1738 target 2
1739 graphics
1740 [
1741 fill "#000000"
1742 targetArrow "standard"
1743 ]
1744 LabelGraphics
1745 [
1746 text "band attribute CommSubsystem"
1747 fontSize 14
1748 fontName "Consolas"
1749 configuration "AutoFlippingLabel"
1750 model "six_pos"
1751 position "thead"
1752 ]
1753 ]
1754 edge
1755 [
1756 source 23
1757 target 1
1758 graphics
1759 [
1760 fill "#000000"
1761 targetArrow "standard"
1762 ]
1763 LabelGraphics
1764 [
1765 text "band attribute CommSubsystem"
1766 fontSize 14
1767 fontName "Consolas"
1768 configuration "AutoFlippingLabel"
1769 model "six_pos"
1770 position "thead"
1771 ]
1772 ]
1773 edge
1774 [
1775 source 24
1776 target 2
1777 graphics
1778 [
1779 fill "#000000"
1780 targetArrow "standard"
1781 ]
1782 LabelGraphics
1783 [
1784 text "band attribute CommSubsystem"
1785 fontSize 14
1786 fontName "Consolas"
1787 configuration "AutoFlippingLabel"
1788 model "six_pos"
1789 position "thead"
1790 ]
1791 ]
1792 edge
1793 [
1794 source 27
1795 target 1
1796 graphics
1797 [
1798 fill "#000000"
1799 targetArrow "standard"
1800 ]
1801 LabelGraphics
1802 [
1803 text "band attribute CommSubsystem"
1804 fontSize 14
1805 fontName "Consolas"
1806 configuration "AutoFlippingLabel"
1807 model "six_pos"
1808 position "thead"
1809 ]
1810 ]
1811 edge
1812 [
1813 source 28
1814 target 2
1815 graphics
1816 [
1817 fill "#000000"
1818 targetArrow "standard"
1819 ]
1820 LabelGraphics
1821 [
1822 text "band attribute CommSubsystem"
1823 fontSize 14
1824 fontName "Consolas"
1825 configuration "AutoFlippingLabel"
1826 model "six_pos"
1827 position "thead"
1828 ]
1829 ]
1830 edge
1831 [
1832 source 8
1833 target 4
1834 graphics
1835 [
1836 fill "#000000"
1837 targetArrow "standard"
1838 ]
1839 LabelGraphics
1840 [
1841 text "gain attribute CommSubsystem"
1842 fontSize 14
1843 fontName "Consolas"
1844 configuration "AutoFlippingLabel"
1845 model "six_pos"
1846 position "thead"
1847 ]
1848 ]
1849 edge
1850 [
1851 source 9
1852 target 5
1853 graphics
1854 [
1855 fill "#000000"
1856 targetArrow "standard"
1857 ]
1858 LabelGraphics
1859 [
1860 text "gain attribute CommSubsystem"
1861 fontSize 14
1862 fontName "Consolas"
1863 configuration "AutoFlippingLabel"
1864 model "six_pos"
1865 position "thead"
1866 ]
1867 ]
1868 edge
1869 [
1870 source 14
1871 target 5
1872 graphics
1873 [
1874 fill "#000000"
1875 targetArrow "standard"
1876 ]
1877 LabelGraphics
1878 [
1879 text "gain attribute CommSubsystem"
1880 fontSize 14
1881 fontName "Consolas"
1882 configuration "AutoFlippingLabel"
1883 model "six_pos"
1884 position "thead"
1885 ]
1886 ]
1887 edge
1888 [
1889 source 16
1890 target 3
1891 graphics
1892 [
1893 fill "#000000"
1894 targetArrow "standard"
1895 ]
1896 LabelGraphics
1897 [
1898 text "gain attribute CommSubsystem"
1899 fontSize 14
1900 fontName "Consolas"
1901 configuration "AutoFlippingLabel"
1902 model "six_pos"
1903 position "thead"
1904 ]
1905 ]
1906 edge
1907 [
1908 source 24
1909 target 4
1910 graphics
1911 [
1912 fill "#000000"
1913 targetArrow "standard"
1914 ]
1915 LabelGraphics
1916 [
1917 text "gain attribute CommSubsystem"
1918 fontSize 14
1919 fontName "Consolas"
1920 configuration "AutoFlippingLabel"
1921 model "six_pos"
1922 position "thead"
1923 ]
1924 ]
1925 edge
1926 [
1927 source 23
1928 target 4
1929 graphics
1930 [
1931 fill "#000000"
1932 targetArrow "standard"
1933 ]
1934 LabelGraphics
1935 [
1936 text "gain attribute CommSubsystem"
1937 fontSize 14
1938 fontName "Consolas"
1939 configuration "AutoFlippingLabel"
1940 model "six_pos"
1941 position "thead"
1942 ]
1943 ]
1944 edge
1945 [
1946 source 27
1947 target 4
1948 graphics
1949 [
1950 fill "#000000"
1951 targetArrow "standard"
1952 ]
1953 LabelGraphics
1954 [
1955 text "gain attribute CommSubsystem"
1956 fontSize 14
1957 fontName "Consolas"
1958 configuration "AutoFlippingLabel"
1959 model "six_pos"
1960 position "thead"
1961 ]
1962 ]
1963 edge
1964 [
1965 source 28
1966 target 3
1967 graphics
1968 [
1969 fill "#000000"
1970 targetArrow "standard"
1971 ]
1972 LabelGraphics
1973 [
1974 text "gain attribute CommSubsystem"
1975 fontSize 14
1976 fontName "Consolas"
1977 configuration "AutoFlippingLabel"
1978 model "six_pos"
1979 position "thead"
1980 ]
1981 ]
1982]
1983
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.png
deleted file mode 100644
index 791ec34e..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.png
+++ /dev/null
Binary files differ
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.xmi
deleted file mode 100644
index 14a9208d..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/2.xmi
+++ /dev/null
@@ -1,31 +0,0 @@
1<?xml version="1.0" encoding="ASCII"?>
2<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem band="X" gain="MEDIUM"/>
5 <commSubsystem band="Ka" gain="HIGH"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:CubeSat6U">
8 <commSubsystem band="X" gain="MEDIUM"/>
9 <payload xsi:type="satellite:InterferometryPayload"/>
10 </spacecraft>
11 <spacecraft xsi:type="satellite:CubeSat6U">
12 <commSubsystem gain="HIGH"/>
13 <payload xsi:type="satellite:InterferometryPayload"/>
14 </spacecraft>
15 <spacecraft xsi:type="satellite:SmallSat">
16 <commSubsystem band="X" gain="MEDIUM"/>
17 <payload xsi:type="satellite:InterferometryPayload"/>
18 </spacecraft>
19 <spacecraft xsi:type="satellite:SmallSat">
20 <commSubsystem band="Ka" gain="MEDIUM"/>
21 <payload xsi:type="satellite:InterferometryPayload"/>
22 </spacecraft>
23 <spacecraft xsi:type="satellite:SmallSat">
24 <commSubsystem band="Ka"/>
25 <payload xsi:type="satellite:InterferometryPayload"/>
26 </spacecraft>
27 <spacecraft xsi:type="satellite:SmallSat">
28 <commSubsystem band="Ka"/>
29 <payload xsi:type="satellite:InterferometryPayload"/>
30 </spacecraft>
31</satellite:InterferometryMission>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.gml
deleted file mode 100644
index caae7300..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.gml
+++ /dev/null
@@ -1,1926 +0,0 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 244.20000000000002
9 h 40
10 type "rectangle"
11 fill "#FFFFFF"
12 fill2 "#FFFFFF"
13 outline "#000000"
14 ]
15 LabelGraphics
16 [
17 text "UHF literal TransceiverBand"
18 outline "#000000"
19 fill "#FFFFFF"
20 fontSize 16
21 fontName "Monospace"
22 autoSizePolicy "node_width"
23 anchor "t"
24 borderDistance 0.0
25 ]
26 LabelGraphics
27 [
28 text "
29 TransceiverBand enum
30 "
31 fontSize 14
32 fontName "Consolas"
33 alignment "left"
34 anchor "tl"
35 borderDistance 6
36 ]
37 ]
38
39 node
40 [
41 id 1
42 graphics
43 [
44 w 226.60000000000002
45 h 40
46 type "rectangle"
47 fill "#FFFFFF"
48 fill2 "#FFFFFF"
49 outline "#000000"
50 ]
51 LabelGraphics
52 [
53 text "X literal TransceiverBand"
54 outline "#000000"
55 fill "#FFFFFF"
56 fontSize 16
57 fontName "Monospace"
58 autoSizePolicy "node_width"
59 anchor "t"
60 borderDistance 0.0
61 ]
62 LabelGraphics
63 [
64 text "
65 TransceiverBand enum
66 "
67 fontSize 14
68 fontName "Consolas"
69 alignment "left"
70 anchor "tl"
71 borderDistance 6
72 ]
73 ]
74
75 node
76 [
77 id 2
78 graphics
79 [
80 w 235.4
81 h 40
82 type "rectangle"
83 fill "#FFFFFF"
84 fill2 "#FFFFFF"
85 outline "#000000"
86 ]
87 LabelGraphics
88 [
89 text "Ka literal TransceiverBand"
90 outline "#000000"
91 fill "#FFFFFF"
92 fontSize 16
93 fontName "Monospace"
94 autoSizePolicy "node_width"
95 anchor "t"
96 borderDistance 0.0
97 ]
98 LabelGraphics
99 [
100 text "
101 TransceiverBand enum
102 "
103 fontSize 14
104 fontName "Consolas"
105 alignment "left"
106 anchor "tl"
107 borderDistance 6
108 ]
109 ]
110
111 node
112 [
113 id 3
114 graphics
115 [
116 w 209.00000000000003
117 h 40
118 type "rectangle"
119 fill "#FFFFFF"
120 fill2 "#FFFFFF"
121 outline "#000000"
122 ]
123 LabelGraphics
124 [
125 text "LOW literal AntennaGain"
126 outline "#000000"
127 fill "#FFFFFF"
128 fontSize 16
129 fontName "Monospace"
130 autoSizePolicy "node_width"
131 anchor "t"
132 borderDistance 0.0
133 ]
134 LabelGraphics
135 [
136 text "
137 AntennaGain enum
138 "
139 fontSize 14
140 fontName "Consolas"
141 alignment "left"
142 anchor "tl"
143 borderDistance 6
144 ]
145 ]
146
147 node
148 [
149 id 4
150 graphics
151 [
152 w 235.4
153 h 40
154 type "rectangle"
155 fill "#FFFFFF"
156 fill2 "#FFFFFF"
157 outline "#000000"
158 ]
159 LabelGraphics
160 [
161 text "MEDIUM literal AntennaGain"
162 outline "#000000"
163 fill "#FFFFFF"
164 fontSize 16
165 fontName "Monospace"
166 autoSizePolicy "node_width"
167 anchor "t"
168 borderDistance 0.0
169 ]
170 LabelGraphics
171 [
172 text "
173 AntennaGain enum
174 "
175 fontSize 14
176 fontName "Consolas"
177 alignment "left"
178 anchor "tl"
179 borderDistance 6
180 ]
181 ]
182
183 node
184 [
185 id 5
186 graphics
187 [
188 w 217.8
189 h 40
190 type "rectangle"
191 fill "#FFFFFF"
192 fill2 "#FFFFFF"
193 outline "#000000"
194 ]
195 LabelGraphics
196 [
197 text "HIGH literal AntennaGain"
198 outline "#000000"
199 fill "#FFFFFF"
200 fontSize 16
201 fontName "Monospace"
202 autoSizePolicy "node_width"
203 anchor "t"
204 borderDistance 0.0
205 ]
206 LabelGraphics
207 [
208 text "
209 AntennaGain enum
210 "
211 fontSize 14
212 fontName "Consolas"
213 alignment "left"
214 anchor "tl"
215 borderDistance 6
216 ]
217 ]
218
219 node
220 [
221 id 6
222 graphics
223 [
224 w 315.70000000000005
225 h 82
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "o 1"
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 ConstellationMission class DefinedPart
246 InterferometryMission class DefinedPart
247 ConstellationMission class
248 InterferometryMission class
249 "
250 fontSize 14
251 fontName "Consolas"
252 alignment "left"
253 anchor "tl"
254 borderDistance 6
255 ]
256 ]
257
258 node
259 [
260 id 7
261 graphics
262 [
263 w 308.0
264 h 82
265 type "rectangle"
266 fill "#FFFFFF"
267 fill2 "#FFFFFF"
268 outline "#000000"
269 ]
270 LabelGraphics
271 [
272 text "o 2"
273 outline "#000000"
274 fill "#FFFFFF"
275 fontSize 16
276 fontName "Monospace"
277 autoSizePolicy "node_width"
278 anchor "t"
279 borderDistance 0.0
280 ]
281 LabelGraphics
282 [
283 text "
284 CommunicatingElement class DefinedPart
285 GroundStationNetwork class DefinedPart
286 CommunicatingElement class
287 GroundStationNetwork class
288 "
289 fontSize 14
290 fontName "Consolas"
291 alignment "left"
292 anchor "tl"
293 borderDistance 6
294 ]
295 ]
296
297 node
298 [
299 id 8
300 graphics
301 [
302 w 254.10000000000002
303 h 54
304 type "rectangle"
305 fill "#FFFFFF"
306 fill2 "#FFFFFF"
307 outline "#000000"
308 ]
309 LabelGraphics
310 [
311 text "o 3"
312 outline "#000000"
313 fill "#FFFFFF"
314 fontSize 16
315 fontName "Monospace"
316 autoSizePolicy "node_width"
317 anchor "t"
318 borderDistance 0.0
319 ]
320 LabelGraphics
321 [
322 text "
323 CommSubsystem class DefinedPart
324 CommSubsystem class
325 "
326 fontSize 14
327 fontName "Consolas"
328 alignment "left"
329 anchor "tl"
330 borderDistance 6
331 ]
332 ]
333
334 node
335 [
336 id 9
337 graphics
338 [
339 w 254.10000000000002
340 h 54
341 type "rectangle"
342 fill "#FFFFFF"
343 fill2 "#FFFFFF"
344 outline "#000000"
345 ]
346 LabelGraphics
347 [
348 text "o 4"
349 outline "#000000"
350 fill "#FFFFFF"
351 fontSize 16
352 fontName "Monospace"
353 autoSizePolicy "node_width"
354 anchor "t"
355 borderDistance 0.0
356 ]
357 LabelGraphics
358 [
359 text "
360 CommSubsystem class DefinedPart
361 CommSubsystem class
362 "
363 fontSize 14
364 fontName "Consolas"
365 alignment "left"
366 anchor "tl"
367 borderDistance 6
368 ]
369 ]
370
371 node
372 [
373 id 10
374 graphics
375 [
376 w 41.800000000000004
377 h 26
378 type "rectangle"
379 fill "#FFFFFF"
380 fill2 "#FFFFFF"
381 outline "#000000"
382 ]
383 LabelGraphics
384 [
385 text "true"
386 outline "#000000"
387 fill "#FFFFFF"
388 fontSize 16
389 fontName "Monospace"
390 autoSizePolicy "node_width"
391 anchor "t"
392 borderDistance 0.0
393 ]
394 LabelGraphics
395 [
396 text "
397 "
398 fontSize 14
399 fontName "Consolas"
400 alignment "left"
401 anchor "tl"
402 borderDistance 6
403 ]
404 ]
405
406 node
407 [
408 id 11
409 graphics
410 [
411 w 50.6
412 h 26
413 type "rectangle"
414 fill "#FFFFFF"
415 fill2 "#FFFFFF"
416 outline "#000000"
417 ]
418 LabelGraphics
419 [
420 text "false"
421 outline "#000000"
422 fill "#FFFFFF"
423 fontSize 16
424 fontName "Monospace"
425 autoSizePolicy "node_width"
426 anchor "t"
427 borderDistance 0.0
428 ]
429 LabelGraphics
430 [
431 text "
432 "
433 fontSize 14
434 fontName "Consolas"
435 alignment "left"
436 anchor "tl"
437 borderDistance 6
438 ]
439 ]
440
441 node
442 [
443 id 12
444 graphics
445 [
446 w 323.40000000000003
447 h 82
448 type "rectangle"
449 fill "#FFFFFF"
450 fill2 "#FFFFFF"
451 outline "#000000"
452 ]
453 LabelGraphics
454 [
455 text "null"
456 outline "#000000"
457 fill "#FFFFFF"
458 fontSize 16
459 fontName "Monospace"
460 autoSizePolicy "node_width"
461 anchor "t"
462 borderDistance 0.0
463 ]
464 LabelGraphics
465 [
466 text "
467 CommunicatingElement class
468 Spacecraft class
469 SmallSat class
470 CommunicatingElement class UndefinedPart
471 "
472 fontSize 14
473 fontName "Consolas"
474 alignment "left"
475 anchor "tl"
476 borderDistance 6
477 ]
478 ]
479
480 node
481 [
482 id 13
483 graphics
484 [
485 w 323.40000000000003
486 h 82
487 type "rectangle"
488 fill "#FFFFFF"
489 fill2 "#FFFFFF"
490 outline "#000000"
491 ]
492 LabelGraphics
493 [
494 text "null"
495 outline "#000000"
496 fill "#FFFFFF"
497 fontSize 16
498 fontName "Monospace"
499 autoSizePolicy "node_width"
500 anchor "t"
501 borderDistance 0.0
502 ]
503 LabelGraphics
504 [
505 text "
506 CommunicatingElement class
507 Spacecraft class
508 CubeSat6U class
509 CommunicatingElement class UndefinedPart
510 "
511 fontSize 14
512 fontName "Consolas"
513 alignment "left"
514 anchor "tl"
515 borderDistance 6
516 ]
517 ]
518
519 node
520 [
521 id 14
522 graphics
523 [
524 w 269.5
525 h 54
526 type "rectangle"
527 fill "#FFFFFF"
528 fill2 "#FFFFFF"
529 outline "#000000"
530 ]
531 LabelGraphics
532 [
533 text "null"
534 outline "#000000"
535 fill "#FFFFFF"
536 fontSize 16
537 fontName "Monospace"
538 autoSizePolicy "node_width"
539 anchor "t"
540 borderDistance 0.0
541 ]
542 LabelGraphics
543 [
544 text "
545 CommSubsystem class
546 CommSubsystem class UndefinedPart
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 15
559 graphics
560 [
561 w 223.3
562 h 54
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "null"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 Payload class
583 InterferometryPayload class
584 "
585 fontSize 14
586 fontName "Consolas"
587 alignment "left"
588 anchor "tl"
589 borderDistance 6
590 ]
591 ]
592
593 node
594 [
595 id 16
596 graphics
597 [
598 w 269.5
599 h 54
600 type "rectangle"
601 fill "#FFFFFF"
602 fill2 "#FFFFFF"
603 outline "#000000"
604 ]
605 LabelGraphics
606 [
607 text "null"
608 outline "#000000"
609 fill "#FFFFFF"
610 fontSize 16
611 fontName "Monospace"
612 autoSizePolicy "node_width"
613 anchor "t"
614 borderDistance 0.0
615 ]
616 LabelGraphics
617 [
618 text "
619 CommSubsystem class
620 CommSubsystem class UndefinedPart
621 "
622 fontSize 14
623 fontName "Consolas"
624 alignment "left"
625 anchor "tl"
626 borderDistance 6
627 ]
628 ]
629
630 node
631 [
632 id 17
633 graphics
634 [
635 w 323.40000000000003
636 h 82
637 type "rectangle"
638 fill "#FFFFFF"
639 fill2 "#FFFFFF"
640 outline "#000000"
641 ]
642 LabelGraphics
643 [
644 text "null"
645 outline "#000000"
646 fill "#FFFFFF"
647 fontSize 16
648 fontName "Monospace"
649 autoSizePolicy "node_width"
650 anchor "t"
651 borderDistance 0.0
652 ]
653 LabelGraphics
654 [
655 text "
656 CommunicatingElement class
657 Spacecraft class
658 SmallSat class
659 CommunicatingElement class UndefinedPart
660 "
661 fontSize 14
662 fontName "Consolas"
663 alignment "left"
664 anchor "tl"
665 borderDistance 6
666 ]
667 ]
668
669 node
670 [
671 id 18
672 graphics
673 [
674 w 223.3
675 h 54
676 type "rectangle"
677 fill "#FFFFFF"
678 fill2 "#FFFFFF"
679 outline "#000000"
680 ]
681 LabelGraphics
682 [
683 text "null"
684 outline "#000000"
685 fill "#FFFFFF"
686 fontSize 16
687 fontName "Monospace"
688 autoSizePolicy "node_width"
689 anchor "t"
690 borderDistance 0.0
691 ]
692 LabelGraphics
693 [
694 text "
695 Payload class
696 InterferometryPayload class
697 "
698 fontSize 14
699 fontName "Consolas"
700 alignment "left"
701 anchor "tl"
702 borderDistance 6
703 ]
704 ]
705
706 node
707 [
708 id 19
709 graphics
710 [
711 w 323.40000000000003
712 h 82
713 type "rectangle"
714 fill "#FFFFFF"
715 fill2 "#FFFFFF"
716 outline "#000000"
717 ]
718 LabelGraphics
719 [
720 text "null"
721 outline "#000000"
722 fill "#FFFFFF"
723 fontSize 16
724 fontName "Monospace"
725 autoSizePolicy "node_width"
726 anchor "t"
727 borderDistance 0.0
728 ]
729 LabelGraphics
730 [
731 text "
732 CommunicatingElement class
733 Spacecraft class
734 SmallSat class
735 CommunicatingElement class UndefinedPart
736 "
737 fontSize 14
738 fontName "Consolas"
739 alignment "left"
740 anchor "tl"
741 borderDistance 6
742 ]
743 ]
744
745 node
746 [
747 id 20
748 graphics
749 [
750 w 223.3
751 h 54
752 type "rectangle"
753 fill "#FFFFFF"
754 fill2 "#FFFFFF"
755 outline "#000000"
756 ]
757 LabelGraphics
758 [
759 text "null"
760 outline "#000000"
761 fill "#FFFFFF"
762 fontSize 16
763 fontName "Monospace"
764 autoSizePolicy "node_width"
765 anchor "t"
766 borderDistance 0.0
767 ]
768 LabelGraphics
769 [
770 text "
771 Payload class
772 InterferometryPayload class
773 "
774 fontSize 14
775 fontName "Consolas"
776 alignment "left"
777 anchor "tl"
778 borderDistance 6
779 ]
780 ]
781
782 node
783 [
784 id 21
785 graphics
786 [
787 w 323.40000000000003
788 h 82
789 type "rectangle"
790 fill "#FFFFFF"
791 fill2 "#FFFFFF"
792 outline "#000000"
793 ]
794 LabelGraphics
795 [
796 text "null"
797 outline "#000000"
798 fill "#FFFFFF"
799 fontSize 16
800 fontName "Monospace"
801 autoSizePolicy "node_width"
802 anchor "t"
803 borderDistance 0.0
804 ]
805 LabelGraphics
806 [
807 text "
808 CommunicatingElement class
809 Spacecraft class
810 CubeSat6U class
811 CommunicatingElement class UndefinedPart
812 "
813 fontSize 14
814 fontName "Consolas"
815 alignment "left"
816 anchor "tl"
817 borderDistance 6
818 ]
819 ]
820
821 node
822 [
823 id 22
824 graphics
825 [
826 w 323.40000000000003
827 h 82
828 type "rectangle"
829 fill "#FFFFFF"
830 fill2 "#FFFFFF"
831 outline "#000000"
832 ]
833 LabelGraphics
834 [
835 text "null"
836 outline "#000000"
837 fill "#FFFFFF"
838 fontSize 16
839 fontName "Monospace"
840 autoSizePolicy "node_width"
841 anchor "t"
842 borderDistance 0.0
843 ]
844 LabelGraphics
845 [
846 text "
847 CommunicatingElement class
848 Spacecraft class
849 SmallSat class
850 CommunicatingElement class UndefinedPart
851 "
852 fontSize 14
853 fontName "Consolas"
854 alignment "left"
855 anchor "tl"
856 borderDistance 6
857 ]
858 ]
859
860 node
861 [
862 id 23
863 graphics
864 [
865 w 269.5
866 h 54
867 type "rectangle"
868 fill "#FFFFFF"
869 fill2 "#FFFFFF"
870 outline "#000000"
871 ]
872 LabelGraphics
873 [
874 text "null"
875 outline "#000000"
876 fill "#FFFFFF"
877 fontSize 16
878 fontName "Monospace"
879 autoSizePolicy "node_width"
880 anchor "t"
881 borderDistance 0.0
882 ]
883 LabelGraphics
884 [
885 text "
886 CommSubsystem class
887 CommSubsystem class UndefinedPart
888 "
889 fontSize 14
890 fontName "Consolas"
891 alignment "left"
892 anchor "tl"
893 borderDistance 6
894 ]
895 ]
896
897 node
898 [
899 id 24
900 graphics
901 [
902 w 269.5
903 h 54
904 type "rectangle"
905 fill "#FFFFFF"
906 fill2 "#FFFFFF"
907 outline "#000000"
908 ]
909 LabelGraphics
910 [
911 text "null"
912 outline "#000000"
913 fill "#FFFFFF"
914 fontSize 16
915 fontName "Monospace"
916 autoSizePolicy "node_width"
917 anchor "t"
918 borderDistance 0.0
919 ]
920 LabelGraphics
921 [
922 text "
923 CommSubsystem class
924 CommSubsystem class UndefinedPart
925 "
926 fontSize 14
927 fontName "Consolas"
928 alignment "left"
929 anchor "tl"
930 borderDistance 6
931 ]
932 ]
933
934 node
935 [
936 id 25
937 graphics
938 [
939 w 223.3
940 h 54
941 type "rectangle"
942 fill "#FFFFFF"
943 fill2 "#FFFFFF"
944 outline "#000000"
945 ]
946 LabelGraphics
947 [
948 text "null"
949 outline "#000000"
950 fill "#FFFFFF"
951 fontSize 16
952 fontName "Monospace"
953 autoSizePolicy "node_width"
954 anchor "t"
955 borderDistance 0.0
956 ]
957 LabelGraphics
958 [
959 text "
960 Payload class
961 InterferometryPayload class
962 "
963 fontSize 14
964 fontName "Consolas"
965 alignment "left"
966 anchor "tl"
967 borderDistance 6
968 ]
969 ]
970
971 node
972 [
973 id 26
974 graphics
975 [
976 w 223.3
977 h 54
978 type "rectangle"
979 fill "#FFFFFF"
980 fill2 "#FFFFFF"
981 outline "#000000"
982 ]
983 LabelGraphics
984 [
985 text "null"
986 outline "#000000"
987 fill "#FFFFFF"
988 fontSize 16
989 fontName "Monospace"
990 autoSizePolicy "node_width"
991 anchor "t"
992 borderDistance 0.0
993 ]
994 LabelGraphics
995 [
996 text "
997 Payload class
998 InterferometryPayload class
999 "
1000 fontSize 14
1001 fontName "Consolas"
1002 alignment "left"
1003 anchor "tl"
1004 borderDistance 6
1005 ]
1006 ]
1007
1008 node
1009 [
1010 id 27
1011 graphics
1012 [
1013 w 269.5
1014 h 54
1015 type "rectangle"
1016 fill "#FFFFFF"
1017 fill2 "#FFFFFF"
1018 outline "#000000"
1019 ]
1020 LabelGraphics
1021 [
1022 text "null"
1023 outline "#000000"
1024 fill "#FFFFFF"
1025 fontSize 16
1026 fontName "Monospace"
1027 autoSizePolicy "node_width"
1028 anchor "t"
1029 borderDistance 0.0
1030 ]
1031 LabelGraphics
1032 [
1033 text "
1034 CommSubsystem class
1035 CommSubsystem class UndefinedPart
1036 "
1037 fontSize 14
1038 fontName "Consolas"
1039 alignment "left"
1040 anchor "tl"
1041 borderDistance 6
1042 ]
1043 ]
1044
1045 node
1046 [
1047 id 28
1048 graphics
1049 [
1050 w 269.5
1051 h 54
1052 type "rectangle"
1053 fill "#FFFFFF"
1054 fill2 "#FFFFFF"
1055 outline "#000000"
1056 ]
1057 LabelGraphics
1058 [
1059 text "null"
1060 outline "#000000"
1061 fill "#FFFFFF"
1062 fontSize 16
1063 fontName "Monospace"
1064 autoSizePolicy "node_width"
1065 anchor "t"
1066 borderDistance 0.0
1067 ]
1068 LabelGraphics
1069 [
1070 text "
1071 CommSubsystem class
1072 CommSubsystem class UndefinedPart
1073 "
1074 fontSize 14
1075 fontName "Consolas"
1076 alignment "left"
1077 anchor "tl"
1078 borderDistance 6
1079 ]
1080 ]
1081
1082 node
1083 [
1084 id 29
1085 graphics
1086 [
1087 w 112.2
1088 h 26
1089 type "rectangle"
1090 fill "#FFFFFF"
1091 fill2 "#FFFFFF"
1092 outline "#000000"
1093 ]
1094 LabelGraphics
1095 [
1096 text "New Integers"
1097 outline "#000000"
1098 fill "#FFFFFF"
1099 fontSize 16
1100 fontName "Monospace"
1101 autoSizePolicy "node_width"
1102 anchor "t"
1103 borderDistance 0.0
1104 ]
1105 LabelGraphics
1106 [
1107 text "
1108 "
1109 fontSize 14
1110 fontName "Consolas"
1111 alignment "left"
1112 anchor "tl"
1113 borderDistance 6
1114 ]
1115 ]
1116
1117 node
1118 [
1119 id 30
1120 graphics
1121 [
1122 w 85.80000000000001
1123 h 26
1124 type "rectangle"
1125 fill "#FFFFFF"
1126 fill2 "#FFFFFF"
1127 outline "#000000"
1128 ]
1129 LabelGraphics
1130 [
1131 text "New Reals"
1132 outline "#000000"
1133 fill "#FFFFFF"
1134 fontSize 16
1135 fontName "Monospace"
1136 autoSizePolicy "node_width"
1137 anchor "t"
1138 borderDistance 0.0
1139 ]
1140 LabelGraphics
1141 [
1142 text "
1143 "
1144 fontSize 14
1145 fontName "Consolas"
1146 alignment "left"
1147 anchor "tl"
1148 borderDistance 6
1149 ]
1150 ]
1151
1152 node
1153 [
1154 id 31
1155 graphics
1156 [
1157 w 103.4
1158 h 26
1159 type "rectangle"
1160 fill "#FFFFFF"
1161 fill2 "#FFFFFF"
1162 outline "#000000"
1163 ]
1164 LabelGraphics
1165 [
1166 text "New Strings"
1167 outline "#000000"
1168 fill "#FFFFFF"
1169 fontSize 16
1170 fontName "Monospace"
1171 autoSizePolicy "node_width"
1172 anchor "t"
1173 borderDistance 0.0
1174 ]
1175 LabelGraphics
1176 [
1177 text "
1178 "
1179 fontSize 14
1180 fontName "Consolas"
1181 alignment "left"
1182 anchor "tl"
1183 borderDistance 6
1184 ]
1185 ]
1186
1187 node
1188 [
1189 id 32
1190 graphics
1191 [
1192 w 103.4
1193 h 26
1194 type "rectangle"
1195 fill "#FFFFFF"
1196 fill2 "#FFFFFF"
1197 outline "#000000"
1198 ]
1199 LabelGraphics
1200 [
1201 text "New Objects"
1202 outline "#000000"
1203 fill "#FFFFFF"
1204 fontSize 16
1205 fontName "Monospace"
1206 autoSizePolicy "node_width"
1207 anchor "t"
1208 borderDistance 0.0
1209 ]
1210 LabelGraphics
1211 [
1212 text "
1213 "
1214 fontSize 14
1215 fontName "Consolas"
1216 alignment "left"
1217 anchor "tl"
1218 borderDistance 6
1219 ]
1220 ]
1221 edge
1222 [
1223 source 6
1224 target 7
1225 graphics
1226 [
1227 fill "#000000"
1228 width 3
1229 targetArrow "standard"
1230 ]
1231 LabelGraphics
1232 [
1233 text "groundStationNetwork reference ConstellationMission"
1234 fontSize 14
1235 fontName "Consolas"
1236 configuration "AutoFlippingLabel"
1237 model "six_pos"
1238 position "thead"
1239 ]
1240 ]
1241 edge
1242 [
1243 source 6
1244 target 12
1245 graphics
1246 [
1247 fill "#000000"
1248 width 3
1249 targetArrow "standard"
1250 ]
1251 LabelGraphics
1252 [
1253 text "spacecraft reference ConstellationMission"
1254 fontSize 14
1255 fontName "Consolas"
1256 configuration "AutoFlippingLabel"
1257 model "six_pos"
1258 position "thead"
1259 ]
1260 ]
1261 edge
1262 [
1263 source 6
1264 target 13
1265 graphics
1266 [
1267 fill "#000000"
1268 width 3
1269 targetArrow "standard"
1270 ]
1271 LabelGraphics
1272 [
1273 text "spacecraft reference ConstellationMission"
1274 fontSize 14
1275 fontName "Consolas"
1276 configuration "AutoFlippingLabel"
1277 model "six_pos"
1278 position "thead"
1279 ]
1280 ]
1281 edge
1282 [
1283 source 6
1284 target 17
1285 graphics
1286 [
1287 fill "#000000"
1288 width 3
1289 targetArrow "standard"
1290 ]
1291 LabelGraphics
1292 [
1293 text "spacecraft reference ConstellationMission"
1294 fontSize 14
1295 fontName "Consolas"
1296 configuration "AutoFlippingLabel"
1297 model "six_pos"
1298 position "thead"
1299 ]
1300 ]
1301 edge
1302 [
1303 source 6
1304 target 19
1305 graphics
1306 [
1307 fill "#000000"
1308 width 3
1309 targetArrow "standard"
1310 ]
1311 LabelGraphics
1312 [
1313 text "spacecraft reference ConstellationMission"
1314 fontSize 14
1315 fontName "Consolas"
1316 configuration "AutoFlippingLabel"
1317 model "six_pos"
1318 position "thead"
1319 ]
1320 ]
1321 edge
1322 [
1323 source 6
1324 target 21
1325 graphics
1326 [
1327 fill "#000000"
1328 width 3
1329 targetArrow "standard"
1330 ]
1331 LabelGraphics
1332 [
1333 text "spacecraft reference ConstellationMission"
1334 fontSize 14
1335 fontName "Consolas"
1336 configuration "AutoFlippingLabel"
1337 model "six_pos"
1338 position "thead"
1339 ]
1340 ]
1341 edge
1342 [
1343 source 6
1344 target 22
1345 graphics
1346 [
1347 fill "#000000"
1348 width 3
1349 targetArrow "standard"
1350 ]
1351 LabelGraphics
1352 [
1353 text "spacecraft reference ConstellationMission"
1354 fontSize 14
1355 fontName "Consolas"
1356 configuration "AutoFlippingLabel"
1357 model "six_pos"
1358 position "thead"
1359 ]
1360 ]
1361 edge
1362 [
1363 source 7
1364 target 8
1365 graphics
1366 [
1367 fill "#000000"
1368 width 3
1369 targetArrow "standard"
1370 ]
1371 LabelGraphics
1372 [
1373 text "commSubsystem reference CommunicatingElement"
1374 fontSize 14
1375 fontName "Consolas"
1376 configuration "AutoFlippingLabel"
1377 model "six_pos"
1378 position "thead"
1379 ]
1380 ]
1381 edge
1382 [
1383 source 7
1384 target 9
1385 graphics
1386 [
1387 fill "#000000"
1388 width 3
1389 targetArrow "standard"
1390 ]
1391 LabelGraphics
1392 [
1393 text "commSubsystem reference CommunicatingElement"
1394 fontSize 14
1395 fontName "Consolas"
1396 configuration "AutoFlippingLabel"
1397 model "six_pos"
1398 position "thead"
1399 ]
1400 ]
1401 edge
1402 [
1403 source 13
1404 target 14
1405 graphics
1406 [
1407 fill "#000000"
1408 width 3
1409 targetArrow "standard"
1410 ]
1411 LabelGraphics
1412 [
1413 text "commSubsystem reference CommunicatingElement"
1414 fontSize 14
1415 fontName "Consolas"
1416 configuration "AutoFlippingLabel"
1417 model "six_pos"
1418 position "thead"
1419 ]
1420 ]
1421 edge
1422 [
1423 source 12
1424 target 16
1425 graphics
1426 [
1427 fill "#000000"
1428 width 3
1429 targetArrow "standard"
1430 ]
1431 LabelGraphics
1432 [
1433 text "commSubsystem reference CommunicatingElement"
1434 fontSize 14
1435 fontName "Consolas"
1436 configuration "AutoFlippingLabel"
1437 model "six_pos"
1438 position "thead"
1439 ]
1440 ]
1441 edge
1442 [
1443 source 21
1444 target 23
1445 graphics
1446 [
1447 fill "#000000"
1448 width 3
1449 targetArrow "standard"
1450 ]
1451 LabelGraphics
1452 [
1453 text "commSubsystem reference CommunicatingElement"
1454 fontSize 14
1455 fontName "Consolas"
1456 configuration "AutoFlippingLabel"
1457 model "six_pos"
1458 position "thead"
1459 ]
1460 ]
1461 edge
1462 [
1463 source 19
1464 target 24
1465 graphics
1466 [
1467 fill "#000000"
1468 width 3
1469 targetArrow "standard"
1470 ]
1471 LabelGraphics
1472 [
1473 text "commSubsystem reference CommunicatingElement"
1474 fontSize 14
1475 fontName "Consolas"
1476 configuration "AutoFlippingLabel"
1477 model "six_pos"
1478 position "thead"
1479 ]
1480 ]
1481 edge
1482 [
1483 source 17
1484 target 27
1485 graphics
1486 [
1487 fill "#000000"
1488 width 3
1489 targetArrow "standard"
1490 ]
1491 LabelGraphics
1492 [
1493 text "commSubsystem reference CommunicatingElement"
1494 fontSize 14
1495 fontName "Consolas"
1496 configuration "AutoFlippingLabel"
1497 model "six_pos"
1498 position "thead"
1499 ]
1500 ]
1501 edge
1502 [
1503 source 22
1504 target 28
1505 graphics
1506 [
1507 fill "#000000"
1508 width 3
1509 targetArrow "standard"
1510 ]
1511 LabelGraphics
1512 [
1513 text "commSubsystem reference CommunicatingElement"
1514 fontSize 14
1515 fontName "Consolas"
1516 configuration "AutoFlippingLabel"
1517 model "six_pos"
1518 position "thead"
1519 ]
1520 ]
1521 edge
1522 [
1523 source 13
1524 target 15
1525 graphics
1526 [
1527 fill "#000000"
1528 width 3
1529 targetArrow "standard"
1530 ]
1531 LabelGraphics
1532 [
1533 text "payload reference Spacecraft"
1534 fontSize 14
1535 fontName "Consolas"
1536 configuration "AutoFlippingLabel"
1537 model "six_pos"
1538 position "thead"
1539 ]
1540 ]
1541 edge
1542 [
1543 source 12
1544 target 18
1545 graphics
1546 [
1547 fill "#000000"
1548 width 3
1549 targetArrow "standard"
1550 ]
1551 LabelGraphics
1552 [
1553 text "payload reference Spacecraft"
1554 fontSize 14
1555 fontName "Consolas"
1556 configuration "AutoFlippingLabel"
1557 model "six_pos"
1558 position "thead"
1559 ]
1560 ]
1561 edge
1562 [
1563 source 17
1564 target 20
1565 graphics
1566 [
1567 fill "#000000"
1568 width 3
1569 targetArrow "standard"
1570 ]
1571 LabelGraphics
1572 [
1573 text "payload reference Spacecraft"
1574 fontSize 14
1575 fontName "Consolas"
1576 configuration "AutoFlippingLabel"
1577 model "six_pos"
1578 position "thead"
1579 ]
1580 ]
1581 edge
1582 [
1583 source 19
1584 target 25
1585 graphics
1586 [
1587 fill "#000000"
1588 width 3
1589 targetArrow "standard"
1590 ]
1591 LabelGraphics
1592 [
1593 text "payload reference Spacecraft"
1594 fontSize 14
1595 fontName "Consolas"
1596 configuration "AutoFlippingLabel"
1597 model "six_pos"
1598 position "thead"
1599 ]
1600 ]
1601 edge
1602 [
1603 source 22
1604 target 26
1605 graphics
1606 [
1607 fill "#000000"
1608 width 3
1609 targetArrow "standard"
1610 ]
1611 LabelGraphics
1612 [
1613 text "payload reference Spacecraft"
1614 fontSize 14
1615 fontName "Consolas"
1616 configuration "AutoFlippingLabel"
1617 model "six_pos"
1618 position "thead"
1619 ]
1620 ]
1621 edge
1622 [
1623 source 8
1624 target 1
1625 graphics
1626 [
1627 fill "#000000"
1628 targetArrow "standard"
1629 ]
1630 LabelGraphics
1631 [
1632 text "band attribute CommSubsystem"
1633 fontSize 14
1634 fontName "Consolas"
1635 configuration "AutoFlippingLabel"
1636 model "six_pos"
1637 position "thead"
1638 ]
1639 ]
1640 edge
1641 [
1642 source 9
1643 target 2
1644 graphics
1645 [
1646 fill "#000000"
1647 targetArrow "standard"
1648 ]
1649 LabelGraphics
1650 [
1651 text "band attribute CommSubsystem"
1652 fontSize 14
1653 fontName "Consolas"
1654 configuration "AutoFlippingLabel"
1655 model "six_pos"
1656 position "thead"
1657 ]
1658 ]
1659 edge
1660 [
1661 source 14
1662 target 0
1663 graphics
1664 [
1665 fill "#000000"
1666 targetArrow "standard"
1667 ]
1668 LabelGraphics
1669 [
1670 text "band attribute CommSubsystem"
1671 fontSize 14
1672 fontName "Consolas"
1673 configuration "AutoFlippingLabel"
1674 model "six_pos"
1675 position "thead"
1676 ]
1677 ]
1678 edge
1679 [
1680 source 16
1681 target 2
1682 graphics
1683 [
1684 fill "#000000"
1685 targetArrow "standard"
1686 ]
1687 LabelGraphics
1688 [
1689 text "band attribute CommSubsystem"
1690 fontSize 14
1691 fontName "Consolas"
1692 configuration "AutoFlippingLabel"
1693 model "six_pos"
1694 position "thead"
1695 ]
1696 ]
1697 edge
1698 [
1699 source 23
1700 target 1
1701 graphics
1702 [
1703 fill "#000000"
1704 targetArrow "standard"
1705 ]
1706 LabelGraphics
1707 [
1708 text "band attribute CommSubsystem"
1709 fontSize 14
1710 fontName "Consolas"
1711 configuration "AutoFlippingLabel"
1712 model "six_pos"
1713 position "thead"
1714 ]
1715 ]
1716 edge
1717 [
1718 source 24
1719 target 2
1720 graphics
1721 [
1722 fill "#000000"
1723 targetArrow "standard"
1724 ]
1725 LabelGraphics
1726 [
1727 text "band attribute CommSubsystem"
1728 fontSize 14
1729 fontName "Consolas"
1730 configuration "AutoFlippingLabel"
1731 model "six_pos"
1732 position "thead"
1733 ]
1734 ]
1735 edge
1736 [
1737 source 27
1738 target 1
1739 graphics
1740 [
1741 fill "#000000"
1742 targetArrow "standard"
1743 ]
1744 LabelGraphics
1745 [
1746 text "band attribute CommSubsystem"
1747 fontSize 14
1748 fontName "Consolas"
1749 configuration "AutoFlippingLabel"
1750 model "six_pos"
1751 position "thead"
1752 ]
1753 ]
1754 edge
1755 [
1756 source 28
1757 target 0
1758 graphics
1759 [
1760 fill "#000000"
1761 targetArrow "standard"
1762 ]
1763 LabelGraphics
1764 [
1765 text "band attribute CommSubsystem"
1766 fontSize 14
1767 fontName "Consolas"
1768 configuration "AutoFlippingLabel"
1769 model "six_pos"
1770 position "thead"
1771 ]
1772 ]
1773 edge
1774 [
1775 source 8
1776 target 4
1777 graphics
1778 [
1779 fill "#000000"
1780 targetArrow "standard"
1781 ]
1782 LabelGraphics
1783 [
1784 text "gain attribute CommSubsystem"
1785 fontSize 14
1786 fontName "Consolas"
1787 configuration "AutoFlippingLabel"
1788 model "six_pos"
1789 position "thead"
1790 ]
1791 ]
1792 edge
1793 [
1794 source 9
1795 target 5
1796 graphics
1797 [
1798 fill "#000000"
1799 targetArrow "standard"
1800 ]
1801 LabelGraphics
1802 [
1803 text "gain attribute CommSubsystem"
1804 fontSize 14
1805 fontName "Consolas"
1806 configuration "AutoFlippingLabel"
1807 model "six_pos"
1808 position "thead"
1809 ]
1810 ]
1811 edge
1812 [
1813 source 14
1814 target 5
1815 graphics
1816 [
1817 fill "#000000"
1818 targetArrow "standard"
1819 ]
1820 LabelGraphics
1821 [
1822 text "gain attribute CommSubsystem"
1823 fontSize 14
1824 fontName "Consolas"
1825 configuration "AutoFlippingLabel"
1826 model "six_pos"
1827 position "thead"
1828 ]
1829 ]
1830 edge
1831 [
1832 source 16
1833 target 3
1834 graphics
1835 [
1836 fill "#000000"
1837 targetArrow "standard"
1838 ]
1839 LabelGraphics
1840 [
1841 text "gain attribute CommSubsystem"
1842 fontSize 14
1843 fontName "Consolas"
1844 configuration "AutoFlippingLabel"
1845 model "six_pos"
1846 position "thead"
1847 ]
1848 ]
1849 edge
1850 [
1851 source 24
1852 target 4
1853 graphics
1854 [
1855 fill "#000000"
1856 targetArrow "standard"
1857 ]
1858 LabelGraphics
1859 [
1860 text "gain attribute CommSubsystem"
1861 fontSize 14
1862 fontName "Consolas"
1863 configuration "AutoFlippingLabel"
1864 model "six_pos"
1865 position "thead"
1866 ]
1867 ]
1868 edge
1869 [
1870 source 23
1871 target 4
1872 graphics
1873 [
1874 fill "#000000"
1875 targetArrow "standard"
1876 ]
1877 LabelGraphics
1878 [
1879 text "gain attribute CommSubsystem"
1880 fontSize 14
1881 fontName "Consolas"
1882 configuration "AutoFlippingLabel"
1883 model "six_pos"
1884 position "thead"
1885 ]
1886 ]
1887 edge
1888 [
1889 source 27
1890 target 4
1891 graphics
1892 [
1893 fill "#000000"
1894 targetArrow "standard"
1895 ]
1896 LabelGraphics
1897 [
1898 text "gain attribute CommSubsystem"
1899 fontSize 14
1900 fontName "Consolas"
1901 configuration "AutoFlippingLabel"
1902 model "six_pos"
1903 position "thead"
1904 ]
1905 ]
1906 edge
1907 [
1908 source 28
1909 target 3
1910 graphics
1911 [
1912 fill "#000000"
1913 targetArrow "standard"
1914 ]
1915 LabelGraphics
1916 [
1917 text "gain attribute CommSubsystem"
1918 fontSize 14
1919 fontName "Consolas"
1920 configuration "AutoFlippingLabel"
1921 model "six_pos"
1922 position "thead"
1923 ]
1924 ]
1925]
1926
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.png
deleted file mode 100644
index 38901d43..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.png
+++ /dev/null
Binary files differ
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.xmi
deleted file mode 100644
index d0a119b9..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/3.xmi
+++ /dev/null
@@ -1,30 +0,0 @@
1<?xml version="1.0" encoding="ASCII"?>
2<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem band="X" gain="MEDIUM"/>
5 <commSubsystem band="Ka" gain="HIGH"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:CubeSat6U">
8 <commSubsystem band="X" gain="MEDIUM"/>
9 </spacecraft>
10 <spacecraft xsi:type="satellite:CubeSat6U">
11 <commSubsystem gain="HIGH"/>
12 <payload xsi:type="satellite:InterferometryPayload"/>
13 </spacecraft>
14 <spacecraft xsi:type="satellite:SmallSat">
15 <commSubsystem band="X" gain="MEDIUM"/>
16 <payload xsi:type="satellite:InterferometryPayload"/>
17 </spacecraft>
18 <spacecraft xsi:type="satellite:SmallSat">
19 <commSubsystem band="Ka" gain="MEDIUM"/>
20 <payload xsi:type="satellite:InterferometryPayload"/>
21 </spacecraft>
22 <spacecraft xsi:type="satellite:SmallSat">
23 <commSubsystem band="Ka"/>
24 <payload xsi:type="satellite:InterferometryPayload"/>
25 </spacecraft>
26 <spacecraft xsi:type="satellite:SmallSat">
27 <commSubsystem/>
28 <payload xsi:type="satellite:InterferometryPayload"/>
29 </spacecraft>
30</satellite:InterferometryMission>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.gml
deleted file mode 100644
index eef67577..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.gml
+++ /dev/null
@@ -1,1983 +0,0 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 244.20000000000002
9 h 40
10 type "rectangle"
11 fill "#FFFFFF"
12 fill2 "#FFFFFF"
13 outline "#000000"
14 ]
15 LabelGraphics
16 [
17 text "UHF literal TransceiverBand"
18 outline "#000000"
19 fill "#FFFFFF"
20 fontSize 16
21 fontName "Monospace"
22 autoSizePolicy "node_width"
23 anchor "t"
24 borderDistance 0.0
25 ]
26 LabelGraphics
27 [
28 text "
29 TransceiverBand enum
30 "
31 fontSize 14
32 fontName "Consolas"
33 alignment "left"
34 anchor "tl"
35 borderDistance 6
36 ]
37 ]
38
39 node
40 [
41 id 1
42 graphics
43 [
44 w 226.60000000000002
45 h 40
46 type "rectangle"
47 fill "#FFFFFF"
48 fill2 "#FFFFFF"
49 outline "#000000"
50 ]
51 LabelGraphics
52 [
53 text "X literal TransceiverBand"
54 outline "#000000"
55 fill "#FFFFFF"
56 fontSize 16
57 fontName "Monospace"
58 autoSizePolicy "node_width"
59 anchor "t"
60 borderDistance 0.0
61 ]
62 LabelGraphics
63 [
64 text "
65 TransceiverBand enum
66 "
67 fontSize 14
68 fontName "Consolas"
69 alignment "left"
70 anchor "tl"
71 borderDistance 6
72 ]
73 ]
74
75 node
76 [
77 id 2
78 graphics
79 [
80 w 235.4
81 h 40
82 type "rectangle"
83 fill "#FFFFFF"
84 fill2 "#FFFFFF"
85 outline "#000000"
86 ]
87 LabelGraphics
88 [
89 text "Ka literal TransceiverBand"
90 outline "#000000"
91 fill "#FFFFFF"
92 fontSize 16
93 fontName "Monospace"
94 autoSizePolicy "node_width"
95 anchor "t"
96 borderDistance 0.0
97 ]
98 LabelGraphics
99 [
100 text "
101 TransceiverBand enum
102 "
103 fontSize 14
104 fontName "Consolas"
105 alignment "left"
106 anchor "tl"
107 borderDistance 6
108 ]
109 ]
110
111 node
112 [
113 id 3
114 graphics
115 [
116 w 209.00000000000003
117 h 40
118 type "rectangle"
119 fill "#FFFFFF"
120 fill2 "#FFFFFF"
121 outline "#000000"
122 ]
123 LabelGraphics
124 [
125 text "LOW literal AntennaGain"
126 outline "#000000"
127 fill "#FFFFFF"
128 fontSize 16
129 fontName "Monospace"
130 autoSizePolicy "node_width"
131 anchor "t"
132 borderDistance 0.0
133 ]
134 LabelGraphics
135 [
136 text "
137 AntennaGain enum
138 "
139 fontSize 14
140 fontName "Consolas"
141 alignment "left"
142 anchor "tl"
143 borderDistance 6
144 ]
145 ]
146
147 node
148 [
149 id 4
150 graphics
151 [
152 w 235.4
153 h 40
154 type "rectangle"
155 fill "#FFFFFF"
156 fill2 "#FFFFFF"
157 outline "#000000"
158 ]
159 LabelGraphics
160 [
161 text "MEDIUM literal AntennaGain"
162 outline "#000000"
163 fill "#FFFFFF"
164 fontSize 16
165 fontName "Monospace"
166 autoSizePolicy "node_width"
167 anchor "t"
168 borderDistance 0.0
169 ]
170 LabelGraphics
171 [
172 text "
173 AntennaGain enum
174 "
175 fontSize 14
176 fontName "Consolas"
177 alignment "left"
178 anchor "tl"
179 borderDistance 6
180 ]
181 ]
182
183 node
184 [
185 id 5
186 graphics
187 [
188 w 217.8
189 h 40
190 type "rectangle"
191 fill "#FFFFFF"
192 fill2 "#FFFFFF"
193 outline "#000000"
194 ]
195 LabelGraphics
196 [
197 text "HIGH literal AntennaGain"
198 outline "#000000"
199 fill "#FFFFFF"
200 fontSize 16
201 fontName "Monospace"
202 autoSizePolicy "node_width"
203 anchor "t"
204 borderDistance 0.0
205 ]
206 LabelGraphics
207 [
208 text "
209 AntennaGain enum
210 "
211 fontSize 14
212 fontName "Consolas"
213 alignment "left"
214 anchor "tl"
215 borderDistance 6
216 ]
217 ]
218
219 node
220 [
221 id 6
222 graphics
223 [
224 w 315.70000000000005
225 h 82
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "o 1"
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 ConstellationMission class DefinedPart
246 InterferometryMission class DefinedPart
247 ConstellationMission class
248 InterferometryMission class
249 "
250 fontSize 14
251 fontName "Consolas"
252 alignment "left"
253 anchor "tl"
254 borderDistance 6
255 ]
256 ]
257
258 node
259 [
260 id 7
261 graphics
262 [
263 w 308.0
264 h 82
265 type "rectangle"
266 fill "#FFFFFF"
267 fill2 "#FFFFFF"
268 outline "#000000"
269 ]
270 LabelGraphics
271 [
272 text "o 2"
273 outline "#000000"
274 fill "#FFFFFF"
275 fontSize 16
276 fontName "Monospace"
277 autoSizePolicy "node_width"
278 anchor "t"
279 borderDistance 0.0
280 ]
281 LabelGraphics
282 [
283 text "
284 CommunicatingElement class DefinedPart
285 GroundStationNetwork class DefinedPart
286 CommunicatingElement class
287 GroundStationNetwork class
288 "
289 fontSize 14
290 fontName "Consolas"
291 alignment "left"
292 anchor "tl"
293 borderDistance 6
294 ]
295 ]
296
297 node
298 [
299 id 8
300 graphics
301 [
302 w 254.10000000000002
303 h 54
304 type "rectangle"
305 fill "#FFFFFF"
306 fill2 "#FFFFFF"
307 outline "#000000"
308 ]
309 LabelGraphics
310 [
311 text "o 3"
312 outline "#000000"
313 fill "#FFFFFF"
314 fontSize 16
315 fontName "Monospace"
316 autoSizePolicy "node_width"
317 anchor "t"
318 borderDistance 0.0
319 ]
320 LabelGraphics
321 [
322 text "
323 CommSubsystem class DefinedPart
324 CommSubsystem class
325 "
326 fontSize 14
327 fontName "Consolas"
328 alignment "left"
329 anchor "tl"
330 borderDistance 6
331 ]
332 ]
333
334 node
335 [
336 id 9
337 graphics
338 [
339 w 254.10000000000002
340 h 54
341 type "rectangle"
342 fill "#FFFFFF"
343 fill2 "#FFFFFF"
344 outline "#000000"
345 ]
346 LabelGraphics
347 [
348 text "o 4"
349 outline "#000000"
350 fill "#FFFFFF"
351 fontSize 16
352 fontName "Monospace"
353 autoSizePolicy "node_width"
354 anchor "t"
355 borderDistance 0.0
356 ]
357 LabelGraphics
358 [
359 text "
360 CommSubsystem class DefinedPart
361 CommSubsystem class
362 "
363 fontSize 14
364 fontName "Consolas"
365 alignment "left"
366 anchor "tl"
367 borderDistance 6
368 ]
369 ]
370
371 node
372 [
373 id 10
374 graphics
375 [
376 w 41.800000000000004
377 h 26
378 type "rectangle"
379 fill "#FFFFFF"
380 fill2 "#FFFFFF"
381 outline "#000000"
382 ]
383 LabelGraphics
384 [
385 text "true"
386 outline "#000000"
387 fill "#FFFFFF"
388 fontSize 16
389 fontName "Monospace"
390 autoSizePolicy "node_width"
391 anchor "t"
392 borderDistance 0.0
393 ]
394 LabelGraphics
395 [
396 text "
397 "
398 fontSize 14
399 fontName "Consolas"
400 alignment "left"
401 anchor "tl"
402 borderDistance 6
403 ]
404 ]
405
406 node
407 [
408 id 11
409 graphics
410 [
411 w 50.6
412 h 26
413 type "rectangle"
414 fill "#FFFFFF"
415 fill2 "#FFFFFF"
416 outline "#000000"
417 ]
418 LabelGraphics
419 [
420 text "false"
421 outline "#000000"
422 fill "#FFFFFF"
423 fontSize 16
424 fontName "Monospace"
425 autoSizePolicy "node_width"
426 anchor "t"
427 borderDistance 0.0
428 ]
429 LabelGraphics
430 [
431 text "
432 "
433 fontSize 14
434 fontName "Consolas"
435 alignment "left"
436 anchor "tl"
437 borderDistance 6
438 ]
439 ]
440
441 node
442 [
443 id 12
444 graphics
445 [
446 w 323.40000000000003
447 h 82
448 type "rectangle"
449 fill "#FFFFFF"
450 fill2 "#FFFFFF"
451 outline "#000000"
452 ]
453 LabelGraphics
454 [
455 text "null"
456 outline "#000000"
457 fill "#FFFFFF"
458 fontSize 16
459 fontName "Monospace"
460 autoSizePolicy "node_width"
461 anchor "t"
462 borderDistance 0.0
463 ]
464 LabelGraphics
465 [
466 text "
467 CommunicatingElement class
468 Spacecraft class
469 SmallSat class
470 CommunicatingElement class UndefinedPart
471 "
472 fontSize 14
473 fontName "Consolas"
474 alignment "left"
475 anchor "tl"
476 borderDistance 6
477 ]
478 ]
479
480 node
481 [
482 id 13
483 graphics
484 [
485 w 323.40000000000003
486 h 82
487 type "rectangle"
488 fill "#FFFFFF"
489 fill2 "#FFFFFF"
490 outline "#000000"
491 ]
492 LabelGraphics
493 [
494 text "null"
495 outline "#000000"
496 fill "#FFFFFF"
497 fontSize 16
498 fontName "Monospace"
499 autoSizePolicy "node_width"
500 anchor "t"
501 borderDistance 0.0
502 ]
503 LabelGraphics
504 [
505 text "
506 CommunicatingElement class
507 Spacecraft class
508 CubeSat6U class
509 CommunicatingElement class UndefinedPart
510 "
511 fontSize 14
512 fontName "Consolas"
513 alignment "left"
514 anchor "tl"
515 borderDistance 6
516 ]
517 ]
518
519 node
520 [
521 id 14
522 graphics
523 [
524 w 269.5
525 h 54
526 type "rectangle"
527 fill "#FFFFFF"
528 fill2 "#FFFFFF"
529 outline "#000000"
530 ]
531 LabelGraphics
532 [
533 text "null"
534 outline "#000000"
535 fill "#FFFFFF"
536 fontSize 16
537 fontName "Monospace"
538 autoSizePolicy "node_width"
539 anchor "t"
540 borderDistance 0.0
541 ]
542 LabelGraphics
543 [
544 text "
545 CommSubsystem class
546 CommSubsystem class UndefinedPart
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 15
559 graphics
560 [
561 w 223.3
562 h 54
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "null"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 Payload class
583 InterferometryPayload class
584 "
585 fontSize 14
586 fontName "Consolas"
587 alignment "left"
588 anchor "tl"
589 borderDistance 6
590 ]
591 ]
592
593 node
594 [
595 id 16
596 graphics
597 [
598 w 269.5
599 h 54
600 type "rectangle"
601 fill "#FFFFFF"
602 fill2 "#FFFFFF"
603 outline "#000000"
604 ]
605 LabelGraphics
606 [
607 text "null"
608 outline "#000000"
609 fill "#FFFFFF"
610 fontSize 16
611 fontName "Monospace"
612 autoSizePolicy "node_width"
613 anchor "t"
614 borderDistance 0.0
615 ]
616 LabelGraphics
617 [
618 text "
619 CommSubsystem class
620 CommSubsystem class UndefinedPart
621 "
622 fontSize 14
623 fontName "Consolas"
624 alignment "left"
625 anchor "tl"
626 borderDistance 6
627 ]
628 ]
629
630 node
631 [
632 id 17
633 graphics
634 [
635 w 323.40000000000003
636 h 82
637 type "rectangle"
638 fill "#FFFFFF"
639 fill2 "#FFFFFF"
640 outline "#000000"
641 ]
642 LabelGraphics
643 [
644 text "null"
645 outline "#000000"
646 fill "#FFFFFF"
647 fontSize 16
648 fontName "Monospace"
649 autoSizePolicy "node_width"
650 anchor "t"
651 borderDistance 0.0
652 ]
653 LabelGraphics
654 [
655 text "
656 CommunicatingElement class
657 Spacecraft class
658 SmallSat class
659 CommunicatingElement class UndefinedPart
660 "
661 fontSize 14
662 fontName "Consolas"
663 alignment "left"
664 anchor "tl"
665 borderDistance 6
666 ]
667 ]
668
669 node
670 [
671 id 18
672 graphics
673 [
674 w 223.3
675 h 54
676 type "rectangle"
677 fill "#FFFFFF"
678 fill2 "#FFFFFF"
679 outline "#000000"
680 ]
681 LabelGraphics
682 [
683 text "null"
684 outline "#000000"
685 fill "#FFFFFF"
686 fontSize 16
687 fontName "Monospace"
688 autoSizePolicy "node_width"
689 anchor "t"
690 borderDistance 0.0
691 ]
692 LabelGraphics
693 [
694 text "
695 Payload class
696 InterferometryPayload class
697 "
698 fontSize 14
699 fontName "Consolas"
700 alignment "left"
701 anchor "tl"
702 borderDistance 6
703 ]
704 ]
705
706 node
707 [
708 id 19
709 graphics
710 [
711 w 323.40000000000003
712 h 82
713 type "rectangle"
714 fill "#FFFFFF"
715 fill2 "#FFFFFF"
716 outline "#000000"
717 ]
718 LabelGraphics
719 [
720 text "null"
721 outline "#000000"
722 fill "#FFFFFF"
723 fontSize 16
724 fontName "Monospace"
725 autoSizePolicy "node_width"
726 anchor "t"
727 borderDistance 0.0
728 ]
729 LabelGraphics
730 [
731 text "
732 CommunicatingElement class
733 Spacecraft class
734 SmallSat class
735 CommunicatingElement class UndefinedPart
736 "
737 fontSize 14
738 fontName "Consolas"
739 alignment "left"
740 anchor "tl"
741 borderDistance 6
742 ]
743 ]
744
745 node
746 [
747 id 20
748 graphics
749 [
750 w 223.3
751 h 54
752 type "rectangle"
753 fill "#FFFFFF"
754 fill2 "#FFFFFF"
755 outline "#000000"
756 ]
757 LabelGraphics
758 [
759 text "null"
760 outline "#000000"
761 fill "#FFFFFF"
762 fontSize 16
763 fontName "Monospace"
764 autoSizePolicy "node_width"
765 anchor "t"
766 borderDistance 0.0
767 ]
768 LabelGraphics
769 [
770 text "
771 Payload class
772 InterferometryPayload class
773 "
774 fontSize 14
775 fontName "Consolas"
776 alignment "left"
777 anchor "tl"
778 borderDistance 6
779 ]
780 ]
781
782 node
783 [
784 id 21
785 graphics
786 [
787 w 323.40000000000003
788 h 82
789 type "rectangle"
790 fill "#FFFFFF"
791 fill2 "#FFFFFF"
792 outline "#000000"
793 ]
794 LabelGraphics
795 [
796 text "null"
797 outline "#000000"
798 fill "#FFFFFF"
799 fontSize 16
800 fontName "Monospace"
801 autoSizePolicy "node_width"
802 anchor "t"
803 borderDistance 0.0
804 ]
805 LabelGraphics
806 [
807 text "
808 CommunicatingElement class
809 Spacecraft class
810 CubeSat6U class
811 CommunicatingElement class UndefinedPart
812 "
813 fontSize 14
814 fontName "Consolas"
815 alignment "left"
816 anchor "tl"
817 borderDistance 6
818 ]
819 ]
820
821 node
822 [
823 id 22
824 graphics
825 [
826 w 323.40000000000003
827 h 82
828 type "rectangle"
829 fill "#FFFFFF"
830 fill2 "#FFFFFF"
831 outline "#000000"
832 ]
833 LabelGraphics
834 [
835 text "null"
836 outline "#000000"
837 fill "#FFFFFF"
838 fontSize 16
839 fontName "Monospace"
840 autoSizePolicy "node_width"
841 anchor "t"
842 borderDistance 0.0
843 ]
844 LabelGraphics
845 [
846 text "
847 CommunicatingElement class
848 Spacecraft class
849 SmallSat class
850 CommunicatingElement class UndefinedPart
851 "
852 fontSize 14
853 fontName "Consolas"
854 alignment "left"
855 anchor "tl"
856 borderDistance 6
857 ]
858 ]
859
860 node
861 [
862 id 23
863 graphics
864 [
865 w 269.5
866 h 54
867 type "rectangle"
868 fill "#FFFFFF"
869 fill2 "#FFFFFF"
870 outline "#000000"
871 ]
872 LabelGraphics
873 [
874 text "null"
875 outline "#000000"
876 fill "#FFFFFF"
877 fontSize 16
878 fontName "Monospace"
879 autoSizePolicy "node_width"
880 anchor "t"
881 borderDistance 0.0
882 ]
883 LabelGraphics
884 [
885 text "
886 CommSubsystem class
887 CommSubsystem class UndefinedPart
888 "
889 fontSize 14
890 fontName "Consolas"
891 alignment "left"
892 anchor "tl"
893 borderDistance 6
894 ]
895 ]
896
897 node
898 [
899 id 24
900 graphics
901 [
902 w 269.5
903 h 54
904 type "rectangle"
905 fill "#FFFFFF"
906 fill2 "#FFFFFF"
907 outline "#000000"
908 ]
909 LabelGraphics
910 [
911 text "null"
912 outline "#000000"
913 fill "#FFFFFF"
914 fontSize 16
915 fontName "Monospace"
916 autoSizePolicy "node_width"
917 anchor "t"
918 borderDistance 0.0
919 ]
920 LabelGraphics
921 [
922 text "
923 CommSubsystem class
924 CommSubsystem class UndefinedPart
925 "
926 fontSize 14
927 fontName "Consolas"
928 alignment "left"
929 anchor "tl"
930 borderDistance 6
931 ]
932 ]
933
934 node
935 [
936 id 25
937 graphics
938 [
939 w 223.3
940 h 54
941 type "rectangle"
942 fill "#FFFFFF"
943 fill2 "#FFFFFF"
944 outline "#000000"
945 ]
946 LabelGraphics
947 [
948 text "null"
949 outline "#000000"
950 fill "#FFFFFF"
951 fontSize 16
952 fontName "Monospace"
953 autoSizePolicy "node_width"
954 anchor "t"
955 borderDistance 0.0
956 ]
957 LabelGraphics
958 [
959 text "
960 Payload class
961 InterferometryPayload class
962 "
963 fontSize 14
964 fontName "Consolas"
965 alignment "left"
966 anchor "tl"
967 borderDistance 6
968 ]
969 ]
970
971 node
972 [
973 id 26
974 graphics
975 [
976 w 223.3
977 h 54
978 type "rectangle"
979 fill "#FFFFFF"
980 fill2 "#FFFFFF"
981 outline "#000000"
982 ]
983 LabelGraphics
984 [
985 text "null"
986 outline "#000000"
987 fill "#FFFFFF"
988 fontSize 16
989 fontName "Monospace"
990 autoSizePolicy "node_width"
991 anchor "t"
992 borderDistance 0.0
993 ]
994 LabelGraphics
995 [
996 text "
997 Payload class
998 InterferometryPayload class
999 "
1000 fontSize 14
1001 fontName "Consolas"
1002 alignment "left"
1003 anchor "tl"
1004 borderDistance 6
1005 ]
1006 ]
1007
1008 node
1009 [
1010 id 27
1011 graphics
1012 [
1013 w 269.5
1014 h 54
1015 type "rectangle"
1016 fill "#FFFFFF"
1017 fill2 "#FFFFFF"
1018 outline "#000000"
1019 ]
1020 LabelGraphics
1021 [
1022 text "null"
1023 outline "#000000"
1024 fill "#FFFFFF"
1025 fontSize 16
1026 fontName "Monospace"
1027 autoSizePolicy "node_width"
1028 anchor "t"
1029 borderDistance 0.0
1030 ]
1031 LabelGraphics
1032 [
1033 text "
1034 CommSubsystem class
1035 CommSubsystem class UndefinedPart
1036 "
1037 fontSize 14
1038 fontName "Consolas"
1039 alignment "left"
1040 anchor "tl"
1041 borderDistance 6
1042 ]
1043 ]
1044
1045 node
1046 [
1047 id 28
1048 graphics
1049 [
1050 w 269.5
1051 h 54
1052 type "rectangle"
1053 fill "#FFFFFF"
1054 fill2 "#FFFFFF"
1055 outline "#000000"
1056 ]
1057 LabelGraphics
1058 [
1059 text "null"
1060 outline "#000000"
1061 fill "#FFFFFF"
1062 fontSize 16
1063 fontName "Monospace"
1064 autoSizePolicy "node_width"
1065 anchor "t"
1066 borderDistance 0.0
1067 ]
1068 LabelGraphics
1069 [
1070 text "
1071 CommSubsystem class
1072 CommSubsystem class UndefinedPart
1073 "
1074 fontSize 14
1075 fontName "Consolas"
1076 alignment "left"
1077 anchor "tl"
1078 borderDistance 6
1079 ]
1080 ]
1081
1082 node
1083 [
1084 id 29
1085 graphics
1086 [
1087 w 223.3
1088 h 54
1089 type "rectangle"
1090 fill "#FFFFFF"
1091 fill2 "#FFFFFF"
1092 outline "#000000"
1093 ]
1094 LabelGraphics
1095 [
1096 text "null"
1097 outline "#000000"
1098 fill "#FFFFFF"
1099 fontSize 16
1100 fontName "Monospace"
1101 autoSizePolicy "node_width"
1102 anchor "t"
1103 borderDistance 0.0
1104 ]
1105 LabelGraphics
1106 [
1107 text "
1108 Payload class
1109 InterferometryPayload class
1110 "
1111 fontSize 14
1112 fontName "Consolas"
1113 alignment "left"
1114 anchor "tl"
1115 borderDistance 6
1116 ]
1117 ]
1118
1119 node
1120 [
1121 id 30
1122 graphics
1123 [
1124 w 112.2
1125 h 26
1126 type "rectangle"
1127 fill "#FFFFFF"
1128 fill2 "#FFFFFF"
1129 outline "#000000"
1130 ]
1131 LabelGraphics
1132 [
1133 text "New Integers"
1134 outline "#000000"
1135 fill "#FFFFFF"
1136 fontSize 16
1137 fontName "Monospace"
1138 autoSizePolicy "node_width"
1139 anchor "t"
1140 borderDistance 0.0
1141 ]
1142 LabelGraphics
1143 [
1144 text "
1145 "
1146 fontSize 14
1147 fontName "Consolas"
1148 alignment "left"
1149 anchor "tl"
1150 borderDistance 6
1151 ]
1152 ]
1153
1154 node
1155 [
1156 id 31
1157 graphics
1158 [
1159 w 85.80000000000001
1160 h 26
1161 type "rectangle"
1162 fill "#FFFFFF"
1163 fill2 "#FFFFFF"
1164 outline "#000000"
1165 ]
1166 LabelGraphics
1167 [
1168 text "New Reals"
1169 outline "#000000"
1170 fill "#FFFFFF"
1171 fontSize 16
1172 fontName "Monospace"
1173 autoSizePolicy "node_width"
1174 anchor "t"
1175 borderDistance 0.0
1176 ]
1177 LabelGraphics
1178 [
1179 text "
1180 "
1181 fontSize 14
1182 fontName "Consolas"
1183 alignment "left"
1184 anchor "tl"
1185 borderDistance 6
1186 ]
1187 ]
1188
1189 node
1190 [
1191 id 32
1192 graphics
1193 [
1194 w 103.4
1195 h 26
1196 type "rectangle"
1197 fill "#FFFFFF"
1198 fill2 "#FFFFFF"
1199 outline "#000000"
1200 ]
1201 LabelGraphics
1202 [
1203 text "New Strings"
1204 outline "#000000"
1205 fill "#FFFFFF"
1206 fontSize 16
1207 fontName "Monospace"
1208 autoSizePolicy "node_width"
1209 anchor "t"
1210 borderDistance 0.0
1211 ]
1212 LabelGraphics
1213 [
1214 text "
1215 "
1216 fontSize 14
1217 fontName "Consolas"
1218 alignment "left"
1219 anchor "tl"
1220 borderDistance 6
1221 ]
1222 ]
1223
1224 node
1225 [
1226 id 33
1227 graphics
1228 [
1229 w 103.4
1230 h 26
1231 type "rectangle"
1232 fill "#FFFFFF"
1233 fill2 "#FFFFFF"
1234 outline "#000000"
1235 ]
1236 LabelGraphics
1237 [
1238 text "New Objects"
1239 outline "#000000"
1240 fill "#FFFFFF"
1241 fontSize 16
1242 fontName "Monospace"
1243 autoSizePolicy "node_width"
1244 anchor "t"
1245 borderDistance 0.0
1246 ]
1247 LabelGraphics
1248 [
1249 text "
1250 "
1251 fontSize 14
1252 fontName "Consolas"
1253 alignment "left"
1254 anchor "tl"
1255 borderDistance 6
1256 ]
1257 ]
1258 edge
1259 [
1260 source 6
1261 target 7
1262 graphics
1263 [
1264 fill "#000000"
1265 width 3
1266 targetArrow "standard"
1267 ]
1268 LabelGraphics
1269 [
1270 text "groundStationNetwork reference ConstellationMission"
1271 fontSize 14
1272 fontName "Consolas"
1273 configuration "AutoFlippingLabel"
1274 model "six_pos"
1275 position "thead"
1276 ]
1277 ]
1278 edge
1279 [
1280 source 6
1281 target 12
1282 graphics
1283 [
1284 fill "#000000"
1285 width 3
1286 targetArrow "standard"
1287 ]
1288 LabelGraphics
1289 [
1290 text "spacecraft reference ConstellationMission"
1291 fontSize 14
1292 fontName "Consolas"
1293 configuration "AutoFlippingLabel"
1294 model "six_pos"
1295 position "thead"
1296 ]
1297 ]
1298 edge
1299 [
1300 source 6
1301 target 13
1302 graphics
1303 [
1304 fill "#000000"
1305 width 3
1306 targetArrow "standard"
1307 ]
1308 LabelGraphics
1309 [
1310 text "spacecraft reference ConstellationMission"
1311 fontSize 14
1312 fontName "Consolas"
1313 configuration "AutoFlippingLabel"
1314 model "six_pos"
1315 position "thead"
1316 ]
1317 ]
1318 edge
1319 [
1320 source 6
1321 target 17
1322 graphics
1323 [
1324 fill "#000000"
1325 width 3
1326 targetArrow "standard"
1327 ]
1328 LabelGraphics
1329 [
1330 text "spacecraft reference ConstellationMission"
1331 fontSize 14
1332 fontName "Consolas"
1333 configuration "AutoFlippingLabel"
1334 model "six_pos"
1335 position "thead"
1336 ]
1337 ]
1338 edge
1339 [
1340 source 6
1341 target 19
1342 graphics
1343 [
1344 fill "#000000"
1345 width 3
1346 targetArrow "standard"
1347 ]
1348 LabelGraphics
1349 [
1350 text "spacecraft reference ConstellationMission"
1351 fontSize 14
1352 fontName "Consolas"
1353 configuration "AutoFlippingLabel"
1354 model "six_pos"
1355 position "thead"
1356 ]
1357 ]
1358 edge
1359 [
1360 source 6
1361 target 21
1362 graphics
1363 [
1364 fill "#000000"
1365 width 3
1366 targetArrow "standard"
1367 ]
1368 LabelGraphics
1369 [
1370 text "spacecraft reference ConstellationMission"
1371 fontSize 14
1372 fontName "Consolas"
1373 configuration "AutoFlippingLabel"
1374 model "six_pos"
1375 position "thead"
1376 ]
1377 ]
1378 edge
1379 [
1380 source 6
1381 target 22
1382 graphics
1383 [
1384 fill "#000000"
1385 width 3
1386 targetArrow "standard"
1387 ]
1388 LabelGraphics
1389 [
1390 text "spacecraft reference ConstellationMission"
1391 fontSize 14
1392 fontName "Consolas"
1393 configuration "AutoFlippingLabel"
1394 model "six_pos"
1395 position "thead"
1396 ]
1397 ]
1398 edge
1399 [
1400 source 7
1401 target 8
1402 graphics
1403 [
1404 fill "#000000"
1405 width 3
1406 targetArrow "standard"
1407 ]
1408 LabelGraphics
1409 [
1410 text "commSubsystem reference CommunicatingElement"
1411 fontSize 14
1412 fontName "Consolas"
1413 configuration "AutoFlippingLabel"
1414 model "six_pos"
1415 position "thead"
1416 ]
1417 ]
1418 edge
1419 [
1420 source 7
1421 target 9
1422 graphics
1423 [
1424 fill "#000000"
1425 width 3
1426 targetArrow "standard"
1427 ]
1428 LabelGraphics
1429 [
1430 text "commSubsystem reference CommunicatingElement"
1431 fontSize 14
1432 fontName "Consolas"
1433 configuration "AutoFlippingLabel"
1434 model "six_pos"
1435 position "thead"
1436 ]
1437 ]
1438 edge
1439 [
1440 source 13
1441 target 14
1442 graphics
1443 [
1444 fill "#000000"
1445 width 3
1446 targetArrow "standard"
1447 ]
1448 LabelGraphics
1449 [
1450 text "commSubsystem reference CommunicatingElement"
1451 fontSize 14
1452 fontName "Consolas"
1453 configuration "AutoFlippingLabel"
1454 model "six_pos"
1455 position "thead"
1456 ]
1457 ]
1458 edge
1459 [
1460 source 12
1461 target 16
1462 graphics
1463 [
1464 fill "#000000"
1465 width 3
1466 targetArrow "standard"
1467 ]
1468 LabelGraphics
1469 [
1470 text "commSubsystem reference CommunicatingElement"
1471 fontSize 14
1472 fontName "Consolas"
1473 configuration "AutoFlippingLabel"
1474 model "six_pos"
1475 position "thead"
1476 ]
1477 ]
1478 edge
1479 [
1480 source 21
1481 target 23
1482 graphics
1483 [
1484 fill "#000000"
1485 width 3
1486 targetArrow "standard"
1487 ]
1488 LabelGraphics
1489 [
1490 text "commSubsystem reference CommunicatingElement"
1491 fontSize 14
1492 fontName "Consolas"
1493 configuration "AutoFlippingLabel"
1494 model "six_pos"
1495 position "thead"
1496 ]
1497 ]
1498 edge
1499 [
1500 source 19
1501 target 24
1502 graphics
1503 [
1504 fill "#000000"
1505 width 3
1506 targetArrow "standard"
1507 ]
1508 LabelGraphics
1509 [
1510 text "commSubsystem reference CommunicatingElement"
1511 fontSize 14
1512 fontName "Consolas"
1513 configuration "AutoFlippingLabel"
1514 model "six_pos"
1515 position "thead"
1516 ]
1517 ]
1518 edge
1519 [
1520 source 17
1521 target 27
1522 graphics
1523 [
1524 fill "#000000"
1525 width 3
1526 targetArrow "standard"
1527 ]
1528 LabelGraphics
1529 [
1530 text "commSubsystem reference CommunicatingElement"
1531 fontSize 14
1532 fontName "Consolas"
1533 configuration "AutoFlippingLabel"
1534 model "six_pos"
1535 position "thead"
1536 ]
1537 ]
1538 edge
1539 [
1540 source 22
1541 target 28
1542 graphics
1543 [
1544 fill "#000000"
1545 width 3
1546 targetArrow "standard"
1547 ]
1548 LabelGraphics
1549 [
1550 text "commSubsystem reference CommunicatingElement"
1551 fontSize 14
1552 fontName "Consolas"
1553 configuration "AutoFlippingLabel"
1554 model "six_pos"
1555 position "thead"
1556 ]
1557 ]
1558 edge
1559 [
1560 source 13
1561 target 15
1562 graphics
1563 [
1564 fill "#000000"
1565 width 3
1566 targetArrow "standard"
1567 ]
1568 LabelGraphics
1569 [
1570 text "payload reference Spacecraft"
1571 fontSize 14
1572 fontName "Consolas"
1573 configuration "AutoFlippingLabel"
1574 model "six_pos"
1575 position "thead"
1576 ]
1577 ]
1578 edge
1579 [
1580 source 12
1581 target 18
1582 graphics
1583 [
1584 fill "#000000"
1585 width 3
1586 targetArrow "standard"
1587 ]
1588 LabelGraphics
1589 [
1590 text "payload reference Spacecraft"
1591 fontSize 14
1592 fontName "Consolas"
1593 configuration "AutoFlippingLabel"
1594 model "six_pos"
1595 position "thead"
1596 ]
1597 ]
1598 edge
1599 [
1600 source 17
1601 target 20
1602 graphics
1603 [
1604 fill "#000000"
1605 width 3
1606 targetArrow "standard"
1607 ]
1608 LabelGraphics
1609 [
1610 text "payload reference Spacecraft"
1611 fontSize 14
1612 fontName "Consolas"
1613 configuration "AutoFlippingLabel"
1614 model "six_pos"
1615 position "thead"
1616 ]
1617 ]
1618 edge
1619 [
1620 source 19
1621 target 25
1622 graphics
1623 [
1624 fill "#000000"
1625 width 3
1626 targetArrow "standard"
1627 ]
1628 LabelGraphics
1629 [
1630 text "payload reference Spacecraft"
1631 fontSize 14
1632 fontName "Consolas"
1633 configuration "AutoFlippingLabel"
1634 model "six_pos"
1635 position "thead"
1636 ]
1637 ]
1638 edge
1639 [
1640 source 22
1641 target 26
1642 graphics
1643 [
1644 fill "#000000"
1645 width 3
1646 targetArrow "standard"
1647 ]
1648 LabelGraphics
1649 [
1650 text "payload reference Spacecraft"
1651 fontSize 14
1652 fontName "Consolas"
1653 configuration "AutoFlippingLabel"
1654 model "six_pos"
1655 position "thead"
1656 ]
1657 ]
1658 edge
1659 [
1660 source 21
1661 target 29
1662 graphics
1663 [
1664 fill "#000000"
1665 width 3
1666 targetArrow "standard"
1667 ]
1668 LabelGraphics
1669 [
1670 text "payload reference Spacecraft"
1671 fontSize 14
1672 fontName "Consolas"
1673 configuration "AutoFlippingLabel"
1674 model "six_pos"
1675 position "thead"
1676 ]
1677 ]
1678 edge
1679 [
1680 source 8
1681 target 1
1682 graphics
1683 [
1684 fill "#000000"
1685 targetArrow "standard"
1686 ]
1687 LabelGraphics
1688 [
1689 text "band attribute CommSubsystem"
1690 fontSize 14
1691 fontName "Consolas"
1692 configuration "AutoFlippingLabel"
1693 model "six_pos"
1694 position "thead"
1695 ]
1696 ]
1697 edge
1698 [
1699 source 9
1700 target 2
1701 graphics
1702 [
1703 fill "#000000"
1704 targetArrow "standard"
1705 ]
1706 LabelGraphics
1707 [
1708 text "band attribute CommSubsystem"
1709 fontSize 14
1710 fontName "Consolas"
1711 configuration "AutoFlippingLabel"
1712 model "six_pos"
1713 position "thead"
1714 ]
1715 ]
1716 edge
1717 [
1718 source 14
1719 target 0
1720 graphics
1721 [
1722 fill "#000000"
1723 targetArrow "standard"
1724 ]
1725 LabelGraphics
1726 [
1727 text "band attribute CommSubsystem"
1728 fontSize 14
1729 fontName "Consolas"
1730 configuration "AutoFlippingLabel"
1731 model "six_pos"
1732 position "thead"
1733 ]
1734 ]
1735 edge
1736 [
1737 source 16
1738 target 2
1739 graphics
1740 [
1741 fill "#000000"
1742 targetArrow "standard"
1743 ]
1744 LabelGraphics
1745 [
1746 text "band attribute CommSubsystem"
1747 fontSize 14
1748 fontName "Consolas"
1749 configuration "AutoFlippingLabel"
1750 model "six_pos"
1751 position "thead"
1752 ]
1753 ]
1754 edge
1755 [
1756 source 23
1757 target 1
1758 graphics
1759 [
1760 fill "#000000"
1761 targetArrow "standard"
1762 ]
1763 LabelGraphics
1764 [
1765 text "band attribute CommSubsystem"
1766 fontSize 14
1767 fontName "Consolas"
1768 configuration "AutoFlippingLabel"
1769 model "six_pos"
1770 position "thead"
1771 ]
1772 ]
1773 edge
1774 [
1775 source 24
1776 target 2
1777 graphics
1778 [
1779 fill "#000000"
1780 targetArrow "standard"
1781 ]
1782 LabelGraphics
1783 [
1784 text "band attribute CommSubsystem"
1785 fontSize 14
1786 fontName "Consolas"
1787 configuration "AutoFlippingLabel"
1788 model "six_pos"
1789 position "thead"
1790 ]
1791 ]
1792 edge
1793 [
1794 source 27
1795 target 1
1796 graphics
1797 [
1798 fill "#000000"
1799 targetArrow "standard"
1800 ]
1801 LabelGraphics
1802 [
1803 text "band attribute CommSubsystem"
1804 fontSize 14
1805 fontName "Consolas"
1806 configuration "AutoFlippingLabel"
1807 model "six_pos"
1808 position "thead"
1809 ]
1810 ]
1811 edge
1812 [
1813 source 28
1814 target 0
1815 graphics
1816 [
1817 fill "#000000"
1818 targetArrow "standard"
1819 ]
1820 LabelGraphics
1821 [
1822 text "band attribute CommSubsystem"
1823 fontSize 14
1824 fontName "Consolas"
1825 configuration "AutoFlippingLabel"
1826 model "six_pos"
1827 position "thead"
1828 ]
1829 ]
1830 edge
1831 [
1832 source 8
1833 target 4
1834 graphics
1835 [
1836 fill "#000000"
1837 targetArrow "standard"
1838 ]
1839 LabelGraphics
1840 [
1841 text "gain attribute CommSubsystem"
1842 fontSize 14
1843 fontName "Consolas"
1844 configuration "AutoFlippingLabel"
1845 model "six_pos"
1846 position "thead"
1847 ]
1848 ]
1849 edge
1850 [
1851 source 9
1852 target 5
1853 graphics
1854 [
1855 fill "#000000"
1856 targetArrow "standard"
1857 ]
1858 LabelGraphics
1859 [
1860 text "gain attribute CommSubsystem"
1861 fontSize 14
1862 fontName "Consolas"
1863 configuration "AutoFlippingLabel"
1864 model "six_pos"
1865 position "thead"
1866 ]
1867 ]
1868 edge
1869 [
1870 source 14
1871 target 5
1872 graphics
1873 [
1874 fill "#000000"
1875 targetArrow "standard"
1876 ]
1877 LabelGraphics
1878 [
1879 text "gain attribute CommSubsystem"
1880 fontSize 14
1881 fontName "Consolas"
1882 configuration "AutoFlippingLabel"
1883 model "six_pos"
1884 position "thead"
1885 ]
1886 ]
1887 edge
1888 [
1889 source 16
1890 target 3
1891 graphics
1892 [
1893 fill "#000000"
1894 targetArrow "standard"
1895 ]
1896 LabelGraphics
1897 [
1898 text "gain attribute CommSubsystem"
1899 fontSize 14
1900 fontName "Consolas"
1901 configuration "AutoFlippingLabel"
1902 model "six_pos"
1903 position "thead"
1904 ]
1905 ]
1906 edge
1907 [
1908 source 24
1909 target 4
1910 graphics
1911 [
1912 fill "#000000"
1913 targetArrow "standard"
1914 ]
1915 LabelGraphics
1916 [
1917 text "gain attribute CommSubsystem"
1918 fontSize 14
1919 fontName "Consolas"
1920 configuration "AutoFlippingLabel"
1921 model "six_pos"
1922 position "thead"
1923 ]
1924 ]
1925 edge
1926 [
1927 source 23
1928 target 4
1929 graphics
1930 [
1931 fill "#000000"
1932 targetArrow "standard"
1933 ]
1934 LabelGraphics
1935 [
1936 text "gain attribute CommSubsystem"
1937 fontSize 14
1938 fontName "Consolas"
1939 configuration "AutoFlippingLabel"
1940 model "six_pos"
1941 position "thead"
1942 ]
1943 ]
1944 edge
1945 [
1946 source 27
1947 target 4
1948 graphics
1949 [
1950 fill "#000000"
1951 targetArrow "standard"
1952 ]
1953 LabelGraphics
1954 [
1955 text "gain attribute CommSubsystem"
1956 fontSize 14
1957 fontName "Consolas"
1958 configuration "AutoFlippingLabel"
1959 model "six_pos"
1960 position "thead"
1961 ]
1962 ]
1963 edge
1964 [
1965 source 28
1966 target 3
1967 graphics
1968 [
1969 fill "#000000"
1970 targetArrow "standard"
1971 ]
1972 LabelGraphics
1973 [
1974 text "gain attribute CommSubsystem"
1975 fontSize 14
1976 fontName "Consolas"
1977 configuration "AutoFlippingLabel"
1978 model "six_pos"
1979 position "thead"
1980 ]
1981 ]
1982]
1983
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.png
deleted file mode 100644
index e378a9fb..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.png
+++ /dev/null
Binary files differ
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.xmi
deleted file mode 100644
index 4dcf0982..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/4.xmi
+++ /dev/null
@@ -1,31 +0,0 @@
1<?xml version="1.0" encoding="ASCII"?>
2<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem band="X" gain="MEDIUM"/>
5 <commSubsystem band="Ka" gain="HIGH"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:CubeSat6U">
8 <commSubsystem band="X" gain="MEDIUM"/>
9 <payload xsi:type="satellite:InterferometryPayload"/>
10 </spacecraft>
11 <spacecraft xsi:type="satellite:CubeSat6U">
12 <commSubsystem gain="HIGH"/>
13 <payload xsi:type="satellite:InterferometryPayload"/>
14 </spacecraft>
15 <spacecraft xsi:type="satellite:SmallSat">
16 <commSubsystem band="X" gain="MEDIUM"/>
17 <payload xsi:type="satellite:InterferometryPayload"/>
18 </spacecraft>
19 <spacecraft xsi:type="satellite:SmallSat">
20 <commSubsystem band="Ka" gain="MEDIUM"/>
21 <payload xsi:type="satellite:InterferometryPayload"/>
22 </spacecraft>
23 <spacecraft xsi:type="satellite:SmallSat">
24 <commSubsystem band="Ka"/>
25 <payload xsi:type="satellite:InterferometryPayload"/>
26 </spacecraft>
27 <spacecraft xsi:type="satellite:SmallSat">
28 <commSubsystem/>
29 <payload xsi:type="satellite:InterferometryPayload"/>
30 </spacecraft>
31</satellite:InterferometryMission>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.gml
deleted file mode 100644
index 3f21efdc..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.gml
+++ /dev/null
@@ -1,1926 +0,0 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 244.20000000000002
9 h 40
10 type "rectangle"
11 fill "#FFFFFF"
12 fill2 "#FFFFFF"
13 outline "#000000"
14 ]
15 LabelGraphics
16 [
17 text "UHF literal TransceiverBand"
18 outline "#000000"
19 fill "#FFFFFF"
20 fontSize 16
21 fontName "Monospace"
22 autoSizePolicy "node_width"
23 anchor "t"
24 borderDistance 0.0
25 ]
26 LabelGraphics
27 [
28 text "
29 TransceiverBand enum
30 "
31 fontSize 14
32 fontName "Consolas"
33 alignment "left"
34 anchor "tl"
35 borderDistance 6
36 ]
37 ]
38
39 node
40 [
41 id 1
42 graphics
43 [
44 w 226.60000000000002
45 h 40
46 type "rectangle"
47 fill "#FFFFFF"
48 fill2 "#FFFFFF"
49 outline "#000000"
50 ]
51 LabelGraphics
52 [
53 text "X literal TransceiverBand"
54 outline "#000000"
55 fill "#FFFFFF"
56 fontSize 16
57 fontName "Monospace"
58 autoSizePolicy "node_width"
59 anchor "t"
60 borderDistance 0.0
61 ]
62 LabelGraphics
63 [
64 text "
65 TransceiverBand enum
66 "
67 fontSize 14
68 fontName "Consolas"
69 alignment "left"
70 anchor "tl"
71 borderDistance 6
72 ]
73 ]
74
75 node
76 [
77 id 2
78 graphics
79 [
80 w 235.4
81 h 40
82 type "rectangle"
83 fill "#FFFFFF"
84 fill2 "#FFFFFF"
85 outline "#000000"
86 ]
87 LabelGraphics
88 [
89 text "Ka literal TransceiverBand"
90 outline "#000000"
91 fill "#FFFFFF"
92 fontSize 16
93 fontName "Monospace"
94 autoSizePolicy "node_width"
95 anchor "t"
96 borderDistance 0.0
97 ]
98 LabelGraphics
99 [
100 text "
101 TransceiverBand enum
102 "
103 fontSize 14
104 fontName "Consolas"
105 alignment "left"
106 anchor "tl"
107 borderDistance 6
108 ]
109 ]
110
111 node
112 [
113 id 3
114 graphics
115 [
116 w 209.00000000000003
117 h 40
118 type "rectangle"
119 fill "#FFFFFF"
120 fill2 "#FFFFFF"
121 outline "#000000"
122 ]
123 LabelGraphics
124 [
125 text "LOW literal AntennaGain"
126 outline "#000000"
127 fill "#FFFFFF"
128 fontSize 16
129 fontName "Monospace"
130 autoSizePolicy "node_width"
131 anchor "t"
132 borderDistance 0.0
133 ]
134 LabelGraphics
135 [
136 text "
137 AntennaGain enum
138 "
139 fontSize 14
140 fontName "Consolas"
141 alignment "left"
142 anchor "tl"
143 borderDistance 6
144 ]
145 ]
146
147 node
148 [
149 id 4
150 graphics
151 [
152 w 235.4
153 h 40
154 type "rectangle"
155 fill "#FFFFFF"
156 fill2 "#FFFFFF"
157 outline "#000000"
158 ]
159 LabelGraphics
160 [
161 text "MEDIUM literal AntennaGain"
162 outline "#000000"
163 fill "#FFFFFF"
164 fontSize 16
165 fontName "Monospace"
166 autoSizePolicy "node_width"
167 anchor "t"
168 borderDistance 0.0
169 ]
170 LabelGraphics
171 [
172 text "
173 AntennaGain enum
174 "
175 fontSize 14
176 fontName "Consolas"
177 alignment "left"
178 anchor "tl"
179 borderDistance 6
180 ]
181 ]
182
183 node
184 [
185 id 5
186 graphics
187 [
188 w 217.8
189 h 40
190 type "rectangle"
191 fill "#FFFFFF"
192 fill2 "#FFFFFF"
193 outline "#000000"
194 ]
195 LabelGraphics
196 [
197 text "HIGH literal AntennaGain"
198 outline "#000000"
199 fill "#FFFFFF"
200 fontSize 16
201 fontName "Monospace"
202 autoSizePolicy "node_width"
203 anchor "t"
204 borderDistance 0.0
205 ]
206 LabelGraphics
207 [
208 text "
209 AntennaGain enum
210 "
211 fontSize 14
212 fontName "Consolas"
213 alignment "left"
214 anchor "tl"
215 borderDistance 6
216 ]
217 ]
218
219 node
220 [
221 id 6
222 graphics
223 [
224 w 315.70000000000005
225 h 82
226 type "rectangle"
227 fill "#FFFFFF"
228 fill2 "#FFFFFF"
229 outline "#000000"
230 ]
231 LabelGraphics
232 [
233 text "o 1"
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 ConstellationMission class DefinedPart
246 InterferometryMission class DefinedPart
247 ConstellationMission class
248 InterferometryMission class
249 "
250 fontSize 14
251 fontName "Consolas"
252 alignment "left"
253 anchor "tl"
254 borderDistance 6
255 ]
256 ]
257
258 node
259 [
260 id 7
261 graphics
262 [
263 w 308.0
264 h 82
265 type "rectangle"
266 fill "#FFFFFF"
267 fill2 "#FFFFFF"
268 outline "#000000"
269 ]
270 LabelGraphics
271 [
272 text "o 2"
273 outline "#000000"
274 fill "#FFFFFF"
275 fontSize 16
276 fontName "Monospace"
277 autoSizePolicy "node_width"
278 anchor "t"
279 borderDistance 0.0
280 ]
281 LabelGraphics
282 [
283 text "
284 CommunicatingElement class DefinedPart
285 GroundStationNetwork class DefinedPart
286 CommunicatingElement class
287 GroundStationNetwork class
288 "
289 fontSize 14
290 fontName "Consolas"
291 alignment "left"
292 anchor "tl"
293 borderDistance 6
294 ]
295 ]
296
297 node
298 [
299 id 8
300 graphics
301 [
302 w 254.10000000000002
303 h 54
304 type "rectangle"
305 fill "#FFFFFF"
306 fill2 "#FFFFFF"
307 outline "#000000"
308 ]
309 LabelGraphics
310 [
311 text "o 3"
312 outline "#000000"
313 fill "#FFFFFF"
314 fontSize 16
315 fontName "Monospace"
316 autoSizePolicy "node_width"
317 anchor "t"
318 borderDistance 0.0
319 ]
320 LabelGraphics
321 [
322 text "
323 CommSubsystem class DefinedPart
324 CommSubsystem class
325 "
326 fontSize 14
327 fontName "Consolas"
328 alignment "left"
329 anchor "tl"
330 borderDistance 6
331 ]
332 ]
333
334 node
335 [
336 id 9
337 graphics
338 [
339 w 254.10000000000002
340 h 54
341 type "rectangle"
342 fill "#FFFFFF"
343 fill2 "#FFFFFF"
344 outline "#000000"
345 ]
346 LabelGraphics
347 [
348 text "o 4"
349 outline "#000000"
350 fill "#FFFFFF"
351 fontSize 16
352 fontName "Monospace"
353 autoSizePolicy "node_width"
354 anchor "t"
355 borderDistance 0.0
356 ]
357 LabelGraphics
358 [
359 text "
360 CommSubsystem class DefinedPart
361 CommSubsystem class
362 "
363 fontSize 14
364 fontName "Consolas"
365 alignment "left"
366 anchor "tl"
367 borderDistance 6
368 ]
369 ]
370
371 node
372 [
373 id 10
374 graphics
375 [
376 w 41.800000000000004
377 h 26
378 type "rectangle"
379 fill "#FFFFFF"
380 fill2 "#FFFFFF"
381 outline "#000000"
382 ]
383 LabelGraphics
384 [
385 text "true"
386 outline "#000000"
387 fill "#FFFFFF"
388 fontSize 16
389 fontName "Monospace"
390 autoSizePolicy "node_width"
391 anchor "t"
392 borderDistance 0.0
393 ]
394 LabelGraphics
395 [
396 text "
397 "
398 fontSize 14
399 fontName "Consolas"
400 alignment "left"
401 anchor "tl"
402 borderDistance 6
403 ]
404 ]
405
406 node
407 [
408 id 11
409 graphics
410 [
411 w 50.6
412 h 26
413 type "rectangle"
414 fill "#FFFFFF"
415 fill2 "#FFFFFF"
416 outline "#000000"
417 ]
418 LabelGraphics
419 [
420 text "false"
421 outline "#000000"
422 fill "#FFFFFF"
423 fontSize 16
424 fontName "Monospace"
425 autoSizePolicy "node_width"
426 anchor "t"
427 borderDistance 0.0
428 ]
429 LabelGraphics
430 [
431 text "
432 "
433 fontSize 14
434 fontName "Consolas"
435 alignment "left"
436 anchor "tl"
437 borderDistance 6
438 ]
439 ]
440
441 node
442 [
443 id 12
444 graphics
445 [
446 w 323.40000000000003
447 h 82
448 type "rectangle"
449 fill "#FFFFFF"
450 fill2 "#FFFFFF"
451 outline "#000000"
452 ]
453 LabelGraphics
454 [
455 text "null"
456 outline "#000000"
457 fill "#FFFFFF"
458 fontSize 16
459 fontName "Monospace"
460 autoSizePolicy "node_width"
461 anchor "t"
462 borderDistance 0.0
463 ]
464 LabelGraphics
465 [
466 text "
467 CommunicatingElement class
468 Spacecraft class
469 SmallSat class
470 CommunicatingElement class UndefinedPart
471 "
472 fontSize 14
473 fontName "Consolas"
474 alignment "left"
475 anchor "tl"
476 borderDistance 6
477 ]
478 ]
479
480 node
481 [
482 id 13
483 graphics
484 [
485 w 323.40000000000003
486 h 82
487 type "rectangle"
488 fill "#FFFFFF"
489 fill2 "#FFFFFF"
490 outline "#000000"
491 ]
492 LabelGraphics
493 [
494 text "null"
495 outline "#000000"
496 fill "#FFFFFF"
497 fontSize 16
498 fontName "Monospace"
499 autoSizePolicy "node_width"
500 anchor "t"
501 borderDistance 0.0
502 ]
503 LabelGraphics
504 [
505 text "
506 CommunicatingElement class
507 Spacecraft class
508 CubeSat6U class
509 CommunicatingElement class UndefinedPart
510 "
511 fontSize 14
512 fontName "Consolas"
513 alignment "left"
514 anchor "tl"
515 borderDistance 6
516 ]
517 ]
518
519 node
520 [
521 id 14
522 graphics
523 [
524 w 269.5
525 h 54
526 type "rectangle"
527 fill "#FFFFFF"
528 fill2 "#FFFFFF"
529 outline "#000000"
530 ]
531 LabelGraphics
532 [
533 text "null"
534 outline "#000000"
535 fill "#FFFFFF"
536 fontSize 16
537 fontName "Monospace"
538 autoSizePolicy "node_width"
539 anchor "t"
540 borderDistance 0.0
541 ]
542 LabelGraphics
543 [
544 text "
545 CommSubsystem class
546 CommSubsystem class UndefinedPart
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 15
559 graphics
560 [
561 w 223.3
562 h 54
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "null"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 Payload class
583 InterferometryPayload class
584 "
585 fontSize 14
586 fontName "Consolas"
587 alignment "left"
588 anchor "tl"
589 borderDistance 6
590 ]
591 ]
592
593 node
594 [
595 id 16
596 graphics
597 [
598 w 269.5
599 h 54
600 type "rectangle"
601 fill "#FFFFFF"
602 fill2 "#FFFFFF"
603 outline "#000000"
604 ]
605 LabelGraphics
606 [
607 text "null"
608 outline "#000000"
609 fill "#FFFFFF"
610 fontSize 16
611 fontName "Monospace"
612 autoSizePolicy "node_width"
613 anchor "t"
614 borderDistance 0.0
615 ]
616 LabelGraphics
617 [
618 text "
619 CommSubsystem class
620 CommSubsystem class UndefinedPart
621 "
622 fontSize 14
623 fontName "Consolas"
624 alignment "left"
625 anchor "tl"
626 borderDistance 6
627 ]
628 ]
629
630 node
631 [
632 id 17
633 graphics
634 [
635 w 323.40000000000003
636 h 82
637 type "rectangle"
638 fill "#FFFFFF"
639 fill2 "#FFFFFF"
640 outline "#000000"
641 ]
642 LabelGraphics
643 [
644 text "null"
645 outline "#000000"
646 fill "#FFFFFF"
647 fontSize 16
648 fontName "Monospace"
649 autoSizePolicy "node_width"
650 anchor "t"
651 borderDistance 0.0
652 ]
653 LabelGraphics
654 [
655 text "
656 CommunicatingElement class
657 Spacecraft class
658 SmallSat class
659 CommunicatingElement class UndefinedPart
660 "
661 fontSize 14
662 fontName "Consolas"
663 alignment "left"
664 anchor "tl"
665 borderDistance 6
666 ]
667 ]
668
669 node
670 [
671 id 18
672 graphics
673 [
674 w 223.3
675 h 54
676 type "rectangle"
677 fill "#FFFFFF"
678 fill2 "#FFFFFF"
679 outline "#000000"
680 ]
681 LabelGraphics
682 [
683 text "null"
684 outline "#000000"
685 fill "#FFFFFF"
686 fontSize 16
687 fontName "Monospace"
688 autoSizePolicy "node_width"
689 anchor "t"
690 borderDistance 0.0
691 ]
692 LabelGraphics
693 [
694 text "
695 Payload class
696 InterferometryPayload class
697 "
698 fontSize 14
699 fontName "Consolas"
700 alignment "left"
701 anchor "tl"
702 borderDistance 6
703 ]
704 ]
705
706 node
707 [
708 id 19
709 graphics
710 [
711 w 323.40000000000003
712 h 82
713 type "rectangle"
714 fill "#FFFFFF"
715 fill2 "#FFFFFF"
716 outline "#000000"
717 ]
718 LabelGraphics
719 [
720 text "null"
721 outline "#000000"
722 fill "#FFFFFF"
723 fontSize 16
724 fontName "Monospace"
725 autoSizePolicy "node_width"
726 anchor "t"
727 borderDistance 0.0
728 ]
729 LabelGraphics
730 [
731 text "
732 CommunicatingElement class
733 Spacecraft class
734 SmallSat class
735 CommunicatingElement class UndefinedPart
736 "
737 fontSize 14
738 fontName "Consolas"
739 alignment "left"
740 anchor "tl"
741 borderDistance 6
742 ]
743 ]
744
745 node
746 [
747 id 20
748 graphics
749 [
750 w 223.3
751 h 54
752 type "rectangle"
753 fill "#FFFFFF"
754 fill2 "#FFFFFF"
755 outline "#000000"
756 ]
757 LabelGraphics
758 [
759 text "null"
760 outline "#000000"
761 fill "#FFFFFF"
762 fontSize 16
763 fontName "Monospace"
764 autoSizePolicy "node_width"
765 anchor "t"
766 borderDistance 0.0
767 ]
768 LabelGraphics
769 [
770 text "
771 Payload class
772 InterferometryPayload class
773 "
774 fontSize 14
775 fontName "Consolas"
776 alignment "left"
777 anchor "tl"
778 borderDistance 6
779 ]
780 ]
781
782 node
783 [
784 id 21
785 graphics
786 [
787 w 323.40000000000003
788 h 82
789 type "rectangle"
790 fill "#FFFFFF"
791 fill2 "#FFFFFF"
792 outline "#000000"
793 ]
794 LabelGraphics
795 [
796 text "null"
797 outline "#000000"
798 fill "#FFFFFF"
799 fontSize 16
800 fontName "Monospace"
801 autoSizePolicy "node_width"
802 anchor "t"
803 borderDistance 0.0
804 ]
805 LabelGraphics
806 [
807 text "
808 CommunicatingElement class
809 Spacecraft class
810 CubeSat6U class
811 CommunicatingElement class UndefinedPart
812 "
813 fontSize 14
814 fontName "Consolas"
815 alignment "left"
816 anchor "tl"
817 borderDistance 6
818 ]
819 ]
820
821 node
822 [
823 id 22
824 graphics
825 [
826 w 323.40000000000003
827 h 82
828 type "rectangle"
829 fill "#FFFFFF"
830 fill2 "#FFFFFF"
831 outline "#000000"
832 ]
833 LabelGraphics
834 [
835 text "null"
836 outline "#000000"
837 fill "#FFFFFF"
838 fontSize 16
839 fontName "Monospace"
840 autoSizePolicy "node_width"
841 anchor "t"
842 borderDistance 0.0
843 ]
844 LabelGraphics
845 [
846 text "
847 CommunicatingElement class
848 Spacecraft class
849 SmallSat class
850 CommunicatingElement class UndefinedPart
851 "
852 fontSize 14
853 fontName "Consolas"
854 alignment "left"
855 anchor "tl"
856 borderDistance 6
857 ]
858 ]
859
860 node
861 [
862 id 23
863 graphics
864 [
865 w 269.5
866 h 54
867 type "rectangle"
868 fill "#FFFFFF"
869 fill2 "#FFFFFF"
870 outline "#000000"
871 ]
872 LabelGraphics
873 [
874 text "null"
875 outline "#000000"
876 fill "#FFFFFF"
877 fontSize 16
878 fontName "Monospace"
879 autoSizePolicy "node_width"
880 anchor "t"
881 borderDistance 0.0
882 ]
883 LabelGraphics
884 [
885 text "
886 CommSubsystem class
887 CommSubsystem class UndefinedPart
888 "
889 fontSize 14
890 fontName "Consolas"
891 alignment "left"
892 anchor "tl"
893 borderDistance 6
894 ]
895 ]
896
897 node
898 [
899 id 24
900 graphics
901 [
902 w 269.5
903 h 54
904 type "rectangle"
905 fill "#FFFFFF"
906 fill2 "#FFFFFF"
907 outline "#000000"
908 ]
909 LabelGraphics
910 [
911 text "null"
912 outline "#000000"
913 fill "#FFFFFF"
914 fontSize 16
915 fontName "Monospace"
916 autoSizePolicy "node_width"
917 anchor "t"
918 borderDistance 0.0
919 ]
920 LabelGraphics
921 [
922 text "
923 CommSubsystem class
924 CommSubsystem class UndefinedPart
925 "
926 fontSize 14
927 fontName "Consolas"
928 alignment "left"
929 anchor "tl"
930 borderDistance 6
931 ]
932 ]
933
934 node
935 [
936 id 25
937 graphics
938 [
939 w 223.3
940 h 54
941 type "rectangle"
942 fill "#FFFFFF"
943 fill2 "#FFFFFF"
944 outline "#000000"
945 ]
946 LabelGraphics
947 [
948 text "null"
949 outline "#000000"
950 fill "#FFFFFF"
951 fontSize 16
952 fontName "Monospace"
953 autoSizePolicy "node_width"
954 anchor "t"
955 borderDistance 0.0
956 ]
957 LabelGraphics
958 [
959 text "
960 Payload class
961 InterferometryPayload class
962 "
963 fontSize 14
964 fontName "Consolas"
965 alignment "left"
966 anchor "tl"
967 borderDistance 6
968 ]
969 ]
970
971 node
972 [
973 id 26
974 graphics
975 [
976 w 223.3
977 h 54
978 type "rectangle"
979 fill "#FFFFFF"
980 fill2 "#FFFFFF"
981 outline "#000000"
982 ]
983 LabelGraphics
984 [
985 text "null"
986 outline "#000000"
987 fill "#FFFFFF"
988 fontSize 16
989 fontName "Monospace"
990 autoSizePolicy "node_width"
991 anchor "t"
992 borderDistance 0.0
993 ]
994 LabelGraphics
995 [
996 text "
997 Payload class
998 InterferometryPayload class
999 "
1000 fontSize 14
1001 fontName "Consolas"
1002 alignment "left"
1003 anchor "tl"
1004 borderDistance 6
1005 ]
1006 ]
1007
1008 node
1009 [
1010 id 27
1011 graphics
1012 [
1013 w 269.5
1014 h 54
1015 type "rectangle"
1016 fill "#FFFFFF"
1017 fill2 "#FFFFFF"
1018 outline "#000000"
1019 ]
1020 LabelGraphics
1021 [
1022 text "null"
1023 outline "#000000"
1024 fill "#FFFFFF"
1025 fontSize 16
1026 fontName "Monospace"
1027 autoSizePolicy "node_width"
1028 anchor "t"
1029 borderDistance 0.0
1030 ]
1031 LabelGraphics
1032 [
1033 text "
1034 CommSubsystem class
1035 CommSubsystem class UndefinedPart
1036 "
1037 fontSize 14
1038 fontName "Consolas"
1039 alignment "left"
1040 anchor "tl"
1041 borderDistance 6
1042 ]
1043 ]
1044
1045 node
1046 [
1047 id 28
1048 graphics
1049 [
1050 w 269.5
1051 h 54
1052 type "rectangle"
1053 fill "#FFFFFF"
1054 fill2 "#FFFFFF"
1055 outline "#000000"
1056 ]
1057 LabelGraphics
1058 [
1059 text "null"
1060 outline "#000000"
1061 fill "#FFFFFF"
1062 fontSize 16
1063 fontName "Monospace"
1064 autoSizePolicy "node_width"
1065 anchor "t"
1066 borderDistance 0.0
1067 ]
1068 LabelGraphics
1069 [
1070 text "
1071 CommSubsystem class
1072 CommSubsystem class UndefinedPart
1073 "
1074 fontSize 14
1075 fontName "Consolas"
1076 alignment "left"
1077 anchor "tl"
1078 borderDistance 6
1079 ]
1080 ]
1081
1082 node
1083 [
1084 id 29
1085 graphics
1086 [
1087 w 112.2
1088 h 26
1089 type "rectangle"
1090 fill "#FFFFFF"
1091 fill2 "#FFFFFF"
1092 outline "#000000"
1093 ]
1094 LabelGraphics
1095 [
1096 text "New Integers"
1097 outline "#000000"
1098 fill "#FFFFFF"
1099 fontSize 16
1100 fontName "Monospace"
1101 autoSizePolicy "node_width"
1102 anchor "t"
1103 borderDistance 0.0
1104 ]
1105 LabelGraphics
1106 [
1107 text "
1108 "
1109 fontSize 14
1110 fontName "Consolas"
1111 alignment "left"
1112 anchor "tl"
1113 borderDistance 6
1114 ]
1115 ]
1116
1117 node
1118 [
1119 id 30
1120 graphics
1121 [
1122 w 85.80000000000001
1123 h 26
1124 type "rectangle"
1125 fill "#FFFFFF"
1126 fill2 "#FFFFFF"
1127 outline "#000000"
1128 ]
1129 LabelGraphics
1130 [
1131 text "New Reals"
1132 outline "#000000"
1133 fill "#FFFFFF"
1134 fontSize 16
1135 fontName "Monospace"
1136 autoSizePolicy "node_width"
1137 anchor "t"
1138 borderDistance 0.0
1139 ]
1140 LabelGraphics
1141 [
1142 text "
1143 "
1144 fontSize 14
1145 fontName "Consolas"
1146 alignment "left"
1147 anchor "tl"
1148 borderDistance 6
1149 ]
1150 ]
1151
1152 node
1153 [
1154 id 31
1155 graphics
1156 [
1157 w 103.4
1158 h 26
1159 type "rectangle"
1160 fill "#FFFFFF"
1161 fill2 "#FFFFFF"
1162 outline "#000000"
1163 ]
1164 LabelGraphics
1165 [
1166 text "New Strings"
1167 outline "#000000"
1168 fill "#FFFFFF"
1169 fontSize 16
1170 fontName "Monospace"
1171 autoSizePolicy "node_width"
1172 anchor "t"
1173 borderDistance 0.0
1174 ]
1175 LabelGraphics
1176 [
1177 text "
1178 "
1179 fontSize 14
1180 fontName "Consolas"
1181 alignment "left"
1182 anchor "tl"
1183 borderDistance 6
1184 ]
1185 ]
1186
1187 node
1188 [
1189 id 32
1190 graphics
1191 [
1192 w 103.4
1193 h 26
1194 type "rectangle"
1195 fill "#FFFFFF"
1196 fill2 "#FFFFFF"
1197 outline "#000000"
1198 ]
1199 LabelGraphics
1200 [
1201 text "New Objects"
1202 outline "#000000"
1203 fill "#FFFFFF"
1204 fontSize 16
1205 fontName "Monospace"
1206 autoSizePolicy "node_width"
1207 anchor "t"
1208 borderDistance 0.0
1209 ]
1210 LabelGraphics
1211 [
1212 text "
1213 "
1214 fontSize 14
1215 fontName "Consolas"
1216 alignment "left"
1217 anchor "tl"
1218 borderDistance 6
1219 ]
1220 ]
1221 edge
1222 [
1223 source 6
1224 target 7
1225 graphics
1226 [
1227 fill "#000000"
1228 width 3
1229 targetArrow "standard"
1230 ]
1231 LabelGraphics
1232 [
1233 text "groundStationNetwork reference ConstellationMission"
1234 fontSize 14
1235 fontName "Consolas"
1236 configuration "AutoFlippingLabel"
1237 model "six_pos"
1238 position "thead"
1239 ]
1240 ]
1241 edge
1242 [
1243 source 6
1244 target 12
1245 graphics
1246 [
1247 fill "#000000"
1248 width 3
1249 targetArrow "standard"
1250 ]
1251 LabelGraphics
1252 [
1253 text "spacecraft reference ConstellationMission"
1254 fontSize 14
1255 fontName "Consolas"
1256 configuration "AutoFlippingLabel"
1257 model "six_pos"
1258 position "thead"
1259 ]
1260 ]
1261 edge
1262 [
1263 source 6
1264 target 13
1265 graphics
1266 [
1267 fill "#000000"
1268 width 3
1269 targetArrow "standard"
1270 ]
1271 LabelGraphics
1272 [
1273 text "spacecraft reference ConstellationMission"
1274 fontSize 14
1275 fontName "Consolas"
1276 configuration "AutoFlippingLabel"
1277 model "six_pos"
1278 position "thead"
1279 ]
1280 ]
1281 edge
1282 [
1283 source 6
1284 target 17
1285 graphics
1286 [
1287 fill "#000000"
1288 width 3
1289 targetArrow "standard"
1290 ]
1291 LabelGraphics
1292 [
1293 text "spacecraft reference ConstellationMission"
1294 fontSize 14
1295 fontName "Consolas"
1296 configuration "AutoFlippingLabel"
1297 model "six_pos"
1298 position "thead"
1299 ]
1300 ]
1301 edge
1302 [
1303 source 6
1304 target 19
1305 graphics
1306 [
1307 fill "#000000"
1308 width 3
1309 targetArrow "standard"
1310 ]
1311 LabelGraphics
1312 [
1313 text "spacecraft reference ConstellationMission"
1314 fontSize 14
1315 fontName "Consolas"
1316 configuration "AutoFlippingLabel"
1317 model "six_pos"
1318 position "thead"
1319 ]
1320 ]
1321 edge
1322 [
1323 source 6
1324 target 21
1325 graphics
1326 [
1327 fill "#000000"
1328 width 3
1329 targetArrow "standard"
1330 ]
1331 LabelGraphics
1332 [
1333 text "spacecraft reference ConstellationMission"
1334 fontSize 14
1335 fontName "Consolas"
1336 configuration "AutoFlippingLabel"
1337 model "six_pos"
1338 position "thead"
1339 ]
1340 ]
1341 edge
1342 [
1343 source 6
1344 target 22
1345 graphics
1346 [
1347 fill "#000000"
1348 width 3
1349 targetArrow "standard"
1350 ]
1351 LabelGraphics
1352 [
1353 text "spacecraft reference ConstellationMission"
1354 fontSize 14
1355 fontName "Consolas"
1356 configuration "AutoFlippingLabel"
1357 model "six_pos"
1358 position "thead"
1359 ]
1360 ]
1361 edge
1362 [
1363 source 7
1364 target 8
1365 graphics
1366 [
1367 fill "#000000"
1368 width 3
1369 targetArrow "standard"
1370 ]
1371 LabelGraphics
1372 [
1373 text "commSubsystem reference CommunicatingElement"
1374 fontSize 14
1375 fontName "Consolas"
1376 configuration "AutoFlippingLabel"
1377 model "six_pos"
1378 position "thead"
1379 ]
1380 ]
1381 edge
1382 [
1383 source 7
1384 target 9
1385 graphics
1386 [
1387 fill "#000000"
1388 width 3
1389 targetArrow "standard"
1390 ]
1391 LabelGraphics
1392 [
1393 text "commSubsystem reference CommunicatingElement"
1394 fontSize 14
1395 fontName "Consolas"
1396 configuration "AutoFlippingLabel"
1397 model "six_pos"
1398 position "thead"
1399 ]
1400 ]
1401 edge
1402 [
1403 source 13
1404 target 14
1405 graphics
1406 [
1407 fill "#000000"
1408 width 3
1409 targetArrow "standard"
1410 ]
1411 LabelGraphics
1412 [
1413 text "commSubsystem reference CommunicatingElement"
1414 fontSize 14
1415 fontName "Consolas"
1416 configuration "AutoFlippingLabel"
1417 model "six_pos"
1418 position "thead"
1419 ]
1420 ]
1421 edge
1422 [
1423 source 12
1424 target 16
1425 graphics
1426 [
1427 fill "#000000"
1428 width 3
1429 targetArrow "standard"
1430 ]
1431 LabelGraphics
1432 [
1433 text "commSubsystem reference CommunicatingElement"
1434 fontSize 14
1435 fontName "Consolas"
1436 configuration "AutoFlippingLabel"
1437 model "six_pos"
1438 position "thead"
1439 ]
1440 ]
1441 edge
1442 [
1443 source 21
1444 target 23
1445 graphics
1446 [
1447 fill "#000000"
1448 width 3
1449 targetArrow "standard"
1450 ]
1451 LabelGraphics
1452 [
1453 text "commSubsystem reference CommunicatingElement"
1454 fontSize 14
1455 fontName "Consolas"
1456 configuration "AutoFlippingLabel"
1457 model "six_pos"
1458 position "thead"
1459 ]
1460 ]
1461 edge
1462 [
1463 source 19
1464 target 24
1465 graphics
1466 [
1467 fill "#000000"
1468 width 3
1469 targetArrow "standard"
1470 ]
1471 LabelGraphics
1472 [
1473 text "commSubsystem reference CommunicatingElement"
1474 fontSize 14
1475 fontName "Consolas"
1476 configuration "AutoFlippingLabel"
1477 model "six_pos"
1478 position "thead"
1479 ]
1480 ]
1481 edge
1482 [
1483 source 17
1484 target 27
1485 graphics
1486 [
1487 fill "#000000"
1488 width 3
1489 targetArrow "standard"
1490 ]
1491 LabelGraphics
1492 [
1493 text "commSubsystem reference CommunicatingElement"
1494 fontSize 14
1495 fontName "Consolas"
1496 configuration "AutoFlippingLabel"
1497 model "six_pos"
1498 position "thead"
1499 ]
1500 ]
1501 edge
1502 [
1503 source 22
1504 target 28
1505 graphics
1506 [
1507 fill "#000000"
1508 width 3
1509 targetArrow "standard"
1510 ]
1511 LabelGraphics
1512 [
1513 text "commSubsystem reference CommunicatingElement"
1514 fontSize 14
1515 fontName "Consolas"
1516 configuration "AutoFlippingLabel"
1517 model "six_pos"
1518 position "thead"
1519 ]
1520 ]
1521 edge
1522 [
1523 source 13
1524 target 15
1525 graphics
1526 [
1527 fill "#000000"
1528 width 3
1529 targetArrow "standard"
1530 ]
1531 LabelGraphics
1532 [
1533 text "payload reference Spacecraft"
1534 fontSize 14
1535 fontName "Consolas"
1536 configuration "AutoFlippingLabel"
1537 model "six_pos"
1538 position "thead"
1539 ]
1540 ]
1541 edge
1542 [
1543 source 12
1544 target 18
1545 graphics
1546 [
1547 fill "#000000"
1548 width 3
1549 targetArrow "standard"
1550 ]
1551 LabelGraphics
1552 [
1553 text "payload reference Spacecraft"
1554 fontSize 14
1555 fontName "Consolas"
1556 configuration "AutoFlippingLabel"
1557 model "six_pos"
1558 position "thead"
1559 ]
1560 ]
1561 edge
1562 [
1563 source 17
1564 target 20
1565 graphics
1566 [
1567 fill "#000000"
1568 width 3
1569 targetArrow "standard"
1570 ]
1571 LabelGraphics
1572 [
1573 text "payload reference Spacecraft"
1574 fontSize 14
1575 fontName "Consolas"
1576 configuration "AutoFlippingLabel"
1577 model "six_pos"
1578 position "thead"
1579 ]
1580 ]
1581 edge
1582 [
1583 source 19
1584 target 25
1585 graphics
1586 [
1587 fill "#000000"
1588 width 3
1589 targetArrow "standard"
1590 ]
1591 LabelGraphics
1592 [
1593 text "payload reference Spacecraft"
1594 fontSize 14
1595 fontName "Consolas"
1596 configuration "AutoFlippingLabel"
1597 model "six_pos"
1598 position "thead"
1599 ]
1600 ]
1601 edge
1602 [
1603 source 22
1604 target 26
1605 graphics
1606 [
1607 fill "#000000"
1608 width 3
1609 targetArrow "standard"
1610 ]
1611 LabelGraphics
1612 [
1613 text "payload reference Spacecraft"
1614 fontSize 14
1615 fontName "Consolas"
1616 configuration "AutoFlippingLabel"
1617 model "six_pos"
1618 position "thead"
1619 ]
1620 ]
1621 edge
1622 [
1623 source 8
1624 target 1
1625 graphics
1626 [
1627 fill "#000000"
1628 targetArrow "standard"
1629 ]
1630 LabelGraphics
1631 [
1632 text "band attribute CommSubsystem"
1633 fontSize 14
1634 fontName "Consolas"
1635 configuration "AutoFlippingLabel"
1636 model "six_pos"
1637 position "thead"
1638 ]
1639 ]
1640 edge
1641 [
1642 source 9
1643 target 2
1644 graphics
1645 [
1646 fill "#000000"
1647 targetArrow "standard"
1648 ]
1649 LabelGraphics
1650 [
1651 text "band attribute CommSubsystem"
1652 fontSize 14
1653 fontName "Consolas"
1654 configuration "AutoFlippingLabel"
1655 model "six_pos"
1656 position "thead"
1657 ]
1658 ]
1659 edge
1660 [
1661 source 14
1662 target 0
1663 graphics
1664 [
1665 fill "#000000"
1666 targetArrow "standard"
1667 ]
1668 LabelGraphics
1669 [
1670 text "band attribute CommSubsystem"
1671 fontSize 14
1672 fontName "Consolas"
1673 configuration "AutoFlippingLabel"
1674 model "six_pos"
1675 position "thead"
1676 ]
1677 ]
1678 edge
1679 [
1680 source 16
1681 target 2
1682 graphics
1683 [
1684 fill "#000000"
1685 targetArrow "standard"
1686 ]
1687 LabelGraphics
1688 [
1689 text "band attribute CommSubsystem"
1690 fontSize 14
1691 fontName "Consolas"
1692 configuration "AutoFlippingLabel"
1693 model "six_pos"
1694 position "thead"
1695 ]
1696 ]
1697 edge
1698 [
1699 source 23
1700 target 1
1701 graphics
1702 [
1703 fill "#000000"
1704 targetArrow "standard"
1705 ]
1706 LabelGraphics
1707 [
1708 text "band attribute CommSubsystem"
1709 fontSize 14
1710 fontName "Consolas"
1711 configuration "AutoFlippingLabel"
1712 model "six_pos"
1713 position "thead"
1714 ]
1715 ]
1716 edge
1717 [
1718 source 24
1719 target 2
1720 graphics
1721 [
1722 fill "#000000"
1723 targetArrow "standard"
1724 ]
1725 LabelGraphics
1726 [
1727 text "band attribute CommSubsystem"
1728 fontSize 14
1729 fontName "Consolas"
1730 configuration "AutoFlippingLabel"
1731 model "six_pos"
1732 position "thead"
1733 ]
1734 ]
1735 edge
1736 [
1737 source 27
1738 target 1
1739 graphics
1740 [
1741 fill "#000000"
1742 targetArrow "standard"
1743 ]
1744 LabelGraphics
1745 [
1746 text "band attribute CommSubsystem"
1747 fontSize 14
1748 fontName "Consolas"
1749 configuration "AutoFlippingLabel"
1750 model "six_pos"
1751 position "thead"
1752 ]
1753 ]
1754 edge
1755 [
1756 source 28
1757 target 1
1758 graphics
1759 [
1760 fill "#000000"
1761 targetArrow "standard"
1762 ]
1763 LabelGraphics
1764 [
1765 text "band attribute CommSubsystem"
1766 fontSize 14
1767 fontName "Consolas"
1768 configuration "AutoFlippingLabel"
1769 model "six_pos"
1770 position "thead"
1771 ]
1772 ]
1773 edge
1774 [
1775 source 8
1776 target 4
1777 graphics
1778 [
1779 fill "#000000"
1780 targetArrow "standard"
1781 ]
1782 LabelGraphics
1783 [
1784 text "gain attribute CommSubsystem"
1785 fontSize 14
1786 fontName "Consolas"
1787 configuration "AutoFlippingLabel"
1788 model "six_pos"
1789 position "thead"
1790 ]
1791 ]
1792 edge
1793 [
1794 source 9
1795 target 5
1796 graphics
1797 [
1798 fill "#000000"
1799 targetArrow "standard"
1800 ]
1801 LabelGraphics
1802 [
1803 text "gain attribute CommSubsystem"
1804 fontSize 14
1805 fontName "Consolas"
1806 configuration "AutoFlippingLabel"
1807 model "six_pos"
1808 position "thead"
1809 ]
1810 ]
1811 edge
1812 [
1813 source 14
1814 target 5
1815 graphics
1816 [
1817 fill "#000000"
1818 targetArrow "standard"
1819 ]
1820 LabelGraphics
1821 [
1822 text "gain attribute CommSubsystem"
1823 fontSize 14
1824 fontName "Consolas"
1825 configuration "AutoFlippingLabel"
1826 model "six_pos"
1827 position "thead"
1828 ]
1829 ]
1830 edge
1831 [
1832 source 16
1833 target 3
1834 graphics
1835 [
1836 fill "#000000"
1837 targetArrow "standard"
1838 ]
1839 LabelGraphics
1840 [
1841 text "gain attribute CommSubsystem"
1842 fontSize 14
1843 fontName "Consolas"
1844 configuration "AutoFlippingLabel"
1845 model "six_pos"
1846 position "thead"
1847 ]
1848 ]
1849 edge
1850 [
1851 source 24
1852 target 4
1853 graphics
1854 [
1855 fill "#000000"
1856 targetArrow "standard"
1857 ]
1858 LabelGraphics
1859 [
1860 text "gain attribute CommSubsystem"
1861 fontSize 14
1862 fontName "Consolas"
1863 configuration "AutoFlippingLabel"
1864 model "six_pos"
1865 position "thead"
1866 ]
1867 ]
1868 edge
1869 [
1870 source 23
1871 target 4
1872 graphics
1873 [
1874 fill "#000000"
1875 targetArrow "standard"
1876 ]
1877 LabelGraphics
1878 [
1879 text "gain attribute CommSubsystem"
1880 fontSize 14
1881 fontName "Consolas"
1882 configuration "AutoFlippingLabel"
1883 model "six_pos"
1884 position "thead"
1885 ]
1886 ]
1887 edge
1888 [
1889 source 27
1890 target 4
1891 graphics
1892 [
1893 fill "#000000"
1894 targetArrow "standard"
1895 ]
1896 LabelGraphics
1897 [
1898 text "gain attribute CommSubsystem"
1899 fontSize 14
1900 fontName "Consolas"
1901 configuration "AutoFlippingLabel"
1902 model "six_pos"
1903 position "thead"
1904 ]
1905 ]
1906 edge
1907 [
1908 source 28
1909 target 3
1910 graphics
1911 [
1912 fill "#000000"
1913 targetArrow "standard"
1914 ]
1915 LabelGraphics
1916 [
1917 text "gain attribute CommSubsystem"
1918 fontSize 14
1919 fontName "Consolas"
1920 configuration "AutoFlippingLabel"
1921 model "six_pos"
1922 position "thead"
1923 ]
1924 ]
1925]
1926
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.png
deleted file mode 100644
index 4d65f5ba..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.png
+++ /dev/null
Binary files differ
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.xmi
deleted file mode 100644
index b0c5bef1..00000000
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/5.xmi
+++ /dev/null
@@ -1,30 +0,0 @@
1<?xml version="1.0" encoding="ASCII"?>
2<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite model/satellite.ecore">
3 <groundStationNetwork>
4 <commSubsystem band="X" gain="MEDIUM"/>
5 <commSubsystem band="Ka" gain="HIGH"/>
6 </groundStationNetwork>
7 <spacecraft xsi:type="satellite:CubeSat6U">
8 <commSubsystem band="X" gain="MEDIUM"/>
9 </spacecraft>
10 <spacecraft xsi:type="satellite:CubeSat6U">
11 <commSubsystem gain="HIGH"/>
12 <payload xsi:type="satellite:InterferometryPayload"/>
13 </spacecraft>
14 <spacecraft xsi:type="satellite:SmallSat">
15 <commSubsystem band="X" gain="MEDIUM"/>
16 <payload xsi:type="satellite:InterferometryPayload"/>
17 </spacecraft>
18 <spacecraft xsi:type="satellite:SmallSat">
19 <commSubsystem band="Ka" gain="MEDIUM"/>
20 <payload xsi:type="satellite:InterferometryPayload"/>
21 </spacecraft>
22 <spacecraft xsi:type="satellite:SmallSat">
23 <commSubsystem band="Ka"/>
24 <payload xsi:type="satellite:InterferometryPayload"/>
25 </spacecraft>
26 <spacecraft xsi:type="satellite:SmallSat">
27 <commSubsystem band="X"/>
28 <payload xsi:type="satellite:InterferometryPayload"/>
29 </spacecraft>
30</satellite:InterferometryMission>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-16 07:40:29 +0000