git.barrelfish.org Git - barrelfish/blob - doc/010-spec/disp_states_simple_save_area_analysis.dot

   1 digraph {
   2         rankdir=RL;
   3
   4         running_e [label="running\nenabled"];
   5         running_d [label="running\ndisabled"];
   6         notrunning_e [label="notrunning\nenabled"];
   7         notrunning_d [style="bold", label="notrunning\ndisabled"];
   8
   9         running_e -> notrunning_e [label="enabled_save_area"];
  10         running_e -> running_d [fontname="Times-Italic", style="dashed", label="enabled_save_area"];
  11         running_d -> running_e [fontname="Times-Italic", style="dashed", label="enabled_save_area"];
  12         running_d -> notrunning_d [label="disabled_save_area"];
  13         notrunning_d -> running_d;
  14         notrunning_e -> running_d;
  15 };