aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-22 14:37:45 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-22 14:37:45 +0200
commit9ce21ae3e01967022051f423e6f54972e17053a2 (patch)
treedf4adb0896a62ef66509bc1dd2daab123f22112c /Solvers/VIATRA-Solver
parentRemoved debug logging (diff)
downloadVIATRA-Generator-9ce21ae3e01967022051f423e6f54972e17053a2.tar.gz
VIATRA-Generator-9ce21ae3e01967022051f423e6f54972e17053a2.tar.zst
VIATRA-Generator-9ce21ae3e01967022051f423e6f54972e17053a2.zip
Cleared up visualisation thread
Diffstat (limited to 'Solvers/VIATRA-Solver')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend6
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend2
2 files changed, 4 insertions, 4 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 b8edb2f5..e30b27ac 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
@@ -27,7 +27,7 @@ import static guru.nidi.graphviz.model.Factory.*
27 27
28import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* 28import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*
29 29
30class GraphvizVisualisation implements PartialInterpretationVisualiser { 30class GraphvizVisualiser implements PartialInterpretationVisualiser {
31 31
32 val TypeColoringStyle typeColoringStyle = TypeColoringStyle::AVERAGE; 32 val TypeColoringStyle typeColoringStyle = TypeColoringStyle::AVERAGE;
33 val smallFontSize=9 33 val smallFontSize=9
@@ -131,7 +131,7 @@ class GraphvizVisualisation implements PartialInterpretationVisualiser {
131 edges.entrySet.map[entry | entry.key.link(entry.value)] 131 edges.entrySet.map[entry | entry.key.link(entry.value)]
132 ) 132 )
133 133
134 return new GraphvisVisualisation(graph) 134 return new GraphvizVisualisation(graph)
135 } 135 }
136 136
137 def protected <T extends DefinedElement> void drawDataTypes(Collection<T> collection, Function1<T,String> namer, HashMap<DefinedElement, Node> elements2Node, HashMap<DefinedElement, String> elements2ID) { 137 def protected <T extends DefinedElement> void drawDataTypes(Collection<T> collection, Function1<T,String> namer, HashMap<DefinedElement, Node> elements2Node, HashMap<DefinedElement, String> elements2ID) {
@@ -245,7 +245,7 @@ enum TypeColoringStyle {
245 FLAG, AVERAGE 245 FLAG, AVERAGE
246} 246}
247 247
248class GraphvisVisualisation implements PartialInterpretationVisualisation { 248class GraphvizVisualisation implements PartialInterpretationVisualisation {
249 private static VisualisationQueque queue = new VisualisationQueque 249 private static VisualisationQueque queue = new VisualisationQueque
250 250
251 val private Graph graph 251 val private Graph graph
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend
index 428973a4..6680c780 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend
@@ -16,7 +16,7 @@ class Test {
16 16
17 val model = workspace.readModel(PartialInterpretation,"solution1.partialinterpretation") 17 val model = workspace.readModel(PartialInterpretation,"solution1.partialinterpretation")
18 println("loaded") 18 println("loaded")
19 val translator = new GraphvizVisualisation 19 val translator = new GraphvizVisualiser
20 val visualisation = translator.visualiseConcretization(model) 20 val visualisation = translator.visualiseConcretization(model)
21 println("visualised") 21 println("visualised")
22 visualisation.writeToFile(workspace,"output") 22 visualisation.writeToFile(workspace,"output")