diff options
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»!''') |