together/retriggergp.dot

digraph retriggergp {
	size = "6,6"
	margin = 0.0
	node [shape=ellipse,fontsize=10,fontname=Helvetica]
	edge [fontsize=10,fontname=Helvetica]

	{
		"CLOSED" [style=filled,fillcolor=green,peripheries=2];
		"    OPEN    " [style=filled,fillcolor=lightblue];
		rank=same;
	}

	{
		"CLOSING";
		"REOPENING";
		rank=same;
	}
	"CLOSED" -> "    OPEN    " [label="open() ",decorate=false];
	"    OPEN    " -> "CLOSING" [label="close()",decorate=false,arrowhead=diamond];
	"CLOSING" -> "CLOSED" [label=" CB",decorate=true];
	"CLOSING" -> "REOPENING" [label="open() ",decorate=false];
	"REOPENING" -> "    OPEN    " [label=" CB",decorate=true];
	"REOPENING" -> "RECLOSING" [label=" close() ",decorate=true];
	"RECLOSING" -> "REOPENING" [label=" open() ",decorate=true];
	"RECLOSING" -> "CLOSING" [label="CB",decorate=false,arrowhead=diamond];
}