From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 21 Apr 2016 14:42:19 +0000 (+0200)
Subject: Change to vectorized graphs
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=4742a1b1f515b81ef88deb9c1bd44457f7da4420;p=mc1516pa.git

Change to vectorized graphs
---

diff --git a/report2/.gitignore b/report2/.gitignore
index f336c9b..6532fa3 100644
--- 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
--- 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
--- 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
index 0000000..c3538e2
Binary files /dev/null and b/report2/report.dvi differ