wolffd@0: /*
wolffd@0: The command line is
wolffd@0: 
wolffd@0:   dot -Tps -Grankdir=LR states.dot > states.ps
wolffd@0: 
wolffd@0: and the file is:
wolffd@0: */
wolffd@0: digraph states {
wolffd@0:     size="3,2";
wolffd@0: 	rankdir=LR;
wolffd@0:     node [shape=ellipse];
wolffd@0:     empty [label = "Empty"];
wolffd@0:     stolen [label = "Stolen"];
wolffd@0:     waiting [label = "Waiting"];
wolffd@0:     full [label = "Full"];
wolffd@0:     empty -> full [label = "return"]
wolffd@0:     empty -> stolen [label = "dispatch", wt=28]
wolffd@0:     stolen -> full [label = "return"];
wolffd@0:     stolen -> waiting [label = "touch"];
wolffd@0:     waiting -> full [label = "return"];
wolffd@0:   }