diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:54:19 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-07 11:54:19 -0400 |
commit | 436ec038c24c42e615feb22a0fed029494bc74ea (patch) | |
tree | f3783961c521b73201a9d079be78feb26e8a285c /Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/internal/SatelliteQueriesAll.java | |
parent | Try to restructure satellite case study (diff) | |
download | VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.gz VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.tar.zst VIATRA-Generator-436ec038c24c42e615feb22a0fed029494bc74ea.zip |
Revert "Try to restructure satellite case study"
This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6.
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 | 9 |
1 files changed, 3 insertions, 6 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 591215cd..36fa4557 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 | |||
@@ -3,13 +3,12 @@ | |||
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal; | 4 | package hu.bme.mit.inf.dslreasoner.domains.satellite.queries.internal; |
5 | 5 | ||
6 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CommunicationLinkOfElement; | 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.CubeSatWithKaAntenna; | 8 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.CubeSatWithKaAntenna; |
9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; | 9 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetBand; |
10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; | 10 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.IncompatibleSourceAndTargetGain; |
11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; | 11 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.KaAntennaGainLow; |
12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.MultipleCommunicationLinks; | ||
13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; | 12 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoLinkToGroundStation; |
14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; | 13 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NoPotentialLinkToGroundStation; |
15 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; | 14 | import hu.bme.mit.inf.dslreasoner.domains.satellite.queries.NotEnoughInterferometryPayloads; |
@@ -40,8 +39,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
40 | * <p>A private group that includes private patterns as well. Only intended use case is for pattern testing. | 39 | * <p>A private group that includes private patterns as well. Only intended use case is for pattern testing. |
41 | * | 40 | * |
42 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> | 41 | * <p> From package hu.bme.mit.inf.dslreasoner.domains.satellite.queries, the group contains the definition of the following patterns: <ul> |
43 | * <li>multipleCommunicationLinks</li> | 42 | * <li>communicationLinkDoesNotStartAtContainingElement</li> |
44 | * <li>communicationLinkOfElement</li> | ||
45 | * <li>notEnoughInterferometryPayloads</li> | 43 | * <li>notEnoughInterferometryPayloads</li> |
46 | * <li>atLeastTwoInterferometryPayloads</li> | 44 | * <li>atLeastTwoInterferometryPayloads</li> |
47 | * <li>spacecraftWithInterferometryPayload</li> | 45 | * <li>spacecraftWithInterferometryPayload</li> |
@@ -93,8 +91,7 @@ public final class SatelliteQueriesAll extends BaseGeneratedPatternGroup { | |||
93 | private static SatelliteQueriesAll INSTANCE; | 91 | private static SatelliteQueriesAll INSTANCE; |
94 | 92 | ||
95 | private SatelliteQueriesAll() { | 93 | private SatelliteQueriesAll() { |
96 | querySpecifications.add(MultipleCommunicationLinks.instance()); | 94 | querySpecifications.add(CommunicationLinkDoesNotStartAtContainingElement.instance()); |
97 | querySpecifications.add(CommunicationLinkOfElement.instance()); | ||
98 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); | 95 | querySpecifications.add(NotEnoughInterferometryPayloads.instance()); |
99 | querySpecifications.add(AtLeastTwoInterferometryPayloads.instance()); | 96 | querySpecifications.add(AtLeastTwoInterferometryPayloads.instance()); |
100 | querySpecifications.add(SpacecraftWithInterferometryPayload.instance()); | 97 | querySpecifications.add(SpacecraftWithInterferometryPayload.instance()); |