diff toolboxes/graph_visualisation/share/graphviz/graphs/directed/states.gv @ 0:e9a9cd732c1e tip

first hg version after svn

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/toolboxes/graph_visualisation/share/graphviz/graphs/directed/states.gv	Tue Feb 10 15:05:51 2015 +0000
@@ -0,0 +1,21 @@
+/*
+The command line is
+
+  dot -Tps -Grankdir=LR states.dot > states.ps
+
+and the file is:
+*/
+digraph states {
+    size="3,2";
+	rankdir=LR;
+    node [shape=ellipse];
+    empty [label = "Empty"];
+    stolen [label = "Stolen"];
+    waiting [label = "Waiting"];
+    full [label = "Full"];
+    empty -> full [label = "return"]
+    empty -> stolen [label = "dispatch", wt=28]
+    stolen -> full [label = "return"];
+    stolen -> waiting [label = "touch"];
+    waiting -> full [label = "return"];
+  }