diff options
author | 2018-03-07 12:29:02 -0500 | |
---|---|---|
committer | 2018-03-07 12:29:02 -0500 | |
commit | 4e93d89e6cd3690039192d4762e24f4e426abaf1 (patch) | |
tree | 4295a51ae7223d4308197e7600e2f427d9871177 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | |
parent | More detailed error message (diff) | |
download | VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.tar.gz VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.tar.zst VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.zip |
Path as additional parameter
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend')
-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| |