led_state.dot 399 B

12345678910
  1. digraph {
  2. pad=0.5; bgcolor="lightgrey";
  3. node [shape="box"; style="filled"; fillcolor="cyan"];
  4. edge [labelfontsize=10; minlen=2; labeldistance=5 ];
  5. LED_OFF -> LED_ON [taillabel="EVT_TICK \n&& counter==0"];
  6. LED_ON -> LED_OFF [taillabel="EVT_TICK \n&& counter==0"];
  7. LED_OFF -> LED_OFF [taillabel="EVT_TICK \n&& counter!=0"];
  8. LED_ON -> LED_ON [taillabel="EVT_TICK \n&& counter!=0"];
  9. }