aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml182
1 files changed, 92 insertions, 90 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml
index de337fc2..68fc38e5 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run1/1_1.gml
@@ -270,8 +270,8 @@ graph
270 id 7 270 id 7
271 graphics 271 graphics
272 [ 272 [
273 w 269.5 273 w 223.3
274 h 68 274 h 54
275 type "rectangle" 275 type "rectangle"
276 fill "#FFFFFF" 276 fill "#FFFFFF"
277 fill2 "#FFFFFF" 277 fill2 "#FFFFFF"
@@ -291,9 +291,8 @@ graph
291 LabelGraphics 291 LabelGraphics
292 [ 292 [
293 text " 293 text "
294 CommSubsystem class 294 Payload class
295 UHFCommSubsystem class 295 InterferometryPayload class
296 CommSubsystem class UndefinedPart
297 " 296 "
298 fontSize 14 297 fontSize 14
299 fontName "Consolas" 298 fontName "Consolas"
@@ -308,8 +307,8 @@ graph
308 id 8 307 id 8
309 graphics 308 graphics
310 [ 309 [
311 w 223.3 310 w 269.5
312 h 54 311 h 68
313 type "rectangle" 312 type "rectangle"
314 fill "#FFFFFF" 313 fill "#FFFFFF"
315 fill2 "#FFFFFF" 314 fill2 "#FFFFFF"
@@ -329,8 +328,9 @@ graph
329 LabelGraphics 328 LabelGraphics
330 [ 329 [
331 text " 330 text "
332 Payload class 331 CommSubsystem class
333 InterferometryPayload class 332 UHFCommSubsystem class
333 CommSubsystem class UndefinedPart
334 " 334 "
335 fontSize 14 335 fontSize 14
336 fontName "Consolas" 336 fontName "Consolas"
@@ -407,7 +407,7 @@ graph
407 text " 407 text "
408 CommunicatingElement class 408 CommunicatingElement class
409 Spacecraft class 409 Spacecraft class
410 CubeSat6U class 410 CubeSat3U class
411 CubeSat class 411 CubeSat class
412 CommunicatingElement class UndefinedPart 412 CommunicatingElement class UndefinedPart
413 " 413 "
@@ -577,8 +577,8 @@ graph
577 id 15 577 id 15
578 graphics 578 graphics
579 [ 579 [
580 w 277.20000000000005 580 w 269.5
581 h 82 581 h 68
582 type "rectangle" 582 type "rectangle"
583 fill "#FFFFFF" 583 fill "#FFFFFF"
584 fill2 "#FFFFFF" 584 fill2 "#FFFFFF"
@@ -599,9 +599,8 @@ graph
599 [ 599 [
600 text " 600 text "
601 CommSubsystem class 601 CommSubsystem class
602 XCommSubsystem class 602 UHFCommSubsystem class
603 CommSubsystem class UndefinedPart 603 CommSubsystem class UndefinedPart
604 XCommSubsystem class UndefinedPart
605 " 604 "
606 fontSize 14 605 fontSize 14
607 fontName "Consolas" 606 fontName "Consolas"
@@ -616,8 +615,8 @@ graph
616 id 16 615 id 16
617 graphics 616 graphics
618 [ 617 [
619 w 223.3 618 w 284.90000000000003
620 h 54 619 h 82
621 type "rectangle" 620 type "rectangle"
622 fill "#FFFFFF" 621 fill "#FFFFFF"
623 fill2 "#FFFFFF" 622 fill2 "#FFFFFF"
@@ -637,8 +636,10 @@ graph
637 LabelGraphics 636 LabelGraphics
638 [ 637 [
639 text " 638 text "
640 Payload class 639 CommSubsystem class
641 InterferometryPayload class 640 KaCommSubsystem class
641 CommSubsystem class UndefinedPart
642 KaCommSubsystem class UndefinedPart
642 " 643 "
643 fontSize 14 644 fontSize 14
644 fontName "Consolas" 645 fontName "Consolas"
@@ -653,8 +654,8 @@ graph
653 id 17 654 id 17
654 graphics 655 graphics
655 [ 656 [
656 w 277.20000000000005 657 w 223.3
657 h 82 658 h 54
658 type "rectangle" 659 type "rectangle"
659 fill "#FFFFFF" 660 fill "#FFFFFF"
660 fill2 "#FFFFFF" 661 fill2 "#FFFFFF"
@@ -674,10 +675,8 @@ graph
674 LabelGraphics 675 LabelGraphics
675 [ 676 [
676 text " 677 text "
677 CommSubsystem class 678 Payload class
678 XCommSubsystem class 679 InterferometryPayload class
679 CommSubsystem class UndefinedPart
680 XCommSubsystem class UndefinedPart
681 " 680 "
682 fontSize 14 681 fontSize 14
683 fontName "Consolas" 682 fontName "Consolas"
@@ -715,7 +714,7 @@ graph
715 text " 714 text "
716 CommunicatingElement class 715 CommunicatingElement class
717 Spacecraft class 716 Spacecraft class
718 CubeSat3U class 717 CubeSat6U class
719 CubeSat class 718 CubeSat class
720 CommunicatingElement class UndefinedPart 719 CommunicatingElement class UndefinedPart
721 " 720 "
@@ -732,8 +731,8 @@ graph
732 id 19 731 id 19
733 graphics 732 graphics
734 [ 733 [
735 w 269.5 734 w 277.20000000000005
736 h 68 735 h 82
737 type "rectangle" 736 type "rectangle"
738 fill "#FFFFFF" 737 fill "#FFFFFF"
739 fill2 "#FFFFFF" 738 fill2 "#FFFFFF"
@@ -754,8 +753,9 @@ graph
754 [ 753 [
755 text " 754 text "
756 CommSubsystem class 755 CommSubsystem class
757 UHFCommSubsystem class 756 XCommSubsystem class
758 CommSubsystem class UndefinedPart 757 CommSubsystem class UndefinedPart
758 XCommSubsystem class UndefinedPart
759 " 759 "
760 fontSize 14 760 fontSize 14
761 fontName "Consolas" 761 fontName "Consolas"
@@ -770,8 +770,8 @@ graph
770 id 20 770 id 20
771 graphics 771 graphics
772 [ 772 [
773 w 269.5 773 w 277.20000000000005
774 h 68 774 h 82
775 type "rectangle" 775 type "rectangle"
776 fill "#FFFFFF" 776 fill "#FFFFFF"
777 fill2 "#FFFFFF" 777 fill2 "#FFFFFF"
@@ -792,8 +792,9 @@ graph
792 [ 792 [
793 text " 793 text "
794 CommSubsystem class 794 CommSubsystem class
795 UHFCommSubsystem class 795 XCommSubsystem class
796 CommSubsystem class UndefinedPart 796 CommSubsystem class UndefinedPart
797 XCommSubsystem class UndefinedPart
797 " 798 "
798 fontSize 14 799 fontSize 14
799 fontName "Consolas" 800 fontName "Consolas"
@@ -846,7 +847,7 @@ graph
846 graphics 847 graphics
847 [ 848 [
848 w 323.40000000000003 849 w 323.40000000000003
849 h 82 850 h 96
850 type "rectangle" 851 type "rectangle"
851 fill "#FFFFFF" 852 fill "#FFFFFF"
852 fill2 "#FFFFFF" 853 fill2 "#FFFFFF"
@@ -868,7 +869,8 @@ graph
868 text " 869 text "
869 CommunicatingElement class 870 CommunicatingElement class
870 Spacecraft class 871 Spacecraft class
871 SmallSat class 872 CubeSat3U class
873 CubeSat class
872 CommunicatingElement class UndefinedPart 874 CommunicatingElement class UndefinedPart
873 " 875 "
874 fontSize 14 876 fontSize 14
@@ -884,8 +886,8 @@ graph
884 id 23 886 id 23
885 graphics 887 graphics
886 [ 888 [
887 w 277.20000000000005 889 w 269.5
888 h 82 890 h 68
889 type "rectangle" 891 type "rectangle"
890 fill "#FFFFFF" 892 fill "#FFFFFF"
891 fill2 "#FFFFFF" 893 fill2 "#FFFFFF"
@@ -906,9 +908,8 @@ graph
906 [ 908 [
907 text " 909 text "
908 CommSubsystem class 910 CommSubsystem class
909 XCommSubsystem class 911 UHFCommSubsystem class
910 CommSubsystem class UndefinedPart 912 CommSubsystem class UndefinedPart
911 XCommSubsystem class UndefinedPart
912 " 913 "
913 fontSize 14 914 fontSize 14
914 fontName "Consolas" 915 fontName "Consolas"
@@ -1000,7 +1001,7 @@ graph
1000 graphics 1001 graphics
1001 [ 1002 [
1002 w 323.40000000000003 1003 w 323.40000000000003
1003 h 82 1004 h 96
1004 type "rectangle" 1005 type "rectangle"
1005 fill "#FFFFFF" 1006 fill "#FFFFFF"
1006 fill2 "#FFFFFF" 1007 fill2 "#FFFFFF"
@@ -1022,7 +1023,8 @@ graph
1022 text " 1023 text "
1023 CommunicatingElement class 1024 CommunicatingElement class
1024 Spacecraft class 1025 Spacecraft class
1025 SmallSat class 1026 CubeSat3U class
1027 CubeSat class
1026 CommunicatingElement class UndefinedPart 1028 CommunicatingElement class UndefinedPart
1027 " 1029 "
1028 fontSize 14 1030 fontSize 14
@@ -1038,8 +1040,8 @@ graph
1038 id 27 1040 id 27
1039 graphics 1041 graphics
1040 [ 1042 [
1041 w 277.20000000000005 1043 w 269.5
1042 h 82 1044 h 68
1043 type "rectangle" 1045 type "rectangle"
1044 fill "#FFFFFF" 1046 fill "#FFFFFF"
1045 fill2 "#FFFFFF" 1047 fill2 "#FFFFFF"
@@ -1060,9 +1062,8 @@ graph
1060 [ 1062 [
1061 text " 1063 text "
1062 CommSubsystem class 1064 CommSubsystem class
1063 XCommSubsystem class 1065 UHFCommSubsystem class
1064 CommSubsystem class UndefinedPart 1066 CommSubsystem class UndefinedPart
1065 XCommSubsystem class UndefinedPart
1066 " 1067 "
1067 fontSize 14 1068 fontSize 14
1068 fontName "Consolas" 1069 fontName "Consolas"
@@ -1077,8 +1078,8 @@ graph
1077 id 28 1078 id 28
1078 graphics 1079 graphics
1079 [ 1080 [
1080 w 223.3 1081 w 277.20000000000005
1081 h 54 1082 h 82
1082 type "rectangle" 1083 type "rectangle"
1083 fill "#FFFFFF" 1084 fill "#FFFFFF"
1084 fill2 "#FFFFFF" 1085 fill2 "#FFFFFF"
@@ -1098,8 +1099,10 @@ graph
1098 LabelGraphics 1099 LabelGraphics
1099 [ 1100 [
1100 text " 1101 text "
1101 Payload class 1102 CommSubsystem class
1102 InterferometryPayload class 1103 XCommSubsystem class
1104 CommSubsystem class UndefinedPart
1105 XCommSubsystem class UndefinedPart
1103 " 1106 "
1104 fontSize 14 1107 fontSize 14
1105 fontName "Consolas" 1108 fontName "Consolas"
@@ -1114,8 +1117,8 @@ graph
1114 id 29 1117 id 29
1115 graphics 1118 graphics
1116 [ 1119 [
1117 w 284.90000000000003 1120 w 223.3
1118 h 82 1121 h 54
1119 type "rectangle" 1122 type "rectangle"
1120 fill "#FFFFFF" 1123 fill "#FFFFFF"
1121 fill2 "#FFFFFF" 1124 fill2 "#FFFFFF"
@@ -1135,10 +1138,8 @@ graph
1135 LabelGraphics 1138 LabelGraphics
1136 [ 1139 [
1137 text " 1140 text "
1138 CommSubsystem class 1141 Payload class
1139 KaCommSubsystem class 1142 InterferometryPayload class
1140 CommSubsystem class UndefinedPart
1141 KaCommSubsystem class UndefinedPart
1142 " 1143 "
1143 fontSize 14 1144 fontSize 14
1144 fontName "Consolas" 1145 fontName "Consolas"
@@ -1193,8 +1194,8 @@ graph
1193 id 31 1194 id 31
1194 graphics 1195 graphics
1195 [ 1196 [
1196 w 269.5 1197 w 223.3
1197 h 68 1198 h 54
1198 type "rectangle" 1199 type "rectangle"
1199 fill "#FFFFFF" 1200 fill "#FFFFFF"
1200 fill2 "#FFFFFF" 1201 fill2 "#FFFFFF"
@@ -1214,9 +1215,8 @@ graph
1214 LabelGraphics 1215 LabelGraphics
1215 [ 1216 [
1216 text " 1217 text "
1217 CommSubsystem class 1218 Payload class
1218 UHFCommSubsystem class 1219 InterferometryPayload class
1219 CommSubsystem 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 223.3 1234 w 269.5
1235 h 54 1235 h 68
1236 type "rectangle" 1236 type "rectangle"
1237 fill "#FFFFFF" 1237 fill "#FFFFFF"
1238 fill2 "#FFFFFF" 1238 fill2 "#FFFFFF"
@@ -1252,8 +1252,9 @@ graph
1252 LabelGraphics 1252 LabelGraphics
1253 [ 1253 [
1254 text " 1254 text "
1255 Payload class 1255 CommSubsystem class
1256 InterferometryPayload class 1256 UHFCommSubsystem class
1257 CommSubsystem class UndefinedPart
1257 " 1258 "
1258 fontSize 14 1259 fontSize 14
1259 fontName "Consolas" 1260 fontName "Consolas"
@@ -1268,8 +1269,8 @@ graph
1268 id 33 1269 id 33
1269 graphics 1270 graphics
1270 [ 1271 [
1271 w 269.5 1272 w 277.20000000000005
1272 h 68 1273 h 82
1273 type "rectangle" 1274 type "rectangle"
1274 fill "#FFFFFF" 1275 fill "#FFFFFF"
1275 fill2 "#FFFFFF" 1276 fill2 "#FFFFFF"
@@ -1290,8 +1291,9 @@ graph
1290 [ 1291 [
1291 text " 1292 text "
1292 CommSubsystem class 1293 CommSubsystem class
1293 UHFCommSubsystem class 1294 XCommSubsystem class
1294 CommSubsystem class UndefinedPart 1295 CommSubsystem class UndefinedPart
1296 XCommSubsystem class UndefinedPart
1295 " 1297 "
1296 fontSize 14 1298 fontSize 14
1297 fontName "Consolas" 1299 fontName "Consolas"
@@ -1345,7 +1347,7 @@ graph
1345 id 35 1347 id 35
1346 graphics 1348 graphics
1347 [ 1349 [
1348 w 277.20000000000005 1350 w 284.90000000000003
1349 h 82 1351 h 82
1350 type "rectangle" 1352 type "rectangle"
1351 fill "#FFFFFF" 1353 fill "#FFFFFF"
@@ -1367,9 +1369,9 @@ graph
1367 [ 1369 [
1368 text " 1370 text "
1369 CommSubsystem class 1371 CommSubsystem class
1370 XCommSubsystem class 1372 KaCommSubsystem class
1371 CommSubsystem class UndefinedPart 1373 CommSubsystem class UndefinedPart
1372 XCommSubsystem class UndefinedPart 1374 KaCommSubsystem class UndefinedPart
1373 " 1375 "
1374 fontSize 14 1376 fontSize 14
1375 fontName "Consolas" 1377 fontName "Consolas"
@@ -1421,7 +1423,7 @@ graph
1421 id 37 1423 id 37
1422 graphics 1424 graphics
1423 [ 1425 [
1424 w 284.90000000000003 1426 w 277.20000000000005
1425 h 82 1427 h 82
1426 type "rectangle" 1428 type "rectangle"
1427 fill "#FFFFFF" 1429 fill "#FFFFFF"
@@ -1443,9 +1445,9 @@ graph
1443 [ 1445 [
1444 text " 1446 text "
1445 CommSubsystem class 1447 CommSubsystem class
1446 KaCommSubsystem class 1448 XCommSubsystem class
1447 CommSubsystem class UndefinedPart 1449 CommSubsystem class UndefinedPart
1448 KaCommSubsystem class UndefinedPart 1450 XCommSubsystem class UndefinedPart
1449 " 1451 "
1450 fontSize 14 1452 fontSize 14
1451 fontName "Consolas" 1453 fontName "Consolas"
@@ -1817,7 +1819,7 @@ graph
1817 edge 1819 edge
1818 [ 1820 [
1819 source 6 1821 source 6
1820 target 7 1822 target 8
1821 graphics 1823 graphics
1822 [ 1824 [
1823 fill "#000000" 1825 fill "#000000"
@@ -1917,7 +1919,7 @@ graph
1917 edge 1919 edge
1918 [ 1920 [
1919 source 14 1921 source 14
1920 target 17 1922 target 16
1921 graphics 1923 graphics
1922 [ 1924 [
1923 fill "#000000" 1925 fill "#000000"
@@ -2037,7 +2039,7 @@ graph
2037 edge 2039 edge
2038 [ 2040 [
2039 source 26 2041 source 26
2040 target 29 2042 target 28
2041 graphics 2043 graphics
2042 [ 2044 [
2043 fill "#000000" 2045 fill "#000000"
@@ -2057,7 +2059,7 @@ graph
2057 edge 2059 edge
2058 [ 2060 [
2059 source 30 2061 source 30
2060 target 31 2062 target 32
2061 graphics 2063 graphics
2062 [ 2064 [
2063 fill "#000000" 2065 fill "#000000"
@@ -2137,7 +2139,7 @@ graph
2137 edge 2139 edge
2138 [ 2140 [
2139 source 6 2141 source 6
2140 target 8 2142 target 7
2141 graphics 2143 graphics
2142 [ 2144 [
2143 fill "#000000" 2145 fill "#000000"
@@ -2177,7 +2179,7 @@ graph
2177 edge 2179 edge
2178 [ 2180 [
2179 source 14 2181 source 14
2180 target 16 2182 target 17
2181 graphics 2183 graphics
2182 [ 2184 [
2183 fill "#000000" 2185 fill "#000000"
@@ -2237,7 +2239,7 @@ graph
2237 edge 2239 edge
2238 [ 2240 [
2239 source 26 2241 source 26
2240 target 28 2242 target 29
2241 graphics 2243 graphics
2242 [ 2244 [
2243 fill "#000000" 2245 fill "#000000"
@@ -2257,7 +2259,7 @@ graph
2257 edge 2259 edge
2258 [ 2260 [
2259 source 30 2261 source 30
2260 target 32 2262 target 31
2261 graphics 2263 graphics
2262 [ 2264 [
2263 fill "#000000" 2265 fill "#000000"
@@ -2315,8 +2317,8 @@ graph
2315 ] 2317 ]
2316 edge 2318 edge
2317 [ 2319 [
2318 source 11 2320 source 12
2319 target 2 2321 target 8
2320 graphics 2322 graphics
2321 [ 2323 [
2322 fill "#000000" 2324 fill "#000000"
@@ -2334,8 +2336,8 @@ graph
2334 ] 2336 ]
2335 edge 2337 edge
2336 [ 2338 [
2337 source 15 2339 source 16
2338 target 9 2340 target 3
2339 graphics 2341 graphics
2340 [ 2342 [
2341 fill "#000000" 2343 fill "#000000"
@@ -2353,8 +2355,8 @@ graph
2353 ] 2355 ]
2354 edge 2356 edge
2355 [ 2357 [
2356 source 20 2358 source 19
2357 target 7 2359 target 9
2358 graphics 2360 graphics
2359 [ 2361 [
2360 fill "#000000" 2362 fill "#000000"
@@ -2373,7 +2375,7 @@ graph
2373 edge 2375 edge
2374 [ 2376 [
2375 source 23 2377 source 23
2376 target 15 2378 target 12
2377 graphics 2379 graphics
2378 [ 2380 [
2379 fill "#000000" 2381 fill "#000000"
@@ -2392,7 +2394,7 @@ graph
2392 edge 2394 edge
2393 [ 2395 [
2394 source 27 2396 source 27
2395 target 24 2397 target 15
2396 graphics 2398 graphics
2397 [ 2399 [
2398 fill "#000000" 2400 fill "#000000"
@@ -2410,8 +2412,8 @@ graph
2410 ] 2412 ]
2411 edge 2413 edge
2412 [ 2414 [
2413 source 31 2415 source 32
2414 target 19 2416 target 15
2415 graphics 2417 graphics
2416 [ 2418 [
2417 fill "#000000" 2419 fill "#000000"
@@ -2430,7 +2432,7 @@ graph
2430 edge 2432 edge
2431 [ 2433 [
2432 source 35 2434 source 35
2433 target 2 2435 target 16
2434 graphics 2436 graphics
2435 [ 2437 [
2436 fill "#000000" 2438 fill "#000000"