img/mark-sweep-4.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\n*|<r1> r1",
  13                style     = filled,
  14                fillcolor = gray96,
  15             ];
  16
  17             subgraph marked {
  18                node [ style = filled, fillcolor = gray25, fontcolor = white ];
  19                h1; h2; h5;
  20             };
  21
  22             root:r0 -> h1 [ color = gray10 ];
  23             h1 -> h2 [ color = gray10 ];
  24             h2 -> h5 [ style = bold, color = black ];
  25             h5 -> h1;
  26             root:r1 -> h6 -> h2;
  27             h4 -> h3;
  28             h3 -> h5;
  29
  30          }
  31 }
  32