report2/toy.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         "0" [shape=box, label="F", style=filled, shape=box, height=0.3, width=0.3];
   8         "8000000000000000" [shape=box, label="T", style=filled, shape=box, height=0.3,
   9         width=0.3];
  10         root [style=invis];
  11         root -> "19" [style=solid];
  12         "19" [label="0"];
  13         "19" -> "0" [style=dashed];
  14         "19" -> "18" [style=solid];
  15         "18" [label="2"];
  16         "18" -> "17" [style=dashed];
  17         "18" -> "0" [style=solid];
  18         "17" [label="4"];
  19         "17" -> "0" [style=dashed];
  20         "17" -> "16" [style=solid];
  21         "16" [label="6"];
  22         "16" -> "15" [style=dashed];
  23         "16" -> "0" [style=solid];
  24         "15" [label="8"];
  25         "15" -> "0" [style=dashed];
  26         "15" -> "14" [style=solid];
  27         "14" [label="10"];
  28         "14" -> "13" [style=dashed];
  29         "14" -> "0" [style=solid];
  30         "13" [label="12"];
  31         "13" -> "4" [style=dashed];
  32         "13" -> "0" [style=solid];
  33         "4" [label="14"];
  34         "4" -> "0" [style=dashed];
  35         "4" -> "2" [style=solid];
  36         "2" [label="16"];
  37         "2" -> "0" [style=dashed];
  38         "2" -> "8000000000000000" [style=solid];
  39         { rank=same; "19"; }
  40         { rank=same; "18"; }
  41         { rank=same; "17"; }
  42         { rank=same; "16"; }
  43         { rank=same; "15"; }
  44         { rank=same; "14"; }
  45         { rank=same; "13"; }
  46         { rank=same; "4"; }
  47         { rank=same; "2"; }
  48 }