Change to vectorized graphs

diff --git a/report2/.gitignore b/report2/.gitignore
index f336c9b..6532fa3 100644 (file)
--- a/report2/.gitignore
+++ b/report2/.gitignore
@@ -2,5 +2,5 @@
 *.log
 *.aux
 *.fmt
-*.png
+*.eps
 *.toc

diff --git a/report2/Makefile b/report2/Makefile
index 5a22879..975d4f8 100644 (file)
--- a/report2/Makefile
+++ b/report2/Makefile
@@ -1,6 +1,6 @@
-LATEX:=pdflatex
+LATEX:=latex
 DOCUMENT:=report
-GRAPHS:=toy.png toy2.png toy3.png
+GRAPHS:=toy.eps toy2.eps toy3.eps
 
 .PHONY: all clean
 .SECONDARY: $(DOCUMENT).fmt $(GRAPHS)
@@ -11,11 +11,11 @@ all: $(DOCUMENT).pdf
        $(LATEX) $<
        $(LATEX) $<
 
-%.png: %.dot
-       dot -Tpng $< > $@
+%.eps: %.dot
+       dot -Teps $< > $@
 
 %.fmt: pre.tex
        $(LATEX) -ini -shell-escape -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
 clean:
-       $(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux pdf) *.png
+       $(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux) *.pdf *.eps

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}
 

diff --git a/report2/report.dvi b/report2/report.dvi
new file mode 100644 (file)
index 0000000..c3538e2
Binary files /dev/null and b/report2/report.dvi differ