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 | |
| 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
| -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 | ||