From 5271f0f7f3ad376c5f9d0833d266b14c9e63ac2e Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 14 Jan 2021 09:21:47 -0500
Subject: deactivate the constraints used for debugging

---
 Domains/simpleScenario/queries/logProb._vql | 41 +++++++++++++++++++++++++++++
 Domains/simpleScenario/queries/logProb.vql  | 41 -----------------------------
 2 files changed, 41 insertions(+), 41 deletions(-)
 create mode 100644 Domains/simpleScenario/queries/logProb._vql
 delete mode 100644 Domains/simpleScenario/queries/logProb.vql

diff --git a/Domains/simpleScenario/queries/logProb._vql b/Domains/simpleScenario/queries/logProb._vql
new file mode 100644
index 00000000..e6045909
--- /dev/null
+++ b/Domains/simpleScenario/queries/logProb._vql
@@ -0,0 +1,41 @@
+package queries
+
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" 
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
+
+pattern UPMUSTPropagateConstraint0_pattern_queries_refSpec(
+	problem:LogicProblem, interpretation:PartialInterpretation,
+	var_l) 
+{
+// Original Constraints
+// var_l exported
+find mustInRelationreferenceCoord_attribute_Lane(problem,interpretation,var_l,var_w);
+// Propagation for constraint
+PrimitiveElement.valueSet(var_w,setted_var_w); 
+IntegerElement.value(var_w,value_var_w);
+// Matching variables 
+//var_w==up_1;
+}
+
+/**
+ * Matcher for detecting tuples t where []referenceCoord attribute Lane(source,target)
+ */
+pattern mustInRelationreferenceCoord_attribute_Lane(
+	problem:LogicProblem, interpretation:PartialInterpretation,
+	source: DefinedElement, target:DefinedElement)
+{
+	find interpretation(problem,interpretation);
+	PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+	PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"referenceCoord attribute Lane");
+	PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+	BinaryElementRelationLink.param1(link,source);
+	BinaryElementRelationLink.param2(link,target);
+}
+
+//////////
+// 0. Util
+//////////
+pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) {
+	PartialInterpretation.problem(interpretation,problem); 
+}
\ No newline at end of file
diff --git a/Domains/simpleScenario/queries/logProb.vql b/Domains/simpleScenario/queries/logProb.vql
deleted file mode 100644
index e6045909..00000000
--- a/Domains/simpleScenario/queries/logProb.vql
+++ /dev/null
@@ -1,41 +0,0 @@
-package queries
-
-import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" 
-import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"
-import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
-
-pattern UPMUSTPropagateConstraint0_pattern_queries_refSpec(
-	problem:LogicProblem, interpretation:PartialInterpretation,
-	var_l) 
-{
-// Original Constraints
-// var_l exported
-find mustInRelationreferenceCoord_attribute_Lane(problem,interpretation,var_l,var_w);
-// Propagation for constraint
-PrimitiveElement.valueSet(var_w,setted_var_w); 
-IntegerElement.value(var_w,value_var_w);
-// Matching variables 
-//var_w==up_1;
-}
-
-/**
- * Matcher for detecting tuples t where []referenceCoord attribute Lane(source,target)
- */
-pattern mustInRelationreferenceCoord_attribute_Lane(
-	problem:LogicProblem, interpretation:PartialInterpretation,
-	source: DefinedElement, target:DefinedElement)
-{
-	find interpretation(problem,interpretation);
-	PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
-	PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"referenceCoord attribute Lane");
-	PartialRelationInterpretation.relationlinks(relationIterpretation,link);
-	BinaryElementRelationLink.param1(link,source);
-	BinaryElementRelationLink.param2(link,target);
-}
-
-//////////
-// 0. Util
-//////////
-pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) {
-	PartialInterpretation.problem(interpretation,problem); 
-}
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf