aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend6
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 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