diff options
author | 2019-09-08 16:12:55 -0400 | |
---|---|---|
committer | 2020-06-07 19:42:29 -0400 | |
commit | 4aee5bcc86b9e6b515fbbdac030df42147be7dc1 (patch) | |
tree | ce9f8aa1cf0ab33d4304b9ce3a0abf4beb7b757a /Application/hu.bme.mit.inf.dslreasoner.application/src | |
parent | VAMPIRE: complete first version of VampireModelInterpretation (diff) | |
download | VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.tar.gz VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.tar.zst VIATRA-Generator-4aee5bcc86b9e6b515fbbdac030df42147be7dc1.zip |
VAMPIRE: Implement wf constraint handling
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-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 aa98e268..8d840943 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 solution = solver.solve(problem,solverConfig,reasonerWorkspaceForRun) | 203 | val ewsdzxA = 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 |