all sources moved to appendices. ass2 has to be updated

[ker1415-1.git] / report / appendix.tex

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}