diff options
author | 2021-02-16 03:06:22 +0100 | |
---|---|---|
committer | 2021-02-16 03:06:22 +0100 | |
commit | 0ebddc8dd265cd5b1b439e3c06f1de1047641559 (patch) | |
tree | 7141673072f4d6a48a9b12d23b9f01261717a8f7 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf | |
parent | Ready for strategies case study (diff) | |
download | VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.gz VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.zst VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.zip |
add dreal-timeout flag
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf')
-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) { |