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