File: fsm-full.dot

package info (click to toggle)
booth 1.2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 852 kB
  • sloc: ansic: 7,181; sh: 2,166; python: 471; makefile: 280; xml: 7
file content (17 lines) | stat: -rw-r--r-- 599 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
digraph G {

	label="Booth full FSM";
	fontname="Helvetica";
	fontsize="11";
	compound="true";
	ST_INIT -> ST_CANDIDATE [label="grant"];
	ST_INIT -> ST_FOLLOWER [label="HrtB|UpdE"];
	ST_FOLLOWER -> ST_CANDIDATE [label="VtFr(tkt_drop)\ntkt_lost"];
	ST_LEADER -> ST_FOLLOWER [label="lost_maj"];
	ST_CANDIDATE -> ST_CANDIDATE [label="timeout"];
	ST_CANDIDATE -> ST_LEADER [label="VtFr, timeout"];
	ST_CANDIDATE -> ST_FOLLOWER [label="HrtB|UpdE\nRJC!(outd|valid)"];
	ST_CANDIDATE -> ST_INIT [label="RJC!(outd+no_leader)"];
	ST_LEADER -> ST_INIT [label="Revk"];
	ST_FOLLOWER -> ST_INIT [label="Revk"];
}