From 2c6dfb77a0d7eb4ffa14b7381910ba25fc603b60 Mon Sep 17 00:00:00 2001 From: Tibo De Peuter Date: Mon, 12 May 2025 19:52:41 +0200 Subject: [PATCH] Finale indiening --- documentatie/renaming.png | Bin 0 -> 23055 bytes documentatie/verslag.tex | 8 ++++++++ 2 files changed, 8 insertions(+) create mode 100644 documentatie/renaming.png diff --git a/documentatie/renaming.png b/documentatie/renaming.png new file mode 100644 index 0000000000000000000000000000000000000000..78e39182b268943666420a946b099fd9f77f69fb GIT binary patch literal 23055 zcmeIa2RzpQ{y%K5Y?T$6sqE{rS5`(wLPm*PT;^qDXN!z%*+N8waFLN@ltNZQNLE&4 z@67xCG0y4x?flL;_wPQx|9yVvz8{Ys<@5f0-upG4ujlKf5Dj%j5+XVx3=9ksWhHq{ z3=B*c@beG>9{Br$87F99V|Ti&=Vaq%W{E;#u*2mJe`1I6S=c!`vBTxrVKAf(0%^)) zYH4ilU~J>aV~cbGjo=GobENIjCu(-?mMD}lJ4`{4hY!3uugA~N4wnT#sao1PyMce* zM1+il1PS z($4m9O)w!I7!SX|;TuO2V-)hR9rT8lhOl!mMLHZdf%U-H;g{L@WWWpP4_xkOFW|w_ z^zb7!Ig7h+6CFEYVI4b^in7)n3salJp=^z9j>gsi8|H@pd9>p(ZQK+cjO{Jd>`aj; zFtDlH(LzNIdVq$zhYbQS(Zhkw9gZhIS~S$4W$AvrlY@1`_{^OxO_7d=eUCnLva>@u zS=#@x(ZtTy7HM*HA4eY=J2=?6{_!(2JJivZkG`=7yZXcEP=nTQCknOdTADgp9DXYT z6F%Gp)UJfIG`BdOnP2E=e>TR)A0O?+(Zbl&&h@bWZ-2fKEs^Xo(h1 zHeiYJkP$fEl?galNGD~1B0E_E0h2k}u8pOsDb!uo)xy#Vsbz0$0-cU4&?eC4VCQUW ziiAWKC@wH4&~(rM$Rqvw8~1k5^!J75uOg&~w6j4vIot)q9*rn;bni#{3WEzC&g%MC z=|BF&;upb(A9XW6(l_(J3=A##pOH!M&5=m|{l!B@`cIPoH^uG9I{qSV(1q$9UZ_5F zp~g1Q5!)ghp@07M&)~*nxc~LT{(0Ga2xEuy`iI-nyTEgJTmMla$uImTnG`&F{zWEX z{6}s7-a>h#Ouq=_Z})|?HI;!J7tncIJ6p&w{9;Z1mOVh4{^r8|YQ_J%*5H?;JwEMU zPxiRY0f{npvUEAJ=SSA)Z`pvquhYN!H%PxV>?{Gc`io8C7d<++W1}Q;blJx`dO{c{HAA4~~5-r;{WrIWFPInwFBF(n*06kzH8VtN1m$sB!sVDSFYm;any6gu)E ze|5u0*Y=-fGmf3q@%;hxec(NR5$xkneiiJ0KRH4}`hTzAe;mr;7yXkvf0Wt9ZwP+hIa3nmx2n&qwsO{eyrU1tCke&D|uKdjr0Se3>3KdM8 z9Z+{=9gIz^0h#)@iI2Y-^FVxx8OqXL35)^#j506fSf+}(pLLGZHzTZ6?|FP5fRZ@?Q z+P{&c{!R}5W~_eUVN6iQj*gZl;6DDQS%Pj7>1OGq2d;>ZM_BOaQUAzFL9gT?cJ=r> zdFTM4hr>Dl^Z6S%Oql173=aI5UOASDe?8!a!;V6uV{tuZ5s#<*UkkYTe`gW@h@VU? z&CHMo9N>XV{*NMdV8f0O@^>cgHzV|~Kumu|Nq=%u z{}3eo8CCt3xN@*_0wnN3Zkih${jpv9pUqRj`2J{7U;@9(!Eq?|2RZmR6olU?KHwU_ zK|*}qf3hy~3&Z~87X*&4>=$hoIlAaS+~QG8bZpE24Yc`pBJKzt{fC*~KhYZkzk|SI zrtAOog&pKd{)^g)BB!oXm{P?nd`b~Bty zC9GEK+1@|WNjf%IwzhnXc5Fbdh7!zt@6;*gB+bB9EtU-Jr=M<v`d;VtVk5~dfjRt^q4D?vQF=~@k763OJaI&r6?qc`8EL! zR-msPxsrLqd`iuWK1^f5=%_DVwMB{337d zPKjwp+Mu&=Pl3Kxn)j9^cS|cd9}Y1lFUyENVxcELK{b(2CS-Sgz%HRJMVKRMr`O1b zd%7#fwdbtDY~k(F6k<#{ra;%0MHlUQz5 zIYrwHlsE6~Zf8sTVJ-LQ8Y$P`!_5Y5F+8`#Xhj`NSrEg;#{LHG)7cJfg1vnnrUz$d z4sC$!jEF`∓o`@68OX*Umq5UM{_-r;-k;%h!I!5-GW!=()eUL6{DQpA~m0X#cXm zIY!o;DqeBslD7fj{#3e;&a$v>nEBAH{9I_YxX@}_li=AN8}lVDb6?=eJue;2Uv7R2 z&DMUV3AV8wNsZ`hTot2IR)g)LmSh!7ttr3-69r+?IRvO#7 z*YU)b`KyrJ7D z?i$+l$7eM<0Sl(hiFB`Zedjjmd4onWwvOSY?2a@^@n}x7uBU2SKdEQpbQ=@fUh5{t#aZ4^@}Y z>mSIK2r*x5f68`>-j!6R;6p@qMO2v419|rW4;yyFH(DTh{CjT}CD2B$gU$}C->-!$ zy5@iXUcNv<%PK%As0;_E&4+^k7e^&N6VZgtbb`nx^r4>^xQ*VwXTTd2p%BT)U|QNyO`P4-c-F_jduK^;cdYp#hoCV&QB;C~Lr8a# zk&#Z3;d3#8=Qqk?5)9pyk$$PP;#-Rx>W?&@VG%3e)}h=vn}J@R8)ylmg|l5vllYV& zhky552!}y$kF5aEN4XIL0=M`+=9QhFD=k3S3fT;vX|n&ENH7||cY?>hXDsJxy3VIm zVY{@GoI0vf+q3Yvom-`5;R4p5RX4@y=EYrRHT?L!_qTo&$xw*DF}+!iy2hP6_{vq~ z-Gfue&jtD+PPPWuzu3Z{xtM5iBvfXNJeTfU)fO1M)J$=HOCp?`%nHL$CgDzERg7TU zO7x&0Jn`bGT1s9ejr`XVq)LzRlo-Lzatm*7|CZ~p7Y9N3l7ZRx`qn;LU!^hKa+JQ8 z0kAw1nV~!}Ks^UkEFr~{?xR@bLd#W;HAd=2^Mt7?Isf<^S25(?BB&I6Z*6|?X4w$4 z$yYdmZ?wI?=^27xnVrhpACp9>(GQ)cJ1*^O-@Uz#K}5~NHI=$ii@hpn)vaVdP+3?! zXmOy`MrO07if?SNFj=?m%hb4jy%WSVox&`Kr<=M9teA44!AtENhI_6sf#}EBwPJ90 zB{~PiN#P4$sZa$mS?u453&Y z4`bMOO%bx`=BBh@YoU>FE7mSDlriu$dA}cBJ!8f7;zY6Jx8*$_x(Y zRm+z$>$0%tH!Jc?F|qOR(?q1-VZf}q&sSV8+rB4_L2`B|)T$@1nX{;xvVo!5=o|4m zK^^~y&q|xHCNRFQX+j9uxCs0u2LkTd>lY^R8Q;4YCH9^+#9`t?^VZsr`=uurYWKY} zshSHp&%71BH;|L=eG!-Fq>?jts&|HjYy`#R35iZM5g7jdkmpJpJk5Ee4s*1a+4xfg z!P$p=?QtJDRBOmr=%qZ}@_x|HVF8^gs@}nRI4x_ofj7R+t}Bo!ayau+o$OBV zE_+aqKbchS7qu6maUz9Dv9M=LUP0KK-k%~Ry7;6p;Ru#MM|CN&1wE!7-mM$?3hi14;as>blsDmUZBs zW>i|KTe)BaIFufhcpf=V--S}^x?-s8YSgS2&?Vj~xya@t{TQ9>_%%3MhHWcbcGifJw^P!Tb?Ab?2hh;n`>S_FO zvFqDY#XIc7VH$jxj^|A4W2vosE6=U#Stvc`oGfYK>Eb=3A{<5?K#`c6NMKLOLg3-t+-lI~6N!I}Gsf=xo zS)Z!_`w^J+kjMNXr8r!?$#;s9S!Qs^d)wxEi08uVjeB?ZXX&U3aN7Ic^7m=sn#Hve zg)}fdiu+oHDwmP3r(2-o3CxOSj-sRYdloW6SWenmMT#)jaQdo?jZfO0%jEerVE@~m zX-|oDFOPGiSVKfU9_4%cQ5^L*SOaeq1p1bDuQVrCFA;w*^NFYryzV@LCzS6gf<=7; zu@a$LY8RYJks9%h-I!2aT{HL$t9E!T+V}%?C_7Ec4Vr620UBu0(_vO@IBjA6Bm>g^ zeMz{YHx{|LJ59_RQ?=b__TB(k%>JNGdHV8;+MqybCUlTVan9MF_r~64^YUk!5`^5U zc0=1@q}ddc75wZEP7Rm$Y_7y$wdtl}8DmgY@$b`D_F3&zOioE$z^2bA$W8L)x4#D; zCd+)k$s^b8*WfLrOFXA^Ww!D*p`kq%3)aAuZ}dV@&B#`!wvG5xG@RJW=Wg5MQ1KOi zbJQ6$42@Y5KnIOYm`IOg7(IA5Q2tv5@OH3P#Lv^%?(R-DieIn;XNtV8KNNzkTPY{T$G$9bg zQDM>6BSbGTD9swsix8f`;kbz<2o~myA`F-ojhA=5CUEE34xbon;I2Kuifv+^@HxJb!_FzBl0%CYcoX|WV$rG98!62c$8 zm|-1ImqZJ&;s+4X=7dGxqF~1fwwV-Q{&o!&e8>JB6t8M3)CEf-!)70xXO>pwSKR3A zoaBq5@Q4+A!}voKC#+Ah7rCTs>?AGHWYWOs<7LO~668zqO8o0=p@94dszE*TR7A#h zrv?AY$XX>kSiPKSx&Ib#cm1oH_-3xt?KQj7ag`WHSP`%f1G+4KMJ|xeCYbKwI43 z>b_x0@aPn#Lqv>!?4!qKdzZmFYQ3zv;W#muef_Tx6eRtm1}DG2{=5vFBnYTn!BMJ< z4<$3y67+=)?t9ra%&_>(*XKAvz#eN?^HYJRdQsNq2SAe( z=tjne;q<~+(j@L0l%2iY0HBxV`v`^<`~6Vfn)4@4b44Lr;@R0Azt@%Y+_b+7kQfpS z6vL`W`f{#(Aj`V9P%~E}qoG5JyJY!C9L(Y)QxXjMAm9D|*g4j9`^Pi`NE&pb%f8;6 zru0a<&t5bP`9TR_+VSiJ!x#`nsGt$=w3o|e{P7Bx23~tqoa8k$Fl$ZBxUon~2_}vM z_)E;Mcmv?-wI98`n2$l*n>$`kdQa6;FA|H8yS)u0DI>)vV~iDboK#vEdR=C~>e745 zL>SKxM4;qM{p{#)U%9HR4wK1hWXtI!Ne`DiPD%Gwi@UpPy~w#QWtt!;dv@zpxzlXl zwH8UQtryw=+=jfi?0RZ05sEpI<}n}5TeB&*TP%N1)}VSMn1dOKR>_8@zQZh-T9S$sdRgTw|Q&gH9%9ujNCI8BE4I?(k@=& zv+r#=T=N<=P_DK-(ZX^0!O2cPj0E!1EooO$_wRr+fFZ6rFX&-T$%4xtA~Ryb@SAK) z(M|JQZkCs)>l0DG`OV|1)k4j7Aw=9Xe_I3uObctI1Pd@S%A*r9Zm6Sz_57xE7R?U zc|5^a9A@O3a}~o`7M+gJej9=FJ8IJtG##_Dk zhPLo*3c9g1f9%Ht8uWIR$L???1OwDl#j=}|8CW0OCze6E$d+e(L7OyoyS4{ffS{Sm zw(w6oT6K6)yAOY+l|M2B!g^wvb@|a&>5o6jhgVTGy z=b&|y)kQeBUoy})2r_{7Q@Hxhtm{mEC4i8rg%*~OCgC9-*0(#{SYyMCe?M4%O6gKc zTm(g7u)H+j`3x>dWPWr5G(%GWA(ep85L(ds^LI=(HmoN42lv?qwinhOX$$rn4%fu+ zck!{VCr%UP2h-z-7!&m`r}$r?;keYP#t|`SV@iaLi_P2g8N}TESROP(`Ot9$S%kCTu0fHn!NfYSwE&6?ybe&w2i(|W~H3Kb8EH1 zGKiF6e88^udbZ-jIcJjRgNb<12$)Ul!A&gon~TPhX9S$SYp{R6Ff5W4d| zGQF(e>*gHH7%JR91o&0W`PUnUZQ2u+85+e6NI}a_Yz7_A3oP z2FT>IKYJNHXVaN^|HCP1N?;A|%0@4p9|�%CWlRXbf>F!075-?)`d$kG6PkZ`*FV z``JS-zyo|7ROIC-y!zXV54#LdmSRRbI))BOD1+ws6K;+owPi{#8^Y^ho zJg_c_fY09_mFBhHUtI4mz{}}-ic^Q}dwWAZs)*G@b-wqJsAFC%7K^2>!JW%_i|QA! zPa~{Q77vRdc1mfr06@sxmf4q6XJM8;8GbFd{B z9!clMKArL{^3q;qmC<+n;L{1Mcc)T0EEc<{XP-rV#KCe2yH5X!^jRwUNonK*4*Cg+ z6=1(~@0#flRg)DE*{hY=4Cv^FMtsN}dmu`WhA$cbQW0kTnJat-aa(pvRHL<>Btl{K znM~V!xH66=%escC2R40TY~Rn61f++)U(|atwY$QB%k1NLY389~Ecd=QMYD!HFlWc5 zjDo+KA0Pw8!SVeSC&rscfecnq_l4hi5?KJ}c6r$hsiP=7-eE1d1(c&?fi zxiF!&Qso;aSsE@vJ*6b2L8Zkvc;XMz$4f}e-mB9#iHpxmev!lD`%u05NoCMUCDQ}- zKFx~Yxv!oK6Fb87X2*DNDxXr(hxKnfOm_+3?=`}4hV81C0^8Hl-DjT3m%Pu2KjpUD z54+7Ty$X0a?IgWA!n`Y9&B;I(=&+{dxjXKFyLR?9eH!k=V6!)FHcKo)OstBRxKv73 zH_3BN*L3F%&3V1c>}s2oSN3rXtsCY~i@xe0-=xOm{jg3MsQ5WYV`of0g?vlDKo1?D zRa2=5)HORLb~7EDr1p-cE^#!sA7TAVscd4sqSx!m@s~W-QS4WRZ13Pwcwfn7OQ{UF zAzR*#$3F2?em20OWQo?I5<&1o)#?R91=%)HSI$*kV!blynVn*E3o6Yo&>gP|VNVim zaNmn?XE~tx+xu^6n%P$@P01!kPiJzq8wI=tCfP4D&X~ZB0CT6F#+0UjcuhPmrN~@rvkAZc0=Lu5kp*XBNH5ltd*nJ#{A3g0xQG9ix}7WS zJgosorFC5?0AFGlqA58$+aUkY6C2KbvphCZYD)k+$N9uI} z-eI2PML~R^?^SZ?zOW}-0X*l-$!n5aDU`Gj9PgIch2B>iNIvc7S58_^$5D=AD?3TLUzZMxc&C@Dr^T=l@@_jV(C}l901c{ zku$}Z?(glITVy{v!S?1vry&O(C!gWSn zamgV=y#Bmu3=Tw*D$(O4K7Yc|v7iz5WIsx*YW;h;eQqF3v0i8VoO4&2UL}WG$ZpVCZ;i_m5kr~8=1@MwG7=;6RzWO- z*G~ED7{Ba6q@i( zedY`IZ!Q(w4wlsGAF6x6p*R~IGe<(mM`nm>U@TXM#}m@W>S)MQ)a@oEKg_Ntf0csA zrZ}6G8j9O*C_EQ3DXB2qDL@U!3@P} z<-#v?+k+(qs%Nd_>Q)HcqWdJt-06e?zz@f)Xr#sJgaXwslH@<9=+TOdCLZ^g$+ZBc zXw-I<&w?q;Quy@{3F06?K(^jDmtx=38Z2p`bVD@IR}qT6loYcwlYvjc=&%*UsSXC= z9kmDd3o&|hP@t|}(fmL~k?JFnYgFMP?xJke-m~aN)3NvAAul8{Q%y&vbJBGNJ!h`J zu;?uQMy_fM9H-8lw_?ksM333zaR{>Qrx-Ud%Ab9>%YTc!_r5#fG-gZe1=gOt>kpxX zl?XEE%tcrM37x>lZwTh*IzU3R>lPY73128fHUTt_wCvflnjsL%ke@qwyMa-P%cP8r zb^ZJXG5ofZpvC~}>%MsIn*zwkCg>*Q(f$BWjVh>5f6!_Et3HT;GB*Iy*K~9h+dm7^F2r;K zN?jF_%T26r@|w8#0Z`rZVGZjuc^sL9c@<<^ym!}h^($;s$JS(As$v9>lBf&kPc0Vqly~f@%SV zUV8{W?0$Gv>VipQgj(*ktQca|G>M;Ko(bg40g2svJ1bY4(=XLRFmj5gK_5_UvSiDkjw{uO+J`!;w~9PFw~ML%wC%}p~M-BVWOVh zTpH`?h&T~=K1ojrrcr99w&o|EG@W#ef6NiYkgK!}d$Xk-9}X5U!e=%#~A?aR3<7onpW8pg1$ z4I(G#Q0~=Zc2S3wDz{r2huQanSgh(Z3u2P&rT8@+#+kli-JW2{*{BI=M6AEdwAeequCX zlnF{~T0auAibT1fi52@{WytLUan?_d^jKZ!nn8Aq1>VFVxp|t4KnWBvbdC|f&b+;_ z(FN#6@0qs!^7~5IY(yH$ z#+#p{7=o}Rfy{%=C3zLpE+~O&nTd^IpGf!Y#pkTc@8xmEqG+29f>DH@0b%nvCzRjG zU!=Gk)eqa<2L?%#-Gc(ffLIdipzz3wF>F9gRX*<;eH(OrA_|+n^+kUa9n3WN^pp-! zqDOQuQs<;Pf@7Ryv=mgsG$#vMYkLfGIS@Sl1XQI*+j1r--$hA-&$y0P9Y*~%pprsV z@=O8qe(U)CX8f%^3p##G8HIaVZB3>lX<@=EXV8r|@n72TR$Vx=ZQdVVc;%^T(u?yI znspZ_#5wk2PG~)0+}yzCh7xR1;>mnUvsH2D?L)Py2Ne;N1abYS7juB(IN+P84DIW2 z^AhCGc%1ha-*XZOTx?+#_EQOJ)ANoRQ_Ax>IVY6Uvl8CdMKpb0B1og8%K67dOR-5E zA`y1PRX1sJmAtG%ni8dJS3L__zqYXi)p4YIW^#(IF6<(JeVAc&WAfTsy)r{g3h0<_ zE`uctz--Su8(L+dm{l9UUctmyo0S;c@wj*fs8~7g~y}y8fDDJtBq8m_acZW z6f4i~SOMy{%P&-`ZOIn!?0a~6+g|<{IXwLV>Q+iJi*lR!`ksI~Vm!NxdJbw}{6qkK zDH$O)kZc8D=Mu!odajn1eFA9u8v$^_lZZlNvMm7{#FHlQ2B07FzUrYv65v4f zM^V!K$ip6>Dq`JYJyxyYNl1<40Qn*}02?)PH>?w($vMHp(wCLbwqWvq{*5`ai+J7H zBHn;9C^)E&^lj^VJsk8I3k<@CLkT!GTiyT&E(h0v3&{oyhb+sg=g(z!gG=@!(zJqB zv6Hl~7vG#%TX`EqrUF7;`sSOz<&TR8D^NW+c~L3WD&)ew2G7LL{Df(z8QoUUPE0TIp=)^ML`cf z=o)#kgGzx|KpAsJpFXc4Eo3*uMU27Lv-kZ;tsiSF9~rPz9=#AguP;9K}yXUjjh0>f6Zh4ph$Ad>62^4nQ>s zIb%S5mI@GS+w~Tv?f~DSnIVe{$`Z3o z+aKuT#*Bk-FXfc=QUKkKQ{Ouy{$JtHVfztoH{pxLX^ z;WYP+SSv(hPpQ+irZXmkh`sdSrHVn9n=FW;>-q5pF8xR`f?E#F>{Z`3L0zXavJ(_9 zvfnn4B}M?^uUqCDAWE+xYBz>FoG0pieLX^I1H$jYhas(dJl$MDwaLT7CNo_L1= z?!>x&+oQb@4$N&XYt$L^Sf=03WP57DnC0jok-6e#E6zecYR zPPbAN=~b`qHCySaM}hMN6tHlk-s903hk+DKC+7Vq6$6<32#(4u_l*}(4>_)0yi-b7 zpDF-~D{bVM(50duCi!gM?Y_l$6A0^259x~pC?ELD5Vx~mCM_G7%kgQj_GFnv5jpo! zxw1C^aU2g7CRwe9P;qn{r9QfE{eE8l9r@^+_w3kM^HiQo>e{U@g|7C0XV1fX^PXF- zRs0%Ej|sivljbKLg6Ugt0xEH;8lwO=^Q1Aj(AYomI?2Q`l`_b6uvO`lGn1PW*l*&+ zunI(xsI$m2>6+!qKTFIe0ao48zf|%aImkLJ7L7R=vpzge>-iZ~PC022F9f9pNZQv= z9+>M-#K1oY_^&ptUKA{pstbP)obhnPqayl*+H=l>gygWdUNU) z&XyKJ`UPG^x#N5cQ5>RSNY>!CO3BGh&)5-iU;VD}1J!$wY#;H!NfxrXcwQ&dh$`=L zc;B=0Tdl)B`>#RqsRFJOq9?fgDs_HbsryU0I=0BcQ8U-eXE50!n4JZ_Q7Ac@Tw`~+ zs2WdYwvbyNt&?x?(jl2E{;a9gPaB913iKT&XBwlt)I`5R-=q4K$212KuWqYdaoQQ- zda=gyr-RMOd%Nm#sl&GP<{PwFq*#7bxaWwoTusuafcLqC%~o@JC#r&y`%Vcavv??1 z!HP)}9oDnUOw-~aJG>7E#)q0U(oX>gZuM@?U5@D_4wkt>`|NiRtbg{58!u;z=6^_J zc7@H7=`9q!6g5YzfP^Tuktcd4WF_S+T#hLoa2=5oL+C27rJW>TDLV^RfIZMf6afuu zNVg{A!(oBkJ!EPn{V`ImqrPq5NNg7hlU$K{TAm5$m&+gLH*m2)ZFCYS`I>9sD+7&?=mW0Z7_M{!;M+kqWj1l@2CV z9t92u!VwSwR`flwpW)!CK>$cF|DdFf=z&DZDuU^qT4zZQo)C0koWyy?{6_#|&|qb- z0?;L9<`Q)9#2*gEQFV>H-VP*@*zY5>6$bb#)_Vj|8+QOd;xKe~>Y0$3<+Rd_3QL%M zKPWv%0%Q%d`6AH9tN+TyW*X3>t-yT(V8H=gS{z7j8_)?_u|d`P!0!hB=xmPf%Gc!; z1=X@nKR$D3cA(#k;e!=zPFr7naS{R2@UNccu==e6&LI1Gz7B8+r!RoKy51LZrCA7{ z07#@VRDCxa7$VJDZ?9*-feF|R89booE$kqDzrHZc%f_J&a*TWl998dwB~6=V15bi` zsL*A5N>0G$l7qOrJRS{IRo-$PoX9JL{Jp``)+R^b?nCna>h3jj)EW9;I_4bLZ0_h%J0@4961(A=8CNm^B}b5y3z717!Y8JQ`d*57 z_h35gB?ywYM3K)8UyE5FIsmby3V!|MLp*o>2B5-k@Kk+gnI5jKrQE)Ud!pOs?M2_M zg~33h{RKQZven9s7I{=yhDBxeQB**3-Y}xU~N<+T$^Ja>$A@qYVNL>?Y?$f zLO8FSJg>oY&4-WG{AowQ*^LuIplmq91_1fH&L(-xKv#MgbdttBXHidOA3&86oW56L z&u0XDMyET*lI5-s(B0)<)y>Nh^G5EELDrFGY>aeeZx(S{AHoIUi0Hg`m zOrJ*lm;ivMyH;)-{L)NSr!5gC5O4Cj5*5}+X-&j%xlM}1*7qk>_5IJZa^z2043s~w zlEIprf3*-_?~l*173OCQ0{N<+cR|kCxq0zXU0avq&%T>4ESNd2rfF{w+Qx%KcMHfa zWPyZ8NboLj>2H|sg%X_I0vLIGH0Z33F!5;I6wCS(#mE_j{3K>_QeY~e1QLZ14wHdr zhk73q{nLgdcvo8#vw!}S$Tj{_^N!E`@V`3L;N6cIa&*_>uJZ=YE#xcevBalEOs4ju zTuaT`y4&7Net#_EKMu-UuATK^Ld&hvbP5ts$cI3MXi5fcqoCuEGaylx9Zzj!3aQ~hguMx9|O5S5W8N literal 0 HcmV?d00001 diff --git a/documentatie/verslag.tex b/documentatie/verslag.tex index cf1598a..c4b1b03 100644 --- a/documentatie/verslag.tex +++ b/documentatie/verslag.tex @@ -9,6 +9,7 @@ \usepackage{enumitem} % Aanpasbare lijsten \usepackage{float} % Figures \usepackage[margin=2cm]{geometry} % Sane marges +\usepackage{graphicx} % Figures \usepackage{hyperref} % Hyperlinks \usepackage{minted} % Syntax highlighting \usepackage{multicol} % Meerdere kolommen @@ -110,12 +111,19 @@ \end{enumerate} Doorheen dit proces kunnen variabelen hernoemd worden aan de hand van \mintinline{prolog}{numbervars/1}. + Een schematisch overzicht van dit proces is te zien in figuur~\ref{fig:renaming}. % TODO Verklarende figuur met substitutie toevoegen % Overzicht van geïmplementeerde predicaten in appendix. Operator-specifieke logica bevindt zich in de klassen van de operatoren zelf. + \begin{figure}[H] + \centering + \includegraphics[width=0.4\textwidth]{renaming} + \caption{Voorbeeld van een substitutie met variable renaming.}\label{fig:renaming} + \end{figure} + In de volgende subsecties worden de belangrijkste onderdelen van de evaluatiestrategie in meer detail besproken. \subsection{Unificatie}\label{subsec:unificatie}