aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu
diff options
context:
space:
mode:
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.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")