1 files changed, 28 insertions, 0 deletions
diff --git a/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig b/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig
new file mode 100644
index 00000000..14e0fbbd
--- /dev/null
+++ b/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig
@@ -0,0 +1,28 @@
+import epackage "model/simpleScenario.ecore"
+import viatra   "queries/simpleScenarioQueries.vql"
+generate {
+        metamodel = { package simpleScenario }
+        constraints = { package queries}
+        partial-model = { "inputs/SimpleScenarioInstance.xmi"}
+        solver = ViatraSolver
+        scope = {
+                #node = 10..30,
+                #int = {},
+                #<Actor> = 1
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal,
+                "numeric-solver" = "dreal",
+                "scopePropagator" = "typeHierarchy"
+        }
+        
+        runs = 1
+        
+        debug =                 "outputs/debug"
+        log =                   "outputs/debug/log.txt"
+        output =                "outputs/models"        
+        statistics =    "outputs/statistics.csv"
+}
+\ No newline at end of file

diff --git a/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig b/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig new file mode 100644 index 00000000..14e0fbbd --- /dev/null +++ b/Domains/traffic.scenarios.simplified/inputs/simpleScenarioGen.vsconfig
@@ -0,0 +1,28 @@
	1	import epackage "model/simpleScenario.ecore"
	2	import viatra "queries/simpleScenarioQueries.vql"
	3
	4	generate {
	5	metamodel = { package simpleScenario }
	6	constraints = { package queries}
	7	partial-model = { "inputs/SimpleScenarioInstance.xmi"}
	8	solver = ViatraSolver
	9	scope = {
	10	#node = 10..30,
	11	#int = {},
	12	#<Actor> = 1
	13	}
	14
	15	config = {
	16	runtime = 10000,
	17	log-level = normal,
	18	"numeric-solver" = "dreal",
	19	"scopePropagator" = "typeHierarchy"
	20	}
	21
	22	runs = 1
	23
	24	debug = "outputs/debug"
	25	log = "outputs/debug/log.txt"
	26	output = "outputs/models"
	27	statistics = "outputs/statistics.csv"
	28	} \ No newline at end of file