all sources moved to appendices. ass2 has to be updated
[ker1415-1.git] / report / appendix.tex
1 \begin{listing}[H]
2 \caption{Domain description task 1}
3 \label{domaintask1}
4 \prologcode{./src/domaintask1.pl}
5 \end{listing}
6 \begin{listing}[H]
7 \caption{Instance description task 4}
8 \label{instancetask4}
9 \prologcode{./src/instancetask4.pl}
10 \end{listing}
11 \begin{listing}[H]
12 \caption{Instance description task 5}
13 \label{instancetask5}
14 \prologcode{./src/instancetask5.pl}
15 \end{listing}
16 \begin{listing}[H]
17 \caption{Instance description task 6}
18 \label{instancetask6}
19 \prologcode{./src/instancetask6.pl}
20 \end{listing}
21 \begin{listing}[H]
22 \caption{Domain description task 6}
23 \label{domaintask6}
24 \prologcode{./src/domaintask6.pl}
25 \end{listing}
26 \begin{listing}[H]
27 \caption{Instance description task 7}
28 \label{instancetask7}
29 \prologcode{./src/instancetask7.pl}
30 \end{listing}
31 \begin{listing}[H]
32 \caption{Domain description task 7}
33 \label{domaintask7}
34 \prologcode{./src/domaintask7.pl}
35 \end{listing}
36 \begin{listing}[H]
37 \caption{Generating conflict sets}
38 \label{task12}
39 \prologcode{./src/task12.pl}
40 \end{listing}
41 \begin{listing}[H]
42 \caption{Hitting set datastructure}
43 \label{hs}
44 \prologcode{./src/hs.pl}
45 \end{listing}
46 \begin{listing}[H]
47 \caption{Code for generating a hitting set tree}
48 \label{task14part1}
49 \prologcode{./src/task14part1.pl}
50 \end{listing}
51 \begin{listing}[H]
52 \caption{Code for generating a minimal hitting sets}
53 \label{task14part2}
54 \prologcode{./src/task14part2.pl}
55 \end{listing}