aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.java
diff options
context:
space:
mode:
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.java25
1 files changed, 7 insertions, 18 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 d7378783..c86761ce 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
@@ -3,13 +3,12 @@
3 */ 3 */
4package hu.bme.mit.inf.dslreasoner.domains.satellite.queries; 4package hu.bme.mit.inf.dslreasoner.domains.satellite.queries;
5 5
6import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkOfElement; 6import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkDoesNotStartAtContainingElement;
7import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop; 7import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLoop;
8import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; 8import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna;
9import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; 9import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand;
10import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; 10import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain;
11import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; 11import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow;
12import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.MultipleCommunicationLinks;
13import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; 12import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation;
14import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; 13import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation;
15import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; 14import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads;
@@ -29,8 +28,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
29 * in order to achieve better performance than one-by-one on-demand matcher initialization. 28 * in order to achieve better performance than one-by-one on-demand matcher initialization.
30 * 29 *
31 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> 30 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul>
32 * <li>multipleCommunicationLinks</li> 31 * <li>communicationLinkDoesNotStartAtContainingElement</li>
33 * <li>communicationLinkOfElement</li>
34 * <li>notEnoughInterferometryPayloads</li> 32 * <li>notEnoughInterferometryPayloads</li>
35 * <li>noLinkToGroundStation</li> 33 * <li>noLinkToGroundStation</li>
36 * <li>noPotentialLinkToGroundStation</li> 34 * <li>noPotentialLinkToGroundStation</li>
@@ -68,8 +66,7 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup {
68 private static SatelliteQueries INSTANCE; 66 private static SatelliteQueries INSTANCE;
69 67
70 private SatelliteQueries() { 68 private SatelliteQueries() {
71 querySpecifications.add(MultipleCommunicationLinks.instance()); 69 querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance());
72 querySpecifications.add(CommunicationLinkOfElement.instance());
73 querySpecifications.add(NotEnoughInterferometryPayloads.instance()); 70 querySpecifications.add(NotEnoughInterferometryPayloads.instance());
74 querySpecifications.add(NoLinkToGroundStation.instance()); 71 querySpecifications.add(NoLinkToGroundStation.instance());
75 querySpecifications.add(NoPotentialLinkToGroundStation.instance()); 72 querySpecifications.add(NoPotentialLinkToGroundStation.instance());
@@ -85,20 +82,12 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup {
85 querySpecifications.add(SpacecraftOfKind.instance()); 82 querySpecifications.add(SpacecraftOfKind.instance());
86 } 83 }
87 84
88 public MultipleCommunicationLinks getMultipleCommunicationLinks() { 85 public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() {
89 return MultipleCommunicationLinks.instance(); 86 return CommunicationLinkDoesNotStartAtContainingElement.instance();
90 } 87 }
91 88
92 public MultipleCommunicationLinks.Matcher getMultipleCommunicationLinks(final ViatraQueryEngine engine) { 89 public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) {
93 return MultipleCommunicationLinks.Matcher.on(engine); 90 return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine);
94 }
95
96 public CommunicationLinkOfElement getCommunicationLinkOfElement() {
97 return CommunicationLinkOfElement.instance();
98 }
99
100 public CommunicationLinkOfElement.Matcher getCommunicationLinkOfElement(final ViatraQueryEngine engine) {
101 return CommunicationLinkOfElement.Matcher.on(engine);
102 } 91 }
103 92
104 public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { 93 public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() {