report2/toy3.dot

   1 digraph DD {
   2         rankdir=LR;
   3         center = true;
   4         graph [dpi = 300];
   5         node [nodesep=0.75];
   6         edge[weight=2, dir=forward];
   7         t [label="...", style=filled, shape=box, height=0.3, width=0.3];
   8         f [label="F", style=filled, shape=box, height=0.3, width=0.3];
   9         root [style=invis];
  10         root -> "0" [style=solid];
  11         "0" -> "1" [style=solid];
  12         "0" -> f [style=dashed];
  13         "1" -> "2" [style=dashed];
  14         "1" -> f [style=solid];
  15         "2" -> "3" [style=dashed];
  16         "2" -> f [style=solid];
  17         "3" -> "4" [style=dashed];
  18         "3" -> f [style=solid];
  19         "4" -> "5" [style=solid];
  20         "4" -> f [style=dashed];
  21         "5" -> t [style=solid];
  22         "5" -> f [style=dashed];
  23 }