diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 7 |
1 files changed, 5 insertions, 2 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 c71bb53a..d7268bb9 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 | |||
@@ -74,7 +74,10 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ | |||
74 | containerName, | 74 | containerName, |
75 | "dreal")); | 75 | "dreal")); |
76 | if (getModel) {drealCmd.add("--model");} | 76 | if (getModel) {drealCmd.add("--model");} |
77 | drealCmd.add("mnt/" + tempFileName); | 77 | String tmpFileLoc = "mnt/" + tempFileName; |
78 | //REMOVE LINE BELOW IF USING WINDOWS | ||
79 | tmpFileLoc = "../" + tmpFileLoc;//ONLY IF USING LINUX | ||
80 | drealCmd.add(tmpFileLoc); | ||
78 | return runProcess(drealCmd); | 81 | return runProcess(drealCmd); |
79 | } | 82 | } |
80 | 83 | ||
@@ -288,7 +291,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ | |||
288 | //DEBUG - Print things | 291 | //DEBUG - Print things |
289 | // printFileContent(System.getProperty("java.io.tmpdir") + tempFileName); | 292 | // printFileContent(System.getProperty("java.io.tmpdir") + tempFileName); |
290 | // printOutput(outputs.get(0)); | 293 | // printOutput(outputs.get(0)); |
291 | System.out.println(result); | 294 | // System.out.println(result); |
292 | //END DEBUG | 295 | //END DEBUG |
293 | 296 | ||
294 | return result; | 297 | return result; |