From 8e7ebc338da29f48da7bcb8167f06bbf15030254 Mon Sep 17 00:00:00 2001 From: Lauchmelder Date: Wed, 20 Oct 2021 17:15:52 +0200 Subject: [PATCH] Updated README --- README.md | 4 +++- ZOLparser/Expression.hpp | 2 ++ img/example.png | Bin 0 -> 10736 bytes 3 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 img/example.png diff --git a/README.md b/README.md index 50dd643..1954477 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ # ZOL Parser -ZOL stands for zeroth order logic, so this program can parse zeroth order logic. \ No newline at end of file +ZOL stands for zeroth order logic, so this program can parse zeroth order logic. + +![Example Usage](img/example.png) \ No newline at end of file diff --git a/ZOLparser/Expression.hpp b/ZOLparser/Expression.hpp index acafd1f..aecee54 100644 --- a/ZOLparser/Expression.hpp +++ b/ZOLparser/Expression.hpp @@ -1,5 +1,7 @@ #pragma once +#include + class Expression { public: diff --git a/img/example.png b/img/example.png new file mode 100644 index 0000000000000000000000000000000000000000..2807836c8b11c5c011b2fae29769bae3aa6dddfa GIT binary patch literal 10736 zcmc(FcT`jB_H9s#5UPdH5mc~25DSP1QX(QCf(1lOq=^*i3IswFLC_#r4gw+s=}K=> zBt&|Z(7S}*dlFhm^4md==bU@*yW_p_#(3|Kj6ulG&iAb~*PL^$Z$H0!MTdt=gbM@$ z@#tRCHU@!MY=BqLt{uRCCLKC}Hy{>wV;xOUX0zBd@P^e^!$1QB$_WE+S+D``IbAN@ zatDEUE155rTIW=25a>vtuC~T?FZg_nL;S#D-asD~_q_MbW(!wx1E;;WE}wDB3yp=n z3}CH+UXBlWxxC?bkgY~jaO96WFjvOKHc!0wtI?wCv47{y%vV7MII zF&mv2Z~V&Sh!i*h-hxL5nJw&(?6qlE(5>G(dXB4Du)GNvcO>`I3B1`?D?McU9-17B9`B7!UD@IC2ykO@%?g^GeiHom6 zGcIX61iEhZ3G1}%Jc$e5h|3dquAkqH4AR&%yf4G1&3PZZ zLB6qcLhuAyt_01vV@XsD<>B*a(MM&3J{MOotSx z#Mdc4@k=B`$s44_a9EG-ygTl24`;^B(Xu^~$nPUUFIpW6b|UY#VPI$YF}82L%xfMt z6n7j?d~&94Hfepu`(PAj63@hU+f^(3<=J{{@y_eJai(3E{^5*=l~)4cb5&C8mw4ox zrMpg_)IsEwW$w-NxMTM!(csF9uy@_v`{eA6D)UZ-%bUC~e$!n6_nkWZ@RhHrIq%dH zedt7`egN6@RSm`Abua6!x;;*>;T%)dr5a8MxGu`l$QGy47ka#M_GT7Z*O|Ew^_>E359@Cl2v=WX`8?wkO0c z3~h}keuGy1PTkw5x%w{N>yGFnc&>69KSvj)>T^O;j0;PDsFP8Vynkqp;VBa)wTP=eaSD z&Aq!=vMcmk7J+~mdtnCN6F#H7e?_HQ$CUbZE~v$g8V5OaZotLq%PZLqA>fzOAu6jU zy+G61`o+(c-$f%e?w9PEJ+7O4a8mQ-9cb`*s^um4q&~`cbdKhZx?^caXqM4Cpsngj zB#ajx__&-Y?jPEVm%N3Dkhl~yfmOD4qSKd!2Tz%HpV@kStS&TQu^<(v8s^wLyhl(T z7s^MDcSt5cFF4#ES?agn0^OJhDV5vl0*-@BYHTifdZD|e@rx@yX?t0wuc*hebo}PBMd@XP*V;Wqb-JU0 zE_7@@xSQXwP+Tl{TpA{QPN|@Ir_Qrdsz~~LqGxS73wS9O%PJnH*|q5TN!E>OSD#R} zQ|C=-)~wdU;M?hML@Wm3-(3zdTr4XI=g-XZUq9A;XyG%+6HL~$d9&k}e6ePOG4to%PO>r4qPkC|Dld2+ zGN_n!*}p1!kE?s~45_RL_2}hu9MZz|6y+dH?I>@+CeAA}>W=k29YoOV2-dmD40jiW zmYS4p+?N`7g#H%m`^V_H+2up^QgR&H^7;Jrweq;al;8jvJ#pw>IVR|R{aC~$kAn+GjO|nti^|@-!d#0S=`~M`7!HoSq4lwo9m8HM?yrYO(;9YL zPTM|0-dCj@TgaGqmr15UbIW%7Q2afz0<9I!T=}6ZlUzG-U9S2x1`IVf@jL6o>Y!3$ zHm*JL;r1@^x7ME$jEl+bL;WIO1W2ziQXY+kw2i=8<2j{L`1mu4*Ot-+Dc#m*l9r9= z9Ov4vX4Z?>^`_yu8cD&M@54Bx4tdK3oZ#6w^)W|AYgQ@fyk;S|gI6-VGDLuA_} z-b*OUem~z+F}%%&18K5?xT_3Zv0|YgqY!yqq*5K!y)_|_|DAC|*})Ah28Z5Ab>Vs3 zEB0uTLD*qYxJ}B+N7z(A&x1K7ut`aeO|R32QbIU;4+Uc5hi+ac)Dv^{nx4@eq5r8d~7lSRIWR<2AD8 zQ+{J?>9Hy-M)i8T5x9KQ@$o^A+mgrh#a)kJWFP9)mZ9j0jKpXBCgVrls@@1rh>f5% zwF+k(2v7X2BCcjZe2*XFT5(AagDCHIYYrjPD6EZa7}!Gn22V ztgU(1d}%J9zi#wEo(i5Tb9gO${17I~EZFg;O!6)}*z=*fn}gbCsPTDcM)Q7RB^ZNI zH61IQh~m#e-_)%_ettMzoh)AeJW5?r@m$Pq-@9o<$`OxSjSXHoT}bKGLvG1q^XHKo zj(t+AnQ0f6!VT`9jW=0tc)O!f*^$FM>n5|dw~XXkW)#&#dA>Zg;_iz|g%5}bhb0~uvc7`Bt1j4ER8N@yNG!ZnlyVb#W6n1YGIR&{ zVBo?0L+ftL{mJU@6=$m)%t~m>8}4~@Gv>$5A?lt52e=;L_Saom#7lD0?TSS&wtzw3 z&R&3mKsV{@Yj{Qmlm!&G>u>x9c$TQ?Kwqh(K=uz-_#d8EO{!B$uW$|oc5S%tXaRGW zRC6FtuxF4aS>qtQnJ@UrmfU8O1kP-Dz`jp<)`#p(iz6a$rj*RA%`FzJb)B25Rrhep zfcB+W$*U)+^-GV1(`sD%Q=v7(A2uKQHc$+ZD!~C)O$2%e4_`=xwzZ_Hfq(Pg1!Pm4i9}^zW}X?dr1HAO&{1m9O$3RegX%9(woR5gmn%X5!X=K zBVw5OKCC+0_w+pEgVyZUS(Yj0-Q5r1hS)+?*%x^$j2;ap=Hn-BqM~riIDzfWP0AyU z2J!vPMvr)Py;lM!QXu*MIB`_BPD8F#BT$^e=p2fm5uers{-FUD_M!OX zH)Hptwqmk-H;5}r`a82~bzQ2D-LiGGI=(8Gc}Z_m={>_qT@MVapndMS7vdc5vr6m$ zyCy5ZN9J-L1>LoorQKAy)tOa$B9YK>TiMmfyzgTPR3asP49a4u|1=9T=P|w$vRhz|oYRdyjhZ=@CMr>4iDGlkA4T z17puEYDgu;-@Rv~u__jodv984T65;?#n4%$+G8K$0EKxu$JKt2_fV2Ts2Fw$IWC&g zRl%$AvVz|=kB7lyRruI(?C74k#I)WE@`hq{uaSCgyF0v4c5Cr^xFL;5b|@iF(UPd> z(e_lZNr(n10+$c8#-h^TRTo+r9n*!*ZsD_Mh5G|H4R9?78fvsJr_`KPoz)C}m_u|F zd&*brki!$6*Kzr3S|`!0>xvRZGwg8MNv)k_uuwXGyRhi@&W!^27=*HW#=p;gI9BW< zL~J@kC@Z@UD?0Y(!KJD)o2f(&xyTcn*o3nWW*rD+M$oot#S3pX&A3^3GQK3cMjilE zPu@<@ZrXBqEdIa)0nAaMVf9Z^RU}GvTd@OIQNY+hf#9pzMbbeBVoyCQdKNXi)?8*TS1W;@8n=e|qwHH{eVKLl^~)aE!&`X2N(tLsT4CIGbzB3Ee4E)V9RA-G+Og-e}2$sbuk{o>RE8obk+4B*Q4fx0im=OH|wmjkPiugK8o#N z5a{rB$F)rZ+XNQ}0fCMIeD^p!3SI|+o8A9*cC{bH=6S<+Y3=(@9+6~hcH_z84@tv^ ztJKIl$hyC2Vkb`MDU~XyKha4++>$Y?##;EJWutR$5D8xMDp78uFZIq%EZdG znLI>1E|;k6Buc4P{%{Q+YFJ$MT>XZ3u1OX?C-!8F`!N?ZlfH)NKiTpERLp#zFxf@74A@7+sPB&7?oqloahC2NHF_3Vu6e@haA)?UVd3=|m^hG{2!u)Xq}>`M zq3vHK3xIj~_8m0?aecniLUQfv zc68dnWnWwD_}Rlh=8DPP{i1G=#|5N&zDHdjy1NAo5y@OqYPmD&2PxfXmnuMN%zJ24 z!cl4t7Lwl4oL`MQdeFV{z1S^v^4c8dR3KP5VsWFWr-ml)MM}~7ya=_{_C7vtM7oRP zr>+e!q*-t-IVa>>FwLoLn5AYcyCQd5s4FvhLAsifcITg>YOYGE7|Y73s_ z(dy#H2@vf~zW_v#t`x;aY_(p-a9D);ZfiGl=!of$sVN{n7O~}H{@pn-Vj0p+0v}U zGPM7W%eWyHz>yj8Q(ki(-53nBjzN5-K`R;>D_2uY-5q^n6CjGm2aA4euks~)0L=i~ z*D1PoAm`bFYA2gp7@nBX4yR{{T^`Vh&}VNkMPv)+Nwznq(&ixUi2f7X^cA8Ad2y-?^aU1v*E$C zGgQPuk(ug`%ie7?n8Cn;{|PiQ`7*TP99pDKAzh`$W^Q#_T;{t~7Rtx3pbe8SO4^GX zx?nW0v;o6+OtF=F3aS2~`c82=u`Hxgt=F-b5!iAG8f-O6;>Yc`9>BSN1+Q*Rzq^ck zI#v4Q5!Z+W&jKsna)Sp(sue z2(~Q>CvinHepG<+V|6ZI|BZuzCZv5gyGresv1u{tMO?7n!T0Ii(!BYM!?@JoztV(H zO>nqvHkvKjweiD~fe9mEIr`9{@Br*!(dZ+{+(x_HX=X+mvT0cd<^cutFfT)qYUbsI zNGY}eH!jM10Ni-*FK#5p+PowK2v6M!kQg&NsizICQ8rkDSx->=AyeEm9l|*U6K}yd zeJaDhifTG=RPuyaI>eF@3uGh?^6&z*BxySj@4s27w0mdibUUg0R(%4<&zYb&1;a8w zzX%N`({|x`pB~$;mx-7)JpZq+0wgD_aboeBODIb3ovUWEvKIr4vW!-+VQlk8O%ZpZ z$j{8Aj*3y|S7rfCnWtM`XS)A?ARW-_|EOo>q+q7GpM3rA<~|M%P0nhV7VD1~lc$!l zK1E*`fiGG+#!#W)N;r^Vi6n^YG*6cUDBQn__yS+dT82gJ@$0`i0W2EG#6S)MR(pLKcIM?T zb@CeRybR6tXxdW00$n#)sasc_@eX(l_t49LUp*JYxj7TFk*%YJGhJs;*2!9>@P$i7lY&hcpwqn- zXsdhheb~t<*pDLOU#vxYwDAxqh)3uXNB_+l{3A(`)4=R|?_*}mG~`_cC{sD9?%&-A zvl2|kJwoU8+#*o7lIJ(s;d7$5C+USf3~Bjt7iv~uh|V+&29UsS4HEy6(CztbpP$ko zV`P+MTfi`@^V%+oy9|sUAh~mBqh~b6ZpKFl@88n!)Kua6y9BoFAl*{AN0&_gjrC5j zeacA##1DO_AYF3PXO)#4&pQPx+;#$^0^wmGr(_5ixZQcCmpFz1fN10bTB6?P`b8e@+?wg)Sm`L zCSQau;2E%7qBfK_jG#rk&go`eqb1WGBuc;2=qW@393$JjQq(T1^ zhx?E>o3kqxYp4icU%F}wok=4==$JGDKvvO_F?)&1*9sPgFh%nQ^0mR}enIZ=@%t>! zr3+N50Lw32QT+Ri90a*gY&g@MKPeoL&G@~l@hbxCWJ{i3pq*wLcaE(66ikDjc>?cX zB31;q-%I*hyF$ETkujo1ofrq<-VSuTR5((Ku%BxcZ~D>DaStz};MKAiE>#q8X9O$& zQl|b9MqNZnEqVngPynCd(8uXwj8rf^egGyr3e$!|iSR+<(`*8t)IH1&`qug_k$NRcCeN z27_t74BkeV@>bX^;@DQVW{o@9^1M9q?yjG5SZ?J#MdtDk z{?>;?({Brm9O_dhJ)4hQ=m8`&WTXA0Gs>^^GE^~7%1-ELW9#LP8B@efz?V-OJ#!daNS za@dDyYg*2z!o@Ry3tPZDMMrnwrb6T?{v_*M(HHNvY^vyukLvx7N^EVgiGJv}R z9$1Tian`P?%whyOf4jgQFyyp%=nY4OFF>z5xqPx zmBoipCQg2}0K;K~FY>?~@EhR&+Y;dXj>>-DkHlO;3FkO3Uz{uKXK4QVvCFt`bcl`p zD9HnN_haOVKkR#eu4k|Wu#CWLaHDe&J%9+|CRYHe092e~97HV+Vgs~>C*S|0HyiS1 zEv>vyIM9MoYymIvhIL_z0?L%r@vzl|Fxal@PJH8hUu$j=wx=HW>6a$m( zpPj^5UW`6VLzlo?iU1~I_M5Rg*9HM+@`b{XWjtBsVn}8{ROEpWTMce*#drEPHa)Aa zxq2&9ke|AG++h;E?%ueMu1=!^JMz%W0vzG}clo^x>DH^z4u>p83z!|?ZzhbRy6yp7 ztcAOpbhl9gkV0-i=z!?OBHsSEnn*fM%HYH8^1P_KUzM%}6#}%AoC;wTbz(a27REYY z2Oq8T;qJykegOIQ1f0_zH+J;#tlCw(MMgWt(#o9Om6e7$|Ov~4H- zJ93E@Oe-A>bRDNx)PX+n<1iPP^k;*Ln_(+RxaCHmZTGH<3qeJK#JsZ?&@ciKY<^qsbl9FZT!6Z|ZF7D@^oGcvwAWvjBM7dzN0&cy={oal)^U%J9GmiB1LbO~Hhxs(UU#eJ?;8 z03hEx^$&LbM%v{S)EcX^jm9ByV85=oL z_5M-qY~Vs3zvxQm*7*ltuYQ|T-#DKahR52o0P;rwO8Hb9Q{n3dcy;R&v1j)wY#Oe< z?T?~$1L}Z#_?m+zGbcagaATxe{hg#hgtYEo0fXY(`rdWpjA;e&TPV1t#F#=op$vZ;hn z!n__TDrlB1M*{Lm^6BIZ8zD$InR7DRuvoFuf~c@eft#E-_T~p85S4*qBWuR;{Mkho zExIo#jI@?TZH6Su^II}CW8=+=LJ@We(dR$53f4JzCgKd z<^|h2I{1LtgESjy1*(mC6ai$s`}#~Z$147?u_!iW_V2S5=~5Eu)ct%3)v*^n&Lpb9 zs*io0iTe^A(z)!N&omZv?^zP&BJ%b9BuG@h)RCy2XzcsP@S+wMW_#=X8PKusbxSip z=~3R=9QZAQ>MC7R@lF4;THx6Niem_v9Dh>c6XZkCHEH%@+AiIwXUJefKKcFj+nh zQkCyfEmrt-=;tUhEP4^W9Ey_LJDg~1;!6ca;nt?5zXky!z*Klk^}9$02Vb%DYIHgW zVNPiUyA>eWkIp|3UT15|V9=TWD>P!p|2$ezm*6xu^JF;0y+)F-G#QB`+mC2;I>hmTXS(SzYV%nH66h z4QoiJ*fUaYTGyS3z#3!yu7vjzpQFDP-KhS3GI{otTHsc(coE*EWdJY>+y*}fv^%HR zyf}W-ct|pE%5W9*^WhL+k^gf1kVVm?H(g(kUkL@bfj~hYksssv>+y&D{(v`i-zA-% zWdS{&3Oro#!{kjVL7LZiozC-y<*_uf-1#&93q5<@qx&^2=SZwcZx%XuYhapZ)2Z+v zMwyio>1W9bYMB&>8jF6TQCHPkAr@=d`;oB3VMuux>ASKi&x+z!f#mPxI|v%n$9i5d zTu9R`OMzGz8>lxWNi$l8edy7|>8Xvn4_J$$ab4N@PqLsen>MhP*B}w2IJ~KOk>J;2F_65i7IY;2 z$aM8!-bMOG^*lf7qh7ak#FDoxXb*6TvSO>9V|u*duD@V9UQ$;iN7X}VJ`%C)k;MYq ze`WzV&%L|nKji$caGFA`@4UImnwac##Dm^VZ0k$eDMd8P!nE8Fauw$SUAT*D2@G*{ zs#C00Dc+S{K1zi2VT|PKCrp9&k1@HDJ9cRtT3F%AagSL4h6vjLMN;roe>x%Tecnn zJq`xWoCOVAd#~TwqTBnSbC81jMf;Hg6Y#!W?lTEFaIgAvW*%Ii{nw$p-tRx9W0QRO zWz+5Vr_Gv@TfV^OeEmMQPtW z{`IQ?@AVD|+a40g^-fhR5Acb0Nlk~iUGH5UMlm-W#Z*?n;Q-GX{631?_g`~NU!Tpw jlMextsr6cQI-fJi5Ha&bau@KFCP)`{MLSdTuK)i4iEyqF literal 0 HcmV?d00001