diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java index 31c5a70a..9025d93a 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |||
@@ -5,21 +5,13 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; | |||
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 org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 15 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
24 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 16 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
25 | 17 | ||
@@ -37,17 +29,9 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
37 | * <li>noPotentialLinkToGroundStation</li> | 29 | * <li>noPotentialLinkToGroundStation</li> |
38 | * <li>communicationLoop</li> | 30 | * <li>communicationLoop</li> |
39 | * <li>incompatibleSourceAndTargetBand</li> | 31 | * <li>incompatibleSourceAndTargetBand</li> |
40 | * <li>incompatibleSourceAndTargetGain</li> | ||
41 | * <li>uhfAntennaGainNotLow</li> | ||
42 | * <li>xAntennaGainNotMedium</li> | ||
43 | * <li>kaAntennaGainLow</li> | ||
44 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 32 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
45 | * <li>cubeSatWithKaAntenna</li> | 33 | * <li>cubeSatWithKaAntenna</li> |
46 | * <li>smallSat</li> | 34 | * <li>smallSat</li> |
47 | * <li>spacecraftOfKind</li> | ||
48 | * <li>coverageMetric</li> | ||
49 | * <li>timeMetric</li> | ||
50 | * <li>costMetric</li> | ||
51 | * </ul> | 35 | * </ul> |
52 | * | 36 | * |
53 | * @see IQueryGroup | 37 | * @see IQueryGroup |
@@ -78,17 +62,9 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
78 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); | 62 | querySpecifications.add(NoPotentialLinkToGroundStation.instance()); |
79 | querySpecifications.add(CommunicationLoop.instance()); | 63 | querySpecifications.add(CommunicationLoop.instance()); |
80 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); | 64 | querySpecifications.add(IncompatibleSourceAndTargetBand.instance()); |
81 | querySpecifications.add(IncompatibleSourceAndTargetGain.instance()); | ||
82 | querySpecifications.add(UhfAntennaGainNotLow.instance()); | ||
83 | querySpecifications.add(XAntennaGainNotMedium.instance()); | ||
84 | querySpecifications.add(KaAntennaGainLow.instance()); | ||
85 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 65 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
86 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 66 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
87 | querySpecifications.add(SmallSat.instance()); | 67 | querySpecifications.add(SmallSat.instance()); |
88 | querySpecifications.add(SpacecraftOfKind.instance()); | ||
89 | querySpecifications.add(CoverageMetric.instance()); | ||
90 | querySpecifications.add(TimeMetric.instance()); | ||
91 | querySpecifications.add(CostMetric.instance()); | ||
92 | } | 68 | } |
93 | 69 | ||
94 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 70 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -139,38 +115,6 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
139 | return IncompatibleSourceAndTargetBand.Matcher.on(engine); | 115 | return IncompatibleSourceAndTargetBand.Matcher.on(engine); |
140 | } | 116 | } |
141 | 117 | ||
142 | public IncompatibleSourceAndTargetGain getIncompatibleSourceAndTargetGain() { | ||
143 | return IncompatibleSourceAndTargetGain.instance(); | ||
144 | } | ||
145 | |||
146 | public IncompatibleSourceAndTargetGain.Matcher getIncompatibleSourceAndTargetGain(final ViatraQueryEngine engine) { | ||
147 | return IncompatibleSourceAndTargetGain.Matcher.on(engine); | ||
148 | } | ||
149 | |||
150 | public UhfAntennaGainNotLow getUhfAntennaGainNotLow() { | ||
151 | return UhfAntennaGainNotLow.instance(); | ||
152 | } | ||
153 | |||
154 | public UhfAntennaGainNotLow.Matcher getUhfAntennaGainNotLow(final ViatraQueryEngine engine) { | ||
155 | return UhfAntennaGainNotLow.Matcher.on(engine); | ||
156 | } | ||
157 | |||
158 | public XAntennaGainNotMedium getXAntennaGainNotMedium() { | ||
159 | return XAntennaGainNotMedium.instance(); | ||
160 | } | ||
161 | |||
162 | public XAntennaGainNotMedium.Matcher getXAntennaGainNotMedium(final ViatraQueryEngine engine) { | ||
163 | return XAntennaGainNotMedium.Matcher.on(engine); | ||
164 | } | ||
165 | |||
166 | public KaAntennaGainLow getKaAntennaGainLow() { | ||
167 | return KaAntennaGainLow.instance(); | ||
168 | } | ||
169 | |||
170 | public KaAntennaGainLow.Matcher getKaAntennaGainLow(final ViatraQueryEngine engine) { | ||
171 | return KaAntennaGainLow.Matcher.on(engine); | ||
172 | } | ||
173 | |||
174 | public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() { | 118 | public ThreeUCubeSatWithNonUhfCrossLink getThreeUCubeSatWithNonUhfCrossLink() { |
175 | return ThreeUCubeSatWithNonUhfCrossLink.instance(); | 119 | return ThreeUCubeSatWithNonUhfCrossLink.instance(); |
176 | } | 120 | } |
@@ -194,36 +138,4 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
194 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { | 138 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { |
195 | return SmallSat.Matcher.on(engine); | 139 | return SmallSat.Matcher.on(engine); |
196 | } | 140 | } |
197 | |||
198 | public SpacecraftOfKind getSpacecraftOfKind() { | ||
199 | return SpacecraftOfKind.instance(); | ||
200 | } | ||
201 | |||
202 | public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { | ||
203 | return SpacecraftOfKind.Matcher.on(engine); | ||
204 | } | ||
205 | |||
206 | public CoverageMetric getCoverageMetric() { | ||
207 | return CoverageMetric.instance(); | ||
208 | } | ||
209 | |||
210 | public CoverageMetric.Matcher getCoverageMetric(final ViatraQueryEngine engine) { | ||
211 | return CoverageMetric.Matcher.on(engine); | ||
212 | } | ||
213 | |||
214 | public TimeMetric getTimeMetric() { | ||
215 | return TimeMetric.instance(); | ||
216 | } | ||
217 | |||
218 | public TimeMetric.Matcher getTimeMetric(final ViatraQueryEngine engine) { | ||
219 | return TimeMetric.Matcher.on(engine); | ||
220 | } | ||
221 | |||
222 | public CostMetric getCostMetric() { | ||
223 | return CostMetric.instance(); | ||
224 | } | ||
225 | |||
226 | public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { | ||
227 | return CostMetric.Matcher.on(engine); | ||
228 | } | ||
229 | } | 141 | } |