diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java | 81 |
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; | |||
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; | 6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement; |
7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; | 7 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; |
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CostMetric; | ||
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CoverageMetric; | ||
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; | 8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; |
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | 9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; |
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; | ||
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | ||
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | 11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; |
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | 13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; | ||
19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; |
20 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; | ||
21 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | ||
22 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | ||
23 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AdditionalCommSubsystemCost; | ||
24 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads; | 15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.AtLeastTwoInterferometryPayloads; |
25 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.BasePrice; | ||
26 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBand; | ||
27 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; | 16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemBandUhf; |
28 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGain; | ||
29 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainLow; | ||
30 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CommSubsystemGainMedium; | ||
31 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat3U; | 17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat3U; |
18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.CubeSat6U; | ||
32 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.DirectCommunicationLink; | 19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.DirectCommunicationLink; |
33 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; | 20 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.GroundStationNetwork; |
34 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IncomingData; | ||
35 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink; | 21 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectCommunicationLink; |
36 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed; | 22 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.IndirectLinkAllowed; |
37 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.InterferometryPayloadCost; | ||
38 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.LinkAllowed; | 23 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.LinkAllowed; |
39 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; | 24 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; |
40 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionCost; | 25 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem; |
41 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionCoverage; | ||
42 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MissionTime; | ||
43 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.ScienceData; | ||
44 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftCost; | ||
45 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftUplink; | ||
46 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; | 26 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; |
47 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithTwoCommSubsystems; | ||
48 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmitRate; | ||
49 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmitTime; | ||
50 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 27 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
51 | 28 | ||
52 | /** | 29 | /** |
@@ -64,41 +41,18 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
64 | * <li>indirectLinkAllowed</li> | 41 | * <li>indirectLinkAllowed</li> |
65 | * <li>linkAllowed</li> | 42 | * <li>linkAllowed</li> |
66 | * <li>matchingAntenna</li> | 43 | * <li>matchingAntenna</li> |
44 | * <li>matchingCommSubsystem</li> | ||
67 | * <li>cubeSat3U</li> | 45 | * <li>cubeSat3U</li> |
46 | * <li>cubeSat6U</li> | ||
68 | * <li>communicationLoop</li> | 47 | * <li>communicationLoop</li> |
69 | * <li>indirectCommunicationLink</li> | 48 | * <li>indirectCommunicationLink</li> |
70 | * <li>directCommunicationLink</li> | 49 | * <li>directCommunicationLink</li> |
71 | * <li>incompatibleSourceAndTargetBand</li> | 50 | * <li>incompatibleSourceAndTargetBand</li> |
72 | * <li>commSubsystemBand</li> | ||
73 | * <li>incompatibleSourceAndTargetGain</li> | ||
74 | * <li>commSubsystemGain</li> | ||
75 | * <li>uhfAntennaGainNotLow</li> | ||
76 | * <li>commSubsystemGainLow</li> | ||
77 | * <li>xAntennaGainNotMedium</li> | ||
78 | * <li>commSubsystemGainMedium</li> | ||
79 | * <li>kaAntennaGainLow</li> | ||
80 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 51 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
81 | * <li>commSubsystemBandUhf</li> | 52 | * <li>commSubsystemBandUhf</li> |
82 | * <li>groundStationNetwork</li> | 53 | * <li>groundStationNetwork</li> |
83 | * <li>cubeSatWithKaAntenna</li> | 54 | * <li>cubeSatWithKaAntenna</li> |
84 | * <li>smallSat</li> | 55 | * <li>smallSat</li> |
85 | * <li>spacecraftOfKind</li> | ||
86 | * <li>coverageMetric</li> | ||
87 | * <li>missionCoverage</li> | ||
88 | * <li>timeMetric</li> | ||
89 | * <li>missionTime</li> | ||
90 | * <li>transmitTime</li> | ||
91 | * <li>incomingData</li> | ||
92 | * <li>scienceData</li> | ||
93 | * <li>transmitRate</li> | ||
94 | * <li>spacecraftUplink</li> | ||
95 | * <li>costMetric</li> | ||
96 | * <li>missionCost</li> | ||
97 | * <li>spacecraftCost</li> | ||
98 | * <li>basePrice</li> | ||
99 | * <li>interferometryPayloadCost</li> | ||
100 | * <li>additionalCommSubsystemCost</li> | ||
101 | * <li>spacecraftWithTwoCommSubsystems</li> | ||
102 | * </ul> | 56 | * </ul> |
103 | * | 57 | * |
104 | * @see IQueryGroup | 58 | * @see IQueryGroup |
@@ -132,40 +86,17 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup { | |||
132 | querySpecifications.add(IndirectLinkAllowed.instance()); | 86 | querySpecifications.add(IndirectLinkAllowed.instance()); |
133 | querySpecifications.add(LinkAllowed.instance()); | 87 | querySpecifications.add(LinkAllowed.instance()); |
134 | querySpecifications.add(MatchingAntenna.instance()); | 88 | querySpecifications.add(MatchingAntenna.instance()); |
89 | querySpecifications.add(MatchingCommSubsystem.instance()); | ||
135 | querySpecifications.add(CubeSat3U.instance()); | 90 | querySpecifications.add(CubeSat3U.instance()); |
91 | querySpecifications.add(CubeSat6U.instance()); | ||
136 | querySpecifications.add(CommunicationLoop.instance()); | 92 | querySpecifications.add(CommunicationLoop.instance()); |
137 | querySpecifications.add(IndirectCommunicationLink.instance()); | 93 | querySpecifications.add(IndirectCommunicationLink.instance()); |
138 | querySpecifications.add(DirectCommunicationLink.instance()); | 94 | querySpecifications.add(DirectCommunicationLink.instance()); |
139 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | 95 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); |
140 | querySpecifications.add(CommSubsystemBand.instance()); | ||
141 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | ||
142 | querySpecifications.add(CommSubsystemGain.instance()); | ||
143 | querySpecifications.add(UhfAntennaGainNotLow.instance()); | ||
144 | querySpecifications.add(CommSubsystemGainLow.instance()); | ||
145 | querySpecifications.add(XAntennaGainNotMedium.instance()); | ||
146 | querySpecifications.add(CommSubsystemGainMedium.instance()); | ||
147 | querySpecifications.add(KaAntennaGainLow.instance()); | ||
148 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 96 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
149 | querySpecifications.add(CommSubsystemBandUhf.instance()); | 97 | querySpecifications.add(CommSubsystemBandUhf.instance()); |
150 | querySpecifications.add(GroundStationNetwork.instance()); | 98 | querySpecifications.add(GroundStationNetwork.instance()); |
151 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 99 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
152 | querySpecifications.add(SmallSat.instance()); | 100 | querySpecifications.add(SmallSat.instance()); |
153 | querySpecifications.add(SpacecraftOfKind.instance()); | ||
154 | querySpecifications.add(CoverageMetric.instance()); | ||
155 | querySpecifications.add(MissionCoverage.instance()); | ||
156 | querySpecifications.add(TimeMetric.instance()); | ||
157 | querySpecifications.add(MissionTime.instance()); | ||
158 | querySpecifications.add(TransmitTime.instance()); | ||
159 | querySpecifications.add(IncomingData.instance()); | ||
160 | querySpecifications.add(ScienceData.instance()); | ||
161 | querySpecifications.add(TransmitRate.instance()); | ||
162 | querySpecifications.add(SpacecraftUplink.instance()); | ||
163 | querySpecifications.add(CostMetric.instance()); | ||
164 | querySpecifications.add(MissionCost.instance()); | ||
165 | querySpecifications.add(SpacecraftCost.instance()); | ||
166 | querySpecifications.add(BasePrice.instance()); | ||
167 | querySpecifications.add(InterferometryPayloadCost.instance()); | ||
168 | querySpecifications.add(AdditionalCommSubsystemCost.instance()); | ||
169 | querySpecifications.add(SpacecraftWithTwoCommSubsystems.instance()); | ||
170 | } | 101 | } |
171 | } | 102 | } |