diff options
Diffstat (limited to 'figs/ex2p1a.dot')
-rw-r--r-- | figs/ex2p1a.dot | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/figs/ex2p1a.dot b/figs/ex2p1a.dot new file mode 100644 index 0000000..fbf84b0 --- /dev/null +++ b/figs/ex2p1a.dot @@ -0,0 +1,36 @@ +graph ex2p1a { + 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"]; + 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"]; + 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; + E0 -- happy; + I1 -- C1; + C1 -- if1; + C1 -- E1; + C1 -- then1; + C1 -- I2; + C1 -- else1; + C1 -- I3; + E1 -- trippy; + I2 -- foo; + I3 -- bar; +} |