From 6d5b1d25c162f105a2ba1f5019574943d4a3c0e0 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Thu, 14 May 2020 22:55:31 +0200
Subject: fixes for the measurement

---
 .../logic2viatra/patterns/PatternGenerator.xtend   | 114 ++++++++++-----------
 1 file changed, 57 insertions(+), 57 deletions(-)

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner')

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend
index d92f2e30..677170b8 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend
@@ -215,42 +215,42 @@ class PatternGenerator {
 				find mayExist(problem,interpretation,a);
 				find mayExist(problem,interpretation,b);
 				a == b;
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				IntegerElement(a);
-				IntegerElement(b);
-				PrimitiveElement.valueSet(a,false);
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				IntegerElement(a);
-				IntegerElement(b);
-				PrimitiveElement.valueSet(b,false);
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				RealElement(a);
-				RealElement(b);
-				PrimitiveElement.valueSet(a,false);
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				RealElement(a);
-				RealElement(b);
-				PrimitiveElement.valueSet(b,false);
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				StringElement(a);
-				StringElement(b);
-				PrimitiveElement.valueSet(a,false);
-			} or {
-				find mayExist(problem,interpretation,a);
-				find mayExist(problem,interpretation,b);
-				StringElement(a);
-				StringElement(b);
-				PrimitiveElement.valueSet(b,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				IntegerElement(a);
+«««				IntegerElement(b);
+«««				PrimitiveElement.valueSet(a,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				IntegerElement(a);
+«««				IntegerElement(b);
+«««				PrimitiveElement.valueSet(b,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				RealElement(a);
+«««				RealElement(b);
+«««				PrimitiveElement.valueSet(a,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				RealElement(a);
+«««				RealElement(b);
+«««				PrimitiveElement.valueSet(b,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				StringElement(a);
+«««				StringElement(b);
+«««				PrimitiveElement.valueSet(a,false);
+«««			} or {
+«««				find mayExist(problem,interpretation,a);
+«««				find mayExist(problem,interpretation,b);
+«««				StringElement(a);
+«««				StringElement(b);
+«««				PrimitiveElement.valueSet(b,false);
 			}
 			
 			pattern mustEquivalent(problem:LogicProblem, interpretation:PartialInterpretation, a: DefinedElement, b: DefinedElement) {
@@ -258,27 +258,27 @@ class PatternGenerator {
 				find mustExist(problem,interpretation,a);
 				find mustExist(problem,interpretation,b);
 				a == b;
-			} or {
-				find mustExist(problem,interpretation,a);
-				find mustExist(problem,interpretation,b);
-				PrimitiveElement.valueSet(a,true);
-				PrimitiveElement.valueSet(b,true);
-				IntegerElement.value(a,value);
-				IntegerElement.value(b,value);
-			} or {
-				find mustExist(problem,interpretation,a);
-				find mustExist(problem,interpretation,b);
-				PrimitiveElement.valueSet(a,true);
-				PrimitiveElement.valueSet(b,true);
-				RealElement.value(a,value);
-				RealElement.value(b,value);
-			} or {
-				find mustExist(problem,interpretation,a);
-				find mustExist(problem,interpretation,b);
-				PrimitiveElement.valueSet(a,true);
-				PrimitiveElement.valueSet(b,true);
-				StringElement.value(a,value);
-				StringElement.value(b,value);
+«««			} or {
+«««				find mustExist(problem,interpretation,a);
+«««				find mustExist(problem,interpretation,b);
+«««				PrimitiveElement.valueSet(a,true);
+«««				PrimitiveElement.valueSet(b,true);
+«««				IntegerElement.value(a,value);
+«««				IntegerElement.value(b,value);
+«««			} or {
+«««				find mustExist(problem,interpretation,a);
+«««				find mustExist(problem,interpretation,b);
+«««				PrimitiveElement.valueSet(a,true);
+«««				PrimitiveElement.valueSet(b,true);
+«««				RealElement.value(a,value);
+«««				RealElement.value(b,value);
+«««			} or {
+«««				find mustExist(problem,interpretation,a);
+«««				find mustExist(problem,interpretation,b);
+«««				PrimitiveElement.valueSet(a,true);
+«««				PrimitiveElement.valueSet(b,true);
+«««				StringElement.value(a,value);
+«««				StringElement.value(b,value);
 			}
 			
 			//////////
-- 
cgit v1.2.3-54-g00ecf