diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
| commit | 0ebddc8dd265cd5b1b439e3c06f1de1047641559 (patch) | |
| tree | 7141673072f4d6a48a9b12d23b9f01261717a8f7 /Application | |
| 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')
| -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) { |