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 | 33 |
1 files changed, 33 insertions, 0 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 9025d93a..d7326877 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,6 +5,8 @@ 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; | ||
8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; |
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | 11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; |
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
@@ -12,6 +14,7 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGro | |||
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | 15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | 16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; |
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; | ||
15 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 18 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
16 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 19 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
17 | 20 | ||
@@ -32,6 +35,9 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
32 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 35 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
33 | * <li>cubeSatWithKaAntenna</li> | 36 | * <li>cubeSatWithKaAntenna</li> |
34 | * <li>smallSat</li> | 37 | * <li>smallSat</li> |
38 | * <li>coverageMetric</li> | ||
39 | * <li>timeMetric</li> | ||
40 | * <li>costMetric</li> | ||
35 | * </ul> | 41 | * </ul> |
36 | * | 42 | * |
37 | * @see IQueryGroup | 43 | * @see IQueryGroup |
@@ -65,6 +71,9 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
65 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 71 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
66 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 72 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
67 | querySpecifications.add(SmallSat.instance()); | 73 | querySpecifications.add(SmallSat.instance()); |
74 | querySpecifications.add(CoverageMetric.instance()); | ||
75 | querySpecifications.add(TimeMetric.instance()); | ||
76 | querySpecifications.add(CostMetric.instance()); | ||
68 | } | 77 | } |
69 | 78 | ||
70 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 79 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -138,4 +147,28 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
138 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { | 147 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { |
139 | return SmallSat.Matcher.on(engine); | 148 | return SmallSat.Matcher.on(engine); |
140 | } | 149 | } |
150 | |||
151 | public CoverageMetric getCoverageMetric() { | ||
152 | return CoverageMetric.instance(); | ||
153 | } | ||
154 | |||
155 | public CoverageMetric.Matcher getCoverageMetric(final ViatraQueryEngine engine) { | ||
156 | return CoverageMetric.Matcher.on(engine); | ||
157 | } | ||
158 | |||
159 | public TimeMetric getTimeMetric() { | ||
160 | return TimeMetric.instance(); | ||
161 | } | ||
162 | |||
163 | public TimeMetric.Matcher getTimeMetric(final ViatraQueryEngine engine) { | ||
164 | return TimeMetric.Matcher.on(engine); | ||
165 | } | ||
166 | |||
167 | public CostMetric getCostMetric() { | ||
168 | return CostMetric.instance(); | ||
169 | } | ||
170 | |||
171 | public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { | ||
172 | return CostMetric.Matcher.on(engine); | ||
173 | } | ||
141 | } | 174 | } |