Commit f5195285 authored by Jules Saget's avatar Jules Saget
Browse files

Add figures

parent 20e376a2
digraph addsub_FSM {
subgraph cluster_A {
style = filled;
color = white;
A_READ -> A_CHECK -> A_READ;
A_CHECK [style = filled, color = lightgrey];
label = "A unfinished, B finished";
}
subgraph cluster_B {
style = filled;
color = white;
B_READ -> B_CHECK -> B_READ;
B_CHECK [style = filled, color = lightgrey];
label = "A finished, B unfinished";
}
subgraph cluster_AB {
style = filled;
color = white;
AB_READ_A -> AB_READ_B -> AB_CHECK -> AB_READ_A;
AB_CHECK [style = filled, color = lightgrey];
label = "A unfinished, B unfinished";
}
IDLE -> AB_READ_A;
AB_CHECK -> DONE;
AB_CHECK -> A_READ;
AB_CHECK -> B_READ;
A_CHECK -> DONE;
B_CHECK -> DONE;
}
for gv_file in $(ls | grep '.gv$')
do
out_file="$(basename $gv_file .gv).pdf"
dot -O -Tpdf $gv_file
mv "$gv_file.pdf" $out_file
done
digraph G {
node [shape=circle];
size = "8.5,11.0";
center = 1;
margin = 0.5;
ordering=out;
a_n11 [label = "@" ordering=out color="blue"];
a_n10 [label = "3"];
a_n9 [label = "@" ordering=out];
a_n8 [label = "I"];
a_n7 [label = "@" ordering=out];
a_n6 [label = "@" ordering=out];
a_n5 [label = "@" ordering=out];
a_n4 [label = "1"];
a_n3 [label = "+"];
a_n2 [label = "K"];
a_n1 [label = "S"];
a_n11 -> a_n9 [style=solid, color=black];
a_n11 -> a_n10 [style=solid, color=black];
a_n9 -> a_n7 [style=solid, color=black];
a_n9 -> a_n8 [style=solid, color=black];
a_n7 -> a_n1 [style=solid, color=black];
a_n7 -> a_n6 [style=solid, color=black];
a_n6 -> a_n2 [style=solid, color=black];
a_n6 -> a_n5 [style=solid, color=black];
a_n5 -> a_n3 [style=solid, color=black];
a_n5 -> a_n4 [style=solid, color=black];
r1 [shape="rarrow" label=""];
b_n11 [label = "@" ordering=out color="blue"];
b_n9 [label = "@" ordering=out];
b_n7 [label = "@" ordering=out];
b_n10 [label = "3"];
b_n8 [label = "I"];
b_n6 [label = "@" ordering=out];
b_n5 [label = "@" ordering=out];
b_n4 [label = "1"];
b_n3 [label = "+"];
b_n2 [label = "K"];
b_n11 -> b_n9 [style=solid, color=black];
b_n11 -> b_n7 [style=solid, color=black];
b_n9 -> b_n6 [style=solid, color=black];
b_n9 -> b_n10 [style=solid, color=black];
b_n7 -> b_n8 [style=solid, color=black];
b_n7 -> b_n10 [style=solid, color=black];
b_n6 -> b_n2 [style=solid, color=black];
b_n6 -> b_n5 [style=solid, color=black];
b_n5 -> b_n3 [style=solid, color=black];
b_n5 -> b_n4 [style=solid, color=black];
r2 [shape="rarrow" label=""];
c_n11 [label = "@" ordering=out];
c_n9 [label = "=" ordering=out color="blue"];
c_n7 [label = "@" ordering=out];
c_n10 [label = "3"];
c_n8 [label = "I"];
c_n5 [label = "@" ordering=out];
c_n4 [label = "1"];
c_n3 [label = "+"];
c_n11 -> c_n9 [style=solid, color=black];
c_n11 -> c_n7 [style=solid, color=black];
c_n9 -> c_n5 [style=solid, color=black];
c_n7 -> c_n8 [style=solid, color=black];
c_n7 -> c_n10 [style=solid, color=black];
c_n5 -> c_n3 [style=solid, color=black];
c_n5 -> c_n4 [style=solid, color=black];
r3 [shape="rarrow" label=""];
d_n11 [label = "@" ordering=out];
d_n9 [label = "=" ordering=out];
d_n7 [label = "=" ordering=out color="blue"];
d_n10 [label = "3"];
d_n5 [label = "@" ordering=out];
d_n4 [label = "1"];
d_n3 [label = "+"];
d_n11 -> d_n9 [style=solid, color=black];
d_n11 -> d_n7 [style=solid, color=black];
d_n9 -> d_n5 [style=solid, color=black];
d_n7 -> d_n10 [style=solid, color=black];
d_n5 -> d_n3 [style=solid, color=black];
d_n5 -> d_n4 [style=solid, color=black];
r4 [shape="rarrow" label=""];
e_n7 [label = "4" ordering=out color="blue"];
}
digraph G {
node [shape=circle];
size = "8.5,11.0";
center = 1;
margin = 0.5;
ordering=out;
a1 [label = "@" ordering=out color="blue"];
a2 [label = "@" ordering=out];
a3 [label = "@" ordering=out];
s [label = "S"];
n1 [shape = "triangle" label = "g"];
n2 [shape = "triangle" label = "f"];
n3 [shape = "triangle" label = "e"];
a1 -> a2 [style=solid, color=black];
a1 -> n1:n [style=solid, color=black];
a2 -> a3 [style=solid, color=black];
a2 -> n2:n [style=solid, color=black];
a3 -> s [style=solid, color=black];
a3 -> n3:n [style=solid, color=black];
rr [shape="rarrow" label=""];
b1 [label = "@" ordering=out color="blue"];
b2 [label = "@" ordering=out];
b3 [label = "@" ordering=out];
o1 [shape = "triangle" label = "e"];
o2 [shape = "triangle" label = "f"];
o3 [shape = "triangle" label = "g"];
b1 -> b2 [style=solid, color=black];
b1 -> b3 [style=solid, color=black];
b2 -> o1:n [style=solid, color=black];
b2 -> o3:n [style=solid, color=black];
b3 -> o2:n [style=solid, color=black];
b3 -> o3:n [style=solid, color=black];
ka1 [label = "@" ordering=out color="blue"];
ka2 [label = "@" ordering=out];
kk [label = "K"];
kn1 [shape = "triangle" label = "f"];
kn2 [shape = "triangle" label = "e"];
ka1 -> ka2 [style=solid, color=black];
ka1 -> kn1:n [style=solid, color=black];
ka2 -> kk [style=solid, color=black];
ka2 -> kn2:n [style=solid, color=black];
krr [shape="rarrow" label=""];
kb1 [label="=" ordering=out color="blue"];
ko1 [shape = "triangle" label = "e"];
kb1 -> ko1:n [style=solid, color=black];
ia1 [label = "@" ordering=out color="blue"];
i [label = "I"];
in1 [shape = "triangle" label = "e"];
ia1 -> i [style=solid, color=black];
ia1 -> in1:n [style=solid, color=black];
irr [shape="rarrow" label=""];
ib1 [label="=" ordering=out color="blue"];
io1 [shape = "triangle" label = "e"];
ib1 -> io1:n [style=solid, color=black];
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment