1 files changed, 2 insertions, 1 deletions

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)