diff options
author | 2019-05-04 17:56:18 -0400 | |
---|---|---|
committer | 2019-05-04 17:56:18 -0400 | |
commit | b9aaa826e1e7504958b6e75f35e9dcd09086a13e (patch) | |
tree | df7b83804e74efb86fb845862c5523d04d7edeb1 /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Merge remote-tracking branch 'origin/master' into kris (diff) | |
download | VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.tar.gz VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.tar.zst VIATRA-Generator-b9aaa826e1e7504958b6e75f35e9dcd09086a13e.zip |
Metrics for satellite case study
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 d4d72391..b6601c28 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.IncompatibleSourceAndTargetGain; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; |
@@ -12,6 +14,7 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | |||
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
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 hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | 18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; |
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | 19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; |
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
@@ -36,6 +39,9 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
36 | * <li>kaAntennaGainLow</li> | 39 | * <li>kaAntennaGainLow</li> |
37 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 40 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
38 | * <li>cubeSatWithKaAntenna</li> | 41 | * <li>cubeSatWithKaAntenna</li> |
42 | * <li>coverageMetric</li> | ||
43 | * <li>timeMetric</li> | ||
44 | * <li>costMetric</li> | ||
39 | * </ul> | 45 | * </ul> |
40 | * | 46 | * |
41 | * @see IQueryGroup | 47 | * @see IQueryGroup |
@@ -71,6 +77,9 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
71 | querySpecifications.add(KaAntennaGainLow.instance()); | 77 | querySpecifications.add(KaAntennaGainLow.instance()); |
72 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 78 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
73 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 79 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
80 | querySpecifications.add(CoverageMetric.instance()); | ||
81 | querySpecifications.add(TimeMetric.instance()); | ||
82 | querySpecifications.add(CostMetric.instance()); | ||
74 | } | 83 | } |
75 | 84 | ||
76 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -160,4 +169,28 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
160 | public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) { | 169 | public CubeSatWithKaAntenna.Matcher getCubeSatWithKaAntenna(final ViatraQueryEngine engine) { |
161 | return CubeSatWithKaAntenna.Matcher.on(engine); | 170 | return CubeSatWithKaAntenna.Matcher.on(engine); |
162 | } | 171 | } |
172 | |||
173 | public CoverageMetric getCoverageMetric() { | ||
174 | return CoverageMetric.instance(); | ||
175 | } | ||
176 | |||
177 | public CoverageMetric.Matcher getCoverageMetric(final ViatraQueryEngine engine) { | ||
178 | return CoverageMetric.Matcher.on(engine); | ||
179 | } | ||
180 | |||
181 | public TimeMetric getTimeMetric() { | ||
182 | return TimeMetric.instance(); | ||
183 | } | ||
184 | |||
185 | public TimeMetric.Matcher getTimeMetric(final ViatraQueryEngine engine) { | ||
186 | return TimeMetric.Matcher.on(engine); | ||
187 | } | ||
188 | |||
189 | public CostMetric getCostMetric() { | ||
190 | return CostMetric.instance(); | ||
191 | } | ||
192 | |||
193 | public CostMetric.Matcher getCostMetric(final ViatraQueryEngine engine) { | ||
194 | return CostMetric.Matcher.on(engine); | ||
195 | } | ||
163 | } | 196 | } |