img/mark-sweep-6.dot

   1
   2 digraph {
   3          margin = 0;
   4          ratio  = fill;
   5          rankdir = LR;
   6          node [ shape = record, width = 0, height = 0 ];
   7          edge [ color = gray40 ];
   8
   9          subgraph cluster_all {
  10
  11            root [
  12               label     = "root\nset|<r0> r0|<r1> r1\n*",
  13               style     = filled,
  14               fillcolor = gray96,
  15            ];
  16
  17            subgraph marked {
  18               node [ style = filled, fillcolor = gray25, fontcolor = white ];
  19               h1; h2; h5; h6;
  20            };
  21
  22            root:r0 -> h1 [ color = gray10 ];
  23            h1 -> h2 [ color = gray10 ];
  24            h2 -> h5 [ color = gray10 ];
  25            h5 -> h1 [ color = gray10 ];
  26            root:r1 -> h6 [ style = bold, color = black ];
  27            h6 -> h2;
  28            h4 -> h3;
  29            h3 -> h5;
  30
  31          }
  32 }
  33