1
0
dfa-for-co-slr/ssa-example.dot
Matthias Veigel e6a7f67825
All checks were successful
/ Build pdf (push) Successful in 42s
Wrote full draft
2025-06-08 16:58:05 +02:00

17 lines
324 B
Plaintext

digraph SSA {
ranksep=0.3;
node[shape=box];
start[label="x₁ = 8\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"];
}