From: Mart Lubbers Date: Tue, 18 Nov 2014 13:37:00 +0000 (+0100) Subject: all sources moved to appendices. ass2 has to be updated X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=806a447e5bd0e0722e22b7ffde2d9cb384a5a055;p=ker1415-1.git all sources moved to appendices. ass2 has to be updated --- diff --git a/report/appendix.tex b/report/appendix.tex index a73397c..a6dac12 100644 --- a/report/appendix.tex +++ b/report/appendix.tex @@ -33,3 +33,23 @@ \label{domaintask7} \prologcode{./src/domaintask7.pl} \end{listing} +\begin{listing}[H] + \caption{Generating conflict sets} + \label{task12} + \prologcode{./src/task12.pl} +\end{listing} +\begin{listing}[H] + \caption{Hitting set datastructure} + \label{hs} + \prologcode{./src/hs.pl} +\end{listing} +\begin{listing}[H] + \caption{Code for generating a hitting set tree} + \label{task14part1} + \prologcode{./src/task14part1.pl} +\end{listing} +\begin{listing}[H] + \caption{Code for generating a minimal hitting sets} + \label{task14part2} + \prologcode{./src/task14part2.pl} +\end{listing} diff --git a/report/ass2.tex b/report/ass2.tex index 0533a62..fbf780d 100644 --- a/report/ass2.tex +++ b/report/ass2.tex @@ -1,16 +1,9 @@ \subsection{Implementation of the hitting-set algorithm} \subsubsection{Task 12: Generate conflict} -\begin{listing}[H] - \caption{Generating conflict sets} - \prologcode{./src/task12.pl} -\end{listing} +Can be found in \textit{./src/task12.pl} or in Listing~\ref{task12}. \subsubsection{Task 13: Define your data structure} -\begin{listing}[H] - \caption{Hitting set datastructure} - \prologcode{./src/hs.pl} -\end{listing} - +Can be found in \textit{./src/hs.pl} or in Listing~\ref{hs}. \begin{figure}[H] \caption{Examples of good hitting set trees} \begin{tikzpicture} [grow=down] @@ -79,12 +72,5 @@ \end{figure} \subsubsection{Task 14: Implementation} -\begin{listing}[H] - \caption{Code for generating a hitting set tree} - \prologcode{./src/task14part1.pl} -\end{listing} - -\begin{listing}[H] - \caption{Code for generating a minimal hitting sets} - \prologcode{./src/task14part2.pl} -\end{listing} +Can be found in \textit{./src/task14part1.pl} or in Listing~\ref{task14part1}. +Can be found in \textit{./src/task14part2.pl} or in Listing~\ref{task14part2}.