| 123456789101112131415161718192021 |
- /*
- The command line is
- dot -Tps -Grankdir=LR states.gv > 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"];
- }
|
