Skip to content
Snippets Groups Projects
Commit b0d08a44 authored by William Schultz's avatar William Schultz Committed by Markus Alexander Kuppe
Browse files

Remove some unused lines

parent f687e159
Branches
Tags
No related merge requests found
......@@ -70,10 +70,13 @@ public class DotStateWriter extends StateWriter {
this.writer.append(strict + "digraph DiskGraph {\n"); // strict removes redundant edges
// Turned off LR because top to bottom provides better results with GraphViz viewer.
// this.writer.append("rankdir=LR;\n"); // Left to right rather than top to bottom
// Set the color scheme for transition edges.
this.writer.append(String.format("edge [colorscheme=\"%s\"]\n", dotColorScheme));
// Spread out state nodes more.
this.writer.append("nodesep=0.35;\n");
// this.writer.append("ranksep=0.85;\n");
this.writer.append("subgraph cluster_graph {\n");
this.writer.append("color=\"white\";\n"); //no border.
this.writer.flush();
......@@ -90,7 +93,6 @@ public class DotStateWriter extends StateWriter {
this.writer.append(stateToDotStr(state, state));
this.writer.append(">]");
this.writer.append("\n");
// this.writer.append(dotLegend("Legend", new ArrayList<String>()));
}
/* (non-Javadoc)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment