From b09c2d7aa73aeece866f0cfe65a8db25b5c58834 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 14 Jun 2018 16:17:45 +0200 Subject: Visualisation potentionally gets the patterns --- .../hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme') 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 import java.util.Map import java.util.Optional import org.eclipse.xtext.xbase.lib.Functions.Function1 +import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualiser class SolverLoader { def loadSolver(Solver solver, Map config) { @@ -73,6 +74,7 @@ class SolverLoader { ] } else if(solver === Solver::VIATRA_SOLVER) { return new ViatraReasonerConfiguration => [c| + c.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualiser ] } else { throw new UnsupportedOperationException('''Unknown solver: «solver»''') -- cgit v1.2.3-54-g00ecf