diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:43:01 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:43:01 +0200 |
| commit | 1656194bb55cfccb78132df252de3bdea51bd869 (patch) | |
| tree | 20742b65197097bbb82c7d8189630e091a1fb123 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend | |
| parent | Scope in partial model initialised by the given model scope (diff) | |
| download | VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.tar.gz VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.tar.zst VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.zip | |
Updated progress monitor for huge amount instance generation processes
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend index b9813040..c9ec68bb 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend | |||
| @@ -102,12 +102,12 @@ class ScriptExecutor { | |||
| 102 | /** | 102 | /** |
| 103 | * Mapping time = 100 | 103 | * Mapping time = 100 |
| 104 | * Solving = 1000 * runs | 104 | * Solving = 1000 * runs |
| 105 | * Visualisation = runs * number * 100 | 105 | * Visualisation = 1000 * runs |
| 106 | */ | 106 | */ |
| 107 | def protected dispatch getTotalWork(GenerationTask task) { | 107 | def protected dispatch getTotalWork(GenerationTask task) { |
| 108 | val runs = if(task.runSpecified) { task.runs } else { 1 } | 108 | val runs = if(task.runSpecified) { task.runs } else { 1 } |
| 109 | val number = if(task.numberSpecified) { task.number } else { 1 } | 109 | val number = if(task.numberSpecified) { task.number } else { 1 } |
| 110 | return 100 + runs*1000 +runs*number*100 | 110 | return 100 + runs*1000 +runs*1000 |
| 111 | } | 111 | } |
| 112 | def protected dispatch getTotalWork(Task task) { | 112 | def protected dispatch getTotalWork(Task task) { |
| 113 | throw new IllegalArgumentException('''Unsupported task type: «task.class.simpleName»!''') | 113 | throw new IllegalArgumentException('''Unsupported task type: «task.class.simpleName»!''') |