From 2492b5f012b045917e7261bd5c78b432ec4d3dc6 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 15 Jan 2021 04:40:17 -0500
Subject: Begin vql implementation + fix enums bug

---
 .../crossingScenario/inputs/crossingScenarioGen.vsconfig    | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index 8ac31bb2..4f8267b7 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -7,20 +7,19 @@ generate {
 	partial-model = { "inputs/CrossingScenarioInit.xmi"}
 	solver = ViatraSolver
 	scope = {
-		#node = 10..30,
+		#node = 20..30,
 		#int = {},
-		#<Lane> = 1
-	}
+		#<Lane> = 1..10,
+		#<Actor> = 1..10,
+		#<Relation> = 1..10}
 	
 	config = {
 		runtime = 10000,
 		log-level = normal,
 		"numeric-solver" = "dreal",
-		"scopePropagator" = "typeHierarchy"
-	}
-	
-	runs = 1
+		"scopePropagator" = "typeHierarchy"}
 	
+	runs = 1	
 	debug =			"outputs/debug"
 	log =			"outputs/debug/log.txt"
 	output =		"outputs/models"	
-- 
cgit v1.2.3-54-g00ecf