From 9b06e8ad5beabe5e0ebf58d370d2e112ae9a4234 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 14 Sep 2018 16:41:28 +0200 Subject: Diversity support for Solver config --- .../mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu') 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 e6f42709..a9573fbf 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 @@ -93,7 +93,11 @@ class SolverLoader { } def dispatch void setRunIndex(AlloySolverConfiguration config, Map parameters, int runIndex, ScriptConsole console) { - parameters.getAsBoolean("randomise",console).ifPresent[config.randomise = runIndex] + parameters.getAsBoolean("randomize",console).ifPresent[ + if(it) { + config.randomise = runIndex-1 + } + ] } def dispatch void setRunIndex(LogicSolverConfiguration config, Map parameters, int runIndex, ScriptConsole console) { -- cgit v1.2.3-54-g00ecf