diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml | 213 | ||||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.png | bin | 548270 -> 546742 bytes | |||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.xmi | 36 |
3 files changed, 125 insertions, 124 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml index 8520105c..00045cb3 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml | |||
@@ -308,8 +308,8 @@ graph | |||
308 | id 8 | 308 | id 8 |
309 | graphics | 309 | graphics |
310 | [ | 310 | [ |
311 | w 223.3 | 311 | w 269.5 |
312 | h 54 | 312 | h 68 |
313 | type "rectangle" | 313 | type "rectangle" |
314 | fill "#FFFFFF" | 314 | fill "#FFFFFF" |
315 | fill2 "#FFFFFF" | 315 | fill2 "#FFFFFF" |
@@ -329,8 +329,9 @@ graph | |||
329 | LabelGraphics | 329 | LabelGraphics |
330 | [ | 330 | [ |
331 | text " | 331 | text " |
332 | Payload class | 332 | CommSubsystem class |
333 | InterferometryPayload class | 333 | UHFCommSubsystem class |
334 | CommSubsystem class UndefinedPart | ||
334 | " | 335 | " |
335 | fontSize 14 | 336 | fontSize 14 |
336 | fontName "Consolas" | 337 | fontName "Consolas" |
@@ -345,8 +346,8 @@ graph | |||
345 | id 9 | 346 | id 9 |
346 | graphics | 347 | graphics |
347 | [ | 348 | [ |
348 | w 284.90000000000003 | 349 | w 223.3 |
349 | h 82 | 350 | h 54 |
350 | type "rectangle" | 351 | type "rectangle" |
351 | fill "#FFFFFF" | 352 | fill "#FFFFFF" |
352 | fill2 "#FFFFFF" | 353 | fill2 "#FFFFFF" |
@@ -366,10 +367,8 @@ graph | |||
366 | LabelGraphics | 367 | LabelGraphics |
367 | [ | 368 | [ |
368 | text " | 369 | text " |
369 | CommSubsystem class | 370 | Payload class |
370 | KaCommSubsystem class | 371 | InterferometryPayload class |
371 | CommSubsystem class UndefinedPart | ||
372 | KaCommSubsystem class UndefinedPart | ||
373 | " | 372 | " |
374 | fontSize 14 | 373 | fontSize 14 |
375 | fontName "Consolas" | 374 | fontName "Consolas" |
@@ -385,7 +384,7 @@ graph | |||
385 | graphics | 384 | graphics |
386 | [ | 385 | [ |
387 | w 323.40000000000003 | 386 | w 323.40000000000003 |
388 | h 96 | 387 | h 82 |
389 | type "rectangle" | 388 | type "rectangle" |
390 | fill "#FFFFFF" | 389 | fill "#FFFFFF" |
391 | fill2 "#FFFFFF" | 390 | fill2 "#FFFFFF" |
@@ -407,8 +406,7 @@ graph | |||
407 | text " | 406 | text " |
408 | CommunicatingElement class | 407 | CommunicatingElement class |
409 | Spacecraft class | 408 | Spacecraft class |
410 | CubeSat3U class | 409 | SmallSat class |
411 | CubeSat class | ||
412 | CommunicatingElement class UndefinedPart | 410 | CommunicatingElement class UndefinedPart |
413 | " | 411 | " |
414 | fontSize 14 | 412 | fontSize 14 |
@@ -424,8 +422,8 @@ graph | |||
424 | id 11 | 422 | id 11 |
425 | graphics | 423 | graphics |
426 | [ | 424 | [ |
427 | w 269.5 | 425 | w 277.20000000000005 |
428 | h 68 | 426 | h 82 |
429 | type "rectangle" | 427 | type "rectangle" |
430 | fill "#FFFFFF" | 428 | fill "#FFFFFF" |
431 | fill2 "#FFFFFF" | 429 | fill2 "#FFFFFF" |
@@ -446,8 +444,9 @@ graph | |||
446 | [ | 444 | [ |
447 | text " | 445 | text " |
448 | CommSubsystem class | 446 | CommSubsystem class |
449 | UHFCommSubsystem class | 447 | XCommSubsystem class |
450 | CommSubsystem class UndefinedPart | 448 | CommSubsystem class UndefinedPart |
449 | XCommSubsystem class UndefinedPart | ||
451 | " | 450 | " |
452 | fontSize 14 | 451 | fontSize 14 |
453 | fontName "Consolas" | 452 | fontName "Consolas" |
@@ -462,8 +461,8 @@ graph | |||
462 | id 12 | 461 | id 12 |
463 | graphics | 462 | graphics |
464 | [ | 463 | [ |
465 | w 269.5 | 464 | w 284.90000000000003 |
466 | h 68 | 465 | h 82 |
467 | type "rectangle" | 466 | type "rectangle" |
468 | fill "#FFFFFF" | 467 | fill "#FFFFFF" |
469 | fill2 "#FFFFFF" | 468 | fill2 "#FFFFFF" |
@@ -484,8 +483,9 @@ graph | |||
484 | [ | 483 | [ |
485 | text " | 484 | text " |
486 | CommSubsystem class | 485 | CommSubsystem class |
487 | UHFCommSubsystem class | 486 | KaCommSubsystem class |
488 | CommSubsystem class UndefinedPart | 487 | CommSubsystem class UndefinedPart |
488 | KaCommSubsystem class UndefinedPart | ||
489 | " | 489 | " |
490 | fontSize 14 | 490 | fontSize 14 |
491 | fontName "Consolas" | 491 | fontName "Consolas" |
@@ -560,7 +560,7 @@ graph | |||
560 | text " | 560 | text " |
561 | CommunicatingElement class | 561 | CommunicatingElement class |
562 | Spacecraft class | 562 | Spacecraft class |
563 | CubeSat3U class | 563 | CubeSat6U class |
564 | CubeSat class | 564 | CubeSat class |
565 | CommunicatingElement class UndefinedPart | 565 | CommunicatingElement class UndefinedPart |
566 | " | 566 | " |
@@ -577,8 +577,8 @@ graph | |||
577 | id 15 | 577 | id 15 |
578 | graphics | 578 | graphics |
579 | [ | 579 | [ |
580 | w 223.3 | 580 | w 277.20000000000005 |
581 | h 54 | 581 | h 82 |
582 | type "rectangle" | 582 | type "rectangle" |
583 | fill "#FFFFFF" | 583 | fill "#FFFFFF" |
584 | fill2 "#FFFFFF" | 584 | fill2 "#FFFFFF" |
@@ -598,8 +598,10 @@ graph | |||
598 | LabelGraphics | 598 | LabelGraphics |
599 | [ | 599 | [ |
600 | text " | 600 | text " |
601 | Payload class | 601 | CommSubsystem class |
602 | InterferometryPayload class | 602 | XCommSubsystem class |
603 | CommSubsystem class UndefinedPart | ||
604 | XCommSubsystem class UndefinedPart | ||
603 | " | 605 | " |
604 | fontSize 14 | 606 | fontSize 14 |
605 | fontName "Consolas" | 607 | fontName "Consolas" |
@@ -614,8 +616,8 @@ graph | |||
614 | id 16 | 616 | id 16 |
615 | graphics | 617 | graphics |
616 | [ | 618 | [ |
617 | w 277.20000000000005 | 619 | w 223.3 |
618 | h 82 | 620 | h 54 |
619 | type "rectangle" | 621 | type "rectangle" |
620 | fill "#FFFFFF" | 622 | fill "#FFFFFF" |
621 | fill2 "#FFFFFF" | 623 | fill2 "#FFFFFF" |
@@ -635,10 +637,8 @@ graph | |||
635 | LabelGraphics | 637 | LabelGraphics |
636 | [ | 638 | [ |
637 | text " | 639 | text " |
638 | CommSubsystem class | 640 | Payload class |
639 | XCommSubsystem class | 641 | InterferometryPayload class |
640 | CommSubsystem class UndefinedPart | ||
641 | XCommSubsystem class UndefinedPart | ||
642 | " | 642 | " |
643 | fontSize 14 | 643 | fontSize 14 |
644 | fontName "Consolas" | 644 | fontName "Consolas" |
@@ -731,8 +731,8 @@ graph | |||
731 | id 19 | 731 | id 19 |
732 | graphics | 732 | graphics |
733 | [ | 733 | [ |
734 | w 277.20000000000005 | 734 | w 269.5 |
735 | h 82 | 735 | h 68 |
736 | type "rectangle" | 736 | type "rectangle" |
737 | fill "#FFFFFF" | 737 | fill "#FFFFFF" |
738 | fill2 "#FFFFFF" | 738 | fill2 "#FFFFFF" |
@@ -753,9 +753,8 @@ graph | |||
753 | [ | 753 | [ |
754 | text " | 754 | text " |
755 | CommSubsystem class | 755 | CommSubsystem class |
756 | XCommSubsystem class | 756 | UHFCommSubsystem class |
757 | CommSubsystem class UndefinedPart | 757 | CommSubsystem class UndefinedPart |
758 | XCommSubsystem class UndefinedPart | ||
759 | " | 758 | " |
760 | fontSize 14 | 759 | fontSize 14 |
761 | fontName "Consolas" | 760 | fontName "Consolas" |
@@ -847,7 +846,7 @@ graph | |||
847 | graphics | 846 | graphics |
848 | [ | 847 | [ |
849 | w 323.40000000000003 | 848 | w 323.40000000000003 |
850 | h 82 | 849 | h 96 |
851 | type "rectangle" | 850 | type "rectangle" |
852 | fill "#FFFFFF" | 851 | fill "#FFFFFF" |
853 | fill2 "#FFFFFF" | 852 | fill2 "#FFFFFF" |
@@ -869,7 +868,8 @@ graph | |||
869 | text " | 868 | text " |
870 | CommunicatingElement class | 869 | CommunicatingElement class |
871 | Spacecraft class | 870 | Spacecraft class |
872 | SmallSat class | 871 | CubeSat3U class |
872 | CubeSat class | ||
873 | CommunicatingElement class UndefinedPart | 873 | CommunicatingElement class UndefinedPart |
874 | " | 874 | " |
875 | fontSize 14 | 875 | fontSize 14 |
@@ -885,8 +885,8 @@ graph | |||
885 | id 23 | 885 | id 23 |
886 | graphics | 886 | graphics |
887 | [ | 887 | [ |
888 | w 284.90000000000003 | 888 | w 223.3 |
889 | h 82 | 889 | h 54 |
890 | type "rectangle" | 890 | type "rectangle" |
891 | fill "#FFFFFF" | 891 | fill "#FFFFFF" |
892 | fill2 "#FFFFFF" | 892 | fill2 "#FFFFFF" |
@@ -906,10 +906,8 @@ graph | |||
906 | LabelGraphics | 906 | LabelGraphics |
907 | [ | 907 | [ |
908 | text " | 908 | text " |
909 | CommSubsystem class | 909 | Payload class |
910 | KaCommSubsystem class | 910 | InterferometryPayload class |
911 | CommSubsystem class UndefinedPart | ||
912 | KaCommSubsystem class UndefinedPart | ||
913 | " | 911 | " |
914 | fontSize 14 | 912 | fontSize 14 |
915 | fontName "Consolas" | 913 | fontName "Consolas" |
@@ -924,8 +922,8 @@ graph | |||
924 | id 24 | 922 | id 24 |
925 | graphics | 923 | graphics |
926 | [ | 924 | [ |
927 | w 277.20000000000005 | 925 | w 269.5 |
928 | h 82 | 926 | h 68 |
929 | type "rectangle" | 927 | type "rectangle" |
930 | fill "#FFFFFF" | 928 | fill "#FFFFFF" |
931 | fill2 "#FFFFFF" | 929 | fill2 "#FFFFFF" |
@@ -946,9 +944,8 @@ graph | |||
946 | [ | 944 | [ |
947 | text " | 945 | text " |
948 | CommSubsystem class | 946 | CommSubsystem class |
949 | XCommSubsystem class | 947 | UHFCommSubsystem class |
950 | CommSubsystem class UndefinedPart | 948 | CommSubsystem class UndefinedPart |
951 | XCommSubsystem class UndefinedPart | ||
952 | " | 949 | " |
953 | fontSize 14 | 950 | fontSize 14 |
954 | fontName "Consolas" | 951 | fontName "Consolas" |
@@ -963,8 +960,8 @@ graph | |||
963 | id 25 | 960 | id 25 |
964 | graphics | 961 | graphics |
965 | [ | 962 | [ |
966 | w 223.3 | 963 | w 277.20000000000005 |
967 | h 54 | 964 | h 82 |
968 | type "rectangle" | 965 | type "rectangle" |
969 | fill "#FFFFFF" | 966 | fill "#FFFFFF" |
970 | fill2 "#FFFFFF" | 967 | fill2 "#FFFFFF" |
@@ -984,8 +981,10 @@ graph | |||
984 | LabelGraphics | 981 | LabelGraphics |
985 | [ | 982 | [ |
986 | text " | 983 | text " |
987 | Payload class | 984 | CommSubsystem class |
988 | InterferometryPayload class | 985 | XCommSubsystem class |
986 | CommSubsystem class UndefinedPart | ||
987 | XCommSubsystem class UndefinedPart | ||
989 | " | 988 | " |
990 | fontSize 14 | 989 | fontSize 14 |
991 | fontName "Consolas" | 990 | fontName "Consolas" |
@@ -1040,8 +1039,8 @@ graph | |||
1040 | id 27 | 1039 | id 27 |
1041 | graphics | 1040 | graphics |
1042 | [ | 1041 | [ |
1043 | w 269.5 | 1042 | w 223.3 |
1044 | h 68 | 1043 | h 54 |
1045 | type "rectangle" | 1044 | type "rectangle" |
1046 | fill "#FFFFFF" | 1045 | fill "#FFFFFF" |
1047 | fill2 "#FFFFFF" | 1046 | fill2 "#FFFFFF" |
@@ -1061,9 +1060,8 @@ graph | |||
1061 | LabelGraphics | 1060 | LabelGraphics |
1062 | [ | 1061 | [ |
1063 | text " | 1062 | text " |
1064 | CommSubsystem class | 1063 | Payload class |
1065 | UHFCommSubsystem class | 1064 | InterferometryPayload class |
1066 | CommSubsystem class UndefinedPart | ||
1067 | " | 1065 | " |
1068 | fontSize 14 | 1066 | fontSize 14 |
1069 | fontName "Consolas" | 1067 | fontName "Consolas" |
@@ -1078,8 +1076,8 @@ graph | |||
1078 | id 28 | 1076 | id 28 |
1079 | graphics | 1077 | graphics |
1080 | [ | 1078 | [ |
1081 | w 269.5 | 1079 | w 277.20000000000005 |
1082 | h 68 | 1080 | h 82 |
1083 | type "rectangle" | 1081 | type "rectangle" |
1084 | fill "#FFFFFF" | 1082 | fill "#FFFFFF" |
1085 | fill2 "#FFFFFF" | 1083 | fill2 "#FFFFFF" |
@@ -1100,8 +1098,9 @@ graph | |||
1100 | [ | 1098 | [ |
1101 | text " | 1099 | text " |
1102 | CommSubsystem class | 1100 | CommSubsystem class |
1103 | UHFCommSubsystem class | 1101 | XCommSubsystem class |
1104 | CommSubsystem class UndefinedPart | 1102 | CommSubsystem class UndefinedPart |
1103 | XCommSubsystem class UndefinedPart | ||
1105 | " | 1104 | " |
1106 | fontSize 14 | 1105 | fontSize 14 |
1107 | fontName "Consolas" | 1106 | fontName "Consolas" |
@@ -1116,8 +1115,8 @@ graph | |||
1116 | id 29 | 1115 | id 29 |
1117 | graphics | 1116 | graphics |
1118 | [ | 1117 | [ |
1119 | w 223.3 | 1118 | w 269.5 |
1120 | h 54 | 1119 | h 68 |
1121 | type "rectangle" | 1120 | type "rectangle" |
1122 | fill "#FFFFFF" | 1121 | fill "#FFFFFF" |
1123 | fill2 "#FFFFFF" | 1122 | fill2 "#FFFFFF" |
@@ -1137,8 +1136,9 @@ graph | |||
1137 | LabelGraphics | 1136 | LabelGraphics |
1138 | [ | 1137 | [ |
1139 | text " | 1138 | text " |
1140 | Payload class | 1139 | CommSubsystem class |
1141 | InterferometryPayload class | 1140 | UHFCommSubsystem class |
1141 | CommSubsystem class UndefinedPart | ||
1142 | " | 1142 | " |
1143 | fontSize 14 | 1143 | fontSize 14 |
1144 | fontName "Consolas" | 1144 | fontName "Consolas" |
@@ -1154,7 +1154,7 @@ graph | |||
1154 | graphics | 1154 | graphics |
1155 | [ | 1155 | [ |
1156 | w 323.40000000000003 | 1156 | w 323.40000000000003 |
1157 | h 96 | 1157 | h 82 |
1158 | type "rectangle" | 1158 | type "rectangle" |
1159 | fill "#FFFFFF" | 1159 | fill "#FFFFFF" |
1160 | fill2 "#FFFFFF" | 1160 | fill2 "#FFFFFF" |
@@ -1176,8 +1176,7 @@ graph | |||
1176 | text " | 1176 | text " |
1177 | CommunicatingElement class | 1177 | CommunicatingElement class |
1178 | Spacecraft class | 1178 | Spacecraft class |
1179 | CubeSat6U class | 1179 | SmallSat class |
1180 | CubeSat class | ||
1181 | CommunicatingElement class UndefinedPart | 1180 | CommunicatingElement class UndefinedPart |
1182 | " | 1181 | " |
1183 | fontSize 14 | 1182 | fontSize 14 |
@@ -1193,8 +1192,8 @@ graph | |||
1193 | id 31 | 1192 | id 31 |
1194 | graphics | 1193 | graphics |
1195 | [ | 1194 | [ |
1196 | w 269.5 | 1195 | w 284.90000000000003 |
1197 | h 68 | 1196 | h 82 |
1198 | type "rectangle" | 1197 | type "rectangle" |
1199 | fill "#FFFFFF" | 1198 | fill "#FFFFFF" |
1200 | fill2 "#FFFFFF" | 1199 | fill2 "#FFFFFF" |
@@ -1215,8 +1214,9 @@ graph | |||
1215 | [ | 1214 | [ |
1216 | text " | 1215 | text " |
1217 | CommSubsystem class | 1216 | CommSubsystem class |
1218 | UHFCommSubsystem class | 1217 | KaCommSubsystem class |
1219 | CommSubsystem class UndefinedPart | 1218 | CommSubsystem class UndefinedPart |
1219 | KaCommSubsystem class UndefinedPart | ||
1220 | " | 1220 | " |
1221 | fontSize 14 | 1221 | fontSize 14 |
1222 | fontName "Consolas" | 1222 | fontName "Consolas" |
@@ -1231,8 +1231,8 @@ graph | |||
1231 | id 32 | 1231 | id 32 |
1232 | graphics | 1232 | graphics |
1233 | [ | 1233 | [ |
1234 | w 277.20000000000005 | 1234 | w 223.3 |
1235 | h 82 | 1235 | h 54 |
1236 | type "rectangle" | 1236 | type "rectangle" |
1237 | fill "#FFFFFF" | 1237 | fill "#FFFFFF" |
1238 | fill2 "#FFFFFF" | 1238 | fill2 "#FFFFFF" |
@@ -1252,10 +1252,8 @@ graph | |||
1252 | LabelGraphics | 1252 | LabelGraphics |
1253 | [ | 1253 | [ |
1254 | text " | 1254 | text " |
1255 | CommSubsystem class | 1255 | Payload class |
1256 | XCommSubsystem class | 1256 | InterferometryPayload class |
1257 | CommSubsystem class UndefinedPart | ||
1258 | XCommSubsystem class UndefinedPart | ||
1259 | " | 1257 | " |
1260 | fontSize 14 | 1258 | fontSize 14 |
1261 | fontName "Consolas" | 1259 | fontName "Consolas" |
@@ -1270,8 +1268,8 @@ graph | |||
1270 | id 33 | 1268 | id 33 |
1271 | graphics | 1269 | graphics |
1272 | [ | 1270 | [ |
1273 | w 223.3 | 1271 | w 284.90000000000003 |
1274 | h 54 | 1272 | h 82 |
1275 | type "rectangle" | 1273 | type "rectangle" |
1276 | fill "#FFFFFF" | 1274 | fill "#FFFFFF" |
1277 | fill2 "#FFFFFF" | 1275 | fill2 "#FFFFFF" |
@@ -1291,8 +1289,10 @@ graph | |||
1291 | LabelGraphics | 1289 | LabelGraphics |
1292 | [ | 1290 | [ |
1293 | text " | 1291 | text " |
1294 | Payload class | 1292 | CommSubsystem class |
1295 | InterferometryPayload class | 1293 | KaCommSubsystem class |
1294 | CommSubsystem class UndefinedPart | ||
1295 | KaCommSubsystem class UndefinedPart | ||
1296 | " | 1296 | " |
1297 | fontSize 14 | 1297 | fontSize 14 |
1298 | fontName "Consolas" | 1298 | fontName "Consolas" |
@@ -1422,8 +1422,8 @@ graph | |||
1422 | id 37 | 1422 | id 37 |
1423 | graphics | 1423 | graphics |
1424 | [ | 1424 | [ |
1425 | w 269.5 | 1425 | w 277.20000000000005 |
1426 | h 68 | 1426 | h 82 |
1427 | type "rectangle" | 1427 | type "rectangle" |
1428 | fill "#FFFFFF" | 1428 | fill "#FFFFFF" |
1429 | fill2 "#FFFFFF" | 1429 | fill2 "#FFFFFF" |
@@ -1444,8 +1444,9 @@ graph | |||
1444 | [ | 1444 | [ |
1445 | text " | 1445 | text " |
1446 | CommSubsystem class | 1446 | CommSubsystem class |
1447 | UHFCommSubsystem class | 1447 | XCommSubsystem class |
1448 | CommSubsystem class UndefinedPart | 1448 | CommSubsystem class UndefinedPart |
1449 | XCommSubsystem class UndefinedPart | ||
1449 | " | 1450 | " |
1450 | fontSize 14 | 1451 | fontSize 14 |
1451 | fontName "Consolas" | 1452 | fontName "Consolas" |
@@ -1837,7 +1838,7 @@ graph | |||
1837 | edge | 1838 | edge |
1838 | [ | 1839 | [ |
1839 | source 6 | 1840 | source 6 |
1840 | target 9 | 1841 | target 8 |
1841 | graphics | 1842 | graphics |
1842 | [ | 1843 | [ |
1843 | fill "#000000" | 1844 | fill "#000000" |
@@ -1897,7 +1898,7 @@ graph | |||
1897 | edge | 1898 | edge |
1898 | [ | 1899 | [ |
1899 | source 14 | 1900 | source 14 |
1900 | target 16 | 1901 | target 15 |
1901 | graphics | 1902 | graphics |
1902 | [ | 1903 | [ |
1903 | fill "#000000" | 1904 | fill "#000000" |
@@ -1977,7 +1978,7 @@ graph | |||
1977 | edge | 1978 | edge |
1978 | [ | 1979 | [ |
1979 | source 22 | 1980 | source 22 |
1980 | target 23 | 1981 | target 24 |
1981 | graphics | 1982 | graphics |
1982 | [ | 1983 | [ |
1983 | fill "#000000" | 1984 | fill "#000000" |
@@ -1997,7 +1998,7 @@ graph | |||
1997 | edge | 1998 | edge |
1998 | [ | 1999 | [ |
1999 | source 22 | 2000 | source 22 |
2000 | target 24 | 2001 | target 25 |
2001 | graphics | 2002 | graphics |
2002 | [ | 2003 | [ |
2003 | fill "#000000" | 2004 | fill "#000000" |
@@ -2017,7 +2018,7 @@ graph | |||
2017 | edge | 2018 | edge |
2018 | [ | 2019 | [ |
2019 | source 26 | 2020 | source 26 |
2020 | target 27 | 2021 | target 28 |
2021 | graphics | 2022 | graphics |
2022 | [ | 2023 | [ |
2023 | fill "#000000" | 2024 | fill "#000000" |
@@ -2037,7 +2038,7 @@ graph | |||
2037 | edge | 2038 | edge |
2038 | [ | 2039 | [ |
2039 | source 26 | 2040 | source 26 |
2040 | target 28 | 2041 | target 29 |
2041 | graphics | 2042 | graphics |
2042 | [ | 2043 | [ |
2043 | fill "#000000" | 2044 | fill "#000000" |
@@ -2077,7 +2078,7 @@ graph | |||
2077 | edge | 2078 | edge |
2078 | [ | 2079 | [ |
2079 | source 30 | 2080 | source 30 |
2080 | target 32 | 2081 | target 33 |
2081 | graphics | 2082 | graphics |
2082 | [ | 2083 | [ |
2083 | fill "#000000" | 2084 | fill "#000000" |
@@ -2137,7 +2138,7 @@ graph | |||
2137 | edge | 2138 | edge |
2138 | [ | 2139 | [ |
2139 | source 6 | 2140 | source 6 |
2140 | target 8 | 2141 | target 9 |
2141 | graphics | 2142 | graphics |
2142 | [ | 2143 | [ |
2143 | fill "#000000" | 2144 | fill "#000000" |
@@ -2177,7 +2178,7 @@ graph | |||
2177 | edge | 2178 | edge |
2178 | [ | 2179 | [ |
2179 | source 14 | 2180 | source 14 |
2180 | target 15 | 2181 | target 16 |
2181 | graphics | 2182 | graphics |
2182 | [ | 2183 | [ |
2183 | fill "#000000" | 2184 | fill "#000000" |
@@ -2217,7 +2218,7 @@ graph | |||
2217 | edge | 2218 | edge |
2218 | [ | 2219 | [ |
2219 | source 22 | 2220 | source 22 |
2220 | target 25 | 2221 | target 23 |
2221 | graphics | 2222 | graphics |
2222 | [ | 2223 | [ |
2223 | fill "#000000" | 2224 | fill "#000000" |
@@ -2237,7 +2238,7 @@ graph | |||
2237 | edge | 2238 | edge |
2238 | [ | 2239 | [ |
2239 | source 26 | 2240 | source 26 |
2240 | target 29 | 2241 | target 27 |
2241 | graphics | 2242 | graphics |
2242 | [ | 2243 | [ |
2243 | fill "#000000" | 2244 | fill "#000000" |
@@ -2257,7 +2258,7 @@ graph | |||
2257 | edge | 2258 | edge |
2258 | [ | 2259 | [ |
2259 | source 30 | 2260 | source 30 |
2260 | target 33 | 2261 | target 32 |
2261 | graphics | 2262 | graphics |
2262 | [ | 2263 | [ |
2263 | fill "#000000" | 2264 | fill "#000000" |
@@ -2296,8 +2297,8 @@ graph | |||
2296 | ] | 2297 | ] |
2297 | edge | 2298 | edge |
2298 | [ | 2299 | [ |
2299 | source 9 | 2300 | source 11 |
2300 | target 3 | 2301 | target 2 |
2301 | graphics | 2302 | graphics |
2302 | [ | 2303 | [ |
2303 | fill "#000000" | 2304 | fill "#000000" |
@@ -2315,8 +2316,8 @@ graph | |||
2315 | ] | 2316 | ] |
2316 | edge | 2317 | edge |
2317 | [ | 2318 | [ |
2318 | source 11 | 2319 | source 15 |
2319 | target 7 | 2320 | target 2 |
2320 | graphics | 2321 | graphics |
2321 | [ | 2322 | [ |
2322 | fill "#000000" | 2323 | fill "#000000" |
@@ -2334,8 +2335,8 @@ graph | |||
2334 | ] | 2335 | ] |
2335 | edge | 2336 | edge |
2336 | [ | 2337 | [ |
2337 | source 17 | 2338 | source 8 |
2338 | target 11 | 2339 | target 17 |
2339 | graphics | 2340 | graphics |
2340 | [ | 2341 | [ |
2341 | fill "#000000" | 2342 | fill "#000000" |
@@ -2353,8 +2354,8 @@ graph | |||
2353 | ] | 2354 | ] |
2354 | edge | 2355 | edge |
2355 | [ | 2356 | [ |
2356 | source 23 | 2357 | source 19 |
2357 | target 9 | 2358 | target 8 |
2358 | graphics | 2359 | graphics |
2359 | [ | 2360 | [ |
2360 | fill "#000000" | 2361 | fill "#000000" |
@@ -2372,8 +2373,8 @@ graph | |||
2372 | ] | 2373 | ] |
2373 | edge | 2374 | edge |
2374 | [ | 2375 | [ |
2375 | source 19 | 2376 | source 24 |
2376 | target 2 | 2377 | target 8 |
2377 | graphics | 2378 | graphics |
2378 | [ | 2379 | [ |
2379 | fill "#000000" | 2380 | fill "#000000" |
@@ -2392,7 +2393,7 @@ graph | |||
2392 | edge | 2393 | edge |
2393 | [ | 2394 | [ |
2394 | source 28 | 2395 | source 28 |
2395 | target 12 | 2396 | target 2 |
2396 | graphics | 2397 | graphics |
2397 | [ | 2398 | [ |
2398 | fill "#000000" | 2399 | fill "#000000" |
@@ -2411,7 +2412,7 @@ graph | |||
2411 | edge | 2412 | edge |
2412 | [ | 2413 | [ |
2413 | source 31 | 2414 | source 31 |
2414 | target 11 | 2415 | target 12 |
2415 | graphics | 2416 | graphics |
2416 | [ | 2417 | [ |
2417 | fill "#000000" | 2418 | fill "#000000" |
@@ -2430,7 +2431,7 @@ graph | |||
2430 | edge | 2431 | edge |
2431 | [ | 2432 | [ |
2432 | source 35 | 2433 | source 35 |
2433 | target 9 | 2434 | target 3 |
2434 | graphics | 2435 | graphics |
2435 | [ | 2436 | [ |
2436 | fill "#000000" | 2437 | fill "#000000" |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.png index be69c5cc..5a090707 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.png +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.png | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.xmi index bd5bb4e3..fe90db85 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.xmi +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.xmi | |||
@@ -4,44 +4,44 @@ | |||
4 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> | 4 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
6 | </groundStationNetwork> | 6 | </groundStationNetwork> |
7 | <spacecraft xsi:type="satellite:CubeSat3U"> | 7 | <spacecraft xsi:type="satellite:CubeSat6U"> |
8 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 8 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
9 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/> | 9 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> |
10 | <payload xsi:type="satellite:InterferometryPayload"/> | 10 | <payload xsi:type="satellite:InterferometryPayload"/> |
11 | </spacecraft> | 11 | </spacecraft> |
12 | <spacecraft xsi:type="satellite:SmallSat"> | 12 | <spacecraft xsi:type="satellite:SmallSat"> |
13 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | 13 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
14 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 14 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/> |
15 | <payload xsi:type="satellite:InterferometryPayload"/> | 15 | <payload xsi:type="satellite:InterferometryPayload"/> |
16 | </spacecraft> | 16 | </spacecraft> |
17 | <spacecraft xsi:type="satellite:CubeSat3U"> | 17 | <spacecraft xsi:type="satellite:CubeSat6U"> |
18 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | ||
19 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | 18 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> |
19 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | ||
20 | <payload xsi:type="satellite:InterferometryPayload"/> | 20 | <payload xsi:type="satellite:InterferometryPayload"/> |
21 | </spacecraft> | 21 | </spacecraft> |
22 | <spacecraft xsi:type="satellite:SmallSat"> | 22 | <spacecraft xsi:type="satellite:SmallSat"> |
23 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/> | 23 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.2/@commSubsystem.1"/> |
24 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 24 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
25 | <payload xsi:type="satellite:InterferometryPayload"/> | 25 | <payload xsi:type="satellite:InterferometryPayload"/> |
26 | </spacecraft> | 26 | </spacecraft> |
27 | <spacecraft xsi:type="satellite:SmallSat"> | 27 | <spacecraft xsi:type="satellite:CubeSat3U"> |
28 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
29 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 28 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
29 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
30 | <payload xsi:type="satellite:InterferometryPayload"/> | 30 | <payload xsi:type="satellite:InterferometryPayload"/> |
31 | </spacecraft> | 31 | </spacecraft> |
32 | <spacecraft xsi:type="satellite:CubeSat6U"> | 32 | <spacecraft xsi:type="satellite:CubeSat3U"> |
33 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/> | 33 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> |
34 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 34 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
35 | <payload xsi:type="satellite:InterferometryPayload"/> | 35 | <payload xsi:type="satellite:InterferometryPayload"/> |
36 | </spacecraft> | 36 | </spacecraft> |
37 | <spacecraft xsi:type="satellite:CubeSat3U"> | 37 | <spacecraft xsi:type="satellite:SmallSat"> |
38 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/> | 38 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> |
39 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 39 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
40 | <payload xsi:type="satellite:InterferometryPayload"/> | 40 | <payload xsi:type="satellite:InterferometryPayload"/> |
41 | </spacecraft> | 41 | </spacecraft> |
42 | <spacecraft xsi:type="satellite:CubeSat6U"> | 42 | <spacecraft xsi:type="satellite:SmallSat"> |
43 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.1"/> | 43 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
44 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 44 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.6/@commSubsystem.1"/> |
45 | <payload xsi:type="satellite:InterferometryPayload"/> | 45 | <payload xsi:type="satellite:InterferometryPayload"/> |
46 | </spacecraft> | 46 | </spacecraft> |
47 | </satellite:InterferometryMission> | 47 | </satellite:InterferometryMission> |