From a5c911874a2c15aaca81c747c6f267e3a6776d04 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 12 Jan 2021 13:30:52 -0500
Subject: rename simpleScenario folder

---
 .../inputs/SimpleScenarioInstance.xmi              |  4 ++++
 .../inputs/simpleScenarioGen.vsconfig              | 28 ++++++++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 Domains/simpleScenario/inputs/SimpleScenarioInstance.xmi
 create mode 100644 Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig

(limited to 'Domains/simpleScenario/inputs')

diff --git a/Domains/simpleScenario/inputs/SimpleScenarioInstance.xmi b/Domains/simpleScenario/inputs/SimpleScenarioInstance.xmi
new file mode 100644
index 00000000..4a85197a
--- /dev/null
+++ b/Domains/simpleScenario/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/simpleScenario/inputs/simpleScenarioGen.vsconfig b/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
new file mode 100644
index 00000000..14e0fbbd
--- /dev/null
+++ b/Domains/simpleScenario/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
-- 
cgit v1.2.3-70-g09d2