cmt/radio_tuner.dot

/* front panel of a radio */
digraph {
  pad=0.5; bgcolor="lightgrey"; nodesep=1;
  node [shape="box"; style="filled";  fillcolor="cyan";  ];
  edge [labelfontsize=10; minlen=2; labeldistance=2 ];
  IDLE -> FREQ_UP [taillabel="EVT_UP_PRESS";]
  FREQ_UP -> IDLE [taillabel="EVT_UP_RELEASE"]
  FREQ_UP -> FREQ_UP_FAST [taillabel="EVT_TICK\n&& counter==0"];
  FREQ_UP_FAST -> IDLE [taillabel="EVT_UP_RELEASE"];
  FREQ_UP_FAST -> FREQ_UP_FAST [taillabel="EVT_TICK"];

  IDLE -> FREQ_DN [taillabel="EVT_DN_PRESS";]
  FREQ_DN -> IDLE [taillabel="EVT_DN_RELEASE"]
  FREQ_DN -> FREQ_DN_FAST [taillabel="EVT_TICK\n&& counter==0"];
  FREQ_DN_FAST -> IDLE [taillabel="EVT_DN_RELEASE"];
  FREQ_DN_FAST -> FREQ_DN_FAST [taillabel="EVT_TICK"];
  {rank=same; FREQ_UP FREQ_DN}
}