From 9ce21ae3e01967022051f423e6f54972e17053a2 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 22 May 2018 14:37:45 +0200 Subject: Cleared up visualisation thread --- .../visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 6 +++--- .../hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/Test.xtend | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'Solvers/VIATRA-Solver') 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.* import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* -class GraphvizVisualisation implements PartialInterpretationVisualiser { +class GraphvizVisualiser implements PartialInterpretationVisualiser { val TypeColoringStyle typeColoringStyle = TypeColoringStyle::AVERAGE; val smallFontSize=9 @@ -131,7 +131,7 @@ class GraphvizVisualisation implements PartialInterpretationVisualiser { edges.entrySet.map[entry | entry.key.link(entry.value)] ) - return new GraphvisVisualisation(graph) + return new GraphvizVisualisation(graph) } def protected void drawDataTypes(Collection collection, Function1 namer, HashMap elements2Node, HashMap elements2ID) { @@ -245,7 +245,7 @@ enum TypeColoringStyle { FLAG, AVERAGE } -class GraphvisVisualisation implements PartialInterpretationVisualisation { +class GraphvizVisualisation implements PartialInterpretationVisualisation { private static VisualisationQueque queue = new VisualisationQueque 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 { val model = workspace.readModel(PartialInterpretation,"solution1.partialinterpretation") println("loaded") - val translator = new GraphvizVisualisation + val translator = new GraphvizVisualiser val visualisation = translator.visualiseConcretization(model) println("visualised") visualisation.writeToFile(workspace,"output") -- cgit v1.2.3-54-g00ecf