Trying to simplify Satellite case study

1 files changed, 6 insertions, 75 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
index e474ddf1..66ea8361 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
@@ -5,48 +5,25 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal;
 
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CostMetric;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CoverageMetric;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AdditionalCommSubsystemCost;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.BasePrice;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainMedium;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat3U;
+import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat6U;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.DirectCommunicationLink;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IncomingData;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.InterferometryPayloadCost;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.LinkAllowed;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionCost;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionCoverage;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionTime;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.ScienceData;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftCost;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftUplink;
+import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem;
 import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithTwoCommSubsystems;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmitRate;
-import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmitTime;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
 
 /**
@@ -64,41 +41,18 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
  * <li>indirectLinkAllowed</li>
  * <li>linkAllowed</li>
  * <li>matchingAntenna</li>
+ * <li>matchingCommSubsystem</li>
  * <li>cubeSat3U</li>
+ * <li>cubeSat6U</li>
  * <li>communicationLoop</li>
  * <li>indirectCommunicationLink</li>
  * <li>directCommunicationLink</li>
  * <li>incompatibleSourceAndTargetBand</li>
- * <li>commSubsystemBand</li>
- * <li>incompatibleSourceAndTargetGain</li>
- * <li>commSubsystemGain</li>
- * <li>uhfAntennaGainNotLow</li>
- * <li>commSubsystemGainLow</li>
- * <li>xAntennaGainNotMedium</li>
- * <li>commSubsystemGainMedium</li>
- * <li>kaAntennaGainLow</li>
  * <li>threeUCubeSatWithNonUhfCrossLink</li>
  * <li>commSubsystemBandUhf</li>
  * <li>groundStationNetwork</li>
  * <li>cubeSatWithKaAntenna</li>
  * <li>smallSat</li>
- * <li>spacecraftOfKind</li>
- * <li>coverageMetric</li>
- * <li>missionCoverage</li>
- * <li>timeMetric</li>
- * <li>missionTime</li>
- * <li>transmitTime</li>
- * <li>incomingData</li>
- * <li>scienceData</li>
- * <li>transmitRate</li>
- * <li>spacecraftUplink</li>
- * <li>costMetric</li>
- * <li>missionCost</li>
- * <li>spacecraftCost</li>
- * <li>basePrice</li>
- * <li>interferometryPayloadCost</li>
- * <li>additionalCommSubsystemCost</li>
- * <li>spacecraftWithTwoCommSubsystems</li>
  * </ul>
  * 
  * @see IQueryGroup
@@ -132,40 +86,17 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup {
     querySpecifications.add(IndirectLinkAllowed.instance());
     querySpecifications.add(LinkAllowed.instance());
     querySpecifications.add(MatchingAntenna.instance());
+    querySpecifications.add(MatchingCommSubsystem.instance());
     querySpecifications.add(CubeSat3U.instance());
+    querySpecifications.add(CubeSat6U.instance());
     querySpecifications.add(CommunicationLoop.instance());
     querySpecifications.add(IndirectCommunicationLink.instance());
     querySpecifications.add(DirectCommunicationLink.instance());
     querySpecifications.add(IncompatibleSourceAndTargetBand.instance());
-    querySpecifications.add(CommSubsystemBand.instance());
-    querySpecifications.add(IncompatibleSourceAndTargetGain.instance());
-    querySpecifications.add(CommSubsystemGain.instance());
-    querySpecifications.add(UhfAntennaGainNotLow.instance());
-    querySpecifications.add(CommSubsystemGainLow.instance());
-    querySpecifications.add(XAntennaGainNotMedium.instance());
-    querySpecifications.add(CommSubsystemGainMedium.instance());
-    querySpecifications.add(KaAntennaGainLow.instance());
     querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance());
     querySpecifications.add(CommSubsystemBandUhf.instance());
     querySpecifications.add(GroundStationNetwork.instance());
     querySpecifications.add(CubeSatWithKaAntenna.instance());
     querySpecifications.add(SmallSat.instance());
-    querySpecifications.add(SpacecraftOfKind.instance());
-    querySpecifications.add(CoverageMetric.instance());
-    querySpecifications.add(MissionCoverage.instance());
-    querySpecifications.add(TimeMetric.instance());
-    querySpecifications.add(MissionTime.instance());
-    querySpecifications.add(TransmitTime.instance());
-    querySpecifications.add(IncomingData.instance());
-    querySpecifications.add(ScienceData.instance());
-    querySpecifications.add(TransmitRate.instance());
-    querySpecifications.add(SpacecraftUplink.instance());
-    querySpecifications.add(CostMetric.instance());
-    querySpecifications.add(MissionCost.instance());
-    querySpecifications.add(SpacecraftCost.instance());
-    querySpecifications.add(BasePrice.instance());
-    querySpecifications.add(InterferometryPayloadCost.instance());
-    querySpecifications.add(AdditionalCommSubsystemCost.instance());
-    querySpecifications.add(SpacecraftWithTwoCommSubsystems.instance());
   }
 }