and back to pdflatex:p

[mc1516pa.git] / report2 / implementation.tex

diff --git a/report2/implementation.tex b/report2/implementation.tex
index f694ab4..40bef7f 100644 (file)
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -91,7 +91,7 @@ Figure~\ref{fig:toy}. Variables $0, 2, 4$ represent $i_1$, $6, 8, 10$ represent
 $i_2$ and lastly $12, 14, 16$ represents $i_3$.
 \begin{figure}[p]
        \centering
-       \includegraphics[scale=0.1]{toy.eps}
+       \includegraphics[width=\textwidth]{toy.png}
        \caption{Initial state encoding of the example~\label{fig:toy}}
 \end{figure}
 
@@ -101,7 +101,7 @@ the BDD shown in Figure~\ref{fig:toy2}.
 
 \begin{figure}[p]
        \centering
-       \includegraphics[scale=0.1]{toy2.eps}
+       \includegraphics[width=.5\textwidth]{toy2.png}
        \caption{Goal state encoding of the example~\label{fig:toy2}}
 \end{figure}
 
@@ -116,7 +116,7 @@ values $0, 0, 1$ thus encoding free.
 
 \begin{figure}[p]
        \centering
-       \includegraphics[scale=0.1]{toy3.eps}
+       \includegraphics[width=.8\textwidth]{toy3.png}
        \caption{Sub-BDD of a move~\label{fig:toy3}}
 \end{figure}