| digraph node_states { | |
| Secondary -> Primary [ label = "ioctl_set_state()" ] | |
| Primary -> Secondary [ label = "ioctl_set_state()" ] | |
| } | |
| digraph peer_states { | |
| Secondary -> Primary [ label = "recv state packet" ] | |
| Primary -> Secondary [ label = "recv state packet" ] | |
| Primary -> Unknown [ label = "connection lost" ] | |
| Secondary -> Unknown [ label = "connection lost" ] | |
| Unknown -> Primary [ label = "connected" ] | |
| Unknown -> Secondary [ label = "connected" ] | |
| } |