diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:41:28 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:41:28 +0200 |
commit | 9b06e8ad5beabe5e0ebf58d370d2e112ae9a4234 (patch) | |
tree | 48af48d46755195f4155b501cfc0c45325298293 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu | |
parent | Progress monitor fix (diff) | |
download | VIATRA-Generator-9b06e8ad5beabe5e0ebf58d370d2e112ae9a4234.tar.gz VIATRA-Generator-9b06e8ad5beabe5e0ebf58d370d2e112ae9a4234.tar.zst VIATRA-Generator-9b06e8ad5beabe5e0ebf58d370d2e112ae9a4234.zip |
Diversity support for Solver config
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 6 |
1 files changed, 5 insertions, 1 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 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 { | |||
93 | } | 93 | } |
94 | 94 | ||
95 | def dispatch void setRunIndex(AlloySolverConfiguration config, Map<String, String> parameters, int runIndex, ScriptConsole console) { | 95 | def dispatch void setRunIndex(AlloySolverConfiguration config, Map<String, String> parameters, int runIndex, ScriptConsole console) { |
96 | parameters.getAsBoolean("randomise",console).ifPresent[config.randomise = runIndex] | 96 | parameters.getAsBoolean("randomize",console).ifPresent[ |
97 | if(it) { | ||
98 | config.randomise = runIndex-1 | ||
99 | } | ||
100 | ] | ||
97 | } | 101 | } |
98 | def dispatch void setRunIndex(LogicSolverConfiguration config, Map<String, String> parameters, int runIndex, ScriptConsole console) { | 102 | def dispatch void setRunIndex(LogicSolverConfiguration config, Map<String, String> parameters, int runIndex, ScriptConsole console) { |
99 | 103 | ||