diff options
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.java | 3 |
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 | |||
24 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; | 24 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingAntenna; |
25 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem; | 25 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.MatchingCommSubsystem; |
26 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; | 26 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.SpacecraftWithInterferometryPayload; |
27 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal.TransmittingCommSubsystem; | ||
27 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 28 | import 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()); |