first version of the simpleScenario MM+VQL. noRealMatches bug found

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