% mainfile: ../Refinement.tex
\chapter{Appendix}
\pagestyle{scrheadings}	
\setcounter{page}{0}
\pagenumbering{arabic} 
\label{chp_appendix}
\section{Addition}
\lstinputlisting[backgroundcolor=\color{white},caption={0,1,2,3 as \picalc{} processes.},captionpos=b]{listings/values.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Gates.},captionpos=b]{appendix/gates.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Adder.},captionpos=b]{appendix/adder.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Subtractor.},captionpos=b]{appendix/subtractor.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Comparator.},captionpos=b]{appendix/comparator.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Set union.},captionpos=b]{appendix/set_union.abc}

\lstinputlisting[backgroundcolor=\color{white},caption={Set subtraction.},captionpos=b]{appendix/set_subtraction.abc}