From 09b1255f11ee17828da706f682e33f50316887fe Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 6 May 2019 18:42:22 -0400 Subject: Trying to implement spacecraft case study --- .../queries/internal/SatelliteQueriesAll.java | 67 ++++++---------------- 1 file changed, 17 insertions(+), 50 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java') 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 2f310711..36fa4557 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,43 +5,32 @@ 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.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.InterferometryPayloadCost; -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.SmallSat; -import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftCost; -import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftOfKind; -import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftUplink; +import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed; +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.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; /** @@ -55,6 +44,11 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; *
  • atLeastTwoInterferometryPayloads
    • *
  • spacecraftWithInterferometryPayload
    • *
  • noLinkToGroundStation
    • + *
  • noPotentialLinkToGroundStation
    • + *
  • indirectLinkAllowed
    • + *
  • linkAllowed
    • + *
  • matchingAntenna
    • + *
  • cubeSat3U
    • *
  • communicationLoop
    • *
  • indirectCommunicationLink
    • *
  • directCommunicationLink
    • @@ -72,23 +66,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; *
  • groundStationNetwork
    • *
  • cubeSatWithKaAntenna
    • *
  • smallSat
    • - *
  • coverageMetric
    • - *
  • missionCoverage
    • - *
  • timeMetric
    • - *
  • missionTime
    • - *
  • transmitTime
    • - *
  • incomingData
    • - *
  • scienceData
    • - *
  • transmitRate
    • - *
  • spacecraftUplink
    • - *
  • costMetric
    • - *
  • missionCost
    • - *
  • spacecraftCost
    • *
  • spacecraftOfKind
    • - *
  • basePrice
    • - *
  • interferometryPayloadCost
    • - *
  • additionalCommSubsystemCost
    • - *
  • spacecraftWithTwoCommSubsystems
    • * * * @see IQueryGroup @@ -118,6 +96,11 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup { querySpecifications.add(AtLeastTwoInterferometryPayloads.instance()); querySpecifications.add(SpacecraftWithInterferometryPayload.instance()); querySpecifications.add(NoLinkToGroundStation.instance()); + querySpecifications.add(NoPotentialLinkToGroundStation.instance()); + querySpecifications.add(IndirectLinkAllowed.instance()); + querySpecifications.add(LinkAllowed.instance()); + querySpecifications.add(MatchingAntenna.instance()); + querySpecifications.add(CubeSat3U.instance()); querySpecifications.add(CommunicationLoop.instance()); querySpecifications.add(IndirectCommunicationLink.instance()); querySpecifications.add(DirectCommunicationLink.instance()); @@ -135,22 +118,6 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup { querySpecifications.add(GroundStationNetwork.instance()); querySpecifications.add(CubeSatWithKaAntenna.instance()); querySpecifications.add(SmallSat.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(SpacecraftOfKind.instance()); - querySpecifications.add(BasePrice.instance()); - querySpecifications.add(InterferometryPayloadCost.instance()); - querySpecifications.add(AdditionalCommSubsystemCost.instance()); - querySpecifications.add(SpacecraftWithTwoCommSubsystems.instance()); } } -- cgit v1.2.3-70-g09d2