From 4742a1b1f515b81ef88deb9c1bd44457f7da4420 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 21 Apr 2016 16:42:19 +0200 Subject: [PATCH] Change to vectorized graphs --- report2/.gitignore | 2 +- report2/Makefile | 10 +++++----- report2/implementation.tex | 6 +++--- report2/report.dvi | Bin 0 -> 14412 bytes 4 files changed, 9 insertions(+), 9 deletions(-) create mode 100644 report2/report.dvi 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 0000000000000000000000000000000000000000..c3538e28be33ef94449aa5b655ffcef03f84cf26 GIT binary patch literal 14412 zcmeHOdz2GZny(}ct@2Pn&?AWW96>rH=?4vMqmDp}HVSm}7&*FDl1isENrkFPcgOLF zkMS`h9lQEMriRQK1a=gdRXZB((K)!I%%XdA*2n6?`oIyLo#n{5PX7Up3j6zRRnlqb zmdB!d_8j`0K;_oG-~HbAd)(}EI_~ZIrwMfe{#<_^KdD(-Hc3h7@q|9f=keCKJymX> zcc!cXgoC-`Sb zAgX$&|E5Waw92uT^pNR#lXBbIRVx&~7-I5_MgeYoCd7Q1JQsM@OqwaN=DKLT3>BtVyvUX0Lbi@&p+9F=J^*)T`LU7M4CJ_ z5Y>`i&x@{9DwRD~aCFe0(a`DbJ!9FHg~Rwfn#=L?y>L}TY8PWcNlm--fRI940@yw|9O$MwK!Rc~1_m7z`syfYXO!)nsO({v$Xr>nvJ(YZBDtp$0 z4|Q}2zuSNJRdH30&}5%?DkH|HvNK2hzQY(js-d^yrFXAiCyWe*I8MOZ-|qG8xLS#= zS@oJO#h9+8HjN_!_-yw%f4yJ{r_iPnvpqY#DdYT6*UXE?BT`g~bv`je7j;>Q0nyo4 zjP<5c8$l`nU`}uObzj_)ECS%a(YznB76f<0l7fZ2#(%Eos5CSrU)gNK8 zbLH3WR4QG*eQfayJNcCQK6ub!jQi{pi1ATNhF-UiORL#9IAyac#x$9PeW=vR+nbBx zIVm-+yeC>#hsmXq%VkcxNS0_gRv$bm0dg8An(rqX9+#ufvM+c+ue*}`;j&Tl=ahKC zA>G%Wl;-y@%>iTs?+4i|lC(rb*Nmb2wUcuB{^inVgIq#Ysno9^1_U%aAsz%8ws_L6 zcbYF@*C>cd+A4Gf5y=dBBqrNOS}m%vktTLeliQkzC6nz`4=Ee%Vtv{S2(i>f9CGfwStJuERzxeaPW$)c(8 z+=R&*({xpi$B~^#K~o7aF%mJ`*7oei{~A)lAWOtlNeq}_(T^YufTU<#H7r`3tX;lS((9PmVoEXmk1=46FM7$y z8fyfLdRj8hx5noDOiBYGu))+Mohc!cXjU{$23=r+s7o5B-_+%Z#L0mBZN{^fcFmhh zM8?+i>`p|PpLm7D+HlQl0E04ktA~+&o1zH@Gh#1RG*}!qWz8(?nV*|3`}I4yfD(fg zbWx5$W>}PO@5nk<9_&5UBmG9v`tP-^_9$MWubER)CPy zq=l?e7JX?cr7se3A85;b2UP+0f{B2XE*tw((I^}HU?>p_P}2s zhit6Gv}?V$fP&##@5##w378O(?fqF$F(tk=O;Bw*HOXxZS#~2&(G*51Zw4j8k0x>1 zG16Iy$uUzel8vqDy)~U`BZa+fe2Ct(ot+aJ*jKbP0dN2v**l6Sim5~-lvi4fgDbX+ zs!VpE%}ix$pPr0z#Lw3}n5PYb5{S@qlhcq>eMd+3?UkQ&uwLPB-HFkq+ApELu%$MY zJyjUm!Dgj4x=`oA|BoK&pUYF((ZcW}&FTX*6Qz~x`{H~!lVO`5%XvIrDzz9FZQde> zQYoY2ouzr5IF0!B$Q*?4Agtj$ZLh&ugg0d=cb0@zRRp7l^ z8CA5HZUAsTns$D$u*b(j9UZwu99l7Kf}XDfw(tnKAP+cV7(Kh^lj3MZ3W3|k>F+Eq z4ykfWnA{nL$31XvPfM=gIu~F+NzFLFzCEfiY;3mS6O@L>B=UJ94cARKk<&2qBMjHi za{U-*wuR*Y3!ADGS0#-Q<~|fdVys0nVdMb?4!+=GOpED}goG7ZoDtF7Gewdq@`l+{ zmR0;z5Kt4`^l$sJr(TKTU59bnz6Z14RLtzXV8x>s4-H)Vj@@J|4Z$fC1=6qm#vliGC_hZ9q*@)bY1 z=|$WujPNPC!j;>aj#oM_c0o_4&H_)WyU)pw#9{P@nY}}IvUQ7!hY?Xez5CK<+Ut^? zS2lJ}P8p;2Md9$GeGc#Am4E4A-{RT^@nGCh?b-emb|-&=6N#IZz;fPv$=Sqx(X4TI za_`k})s%dcd#^~R?-q#%3edk2?`4C@UB-?E3WX0c`I0c8P~dH2V(o7@SN|q=nE_+> zP96k}pwiYkdp9IK;Nl*E7Uu?CO}3XxbqRMr_xB?@3?WrZTqvd8IO})QIIkI9RYtd|d|q(jM}qSia7*zf`7JZgK|j+QJAIX_vm0M!EL; zl0eXkwZs;58{kU0@fPO#&?LZI?kP(EBObN-5abEO;H?P8`C9G}6ejBoA&jO(rM^=D zRvuV!kh_lKp`;MmY+Cusw;Fn15b~Wo4dO?>lfC+YayQlery#WQ4DP0^>;x);?8Gbt z7j-7WiyT+pE@9)udh%8&c>d?E`LBXFy{Sz3)elkRRanIR-Oa2p!Iv_v#3&C~tf%iq zW${JH-j>U;P_iSaH9R{4PB@M9W5TEufVKRD;bx(XGn?3jeOL=e^Ei+^BHIoLB#()O z{m?AzWFyQY+3!WZhfr{cj489_xcn~}c?{A%1fgSMY3Vj(DVA2+qfF9|fup6Mj#ocR zNhxJ)Kgna#Aqsk2_!bmsP%A1$W>9M{om7f3#=lh+jtgabQHgPWH^`T`uu}I~Jm3tR ztS8KomTXqaz$1wKyTRpKq>01C@``lboS>^S)GYaDX?mTJV|oI4Ra9S)V^{Zuym_DcvS5Wb-_fL1q319qz$wVpy97nf(I zY^F5t-etH_Lw)e6hAXuLMF?K*q6|-0aKFcO?^3%yp@nhrCq~go&^1 zdV`9>6yp-KzWT3KA|?m~t+d)}m&tggH|^TC9>wC}s)pjhwhdJ8wdx6|e{NgvXGx^? zIwjtyLr}dKsXEn*F_kYj+mI^rBz^?X+!?B;+cpeGtyzq;C@Nk?QQ>>>Nh-!r5>LHI zz;GV0(Qk zwP_g5?J&mP^J({m#(_7OwdLOL6f@Y9=7Qy<4yJdE2s?aIzKZn}tnnY8IHcjv4$ zO+?Da*Y{tZ9bZHuSAvCaKrGPe!$yDH(A~Gegik(n19o6L{ zKpcw3OW%sFD-c#$^UKXt_(^Ce{*$~29ey*4R9Z&m^^bcCF)i91r&N59t53VSZ!N~X zb^Y=tO!$zZVjP1-n}bpCWh`In5OQu~=vke-!GSHTvae3{vMs(m zmcamYZ?4>u07J>f#HCBfU<+VPPoB3fa!8I@t_lELg_0KKd1eWJ=)8kzSA0}MQ)}rT zuV>H&s3exJYo(;n#ylcwdL)@aHOPy-s9lotR&gLT#VQ(YsTKDGb7@aE0YJZol!|KL zpfl}!I8KzeC}PAehlj;@9L*Lj<9t{F#VCft5F?0^+Ta94mL#G<{z8-XYOYMYE{2v)1kNm&ENlRm z1mYtKoE-Tc>LQ``7mt8Mazu3Z5>5^T!UJOWuuT?i!W#@}SJMcQ*W`HH$#69dFZfY< zMbN<+s@d`P8N4qRaW$fN$ULGDKGHr7h+K50zyc)}Ntz0@x&RQsN0hX5MSwbAvCaXiu9GAaVd*epIt{&dKQFna}TdRADI8z z10C5vkDNhg)`fG<{`~RMzihq+5z>7fgyo+Uvd59{iuIpHWpaDWSI4S9vO@ z;~`n^tE{e?q_)ZRm9@3gC(#i%j!sJB&XsTFENKzh)@eO21|b)HP$^~TXAnnhw)ioS5Z&jt2qvrF>sN$%3Yink3)Vwv7wSB0eFe|R@ zL(MwE8~S|X5%Btt-)aTCjOAy3(GRW4KC}u9^LlG5EwpC%sx6Lrz0)~bzUkAeOVL`t zmWH&f(v!6ZxBzjV>{Xuy8!jCo%^SzDXp@O4{HyNpu7*pJ- z4&#dQ3oR`0ykbo@M+~92U`LB8Mj_ZCZ>%7J@2~W zhNKafG>)?51pZr{NnA2oCvf3dw+OHst`1ahvp36>Rlghn>v&Mb{0TXtM zy31gc{b*rt)vi64x0klOb=~XP6%}ujaAcQ{8N(l0PHHDNj)cK->=c^u{(6jsap2PR ze+oCLU}#1Z#*bG6sK_x~j3eIfa`O(G7@MZ4fwXJRTndIVt~m|l7b3D>6>&L2R0D`l z!ZNy#GzERbe#@p|9&Ief+#&?Fo~1T-WLoY2PFnY9E`LV zC<70q;Us#98dpnbl8OANSvk>LLHFs!#&q4*pi=IG^L;?7SpUocPpii zFdPjg0=r>oPgr5ou8LL*xUJG420A;Ej2%3GdgB2WZy$ z!-k_SAX{AQ67KqHb~r73daGmzpUQ|#i>x1W#p?^w4)=XZ#^Jsn22&s$*MclwHr)80 zm=?Blsu^L6(E@~`jFPf~wABO87UgsCjgK87XJcXAj@#41R|)L{qZs~ri(&|G zu2T88wsYUbw_l8j;h)hqAAYuQ4%Bn=LM0fG7I5@YY!F*ujj|${kS$g;~3YDxS7Gepu#s{;}o4sY2Pno_Ua?Z{X{Py#xMUYT(~o4S2C)pbHfP|I}>2AC?XB6Se_= mBscKA!U6rjz?T#UypK2F555MvEHUuauP+6mW}R~v{rwM^*TUrh literal 0 HcmV?d00001 -- 2.20.1