add numericProblemSolver supertype

1 files changed, 2 insertions, 2 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 00cf7e59..b9942a17 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
@@ -14,10 +14,10 @@ import org.eclipse.xtext.xbase.XUnaryOperation
 

 class ExpressionEvaluation2Logic {

         val extension LogicProblemBuilder builder = new LogicProblemBuilder

-        var NumericZ3ProblemSolver _numericSolver = null //new NumericProblemSolver

+        var NumericProblemSolver _numericSolver = null //new NumericProblemSolver

         def getNumericSolver() {

                 if(_numericSolver === null) {

-                        _numericSolver = new NumericZ3ProblemSolver

+                        _numericSolver = (new NumericTranslator).selectProblemSolver

                 }

                 return _numericSolver

         }