From 8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 4 Mar 2018 16:57:00 -0500 Subject: Default visualisation set to .svg --- .../visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend index 77646fdd..e4ff4146 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend @@ -229,11 +229,11 @@ class GraphvisVisualisation implements PartialInterpretationVisualisation { } override writeToFile(ReasonerWorkspace workspace, String name) { - val file = workspace.getFile('''«name».png''') + val file = workspace.getFile('''«name».svg''') //val bufferedImage = new BufferedImage Graphviz.useEngine(new GraphvizV8Engine()); Graphviz.fromGraph(graph)//.engine(Engine::NEATO) - .render(Format.PNG).toFile(file) - workspace.refreshFile('''«name».png''') + .render(Format.SVG_STANDALONE).toFile(file) + workspace.refreshFile('''«name».svg''') } } -- cgit v1.2.3-54-g00ecf