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/4_1.xmi | |
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/4_1.xmi')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run4/4_1.xmi | 32 |
1 files changed, 16 insertions, 16 deletions
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> |