From 2cf27da1e2d10d358f7438e702e075ef1360fcbe Mon Sep 17 00:00:00 2001
From: anqili426 <mollisterkl@outlook.com>
Date: Wed, 22 Apr 2020 13:14:23 -0400
Subject: Added new test

---
 .../mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
index 569414f0..a27e8904 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
@@ -25,7 +25,8 @@ class ExpressionEvaluation2Logic {
 	def Term transformEval(PVariable target, XExpression expression, Map<PVariable, Variable> variable2Variable) {
 //		numericSolver.testIsNotSat(expression, expression.transform(variable2Variable));
 //		numericSolver.testGetOneSol(expression, expression.transform(variable2Variable));
-		numericSolver.testGetOneSol2(expression, expression.transform(variable2Variable));
+//		numericSolver.testGetOneSol2(expression, expression.transform(variable2Variable));
+		numericSolver.testGetOneSol3(expression, expression.transform(variable2Variable));
 //		numericSolver.testIsSat(expression, expression.transform(variable2Variable));
 
 		return expression.transform(variable2Variable)
-- 
cgit v1.2.3-70-g09d2