candidates.tex 2.67 KB
Newer Older
Michael Banken's avatar
Michael Banken committed
1
2
3
\chapter{Candidates}
\section{Types of optimization candidates}
\subsection{Simply redundant inclusion}
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
\providecommand\myxscale{3.9}
\providecommand\myyscale{2.2}
\providecommand\myfontsize{\footnotesize}
\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
\node[thy] (bottom) {\begin{tabular}{l}
                             \textsf{bottom}\\\hline
                             ...\\\hline
                             ...
                           \end{tabular}};
\node[thy,  above of = bottom] (middle) {\begin{tabular}{l}
                             \textsf{middle}\\\hline
                             ...\\\hline
                             ...
                           \end{tabular}};
\node[thy, above of = middle] (top) {\begin{tabular}{l}
                             \textsf{top}\\\hline
                             ...\\\hline
                             ...
                           \end{tabular}};
\draw[include] (bottom) -- (middle);                          
\draw[include, bend left] (bottom) edge (top);                          
\draw[include] (middle)  -- (top);
\end{tikzpicture}
Michael Banken's avatar
Michael Banken committed
27
28
\subsection{Superfluous Inclusion}
\subsubsection{Purely Superfluous Inclusion}
29
30
31
32
33
34
35
36
37
38
39
40
41
\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
\node[thy] (bottom) {\begin{tabular}{l}
                             \textsf{bottom}\\\hline
                             X\\\hline
                             ...
                           \end{tabular}};
\node[thy, above of = bottom] (top) {\begin{tabular}{l}
                             \textsf{top}\\\hline
                             ...\\\hline
                             no X
                           \end{tabular}};
\draw[include] (bottom) -- (top);
\end{tikzpicture}
Michael Banken's avatar
Michael Banken committed
42
\subsubsection{Partially Superfluous Inclusion}
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
\begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize
\node[thy] (bottom1) {\begin{tabular}{l}
                             \textsf{bottom}\\\hline
                             ...\\\hline
                             X, but not Y
                           \end{tabular}};
\node[thy,  above of = bottom1] (middle) {\begin{tabular}{l}
                             \textsf{middle}\\\hline
                             Y\\\hline
                             ...
                           \end{tabular}};
\node[thy, above of = middle] (top) {\begin{tabular}{l}
                             \textsf{top}\\\hline
                             X\\\hline
                             ...
                           \end{tabular}};
\draw[include] (bottom) -- (middle);                        
\draw[include] (middle)  -- (top);
\end{tikzpicture}
Michael Banken's avatar
Michael Banken committed
62
\section{Optimization cases}