diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-04 16:57:00 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-04 16:57:00 -0500 |
| commit | 8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904 (patch) | |
| tree | 148b5c679b4c4143d9d2ce8253372a39eb528525 | |
| parent | Statistics are appended (diff) | |
| download | VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.gz VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.zst VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.zip | |
Default visualisation set to .svg
| -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 | } |