summaryrefslogtreecommitdiffstats
path: root/figs/ex2p1a.dot
diff options
context:
space:
mode:
Diffstat (limited to 'figs/ex2p1a.dot')
-rw-r--r--figs/ex2p1a.dot36
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;
+}