2 files changed, 11 insertions, 1 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
index c7135562..c1d3f7d3 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql
@@ -3,7 +3,7 @@ package hu.bme.mit.inf.dslreasoner.domains.satellite.queries
 import "http://www.example.org/satellite"
 
 @Constraint(severity = "error", key = {Element},
-        message = "A communicating element may not have two transmitting communication subsystems..")
+        message = "A communicating element may not have two transmitting communication subsystems.")
 pattern communicationLinkDoesNotStartAtContainingElement(Element : CommunicatingElement) {
         find transmittingCommSubsystem(Element, Comm1);
         find transmittingCommSubsystem(Element, Comm2);
@@ -15,6 +15,12 @@ private pattern transmittingCommSubsystem(Element : CommunicatingElement, Comm :
         CommSubsystem.target(Comm, _);
 }
 
+@Constraint(severity = "error", key = {Station},
+        message = "The ground station network may not have outgoing communication links.")
+pattern transmittingGroundStationNetwork(Station : GroundStationNetwork) {
+        find transmittingCommSubsystem(Station, _);
+}
+
 // At least two spacecraft must have the interferometry payload configured
 
 @Constraint(severity = "error", key = {Mission},
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
index 3d2cbbc7..5e4e4ef0 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/runner/SatelliteGeneratorMain.xtend
@@ -1,6 +1,8 @@
 package hu.bme.mit.inf.dslreasoner.domains.satellite.runner
 
 import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor
+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngineOptions
+import org.eclipse.viatra.query.runtime.rete.matcher.ReteBackendFactory
 
 final class SatelliteGeneratorMain {
         private new() {
@@ -8,6 +10,8 @@ final class SatelliteGeneratorMain {
         }
 
         public static def void main(String[] args) {
+                ViatraQueryEngineOptions.setSystemDefaultBackends(ReteBackendFactory.INSTANCE, ReteBackendFactory.INSTANCE,
+                        ReteBackendFactory.INSTANCE)
                 println(StandaloneScriptExecutor.executeScript("configs/generation.vsconfig"))
         }
 }