update
[mc1516pa.git] / report2 / implementation.tex
index 40bef7f..b4a1d77 100644 (file)
@@ -75,6 +75,9 @@ $$next(i_1, i_2, i_3)=\left\{\begin{array}{lp{2pt}l}
 Encoding the goal state is very trivial. Just make sure all $target$ tiles are
 $targetbox$ tiles.
 
+\subsection{Lurd extraction}
+%TODO
+
 \subsection{Example}
 For example, take the toy screen shown as the first representation in
 Listing~\ref{lst:toy}. When the screen is parsed the unreachable space is first