aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run2/2_1.gml213
1 files changed, 107 insertions, 106 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"