diff options
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 8d840943..aa98e268 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 | |||
@@ -200,7 +200,7 @@ class GenerationTaskExecutor { | |||
200 | } | 200 | } |
201 | 201 | ||
202 | // 7. Solver call | 202 | // 7. Solver call |
203 | val ewsdzxA = solver.solve(problem,solverConfig,reasonerWorkspaceForRun) | 203 | val solution = solver.solve(problem,solverConfig,reasonerWorkspaceForRun) |
204 | console.writeMessage(solution.soutionDescription.toString) | 204 | console.writeMessage(solution.soutionDescription.toString) |
205 | 205 | ||
206 | // 8. Solution processing | 206 | // 8. Solution processing |