tfm-slides/figs/problem1-solution.dot

24 lines
529 B
Text
Raw Permalink Normal View History

2019-12-19 13:03:04 +01:00
digraph pdf {
entry [label="enter f()"];
entry -> {while; D};
while [label="while (X)"];
C [style="bold"]
"if (Y)"
"if (Z)"
while -> {"if (Y)"} -> while;
break2
break1
"if (Y)" -> {"if (Z)" C};
"if (Y)" -> break2 [constraint = false];
"if (Z)" -> {A break1 B};
{break1 "if (Z)"} -> break2 [color = lightgrey, style = dashed];
break1 -> B;
break2 -> {C while};
{rank=same; A break1 B break2}
{rank=same; "if (Z)" C}
{rank=same; while D}
{edge [style=invis];
A -> break1 -> B -> break2;
}
}