diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java index 1e5c1f29..e8c20138 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java | |||
@@ -13,16 +13,18 @@ public class NumericDynamicProblemSolver extends NumericProblemSolver{ | |||
13 | 13 | ||
14 | // private NumericZ3ProblemSolver z3Solver; | 14 | // private NumericZ3ProblemSolver z3Solver; |
15 | private NumericDrealProblemSolver drealSolver; | 15 | private NumericDrealProblemSolver drealSolver; |
16 | private int timeout; | ||
16 | 17 | ||
17 | public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException { | 18 | public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException { |
18 | // this.z3Solver = new NumericZ3ProblemSolver(); | 19 | // this.z3Solver = new NumericZ3ProblemSolver(); |
19 | this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout); | 20 | this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout); |
21 | this.timeout = drealTimeout; | ||
20 | } | 22 | } |
21 | 23 | ||
22 | public NumericProblemSolver selectSolver(String selection) { | 24 | public NumericProblemSolver selectSolver(String selection) { |
23 | switch (selection) { | 25 | switch (selection) { |
24 | case "z3": | 26 | case "z3": |
25 | return new NumericZ3ProblemSolver(); | 27 | return new NumericZ3ProblemSolver(timeout); |
26 | case "dreal": | 28 | case "dreal": |
27 | return this.drealSolver; | 29 | return this.drealSolver; |
28 | default: | 30 | default: |