From c0c5a1644cc221352b8b9b370eea6a87677ba948 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Sat, 15 Jun 2019 20:56:47 -0400
Subject: Try fix statecode bug

Modified graph width calculation to not depend on order of nodes
---
 .../outputs/models/run3/3_1.xmi                    | 36 +++++++++++-----------
 1 file changed, 18 insertions(+), 18 deletions(-)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run3/3_1.xmi')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run3/3_1.xmi b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run3/3_1.xmi
index 081ea350..cccb6a10 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run3/3_1.xmi
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/models/run3/3_1.xmi
@@ -4,44 +4,44 @@
     <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
     <commSubsystem xsi:type="satellite:XCommSubsystem"/>
   </groundStationNetwork>
-  <spacecraft xsi:type="satellite:CubeSat6U">
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.4/@commSubsystem.0"/>
-    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
-    <payload xsi:type="satellite:InterferometryPayload"/>
-  </spacecraft>
   <spacecraft xsi:type="satellite:CubeSat3U">
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
-    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.1/@commSubsystem.1"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
   <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
     <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.4/@commSubsystem.0"/>
-    <payload xsi:type="satellite:InterferometryPayload"/>
-  </spacecraft>
-  <spacecraft xsi:type="satellite:CubeSat3U">
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.5/@commSubsystem.0"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
   <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
     <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
-    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.1/@commSubsystem.1"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
   <spacecraft xsi:type="satellite:CubeSat6U">
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.2/@commSubsystem.1"/>
-    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.6/@commSubsystem.0"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
-  <spacecraft xsi:type="satellite:SmallSat">
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
     <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
-    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
   <spacecraft xsi:type="satellite:SmallSat">
     <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.1/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.0/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
     <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
     <payload xsi:type="satellite:InterferometryPayload"/>
   </spacecraft>
 </satellite:InterferometryMission>
-- 
cgit v1.2.3-70-g09d2