From dc931c24870432efcd3c3fca4fb6fbd401c70420 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 14 Jan 2021 10:34:59 -0500
Subject: refactor simpleScenario->crossingScenario

---
 .../inputs/simpleScenarioGen.vsconfig              | 28 ----------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig

(limited to 'Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig')

diff --git a/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig b/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
deleted file mode 100644
index a411d968..00000000
--- a/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
+++ /dev/null
@@ -1,28 +0,0 @@
-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 = {},
-		#<Lane> = 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-54-g00ecf