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, 18 insertions, 7 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..d7378783 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,12 +3,13 @@
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.CommunicationLinkDoesNotStartAtContainingElement; 6import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkOfElement;
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;
12import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; 13import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation;
13import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; 14import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation;
14import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; 15import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads;
@@ -28,7 +29,8 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
28 * in order to achieve better performance than one-by-one on-demand matcher initialization. 29 * in order to achieve better performance than one-by-one on-demand matcher initialization.
29 * 30 *
30 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> 31 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul>
31 * <li>communicationLinkDoesNotStartAtContainingElement</li> 32 * <li>multipleCommunicationLinks</li>
33 * <li>communicationLinkOfElement</li>
32 * <li>notEnoughInterferometryPayloads</li> 34 * <li>notEnoughInterferometryPayloads</li>
33 * <li>noLinkToGroundStation</li> 35 * <li>noLinkToGroundStation</li>
34 * <li>noPotentialLinkToGroundStation</li> 36 * <li>noPotentialLinkToGroundStation</li>
@@ -66,7 +68,8 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup {
66 private static SatelliteQueries INSTANCE; 68 private static SatelliteQueries INSTANCE;
67 69
68 private SatelliteQueries() { 70 private SatelliteQueries() {
69 querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); 71 querySpecifications.add(MultipleCommunicationLinks.instance());
72 querySpecifications.add(CommunicationLinkOfElement.instance());
70 querySpecifications.add(NotEnoughInterferometryPayloads.instance()); 73 querySpecifications.add(NotEnoughInterferometryPayloads.instance());
71 querySpecifications.add(NoLinkToGroundStation.instance()); 74 querySpecifications.add(NoLinkToGroundStation.instance());
72 querySpecifications.add(NoPotentialLinkToGroundStation.instance()); 75 querySpecifications.add(NoPotentialLinkToGroundStation.instance());
@@ -82,12 +85,20 @@ public final class SatelliteQueries extends BaseGeneratedPatternGroup {
82 querySpecifications.add(SpacecraftOfKind.instance()); 85 querySpecifications.add(SpacecraftOfKind.instance());
83 } 86 }
84 87
85 public CommunicationLinkDoesNotStartAtContainingElement getCommunicationLinkDoesNotStartAtContainingElement() { 88 public MultipleCommunicationLinks getMultipleCommunicationLinks() {
86 return CommunicationLinkDoesNotStartAtContainingElement.instance(); 89 return MultipleCommunicationLinks.instance();
87 } 90 }
88 91
89 public CommunicationLinkDoesNotStartAtContainingElement.Matcher getCommunicationLinkDoesNotStartAtContainingElement(final ViatraQueryEngine engine) { 92 public MultipleCommunicationLinks.Matcher getMultipleCommunicationLinks(final ViatraQueryEngine engine) {
90 return CommunicationLinkDoesNotStartAtContainingElement.Matcher.on(engine); 93 return MultipleCommunicationLinks.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);
91 } 102 }
92 103
93 public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() { 104 public NotEnoughInterferometryPayloads getNotEnoughInterferometryPayloads() {