1 files changed, 1 insertions, 17 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
index 8b7ee043..a594eb60 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
@@ -27,7 +27,7 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;

 

 

-public class NumericZ3ProblemSolver {

+public class NumericZ3ProblemSolver extends NumericProblemSolver{

         private static final String N_Base = "org.eclipse.xtext.xbase.lib.";

         private static final String N_PLUS = "operator_plus";

         private static final String N_MINUS = "operator_minus";

@@ -49,10 +49,6 @@ public class NumericZ3ProblemSolver {
         private Solver s;

         private Map<Object, Expr> varMap;

 

-        long endformingProblem=0;

-        long endSolvingProblem=0;

-        long endFormingSolution=0;

-

         public NumericZ3ProblemSolver() {

                 HashMap<String, String> cfg = new HashMap<String, String>();

                 cfg.put("model", "true");

@@ -66,18 +62,6 @@ public class NumericZ3ProblemSolver {
                 return ctx;

         }

 

-        public long getEndformingProblem() {

-                return endformingProblem;

-        }

-

-        public long getEndSolvingProblem() {

-                return endSolvingProblem;

-        }

-

-        public long getEndFormingSolution() {

-                return endFormingSolution;

-        }

-

         private ArrayList<JvmIdentifiableElement> getJvmIdentifiableElements(XExpression expression) {

                 ArrayList<JvmIdentifiableElement> allElem = new ArrayList<JvmIdentifiableElement>();

                 XExpression left = ((XBinaryOperation) expression).getLeftOperand();