blob: 79ad50caeaa4b964c444dfc920e2dec34c6afd57 (
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
|
graph ex2p1b {
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"];
bar [label="bar",texlbl="$\mathtt{bar}$"];
trippy [label="trippy",texlbl="$\mathtt{trippy}$"];
foo [label="foo",texlbl="$\mathtt{foo}$"];
I0 -- C0;
C0 -- if0;
C0 -- E0;
C0 -- then0;
C0 -- I1;
C0 -- else0;
C0 -- I4;
E0 -- happy;
I1 -- C1;
I4 -- bar;
C1 -- if1;
C1 -- E1;
C1 -- then1;
C1 -- I2;
E1 -- trippy;
I2 -- foo;
}
|
