author | haftmann |
Sat, 28 Mar 2009 16:29:37 +0100 | |
changeset 30765 | 3eccfc8019ba |
parent 30734 | ab05be086c4a |
child 30836 | 1344132160bb |
permissions | -rw-r--r-- |
30734 | 1 |
|
2 |
\documentclass[12pt]{article} |
|
3 |
\usepackage{pgf} |
|
4 |
\usepackage{pgflibraryshapes} |
|
5 |
\usepackage{tikz} |
|
6 |
||
7 |
\begin{document} |
|
8 |
||
30765
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
9 |
\thispagestyle{empty} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
10 |
\setlength{\fboxrule}{0.01pt} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
11 |
\setlength{\fboxsep}{4pt} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
12 |
|
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
13 |
\fbox{ |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
14 |
|
30734 | 15 |
\begin{tikzpicture}[x = 4.2cm, y = 1cm] |
16 |
\tikzstyle entity=[rounded corners, draw, thick, color = black, fill = white]; |
|
17 |
\tikzstyle process=[ellipse, draw, thick, color = green, fill = white]; |
|
18 |
\tikzstyle process_arrow=[->, semithick, color = green]; |
|
19 |
\node (HOL) at (0, 4) [style=entity] {Isabelle/HOL theory}; |
|
20 |
\node (eqn) at (2, 2) [style=entity] {code equations}; |
|
21 |
\node (iml) at (2, 0) [style=entity] {intermediate language}; |
|
22 |
\node (seri) at (1, 0) [style=process] {serialisation}; |
|
23 |
\node (SML) at (0, 3) [style=entity] {SML}; |
|
24 |
\node (OCaml) at (0, 2) [style=entity] {OCaml}; |
|
25 |
\node (further) at (0, 1) [style=entity] {\ldots}; |
|
26 |
\node (Haskell) at (0, 0) [style=entity] {Haskell}; |
|
27 |
\draw [style=process_arrow] (HOL) .. controls (2, 4) .. |
|
28 |
node [style=process, near start] {selection} |
|
29 |
node [style=process, near end] {preprocessing} |
|
30 |
(eqn); |
|
31 |
\draw [style=process_arrow] (eqn) -- node (transl) [style=process] {translation} (iml); |
|
32 |
\draw [style=process_arrow] (iml) -- (seri); |
|
33 |
\draw [style=process_arrow] (seri) -- (SML); |
|
34 |
\draw [style=process_arrow] (seri) -- (OCaml); |
|
35 |
\draw [style=process_arrow, dashed] (seri) -- (further); |
|
36 |
\draw [style=process_arrow] (seri) -- (Haskell); |
|
37 |
\end{tikzpicture} |
|
38 |
||
30765
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
39 |
} |
3eccfc8019ba
not yet fruitful tex experiments with bounding boxes
haftmann
parents:
30734
diff
changeset
|
40 |
|
30734 | 41 |
\end{document} |