diff options
author | 2019-06-15 20:56:47 -0400 | |
---|---|---|
committer | 2019-06-15 20:56:47 -0400 | |
commit | c0c5a1644cc221352b8b9b370eea6a87677ba948 (patch) | |
tree | 4b1412577c568440b7098dc31691438ebc8e7e9d /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java | |
parent | Bump MDEOptimizer version (diff) | |
download | VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.gz VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.tar.zst VIATRA-Generator-c0c5a1644cc221352b8b9b370eea6a87677ba948.zip |
Try fix statecode bug
Modified graph width calculation to not depend on order of nodes
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, 0 insertions, 33 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 d7326877..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,8 +5,6 @@ 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.NoLinkToGroundStation; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
@@ -14,7 +12,6 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGro | |||
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; | 13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SmallSat; |
16 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.ThreeUCubeSatWithNonUhfCrossLink; |
17 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.TimeMetric; | ||
18 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | 15 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; |
19 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 16 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
20 | 17 | ||
@@ -35,9 +32,6 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
35 | * <li>threeUCubeSatWithNonUhfCrossLink</li> | 32 | * <li>threeUCubeSatWithNonUhfCrossLink</li> |
36 | * <li>cubeSatWithKaAntenna</li> | 33 | * <li>cubeSatWithKaAntenna</li> |
37 | * <li>smallSat</li> | 34 | * <li>smallSat</li> |
38 | * <li>coverageMetric</li> | ||
39 | * <li>timeMetric</li> | ||
40 | * <li>costMetric</li> | ||
41 | * </ul> | 35 | * </ul> |
42 | * | 36 | * |
43 | * @see IQueryGroup | 37 | * @see IQueryGroup |
@@ -71,9 +65,6 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
71 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); | 65 | querySpecifications.add(ThreeUCubeSatWithNonUhfCrossLink.instance()); |
72 | querySpecifications.add(CubeSatWithKaAntenna.instance()); | 66 | querySpecifications.add(CubeSatWithKaAntenna.instance()); |
73 | querySpecifications.add(SmallSat.instance()); | 67 | querySpecifications.add(SmallSat.instance()); |
74 | querySpecifications.add(CoverageMetric.instance()); | ||
75 | querySpecifications.add(TimeMetric.instance()); | ||
76 | querySpecifications.add(CostMetric.instance()); | ||
77 | } | 68 | } |
78 | 69 | ||
79 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { | 70 | public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { |
@@ -147,28 +138,4 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup { | |||
147 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { | 138 | public SmallSat.Matcher getSmallSat(final ViatraQueryEngine engine) { |
148 | return SmallSat.Matcher.on(engine); | 139 | return SmallSat.Matcher.on(engine); |
149 | } | 140 | } |
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 | } | ||
174 | } | 141 | } |