diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend index 74b3b17d..2f64fc76 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | |||
@@ -12,6 +12,7 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfigurat | |||
12 | import java.util.Map | 12 | import java.util.Map |
13 | import java.util.Optional | 13 | import java.util.Optional |
14 | import org.eclipse.xtext.xbase.lib.Functions.Function1 | 14 | import org.eclipse.xtext.xbase.lib.Functions.Function1 |
15 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualiser | ||
15 | 16 | ||
16 | class SolverLoader { | 17 | class SolverLoader { |
17 | def loadSolver(Solver solver, Map<String, String> config) { | 18 | def loadSolver(Solver solver, Map<String, String> config) { |
@@ -73,6 +74,7 @@ class SolverLoader { | |||
73 | ] | 74 | ] |
74 | } else if(solver === Solver::VIATRA_SOLVER) { | 75 | } else if(solver === Solver::VIATRA_SOLVER) { |
75 | return new ViatraReasonerConfiguration => [c| | 76 | return new ViatraReasonerConfiguration => [c| |
77 | c.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualiser | ||
76 | ] | 78 | ] |
77 | } else { | 79 | } else { |
78 | throw new UnsupportedOperationException('''Unknown solver: «solver»''') | 80 | throw new UnsupportedOperationException('''Unknown solver: «solver»''') |