diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-15 20:56:47 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-15 20:56:47 -0400 |
commit | c0c5a1644cc221352b8b9b370eea6a87677ba948 (patch) | |
tree | 4b1412577c568440b7098dc31691438ebc8e7e9d /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4 | |
parent | Bump MDEOptimizer version (diff) | |
download | VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.gz VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.zst VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.zip |
Try fix statecode bug
Modified graph width calculation to not depend on order of nodes
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.gml | 241 | ||||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.png | bin | 606191 -> 662713 bytes | |||
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi | 32 |
3 files changed, 136 insertions, 137 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.gml index 06f2d5b6..1329cc70 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.gml +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.gml | |||
@@ -271,8 +271,8 @@ graph | |||
271 | id 7 | 271 | id 7 |
272 | graphics | 272 | graphics |
273 | [ | 273 | [ |
274 | w 277.20000000000005 | 274 | w 269.5 |
275 | h 82 | 275 | h 68 |
276 | type "rectangle" | 276 | type "rectangle" |
277 | fill "#FFFFFF" | 277 | fill "#FFFFFF" |
278 | fill2 "#FFFFFF" | 278 | fill2 "#FFFFFF" |
@@ -293,9 +293,8 @@ graph | |||
293 | [ | 293 | [ |
294 | text " | 294 | text " |
295 | CommSubsystem class | 295 | CommSubsystem class |
296 | XCommSubsystem class | 296 | UHFCommSubsystem class |
297 | CommSubsystem class UndefinedPart | 297 | CommSubsystem class UndefinedPart |
298 | XCommSubsystem class UndefinedPart | ||
299 | " | 298 | " |
300 | fontSize 14 | 299 | fontSize 14 |
301 | fontName "Consolas" | 300 | fontName "Consolas" |
@@ -347,8 +346,8 @@ graph | |||
347 | id 9 | 346 | id 9 |
348 | graphics | 347 | graphics |
349 | [ | 348 | [ |
350 | w 269.5 | 349 | w 277.20000000000005 |
351 | h 68 | 350 | h 82 |
352 | type "rectangle" | 351 | type "rectangle" |
353 | fill "#FFFFFF" | 352 | fill "#FFFFFF" |
354 | fill2 "#FFFFFF" | 353 | fill2 "#FFFFFF" |
@@ -369,8 +368,9 @@ graph | |||
369 | [ | 368 | [ |
370 | text " | 369 | text " |
371 | CommSubsystem class | 370 | CommSubsystem class |
372 | UHFCommSubsystem class | 371 | XCommSubsystem class |
373 | CommSubsystem class UndefinedPart | 372 | CommSubsystem class UndefinedPart |
373 | XCommSubsystem class UndefinedPart | ||
374 | " | 374 | " |
375 | fontSize 14 | 375 | fontSize 14 |
376 | fontName "Consolas" | 376 | fontName "Consolas" |
@@ -386,7 +386,7 @@ graph | |||
386 | graphics | 386 | graphics |
387 | [ | 387 | [ |
388 | w 323.40000000000003 | 388 | w 323.40000000000003 |
389 | h 96 | 389 | h 82 |
390 | type "rectangle" | 390 | type "rectangle" |
391 | fill "#FFFFFF" | 391 | fill "#FFFFFF" |
392 | fill2 "#FFFFFF" | 392 | fill2 "#FFFFFF" |
@@ -408,8 +408,7 @@ graph | |||
408 | text " | 408 | text " |
409 | CommunicatingElement class | 409 | CommunicatingElement class |
410 | Spacecraft class | 410 | Spacecraft class |
411 | CubeSat3U class | 411 | SmallSat class |
412 | CubeSat class | ||
413 | CommunicatingElement class UndefinedPart | 412 | CommunicatingElement class UndefinedPart |
414 | " | 413 | " |
415 | fontSize 14 | 414 | fontSize 14 |
@@ -425,8 +424,8 @@ graph | |||
425 | id 11 | 424 | id 11 |
426 | graphics | 425 | graphics |
427 | [ | 426 | [ |
428 | w 223.3 | 427 | w 277.20000000000005 |
429 | h 54 | 428 | h 82 |
430 | type "rectangle" | 429 | type "rectangle" |
431 | fill "#FFFFFF" | 430 | fill "#FFFFFF" |
432 | fill2 "#FFFFFF" | 431 | fill2 "#FFFFFF" |
@@ -446,8 +445,10 @@ graph | |||
446 | LabelGraphics | 445 | LabelGraphics |
447 | [ | 446 | [ |
448 | text " | 447 | text " |
449 | Payload class | 448 | CommSubsystem class |
450 | InterferometryPayload class | 449 | XCommSubsystem class |
450 | CommSubsystem class UndefinedPart | ||
451 | XCommSubsystem class UndefinedPart | ||
451 | " | 452 | " |
452 | fontSize 14 | 453 | fontSize 14 |
453 | fontName "Consolas" | 454 | fontName "Consolas" |
@@ -501,8 +502,8 @@ graph | |||
501 | id 13 | 502 | id 13 |
502 | graphics | 503 | graphics |
503 | [ | 504 | [ |
504 | w 323.40000000000003 | 505 | w 223.3 |
505 | h 96 | 506 | h 54 |
506 | type "rectangle" | 507 | type "rectangle" |
507 | fill "#FFFFFF" | 508 | fill "#FFFFFF" |
508 | fill2 "#FFFFFF" | 509 | fill2 "#FFFFFF" |
@@ -522,11 +523,8 @@ graph | |||
522 | LabelGraphics | 523 | LabelGraphics |
523 | [ | 524 | [ |
524 | text " | 525 | text " |
525 | CommunicatingElement class | 526 | Payload class |
526 | Spacecraft class | 527 | InterferometryPayload class |
527 | CubeSat6U class | ||
528 | CubeSat class | ||
529 | CommunicatingElement class UndefinedPart | ||
530 | " | 528 | " |
531 | fontSize 14 | 529 | fontSize 14 |
532 | fontName "Consolas" | 530 | fontName "Consolas" |
@@ -541,8 +539,8 @@ graph | |||
541 | id 14 | 539 | id 14 |
542 | graphics | 540 | graphics |
543 | [ | 541 | [ |
544 | w 277.20000000000005 | 542 | w 323.40000000000003 |
545 | h 82 | 543 | h 96 |
546 | type "rectangle" | 544 | type "rectangle" |
547 | fill "#FFFFFF" | 545 | fill "#FFFFFF" |
548 | fill2 "#FFFFFF" | 546 | fill2 "#FFFFFF" |
@@ -562,10 +560,11 @@ graph | |||
562 | LabelGraphics | 560 | LabelGraphics |
563 | [ | 561 | [ |
564 | text " | 562 | text " |
565 | CommSubsystem class | 563 | CommunicatingElement class |
566 | XCommSubsystem class | 564 | Spacecraft class |
567 | CommSubsystem class UndefinedPart | 565 | CubeSat3U class |
568 | XCommSubsystem class UndefinedPart | 566 | CubeSat class |
567 | CommunicatingElement class UndefinedPart | ||
569 | " | 568 | " |
570 | fontSize 14 | 569 | fontSize 14 |
571 | fontName "Consolas" | 570 | fontName "Consolas" |
@@ -580,8 +579,8 @@ graph | |||
580 | id 15 | 579 | id 15 |
581 | graphics | 580 | graphics |
582 | [ | 581 | [ |
583 | w 277.20000000000005 | 582 | w 269.5 |
584 | h 82 | 583 | h 68 |
585 | type "rectangle" | 584 | type "rectangle" |
586 | fill "#FFFFFF" | 585 | fill "#FFFFFF" |
587 | fill2 "#FFFFFF" | 586 | fill2 "#FFFFFF" |
@@ -602,9 +601,8 @@ graph | |||
602 | [ | 601 | [ |
603 | text " | 602 | text " |
604 | CommSubsystem class | 603 | CommSubsystem class |
605 | XCommSubsystem class | 604 | UHFCommSubsystem class |
606 | CommSubsystem class UndefinedPart | 605 | CommSubsystem class UndefinedPart |
607 | XCommSubsystem class UndefinedPart | ||
608 | " | 606 | " |
609 | fontSize 14 | 607 | fontSize 14 |
610 | fontName "Consolas" | 608 | fontName "Consolas" |
@@ -619,8 +617,8 @@ graph | |||
619 | id 16 | 617 | id 16 |
620 | graphics | 618 | graphics |
621 | [ | 619 | [ |
622 | w 277.20000000000005 | 620 | w 269.5 |
623 | h 82 | 621 | h 68 |
624 | type "rectangle" | 622 | type "rectangle" |
625 | fill "#FFFFFF" | 623 | fill "#FFFFFF" |
626 | fill2 "#FFFFFF" | 624 | fill2 "#FFFFFF" |
@@ -641,9 +639,8 @@ graph | |||
641 | [ | 639 | [ |
642 | text " | 640 | text " |
643 | CommSubsystem class | 641 | CommSubsystem class |
644 | XCommSubsystem class | 642 | UHFCommSubsystem class |
645 | CommSubsystem class UndefinedPart | 643 | CommSubsystem class UndefinedPart |
646 | XCommSubsystem class UndefinedPart | ||
647 | " | 644 | " |
648 | fontSize 14 | 645 | fontSize 14 |
649 | fontName "Consolas" | 646 | fontName "Consolas" |
@@ -734,7 +731,7 @@ graph | |||
734 | id 19 | 731 | id 19 |
735 | graphics | 732 | graphics |
736 | [ | 733 | [ |
737 | w 284.90000000000003 | 734 | w 277.20000000000005 |
738 | h 82 | 735 | h 82 |
739 | type "rectangle" | 736 | type "rectangle" |
740 | fill "#FFFFFF" | 737 | fill "#FFFFFF" |
@@ -756,9 +753,9 @@ graph | |||
756 | [ | 753 | [ |
757 | text " | 754 | text " |
758 | CommSubsystem class | 755 | CommSubsystem class |
759 | KaCommSubsystem class | 756 | XCommSubsystem class |
760 | CommSubsystem class UndefinedPart | 757 | CommSubsystem class UndefinedPart |
761 | KaCommSubsystem class UndefinedPart | 758 | XCommSubsystem class UndefinedPart |
762 | " | 759 | " |
763 | fontSize 14 | 760 | fontSize 14 |
764 | fontName "Consolas" | 761 | fontName "Consolas" |
@@ -773,8 +770,8 @@ graph | |||
773 | id 20 | 770 | id 20 |
774 | graphics | 771 | graphics |
775 | [ | 772 | [ |
776 | w 223.3 | 773 | w 284.90000000000003 |
777 | h 54 | 774 | h 82 |
778 | type "rectangle" | 775 | type "rectangle" |
779 | fill "#FFFFFF" | 776 | fill "#FFFFFF" |
780 | fill2 "#FFFFFF" | 777 | fill2 "#FFFFFF" |
@@ -794,8 +791,10 @@ graph | |||
794 | LabelGraphics | 791 | LabelGraphics |
795 | [ | 792 | [ |
796 | text " | 793 | text " |
797 | Payload class | 794 | CommSubsystem class |
798 | InterferometryPayload class | 795 | KaCommSubsystem class |
796 | CommSubsystem class UndefinedPart | ||
797 | KaCommSubsystem class UndefinedPart | ||
799 | " | 798 | " |
800 | fontSize 14 | 799 | fontSize 14 |
801 | fontName "Consolas" | 800 | fontName "Consolas" |
@@ -810,8 +809,8 @@ graph | |||
810 | id 21 | 809 | id 21 |
811 | graphics | 810 | graphics |
812 | [ | 811 | [ |
813 | w 323.40000000000003 | 812 | w 223.3 |
814 | h 82 | 813 | h 54 |
815 | type "rectangle" | 814 | type "rectangle" |
816 | fill "#FFFFFF" | 815 | fill "#FFFFFF" |
817 | fill2 "#FFFFFF" | 816 | fill2 "#FFFFFF" |
@@ -831,10 +830,8 @@ graph | |||
831 | LabelGraphics | 830 | LabelGraphics |
832 | [ | 831 | [ |
833 | text " | 832 | text " |
834 | CommunicatingElement class | 833 | Payload class |
835 | Spacecraft class | 834 | InterferometryPayload class |
836 | SmallSat class | ||
837 | CommunicatingElement class UndefinedPart | ||
838 | " | 835 | " |
839 | fontSize 14 | 836 | fontSize 14 |
840 | fontName "Consolas" | 837 | fontName "Consolas" |
@@ -849,8 +846,8 @@ graph | |||
849 | id 22 | 846 | id 22 |
850 | graphics | 847 | graphics |
851 | [ | 848 | [ |
852 | w 269.5 | 849 | w 323.40000000000003 |
853 | h 68 | 850 | h 82 |
854 | type "rectangle" | 851 | type "rectangle" |
855 | fill "#FFFFFF" | 852 | fill "#FFFFFF" |
856 | fill2 "#FFFFFF" | 853 | fill2 "#FFFFFF" |
@@ -870,9 +867,10 @@ graph | |||
870 | LabelGraphics | 867 | LabelGraphics |
871 | [ | 868 | [ |
872 | text " | 869 | text " |
873 | CommSubsystem class | 870 | CommunicatingElement class |
874 | UHFCommSubsystem class | 871 | Spacecraft class |
875 | CommSubsystem class UndefinedPart | 872 | SmallSat class |
873 | CommunicatingElement class UndefinedPart | ||
876 | " | 874 | " |
877 | fontSize 14 | 875 | fontSize 14 |
878 | fontName "Consolas" | 876 | fontName "Consolas" |
@@ -926,8 +924,8 @@ graph | |||
926 | id 24 | 924 | id 24 |
927 | graphics | 925 | graphics |
928 | [ | 926 | [ |
929 | w 277.20000000000005 | 927 | w 269.5 |
930 | h 82 | 928 | h 68 |
931 | type "rectangle" | 929 | type "rectangle" |
932 | fill "#FFFFFF" | 930 | fill "#FFFFFF" |
933 | fill2 "#FFFFFF" | 931 | fill2 "#FFFFFF" |
@@ -948,9 +946,8 @@ graph | |||
948 | [ | 946 | [ |
949 | text " | 947 | text " |
950 | CommSubsystem class | 948 | CommSubsystem class |
951 | XCommSubsystem class | 949 | UHFCommSubsystem class |
952 | CommSubsystem class UndefinedPart | 950 | CommSubsystem class UndefinedPart |
953 | XCommSubsystem class UndefinedPart | ||
954 | " | 951 | " |
955 | fontSize 14 | 952 | fontSize 14 |
956 | fontName "Consolas" | 953 | fontName "Consolas" |
@@ -1003,7 +1000,7 @@ graph | |||
1003 | graphics | 1000 | graphics |
1004 | [ | 1001 | [ |
1005 | w 323.40000000000003 | 1002 | w 323.40000000000003 |
1006 | h 82 | 1003 | h 96 |
1007 | type "rectangle" | 1004 | type "rectangle" |
1008 | fill "#FFFFFF" | 1005 | fill "#FFFFFF" |
1009 | fill2 "#FFFFFF" | 1006 | fill2 "#FFFFFF" |
@@ -1025,7 +1022,8 @@ graph | |||
1025 | text " | 1022 | text " |
1026 | CommunicatingElement class | 1023 | CommunicatingElement class |
1027 | Spacecraft class | 1024 | Spacecraft class |
1028 | SmallSat class | 1025 | CubeSat3U class |
1026 | CubeSat class | ||
1029 | CommunicatingElement class UndefinedPart | 1027 | CommunicatingElement class UndefinedPart |
1030 | " | 1028 | " |
1031 | fontSize 14 | 1029 | fontSize 14 |
@@ -1041,8 +1039,8 @@ graph | |||
1041 | id 27 | 1039 | id 27 |
1042 | graphics | 1040 | graphics |
1043 | [ | 1041 | [ |
1044 | w 269.5 | 1042 | w 277.20000000000005 |
1045 | h 68 | 1043 | h 82 |
1046 | type "rectangle" | 1044 | type "rectangle" |
1047 | fill "#FFFFFF" | 1045 | fill "#FFFFFF" |
1048 | fill2 "#FFFFFF" | 1046 | fill2 "#FFFFFF" |
@@ -1063,8 +1061,9 @@ graph | |||
1063 | [ | 1061 | [ |
1064 | text " | 1062 | text " |
1065 | CommSubsystem class | 1063 | CommSubsystem class |
1066 | UHFCommSubsystem class | 1064 | XCommSubsystem class |
1067 | CommSubsystem class UndefinedPart | 1065 | CommSubsystem class UndefinedPart |
1066 | XCommSubsystem class UndefinedPart | ||
1068 | " | 1067 | " |
1069 | fontSize 14 | 1068 | fontSize 14 |
1070 | fontName "Consolas" | 1069 | fontName "Consolas" |
@@ -1079,8 +1078,8 @@ graph | |||
1079 | id 28 | 1078 | id 28 |
1080 | graphics | 1079 | graphics |
1081 | [ | 1080 | [ |
1082 | w 223.3 | 1081 | w 277.20000000000005 |
1083 | h 54 | 1082 | h 82 |
1084 | type "rectangle" | 1083 | type "rectangle" |
1085 | fill "#FFFFFF" | 1084 | fill "#FFFFFF" |
1086 | fill2 "#FFFFFF" | 1085 | fill2 "#FFFFFF" |
@@ -1100,8 +1099,10 @@ graph | |||
1100 | LabelGraphics | 1099 | LabelGraphics |
1101 | [ | 1100 | [ |
1102 | text " | 1101 | text " |
1103 | Payload class | 1102 | CommSubsystem class |
1104 | InterferometryPayload class | 1103 | XCommSubsystem class |
1104 | CommSubsystem class UndefinedPart | ||
1105 | XCommSubsystem class UndefinedPart | ||
1105 | " | 1106 | " |
1106 | fontSize 14 | 1107 | fontSize 14 |
1107 | fontName "Consolas" | 1108 | fontName "Consolas" |
@@ -1116,8 +1117,8 @@ graph | |||
1116 | id 29 | 1117 | id 29 |
1117 | graphics | 1118 | graphics |
1118 | [ | 1119 | [ |
1119 | w 277.20000000000005 | 1120 | w 223.3 |
1120 | h 82 | 1121 | h 54 |
1121 | type "rectangle" | 1122 | type "rectangle" |
1122 | fill "#FFFFFF" | 1123 | fill "#FFFFFF" |
1123 | fill2 "#FFFFFF" | 1124 | fill2 "#FFFFFF" |
@@ -1137,10 +1138,8 @@ graph | |||
1137 | LabelGraphics | 1138 | LabelGraphics |
1138 | [ | 1139 | [ |
1139 | text " | 1140 | text " |
1140 | CommSubsystem class | 1141 | Payload class |
1141 | XCommSubsystem class | 1142 | InterferometryPayload class |
1142 | CommSubsystem class UndefinedPart | ||
1143 | XCommSubsystem class UndefinedPart | ||
1144 | " | 1143 | " |
1145 | fontSize 14 | 1144 | fontSize 14 |
1146 | fontName "Consolas" | 1145 | fontName "Consolas" |
@@ -1156,7 +1155,7 @@ graph | |||
1156 | graphics | 1155 | graphics |
1157 | [ | 1156 | [ |
1158 | w 323.40000000000003 | 1157 | w 323.40000000000003 |
1159 | h 82 | 1158 | h 96 |
1160 | type "rectangle" | 1159 | type "rectangle" |
1161 | fill "#FFFFFF" | 1160 | fill "#FFFFFF" |
1162 | fill2 "#FFFFFF" | 1161 | fill2 "#FFFFFF" |
@@ -1178,7 +1177,8 @@ graph | |||
1178 | text " | 1177 | text " |
1179 | CommunicatingElement class | 1178 | CommunicatingElement class |
1180 | Spacecraft class | 1179 | Spacecraft class |
1181 | SmallSat class | 1180 | CubeSat6U class |
1181 | CubeSat class | ||
1182 | CommunicatingElement class UndefinedPart | 1182 | CommunicatingElement class UndefinedPart |
1183 | " | 1183 | " |
1184 | fontSize 14 | 1184 | fontSize 14 |
@@ -1194,8 +1194,8 @@ graph | |||
1194 | id 31 | 1194 | id 31 |
1195 | graphics | 1195 | graphics |
1196 | [ | 1196 | [ |
1197 | w 284.90000000000003 | 1197 | w 269.5 |
1198 | h 82 | 1198 | h 68 |
1199 | type "rectangle" | 1199 | type "rectangle" |
1200 | fill "#FFFFFF" | 1200 | fill "#FFFFFF" |
1201 | fill2 "#FFFFFF" | 1201 | fill2 "#FFFFFF" |
@@ -1216,9 +1216,8 @@ graph | |||
1216 | [ | 1216 | [ |
1217 | text " | 1217 | text " |
1218 | CommSubsystem class | 1218 | CommSubsystem class |
1219 | KaCommSubsystem class | 1219 | UHFCommSubsystem class |
1220 | CommSubsystem class UndefinedPart | 1220 | CommSubsystem class UndefinedPart |
1221 | KaCommSubsystem class UndefinedPart | ||
1222 | " | 1221 | " |
1223 | fontSize 14 | 1222 | fontSize 14 |
1224 | fontName "Consolas" | 1223 | fontName "Consolas" |
@@ -1233,7 +1232,7 @@ graph | |||
1233 | id 32 | 1232 | id 32 |
1234 | graphics | 1233 | graphics |
1235 | [ | 1234 | [ |
1236 | w 284.90000000000003 | 1235 | w 277.20000000000005 |
1237 | h 82 | 1236 | h 82 |
1238 | type "rectangle" | 1237 | type "rectangle" |
1239 | fill "#FFFFFF" | 1238 | fill "#FFFFFF" |
@@ -1255,9 +1254,9 @@ graph | |||
1255 | [ | 1254 | [ |
1256 | text " | 1255 | text " |
1257 | CommSubsystem class | 1256 | CommSubsystem class |
1258 | KaCommSubsystem class | 1257 | XCommSubsystem class |
1259 | CommSubsystem class UndefinedPart | 1258 | CommSubsystem class UndefinedPart |
1260 | KaCommSubsystem class UndefinedPart | 1259 | XCommSubsystem class UndefinedPart |
1261 | " | 1260 | " |
1262 | fontSize 14 | 1261 | fontSize 14 |
1263 | fontName "Consolas" | 1262 | fontName "Consolas" |
@@ -1310,7 +1309,7 @@ graph | |||
1310 | graphics | 1309 | graphics |
1311 | [ | 1310 | [ |
1312 | w 323.40000000000003 | 1311 | w 323.40000000000003 |
1313 | h 96 | 1312 | h 82 |
1314 | type "rectangle" | 1313 | type "rectangle" |
1315 | fill "#FFFFFF" | 1314 | fill "#FFFFFF" |
1316 | fill2 "#FFFFFF" | 1315 | fill2 "#FFFFFF" |
@@ -1332,8 +1331,7 @@ graph | |||
1332 | text " | 1331 | text " |
1333 | CommunicatingElement class | 1332 | CommunicatingElement class |
1334 | Spacecraft class | 1333 | Spacecraft class |
1335 | CubeSat3U class | 1334 | SmallSat class |
1336 | CubeSat class | ||
1337 | CommunicatingElement class UndefinedPart | 1335 | CommunicatingElement class UndefinedPart |
1338 | " | 1336 | " |
1339 | fontSize 14 | 1337 | fontSize 14 |
@@ -1388,8 +1386,8 @@ graph | |||
1388 | id 36 | 1386 | id 36 |
1389 | graphics | 1387 | graphics |
1390 | [ | 1388 | [ |
1391 | w 269.5 | 1389 | w 223.3 |
1392 | h 68 | 1390 | h 54 |
1393 | type "rectangle" | 1391 | type "rectangle" |
1394 | fill "#FFFFFF" | 1392 | fill "#FFFFFF" |
1395 | fill2 "#FFFFFF" | 1393 | fill2 "#FFFFFF" |
@@ -1409,9 +1407,8 @@ graph | |||
1409 | LabelGraphics | 1407 | LabelGraphics |
1410 | [ | 1408 | [ |
1411 | text " | 1409 | text " |
1412 | CommSubsystem class | 1410 | Payload class |
1413 | UHFCommSubsystem class | 1411 | InterferometryPayload class |
1414 | CommSubsystem class UndefinedPart | ||
1415 | " | 1412 | " |
1416 | fontSize 14 | 1413 | fontSize 14 |
1417 | fontName "Consolas" | 1414 | fontName "Consolas" |
@@ -1426,8 +1423,8 @@ graph | |||
1426 | id 37 | 1423 | id 37 |
1427 | graphics | 1424 | graphics |
1428 | [ | 1425 | [ |
1429 | w 223.3 | 1426 | w 284.90000000000003 |
1430 | h 54 | 1427 | h 82 |
1431 | type "rectangle" | 1428 | type "rectangle" |
1432 | fill "#FFFFFF" | 1429 | fill "#FFFFFF" |
1433 | fill2 "#FFFFFF" | 1430 | fill2 "#FFFFFF" |
@@ -1447,8 +1444,10 @@ graph | |||
1447 | LabelGraphics | 1444 | LabelGraphics |
1448 | [ | 1445 | [ |
1449 | text " | 1446 | text " |
1450 | Payload class | 1447 | CommSubsystem class |
1451 | InterferometryPayload class | 1448 | KaCommSubsystem class |
1449 | CommSubsystem class UndefinedPart | ||
1450 | KaCommSubsystem class UndefinedPart | ||
1452 | " | 1451 | " |
1453 | fontSize 14 | 1452 | fontSize 14 |
1454 | fontName "Consolas" | 1453 | fontName "Consolas" |
@@ -1660,7 +1659,7 @@ graph | |||
1660 | edge | 1659 | edge |
1661 | [ | 1660 | [ |
1662 | source 0 | 1661 | source 0 |
1663 | target 13 | 1662 | target 14 |
1664 | graphics | 1663 | graphics |
1665 | [ | 1664 | [ |
1666 | fill "#000000" | 1665 | fill "#000000" |
@@ -1700,7 +1699,7 @@ graph | |||
1700 | edge | 1699 | edge |
1701 | [ | 1700 | [ |
1702 | source 0 | 1701 | source 0 |
1703 | target 21 | 1702 | target 22 |
1704 | graphics | 1703 | graphics |
1705 | [ | 1704 | [ |
1706 | fill "#000000" | 1705 | fill "#000000" |
@@ -1860,7 +1859,7 @@ graph | |||
1860 | edge | 1859 | edge |
1861 | [ | 1860 | [ |
1862 | source 10 | 1861 | source 10 |
1863 | target 12 | 1862 | target 11 |
1864 | graphics | 1863 | graphics |
1865 | [ | 1864 | [ |
1866 | fill "#000000" | 1865 | fill "#000000" |
@@ -1879,8 +1878,8 @@ graph | |||
1879 | ] | 1878 | ] |
1880 | edge | 1879 | edge |
1881 | [ | 1880 | [ |
1882 | source 13 | 1881 | source 10 |
1883 | target 14 | 1882 | target 12 |
1884 | graphics | 1883 | graphics |
1885 | [ | 1884 | [ |
1886 | fill "#000000" | 1885 | fill "#000000" |
@@ -1899,7 +1898,7 @@ graph | |||
1899 | ] | 1898 | ] |
1900 | edge | 1899 | edge |
1901 | [ | 1900 | [ |
1902 | source 13 | 1901 | source 14 |
1903 | target 15 | 1902 | target 15 |
1904 | graphics | 1903 | graphics |
1905 | [ | 1904 | [ |
@@ -1919,7 +1918,7 @@ graph | |||
1919 | ] | 1918 | ] |
1920 | edge | 1919 | edge |
1921 | [ | 1920 | [ |
1922 | source 10 | 1921 | source 14 |
1923 | target 16 | 1922 | target 16 |
1924 | graphics | 1923 | graphics |
1925 | [ | 1924 | [ |
@@ -1959,8 +1958,8 @@ graph | |||
1959 | ] | 1958 | ] |
1960 | edge | 1959 | edge |
1961 | [ | 1960 | [ |
1962 | source 21 | 1961 | source 18 |
1963 | target 22 | 1962 | target 20 |
1964 | graphics | 1963 | graphics |
1965 | [ | 1964 | [ |
1966 | fill "#000000" | 1965 | fill "#000000" |
@@ -1979,7 +1978,7 @@ graph | |||
1979 | ] | 1978 | ] |
1980 | edge | 1979 | edge |
1981 | [ | 1980 | [ |
1982 | source 18 | 1981 | source 22 |
1983 | target 23 | 1982 | target 23 |
1984 | graphics | 1983 | graphics |
1985 | [ | 1984 | [ |
@@ -1999,7 +1998,7 @@ graph | |||
1999 | ] | 1998 | ] |
2000 | edge | 1999 | edge |
2001 | [ | 2000 | [ |
2002 | source 21 | 2001 | source 22 |
2003 | target 24 | 2002 | target 24 |
2004 | graphics | 2003 | graphics |
2005 | [ | 2004 | [ |
@@ -2040,7 +2039,7 @@ graph | |||
2040 | edge | 2039 | edge |
2041 | [ | 2040 | [ |
2042 | source 26 | 2041 | source 26 |
2043 | target 29 | 2042 | target 28 |
2044 | graphics | 2043 | graphics |
2045 | [ | 2044 | [ |
2046 | fill "#000000" | 2045 | fill "#000000" |
@@ -2120,7 +2119,7 @@ graph | |||
2120 | edge | 2119 | edge |
2121 | [ | 2120 | [ |
2122 | source 34 | 2121 | source 34 |
2123 | target 36 | 2122 | target 37 |
2124 | graphics | 2123 | graphics |
2125 | [ | 2124 | [ |
2126 | fill "#000000" | 2125 | fill "#000000" |
@@ -2160,7 +2159,7 @@ graph | |||
2160 | edge | 2159 | edge |
2161 | [ | 2160 | [ |
2162 | source 10 | 2161 | source 10 |
2163 | target 11 | 2162 | target 13 |
2164 | graphics | 2163 | graphics |
2165 | [ | 2164 | [ |
2166 | fill "#000000" | 2165 | fill "#000000" |
@@ -2179,7 +2178,7 @@ graph | |||
2179 | ] | 2178 | ] |
2180 | edge | 2179 | edge |
2181 | [ | 2180 | [ |
2182 | source 13 | 2181 | source 14 |
2183 | target 17 | 2182 | target 17 |
2184 | graphics | 2183 | graphics |
2185 | [ | 2184 | [ |
@@ -2200,7 +2199,7 @@ graph | |||
2200 | edge | 2199 | edge |
2201 | [ | 2200 | [ |
2202 | source 18 | 2201 | source 18 |
2203 | target 20 | 2202 | target 21 |
2204 | graphics | 2203 | graphics |
2205 | [ | 2204 | [ |
2206 | fill "#000000" | 2205 | fill "#000000" |
@@ -2219,7 +2218,7 @@ graph | |||
2219 | ] | 2218 | ] |
2220 | edge | 2219 | edge |
2221 | [ | 2220 | [ |
2222 | source 21 | 2221 | source 22 |
2223 | target 25 | 2222 | target 25 |
2224 | graphics | 2223 | graphics |
2225 | [ | 2224 | [ |
@@ -2240,7 +2239,7 @@ graph | |||
2240 | edge | 2239 | edge |
2241 | [ | 2240 | [ |
2242 | source 26 | 2241 | source 26 |
2243 | target 28 | 2242 | target 29 |
2244 | graphics | 2243 | graphics |
2245 | [ | 2244 | [ |
2246 | fill "#000000" | 2245 | fill "#000000" |
@@ -2280,7 +2279,7 @@ graph | |||
2280 | edge | 2279 | edge |
2281 | [ | 2280 | [ |
2282 | source 34 | 2281 | source 34 |
2283 | target 37 | 2282 | target 36 |
2284 | graphics | 2283 | graphics |
2285 | [ | 2284 | [ |
2286 | fill "#000000" | 2285 | fill "#000000" |
@@ -2299,7 +2298,7 @@ graph | |||
2299 | ] | 2298 | ] |
2300 | edge | 2299 | edge |
2301 | [ | 2300 | [ |
2302 | source 7 | 2301 | source 9 |
2303 | target 2 | 2302 | target 2 |
2304 | graphics | 2303 | graphics |
2305 | [ | 2304 | [ |
@@ -2319,7 +2318,7 @@ graph | |||
2319 | edge | 2318 | edge |
2320 | [ | 2319 | [ |
2321 | source 12 | 2320 | source 12 |
2322 | target 2 | 2321 | target 9 |
2323 | graphics | 2322 | graphics |
2324 | [ | 2323 | [ |
2325 | fill "#000000" | 2324 | fill "#000000" |
@@ -2338,7 +2337,7 @@ graph | |||
2338 | edge | 2337 | edge |
2339 | [ | 2338 | [ |
2340 | source 15 | 2339 | source 15 |
2341 | target 12 | 2340 | target 7 |
2342 | graphics | 2341 | graphics |
2343 | [ | 2342 | [ |
2344 | fill "#000000" | 2343 | fill "#000000" |
@@ -2357,7 +2356,7 @@ graph | |||
2357 | edge | 2356 | edge |
2358 | [ | 2357 | [ |
2359 | source 19 | 2358 | source 19 |
2360 | target 3 | 2359 | target 12 |
2361 | graphics | 2360 | graphics |
2362 | [ | 2361 | [ |
2363 | fill "#000000" | 2362 | fill "#000000" |
@@ -2375,8 +2374,8 @@ graph | |||
2375 | ] | 2374 | ] |
2376 | edge | 2375 | edge |
2377 | [ | 2376 | [ |
2378 | source 24 | 2377 | source 23 |
2379 | target 16 | 2378 | target 9 |
2380 | graphics | 2379 | graphics |
2381 | [ | 2380 | [ |
2382 | fill "#000000" | 2381 | fill "#000000" |
@@ -2395,7 +2394,7 @@ graph | |||
2395 | edge | 2394 | edge |
2396 | [ | 2395 | [ |
2397 | source 27 | 2396 | source 27 |
2398 | target 22 | 2397 | target 2 |
2399 | graphics | 2398 | graphics |
2400 | [ | 2399 | [ |
2401 | fill "#000000" | 2400 | fill "#000000" |
@@ -2414,7 +2413,7 @@ graph | |||
2414 | edge | 2413 | edge |
2415 | [ | 2414 | [ |
2416 | source 32 | 2415 | source 32 |
2417 | target 3 | 2416 | target 9 |
2418 | graphics | 2417 | graphics |
2419 | [ | 2418 | [ |
2420 | fill "#000000" | 2419 | fill "#000000" |
@@ -2433,7 +2432,7 @@ graph | |||
2433 | edge | 2432 | edge |
2434 | [ | 2433 | [ |
2435 | source 35 | 2434 | source 35 |
2436 | target 2 | 2435 | target 9 |
2437 | graphics | 2436 | graphics |
2438 | [ | 2437 | [ |
2439 | fill "#000000" | 2438 | fill "#000000" |
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.png b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.png index 8cdb0656..f39da70e 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.png +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.png | |||
Binary files differ | |||
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi index a49adea1..5f0af641 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi | |||
@@ -5,43 +5,43 @@ | |||
5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 5 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
6 | </groundStationNetwork> | 6 | </groundStationNetwork> |
7 | <spacecraft xsi:type="satellite:SmallSat"> | 7 | <spacecraft xsi:type="satellite:SmallSat"> |
8 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
8 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 9 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
9 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.7/@commSubsystem.0"/> | ||
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:CubeSat3U"> |
13 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 13 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> |
14 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/> | 14 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> |
15 | <payload xsi:type="satellite:InterferometryPayload"/> | 15 | <payload xsi:type="satellite:InterferometryPayload"/> |
16 | </spacecraft> | 16 | </spacecraft> |
17 | <spacecraft xsi:type="satellite:CubeSat6U"> | 17 | <spacecraft xsi:type="satellite:SmallSat"> |
18 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
18 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 19 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
19 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | ||
20 | <payload xsi:type="satellite:InterferometryPayload"/> | 20 | <payload xsi:type="satellite:InterferometryPayload"/> |
21 | </spacecraft> | 21 | </spacecraft> |
22 | <spacecraft xsi:type="satellite:CubeSat3U"> | 22 | <spacecraft xsi:type="satellite:CubeSat6U"> |
23 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | 23 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@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:CubeSat6U"> | ||
28 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
29 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | ||
30 | <payload xsi:type="satellite:InterferometryPayload"/> | ||
31 | </spacecraft> | ||
27 | <spacecraft xsi:type="satellite:SmallSat"> | 32 | <spacecraft xsi:type="satellite:SmallSat"> |
33 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/> | ||
28 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> | 34 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
29 | <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/> | ||
30 | <payload xsi:type="satellite:InterferometryPayload"/> | 35 | <payload xsi:type="satellite:InterferometryPayload"/> |
31 | </spacecraft> | 36 | </spacecraft> |
32 | <spacecraft xsi:type="satellite:CubeSat6U"> | 37 | <spacecraft xsi:type="satellite:SmallSat"> |
33 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.6/@commSubsystem.1"/> | 38 | <commSubsystem xsi:type="satellite:KaCommSubsystem"/> |
34 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 39 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/> |
35 | <payload xsi:type="satellite:InterferometryPayload"/> | 40 | <payload xsi:type="satellite:InterferometryPayload"/> |
36 | </spacecraft> | 41 | </spacecraft> |
37 | <spacecraft xsi:type="satellite:CubeSat3U"> | 42 | <spacecraft xsi:type="satellite:CubeSat3U"> |
38 | <commSubsystem xsi:type="satellite:XCommSubsystem"/> | 43 | <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/> |
39 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/> | ||
40 | <payload xsi:type="satellite:InterferometryPayload"/> | ||
41 | </spacecraft> | ||
42 | <spacecraft xsi:type="satellite:SmallSat"> | ||
43 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> | 44 | <commSubsystem xsi:type="satellite:UHFCommSubsystem"/> |
44 | <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/> | ||
45 | <payload xsi:type="satellite:InterferometryPayload"/> | 45 | <payload xsi:type="satellite:InterferometryPayload"/> |
46 | </spacecraft> | 46 | </spacecraft> |
47 | </satellite:InterferometryMission> | 47 | </satellite:InterferometryMission> |