update

[mc1516pa.git] / report2 / results.tex

diff --git a/report2/results.tex b/report2/results.tex
index e8b29e7..c152f71 100644 (file)
--- a/report2/results.tex
+++ b/report2/results.tex
@@ -24,7 +24,7 @@ Usage:
     ./main [opts] [FILE]
 
 Options:
-    -l LURD  LURD verification strategy
+    -l LURD  initial LURD
     -v       enable verbose output
     -h       show this help
 
@@ -32,3 +32,13 @@ Positional arguments:
     FILE     zero or one sokoban screens
              when no file is specified stdin will be used
 \end{lstlisting}
+
+\subsection{Extra 1: Initial LURD}
+Using the \texttt{-l} option the user can give a initial LURD to the program.
+LURD stands for Left, Up, Right, Down sequence and is a string consisting only
+of $l,u,r,d$ characters and it specifies the initial moves to be taken by the
+agent. To achieve this we simple for every character in the lurd update the
+initial state with the relative product of the transitions belonging to the
+correct direction. After that the problem is solved as usual and thus notifying
+the user wether the LURD leads to a solvable state. Note that when the LURD is
+empty the program behaves like there was no LURD given.