digraph { graph [dpi=100 pack=true] node [fontname=Menlo] edge [fontname=Menlo] S0B_idle_connected [color=blue fontame=Menlo shape=ellipse style=""] S0A_idle [color=blue fontame="Menlo-Bold" shape=ellipse style=bold] S2_done [color=blue fontame=Menlo shape=ellipse style=""] S1B_allocating_connected [color=blue fontame=Menlo shape=ellipse style=""] S1A_allocating [color=blue fontame=Menlo shape=ellipse style=""] t0 [label=<

allocate
stash

> margin=0.2 shape=none] S0A_idle -> t0:tableport:w [arrowhead=none] t0:tableport:e -> S1A_allocating t1 [label=<

lost

> margin=0.2 shape=none] S1B_allocating_connected -> t1:tableport:w [arrowhead=none] t1:tableport:e -> S1A_allocating t2 [label=<

connected

> margin=0.2 shape=none] S2_done -> t2:tableport:w [arrowhead=none] t2:tableport:e -> S2_done t3 [label=<

allocate
stash_and_RC_rx_allocate

> margin=0.2 shape=none] S0B_idle_connected -> t3:tableport:w [arrowhead=none] t3:tableport:e -> S1B_allocating_connected t4 [label=<

connected

> margin=0.2 shape=none] S0A_idle -> t4:tableport:w [arrowhead=none] t4:tableport:e -> S0B_idle_connected t5 [label=<

lost

> margin=0.2 shape=none] S2_done -> t5:tableport:w [arrowhead=none] t5:tableport:e -> S2_done t6 [label=<

connected
RC_tx_allocate

> margin=0.2 shape=none] S1A_allocating -> t6:tableport:w [arrowhead=none] t6:tableport:e -> S1B_allocating_connected t7 [label=<

lost

> margin=0.2 shape=none] S0B_idle_connected -> t7:tableport:w [arrowhead=none] t7:tableport:e -> S0A_idle t8 [label=<

rx_allocated
build_and_notify

> margin=0.2 shape=none] S1B_allocating_connected -> t8:tableport:w [arrowhead=none] t8:tableport:e -> S2_done }