diff options
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 1 |
1 files changed, 1 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 9ae1ba6b..74b3b17d 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 | |||
| @@ -69,6 +69,7 @@ class SolverLoader { | |||
| 69 | } else if(solver === Solver::SMT_SOLVER) { | 69 | } else if(solver === Solver::SMT_SOLVER) { |
| 70 | return new SmtSolverConfiguration => [c| | 70 | return new SmtSolverConfiguration => [c| |
| 71 | config.getAsBoolean("fixRandomSeed",console).ifPresent[c.fixRandomSeed = it] | 71 | config.getAsBoolean("fixRandomSeed",console).ifPresent[c.fixRandomSeed = it] |
| 72 | config.getAsType("path",console,[it],String).ifPresent[c.solverPath = it] | ||
| 72 | ] | 73 | ] |
| 73 | } else if(solver === Solver::VIATRA_SOLVER) { | 74 | } else if(solver === Solver::VIATRA_SOLVER) { |
| 74 | return new ViatraReasonerConfiguration => [c| | 75 | return new ViatraReasonerConfiguration => [c| |