diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-04-07 13:46:36 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-07 13:46:36 +0200 |
| commit | 3f9b1c92cc35fa4ed9672a2b8601f4c22af24921 (patch) | |
| tree | 927c41492ff3b50b3d998a4fbe87861187d85912 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |
| parent | Add reliability probability and mtff objectives (diff) | |
| download | VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.tar.gz VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.tar.zst VIATRA-Generator-3f9b1c92cc35fa4ed9672a2b8601f4c22af24921.zip | |
Infrastructure for objective functions
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index 3e879539..35ffaf65 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
| @@ -138,7 +138,7 @@ class GenerationTaskExecutor { | |||
| 138 | 138 | ||
| 139 | // 5.2 set values that defined directly | 139 | // 5.2 set values that defined directly |
| 140 | solverConfig.solutionScope = new SolutionScope => [ | 140 | solverConfig.solutionScope = new SolutionScope => [ |
| 141 | it.numberOfRequiredSolution = if(task.numberSpecified) { | 141 | it.numberOfRequiredSolutions = if(task.numberSpecified) { |
| 142 | task.number | 142 | task.number |
| 143 | } else { | 143 | } else { |
| 144 | 1 | 144 | 1 |