43 lines
1.6 KiB
Plaintext
43 lines
1.6 KiB
Plaintext
digraph tessera {
|
|
graph [bgcolor="white", rankdir=TB, nodesep=0.35, ranksep=0.5];
|
|
node [shape=box, style="rounded,filled", color="#444444", fontcolor="#1c1c1a", fillcolor="#ffffff", fontname="Helvetica", fontsize=11];
|
|
edge [color="#666666", fontcolor="#333333", fontname="Helvetica", fontsize=10];
|
|
n0 [label="switch 0", fillcolor="#f7f7f5"];
|
|
n1 [label="switch 1", fillcolor="#f7f7f5"];
|
|
n2 [label="bind 1.0 n"];
|
|
n3 [label="clause 0", fillcolor="#e7efe4"];
|
|
n4 [label="bind 1.0 n"];
|
|
n5 [label="clause 1", fillcolor="#e7efe4"];
|
|
n6 [label="clause 2", fillcolor="#e7efe4"];
|
|
n7 [label="switch 1", fillcolor="#f7f7f5"];
|
|
n8 [label="bind 1.0 n"];
|
|
n9 [label="clause 3", fillcolor="#e7efe4"];
|
|
n10 [label="bind 1.0 n"];
|
|
n11 [label="clause 4", fillcolor="#e7efe4"];
|
|
n12 [label="clause 5", fillcolor="#e7efe4"];
|
|
n13 [label="switch 1", fillcolor="#f7f7f5"];
|
|
n14 [label="bind 1.0 n"];
|
|
n15 [label="clause 6", fillcolor="#e7efe4"];
|
|
n16 [label="bind 1.0 n"];
|
|
n17 [label="clause 7", fillcolor="#e7efe4"];
|
|
n18 [label="clause 8", fillcolor="#e7efe4"];
|
|
n0 -> n1 [label="Idle"];
|
|
n0 -> n7 [label="Waiting"];
|
|
n0 -> n13 [label="Connected"];
|
|
n1 -> n2 [label="Hello"];
|
|
n1 -> n4 [label="Data"];
|
|
n1 -> n6 [label="Close"];
|
|
n2 -> n3 [label="bind"];
|
|
n4 -> n5 [label="bind"];
|
|
n7 -> n8 [label="Hello"];
|
|
n7 -> n10 [label="Data"];
|
|
n7 -> n12 [label="Close"];
|
|
n8 -> n9 [label="bind"];
|
|
n10 -> n11 [label="bind"];
|
|
n13 -> n14 [label="Hello"];
|
|
n13 -> n16 [label="Data"];
|
|
n13 -> n18 [label="Close"];
|
|
n14 -> n15 [label="bind"];
|
|
n16 -> n17 [label="bind"];
|
|
}
|