Change to vectorized graphs

[mc1516pa.git] / report2 / implementation.tex

diff --git a/report2/implementation.tex b/report2/implementation.tex
index d223227..b8011a4 100644 (file)
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -86,7 +86,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.png}
+       \includegraphics[scale=0.1]{toy.eps}
        \caption{Initial state encoding of the example~\label{fig:toy}}
 \end{figure}
 
@@ -96,7 +96,7 @@ the BDD shown in Figure~\ref{fig:toy2}.
 
 \begin{figure}[p]
        \centering
-       \includegraphics[scale=0.1]{toy2.png}
+       \includegraphics[scale=0.1]{toy2.eps}
        \caption{Goal state encoding of the example~\label{fig:toy2}}
 \end{figure}
 
@@ -111,7 +111,7 @@ values $0, 0, 1$ thus encoding free.
 
 \begin{figure}[p]
        \centering
-       \includegraphics[scale=0.1]{toy3.png}
+       \includegraphics[scale=0.1]{toy3.eps}
        \caption{Sub-BDD of a move~\label{fig:toy3}}
 \end{figure}