diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend index 045387a0..ac4f29a9 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | |||
@@ -156,6 +156,10 @@ class SolverLoader { | |||
156 | c.drealLocalPath = stringValue; | 156 | c.drealLocalPath = stringValue; |
157 | } | 157 | } |
158 | } | 158 | } |
159 | if (config.containsKey("dreal-timeout")) { | ||
160 | val stringValue = config.get("dreal-timeout") | ||
161 | c.drealTimeout = Integer.parseInt(stringValue) | ||
162 | } | ||
159 | if (config.containsKey("scopePropagator")) { | 163 | if (config.containsKey("scopePropagator")) { |
160 | val stringValue = config.get("scopePropagator") | 164 | val stringValue = config.get("scopePropagator") |
161 | c.scopePropagatorStrategy = switch (stringValue) { | 165 | c.scopePropagatorStrategy = switch (stringValue) { |