1 files changed, 24 insertions, 4 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
index cecd3623..f30e390b 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
@@ -365,8 +365,8 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
                         Iterable<Map<JvmIdentifiableElement, PrimitiveElement>> matchSets = matches.get(e);

                         for (Map<JvmIdentifiableElement, PrimitiveElement> aMatch: matchSets) {

                                 String constraint = formNumericConstraint(e, aMatch);

-                                if (constraint != null) {
-                                        String negAssert = "(assert " + constraint +  ")";
+                                if (constraint != null) {

+                                        String negAssert = "(assert " + constraint +  ")";

                                         curConstraints.add(negAssert);

                                 }

                         }

@@ -426,8 +426,8 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
                 

                 boolean result = false;

                 List<List<String>> outputs = null;

-                if (outputProcess != null) { 
-                        outputs = getProcessOutput(outputProcess);
+                if (outputProcess != null) { 

+                        outputs = getProcessOutput(outputProcess);

                         result = getDrealResult(outputProcess.exitValue(), outputs);

 //              } else {

 //                      System.err.print("Timeout, RETRYING...");

@@ -575,4 +575,24 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
                 //TODO Check if above went well?

         }

 

+        @Override

+        protected void initialize() {

+                // TODO Auto-generated method stub

+                

+        }

+

+        @Override

+        protected boolean internalIsSatisfiable(

+                        Map<XExpression, Iterable<Map<JvmIdentifiableElement, PrimitiveElement>>> matches) throws Exception {

+                // TODO Auto-generated method stub

+                return false;

+        }

+

+        @Override

+        protected Map<PrimitiveElement, Number> internalGetOneSolution(List<PrimitiveElement> objs,

+                        Map<XExpression, Iterable<Map<JvmIdentifiableElement, PrimitiveElement>>> matches) throws Exception {

+                // TODO Auto-generated method stub

+                return null;

+        }

+

 }