From 4f0a474f5284bc97e9f509563d865424068b96fc Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 00:55:15 +0100
Subject: Minor adjsutments to CrossScen ad FamTree local case studies

---
 Domains/crossingScenario/queries/crossingScenarioQueries.vql | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Domains/crossingScenario/queries/crossingScenarioQueries.vql')

diff --git a/Domains/crossingScenario/queries/crossingScenarioQueries.vql b/Domains/crossingScenario/queries/crossingScenarioQueries.vql
index 0a28d774..5f35cd2b 100644
--- a/Domains/crossingScenario/queries/crossingScenarioQueries.vql
+++ b/Domains/crossingScenario/queries/crossingScenarioQueries.vql
@@ -94,6 +94,7 @@ pattern define_actor_minYp(cs:CrossingScenario, a:Actor) {
 ////////////ADDED
 //to reduce overlap
 //NEEDED
+/*
 @Constraint(severity="error", key={a}, message="5 Actor")
 pattern define_actor_wrtLane(a:Actor) {
 	Actor.placedOn(a, lane);
@@ -106,6 +107,7 @@ pattern define_actor_wrtLane(a:Actor) {
     Actor.xPos(a, xP);
     check(xP > 0.0-1.0);
 }
+*/
 ////////////ADDED
 	
 //Minimum Distances
@@ -437,6 +439,7 @@ pattern visionBlocked_qualAbstr(a1:Actor, a2:Actor) {
 	Actor.placedOn(a2, l);
 }
 */
+/*
 @Constraint(severity="error", key={a1, a2}, message="on lanes with different orientation")
 pattern visionBlocked_qualAbstr2(a1:Actor, a2:Actor) {
 	VisionBlocked.source(ce, a1);
@@ -453,6 +456,7 @@ pattern visionBlocked_qualAbstr2(a1:Actor, a2:Actor) {
 	Actor.placedOn(a2, hl2);
 	Lane_Horizontal(hl2);
 }
+*/
 
 ////////////ADDED
 //to make decision for ITE
-- 
cgit v1.2.3-54-g00ecf