diff options
author | 2019-05-15 13:46:38 -0400 | |
---|---|---|
committer | 2019-05-15 13:46:38 -0400 | |
commit | e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef (patch) | |
tree | 42cb23ff8839308345c0859cdf99469c930af03b /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-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.gz VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.tar.zst VIATRA-Generator-e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef.zip |
Formalize CPS case study for optimization
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 c86761ce..31c5a70a 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; |
@@ -15,6 +17,7 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferome | |||
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | 17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; | 18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SpacecraftOfKind; |
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | 19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; |
20 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; | ||
18 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; | 21 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.UhfAntennaGainNotLow; |
19 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; | 22 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.XAntennaGainNotMedium; |
20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 23 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
@@ -42,6 +45,9 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
42 | * <li>cubeSatWithKaAntenna</li> | 45 | * <li>cubeSatWithKaAntenna</li> |
43 | * <li>smallSat</li> | 46 | * <li>smallSat</li> |
44 | * <li>spacecraftOfKind</li> | 47 | * <li>spacecraftOfKind</li> |
48 | * <li>coverageMetric</li> | ||
49 | * <li>timeMetric</li> | ||
50 | * <li>costMetric</li> | ||
45 | * </ul> | 51 | * </ul> |
46 | * | 52 | * |
47 | * @see IQueryGroup | 53 | * @see IQueryGroup |
@@ -80,6 +86,9 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
80 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 86 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
81 | querySpecifications.add(SmallSat.instance()); | 87 | querySpecifications.add(SmallSat.instance()); |
82 | querySpecifications.add(SpacecraftOfKind.instance()); | 88 | querySpecifications.add(SpacecraftOfKind.instance()); |
89 | querySpecifications.add(CoverageMetric.instance()); | ||
90 | querySpecifications.add(TimeMetric.instance()); | ||
91 | querySpecifications.add(CostMetric.instance()); | ||
83 | } | 92 | } |
84 | 93 | ||
85 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 94 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -193,4 +202,28 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
193 | public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { | 202 | public SpacecraftOfKind.Matcher getSpacecraftOfKind(final ViatraQueryEngine engine) { |
194 | return SpacecraftOfKind.Matcher.on(engine); | 203 | return SpacecraftOfKind.Matcher.on(engine); |
195 | } | 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 | } | ||
196 | } | 229 | } |