2 files changed, 32 insertions, 0 deletions

diff --git a/Domains/traffic.scenarios.simplified/inputs/SimpleScenarioInstance.xmi b/Domains/traffic.scenarios.simplified/inputs/SimpleScenarioInstance.xmi
new file mode 100644
index 00000000..4a85197a
--- /dev/null
+++ b/Domains/traffic.scenarios.simplified/inputs/SimpleScenarioInstance.xmi
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<simpleScenario:SimpleScenario xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI"

+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:simpleScenario="http://www.example.com/simpleScenario"

+    xsi:schemaLocation="http://www.example.com/simpleScenario ../model/simpleScenario.ecore"/>

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