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