From 2531cfb60d747c261a20201415728beb0e24ab9b Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Mon, 15 Apr 2019 16:23:19 +0200
Subject: Satellite constellation case study WIP

---
 .../configs/generation.vsconfig                    | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
new file mode 100644
index 00000000..f042826e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
@@ -0,0 +1,25 @@
+import epackage "model/satellite.ecore"
+import viatra "src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql"
+
+generate {
+	metamodel = { package satellite excluding { InterferometryMission.observationTime } }
+	constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries  }
+	partial-model = { "inputs/SatelliteInstance.xmi"}
+	solver = ViatraSolver
+	scope = {
+		#node += 5..10
+	}
+
+	config = {
+		runtime = 10000,
+		log-level = normal
+	}
+
+	number = 1
+	runs = 1
+
+	debug =	"outputs/debug"
+	log = "outputs/log.txt"
+	output = "outputs/models"
+	statistics = "outputs/statistics.csv"
+}
-- 
cgit v1.2.3-70-g09d2