img/mark-sweep-7.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 [ color = gray10 ];
  27             h6 -> h2 [ style = bold, color = black ];
  28             h4 -> h3;
  29             h3 -> h5;
  30
  31          }
  32 }
  33