all sources moved to appendices. ass2 has to be updated

diff --git a/report/appendix.tex b/report/appendix.tex
index a73397c..a6dac12 100644 (file)
--- 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 (file)
--- 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}.