diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
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 { | |||
229 | } | 229 | } |
230 | 230 | ||
231 | override writeToFile(ReasonerWorkspace workspace, String name) { | 231 | override writeToFile(ReasonerWorkspace workspace, String name) { |
232 | val file = workspace.getFile('''«name».png''') | 232 | val file = workspace.getFile('''«name».svg''') |
233 | //val bufferedImage = new BufferedImage | 233 | //val bufferedImage = new BufferedImage |
234 | Graphviz.useEngine(new GraphvizV8Engine()); | 234 | Graphviz.useEngine(new GraphvizV8Engine()); |
235 | Graphviz.fromGraph(graph)//.engine(Engine::NEATO) | 235 | Graphviz.fromGraph(graph)//.engine(Engine::NEATO) |
236 | .render(Format.PNG).toFile(file) | 236 | .render(Format.SVG_STANDALONE).toFile(file) |
237 | workspace.refreshFile('''«name».png''') | 237 | workspace.refreshFile('''«name».svg''') |
238 | } | 238 | } |
239 | } | 239 | } |