From 4e93d89e6cd3690039192d4762e24f4e426abaf1 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 7 Mar 2018 12:29:02 -0500 Subject: Path as additional parameter --- .../hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 1 + 1 file changed, 1 insertion(+) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner') 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 { } else if(solver === Solver::SMT_SOLVER) { return new SmtSolverConfiguration => [c| config.getAsBoolean("fixRandomSeed",console).ifPresent[c.fixRandomSeed = it] + config.getAsType("path",console,[it],String).ifPresent[c.solverPath = it] ] } else if(solver === Solver::VIATRA_SOLVER) { return new ViatraReasonerConfiguration => [c| -- cgit v1.2.3-70-g09d2