1
0
dfa-for-co-slr/ssa-example.dot
Matthias Veigel 32cc559d4c
All checks were successful
/ Build pdf (push) Successful in 42s
Added a few things
2025-07-03 23:13:16 +02:00

17 lines
346 B
Plaintext

digraph SSA {
ranksep=0.5;
node[shape=box, margin=0.125];
start[label="x₁ = 2 * 2 + 4\lx₂ = x₁ - 2\lbranch x₂ < 4\l"];
start -> b0 [label="0"];
start -> b1 [label="1"];
b0[label="x₄ = 12"];
b1[label="x₃ = 10"];
b0 -> end;
b1 -> end;
end[label="x₅ = ɸ(x₃, x₄)\ly₁ = x₅ * 2\l"];
}