blob: cde6c66b5b31bd81cbe66f9e984b404b00f8f9a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
graph ex2p1 {
node [texmode="math",shape="none"];
I0 [label="I"];
C0 [label="C"];
if0 [label="if",texlbl="$\mathtt{if}$"];
E0 [label="E"];
then0 [label="then",texlbl="$\mathtt{then}$"];
I1 [label="I"];
else0 [label="else",texlbl="$\mathtt{else}$"];
I4 [label="I"];
happy [label="happy",texlbl="$\mathtt{happy}$"];
C1 [label="C"];
if1 [label="if",texlbl="$\mathtt{if}$"];
E1 [label="E"];
then1 [label="then",texlbl="$\mathtt{then}$"];
I2 [label="I"];
else1 [label="else",texlbl="$\mathtt{else}$"];
I3 [label="I"];
qux [label="qux",texlbl="$\mathtt{qux}$"];
trippy [label="trippy",texlbl="$\mathtt{trippy}$"];
foo [label="foo",texlbl="$\mathtt{foo}$"];
bar [label="bar",texlbl="$\mathtt{bar}$"];
I0 -- C0;
C0 -- if0;
C0 -- E0;
C0 -- then0;
C0 -- I1;
C0 -- else0;
C0 -- I4;
E0 -- happy;
I1 -- C1;
I4 -- qux;
C1 -- if1;
C1 -- E1;
C1 -- then1;
C1 -- I2;
C1 -- else1;
C1 -- I3;
E1 -- trippy;
I2 -- foo;
I3 -- bar;
}
|
