diff options
| author | Camil Staps | 2016-06-13 12:07:21 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-13 12:07:21 +0200 |
| commit | 7614203889c638de76e2b917a5c78001cead968b (patch) | |
| tree | 6c4c7b7dbd0d40b15e12ebc6686283c2ccff733f /app-trees.tex | |
| parent | prove (diff) | |
Alle bomen toegevoegd
Diffstat (limited to 'app-trees.tex')
| -rw-r--r-- | app-trees.tex | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/app-trees.tex b/app-trees.tex index 3322a02..d3cb663 100644 --- a/app-trees.tex +++ b/app-trees.tex @@ -1,14 +1,15 @@ -\newgeometry{margin=15mm,bottom=22mm} +% vim: set spelllang=nl: +\section{Afleidingsbomen} +\label{sec:app:trees} + +\def\makecaption#1#2{% + \thispagestyle{empty}% + \null\vfill\captionof{figure}{#1\label{#2}} +} + \begin{landscape} - \section{Afleidingsbomen} - \label{sec:app:trees} - \scriptsize - \scalebox{0.5}{ - $$ - \begin{prooftree} - \input{tree-gen-lambda} - \end{prooftree} - $$} - - + \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het buitenste programma voor strings met lengte $0$}{fig:tree:lambda}}]{tree-gen-lambda.pdf} + \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het buitenste programma voor strings met lengte $n\ge1$}{fig:tree:bootstrap}}]{tree-gen-bootstrap.pdf} + \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het binnenste programma voor strings met lengte $1$}{fig:tree:bootstrap-base}}]{tree-gen-bootstrap-base.pdf} + \includepdf[landscape,pagecommand={\makecaption{Afleidingsboom voor het binnenste programma voor strings met lengte $n>1$}{fig:tree:bootstrap-step}}]{tree-gen-bootstrap-step.pdf} \end{landscape} |