Raw draft (until now as a separate repository) imported

Until now, I was writing the paper without the template. But we will soon
be adding a tutorial to the template, and I thought it will be good to have
an example demonstration here too. So I just brought the hole project into
the template structure, allowing us to add the template analysis later when
its ready, and also allowing us to easily reproduce this paper ofcourse
(without having to worry about the host's TeXLive installation.

1 files changed, 72 insertions, 0 deletions

diff --git a/tex/src/preamble-pgfplots.tex b/tex/src/preamble-pgfplots.tex
index 0ffb294..3f467a6 100644
--- a/tex/src/preamble-pgfplots.tex
+++ b/tex/src/preamble-pgfplots.tex
@@ -67,7 +67,9 @@
 %% slow with detailed plots). 2) You can use the PDFs of the individual
 %% plots for other purposes (for example to include in slides) cleanly.
 \usepackage{tikz}
+\usetikzlibrary{graphs}
 \usetikzlibrary{external}
+\usetikzlibrary{positioning}
 \tikzexternalize
 \tikzsetexternalprefix{tikz/}
 
@@ -119,3 +121,73 @@
   legend style = {font=\footnotesize},
   label style = {font=\footnotesize}
   }
+
+
+
+
+
+%% Nodes in demo graphs
+\tikzset{node-terminal/.style={
+  rectangle,
+  very thick,
+  draw=blue!50,
+  text centered,
+  top color=white,
+  minimum size=6mm,
+  text width=2.1cm,
+  rounded corners=3mm,
+  bottom color=blue!20,
+  font=\ttfamily}}
+
+\tikzset{node-nonterminal/.style={
+  rectangle,
+  very thick,
+  text centered,
+  top color=white,
+  text width=2.1cm,
+  minimum size=6mm,
+  draw=green!50!black!50,
+  bottom color=green!80!black!50,
+  font=\ttfamily}}
+
+\tikzset{node-makefile/.style={
+  thick,
+  rectangle,
+  anchor=south,
+  minimum width=2.6cm,
+  minimum height=5cm,
+  draw=green!50!black!50,
+  fill=black!10!green!12!white,
+}}
+
+\tikzset{node-point/.style={
+  circle,
+  black!50,
+  inner sep=0pt,
+  minimum size=0pt,
+  fill=white}}
+
+\tikzset{ bbox/.style={
+  rectangle,
+  minimum width=2.5cm,
+  rounded corners=2mm,
+  very thick,draw=blue!50,
+  top color=white,
+  bottom color=blue!20 } }
+
+\tikzset{ rbox/.style={
+    rectangle,
+    dotted,
+    minimum width=2.5cm,
+    rounded corners=2mm,
+    very thick,draw=red!50!black!50,
+    top color=white,
+    bottom color=red!50!black!20 } }
+
+\tikzset{ gbox/.style={
+    rectangle,
+    minimum width=2.5cm,
+    very thick,
+    draw=green!50!black!50,
+    top color=white,
+    bottom color=green!50!black!20 } }