diff options
Diffstat (limited to 'figs')
| -rw-r--r-- | figs/ex2p1.dot | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/figs/ex2p1.dot b/figs/ex2p1.dot new file mode 100644 index 0000000..cde6c66 --- /dev/null +++ b/figs/ex2p1.dot @@ -0,0 +1,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; +} |