aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.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/internal/SatelliteQueriesAll.java')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
index 66ea8361..4093e2b2 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java
@@ -24,6 +24,7 @@ import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.LinkAllowed
24import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; 24import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna;
25import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem; 25import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem;
26import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; 26import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload;
27import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmittingCommSubsystem;
27import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; 28import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
28 29
29/** 30/**
@@ -33,6 +34,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
33 * 34 *
34 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> 35 * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul>
35 * <li>communicationLinkDoesNotStartAtContainingElement</li> 36 * <li>communicationLinkDoesNotStartAtContainingElement</li>
37 * <li>transmittingCommSubsystem</li>
36 * <li>notEnoughInterferometryPayloads</li> 38 * <li>notEnoughInterferometryPayloads</li>
37 * <li>atLeastTwoInterferometryPayloads</li> 39 * <li>atLeastTwoInterferometryPayloads</li>
38 * <li>spacecraftWithInterferometryPayload</li> 40 * <li>spacecraftWithInterferometryPayload</li>
@@ -78,6 +80,7 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup {
78 80
79 private SatelliteQueriesAll() { 81 private SatelliteQueriesAll() {
80 querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); 82 querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance());
83 querySpecifications.add(TransmittingCommSubsystem.instance());
81 querySpecifications.add(NotEnoughInterferometryPayloads.instance()); 84 querySpecifications.add(NotEnoughInterferometryPayloads.instance());
82 querySpecifications.add(AtLeastTwoInterferometryPayloads.instance()); 85 querySpecifications.add(AtLeastTwoInterferometryPayloads.instance());
83 querySpecifications.add(SpacecraftWithInterferometryPayload.instance()); 86 querySpecifications.add(SpacecraftWithInterferometryPayload.instance());