From 69d8c555fe82014e5b4b667a9989ef9fb9aeb494 Mon Sep 17 00:00:00 2001
From: Brady James Garvin <bgarvin@cse.unl.edu>
Date: Fri, 21 Oct 2016 09:22:33 -0500
Subject: [PATCH] Clarified implied case in specification.

---
 tram/documentation/tram-specification.pdf | Bin 45133 -> 45284 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/tram/documentation/tram-specification.pdf b/tram/documentation/tram-specification.pdf
index b904c484c4e0de06a1ed5a4dceaf2f827ea2411f..15e3eb2e978b716365ef1771b359804c5637958f 100644
GIT binary patch
delta 3119
zcmX^6fa%FYrVTgw>fc6rcgvUy?0X&lMLr_(J$s8KOVP=*8zwlPNZj<gkgxE-x&Q4`
zqC%Hu`EK8v{9Z-kkkOkdZcEc^<861@Ywg~$-~at|^YqPo{zo5O5L@K^EiyfRTE?Dp
z2X*;1BXe`2?Dj_My?Xme&`NKw^MzwA_Y|+*vih^>&(c*_k6uw_U!2WZ@BP71JfOb7
zZ~CN_(=T327k|tYzi9QrZTc%!rXQVDR}*sWm6RBB{om+btMKHWScmA@B3ftu{BYd6
z)8+>Ii!C;BSJvB0Jl6Tbd0}I%Qq7&02c33*ywX-=WqJ8u`j099X1D&ort#)Z8u#AK
zy36g@Ub%hz8`)!dcBRj|s!!jS%kF$s|A%dP^|8XJ-;-Z)zm^u@E=Uq&wEkV1%)fQ(
z-@a!1%ZwUtZj{YwDT-gx%g(*VB0Si7d%qBOVeZwnh1CI{Ew&uwF3Z*m^_@HK7r)r`
z)cbSms{cg({qjTTarMN=scYuuKW<p+be;e7l@HH@y8Jqy29;(WFfb7I)Y`o&@rwGd
ztEu(8*ZR8jUS3g=5qEtd%_u!lI)u}z^~5QaizhTLA6enE`c<>`r1{hA*OiwgT39W9
z7~fH8yN>;N>B*X$`Rq~#jc30zMQuN>ta3F|!014%vZ}LCM{I9qT<7e7l2!?+7nMz7
z%53{DGl(~aF6!F0_Ub;?Hi;W`=|8tzE!o7jF>(IX`WFw<3;d#QG!*~;AT6A##A^R5
z@>XbUX<VQACcPgw)3!&*Z!O<kT5ElMdD@MSCs=OZT<@+W(c+(Ar&(F=(wW!(Ix=wE
z!Mi2*W^vrQKY5wYRa4JdhuD^BPMO%@6S=-6<5bGqhgvh1`?M@xyGH6k$6tw^-OVdD
zG<J4v@qBV{C8K)1dTESgpy;Vdt18NULRVV6?TU?QGHojo4qwW`Rv{s>X2Gn#Pxb5<
z{+@Ml>9!9^;-(K}z8>^3OHf{5`Dps*EmLg6BPVe6Y`E{0qt2<>vvop!?AuTG@=Q|M
z=U&?2pQZ3yWv6t)DFN}YNg-aL#~->0-`UyvGQe21L$UIX-p0a3KK0v9u2Q*lK;!bB
z6+YcgmsKKXJiBqj;B3m4^<^KgW<GwKyG(KqUwht{cw^sB^A4>xDbLYg>)TdR_+w%6
z?OTt%RdvJHH0g@pzLZ&!{8Bu#&h+n#ZPxcU)^=?^|9WO;fqAh<*4&%B9-S`x_4}ZT
z)QR;fJ{uYnn~azgLvnfDXKOm#sSjiGabl|X=wcLFc<Q2BC$svE0}hU<lQL2!6()r&
z3l;PWm}c>CF7KQliyjO0TsD1vJK)ipzNfq0PD+{0V@(aN*%`EF%RBud8_OO^rKD7m
z-6e<bJyPhrdU@Tsv{S#>Ohl5JA1^XqnvqoZrrLbQ4kpFcj<OYCComeRr?dOi%SZ%C
zUi2$+{2dW_H9P%}#LjMJjT;9X6mx|t3$hNJ^pp*E3vi5dYArWkkfbP{Gjrzm+@sqQ
zRIhOzubD9;G|@2Km?`Gu!Dk^UEt6U<era;v|2ApcMi-mdh3~nhz78n!T_JKyd0DM&
zpKvPw<kts83IrbRex>)~Kx&TDH~ngb()t%oaR+#6nzBlsY4oct-BY1IeZ?f(DFti3
z&ii2G*)GJgXG7z|R-;G9x74gN*ux`{E}F-|VV81#Rao`wV<%!|J{)3e6VIG{qB)q^
z&+pX^qbBiFLUDVn+rrmOI2h3&?h<dlYtam2o{#o>-Z8GfTPy2Q+_`E+^@TZ?s=^Jl
zzYC?-C!cMxxbfm`Xy1(Jvh0Hai}>F0rS@@Lo+kEZ%H0RgmGpQQ$M5DX`DNPCB>Znr
z*wHB#VmbSL7T>fE;&&;vI&^ME)r!Uy?N83>Zgkl7WM)-TW6x=xSDi;4=DhGQz5dlL
zBSmB;SjARIa(6F{k__TM*;IAx9otuz6aH`Og%-t2zEFGhQFPK(W#=FJRvv$IUH!_$
z#am*0cA6C?Epm9PWD=jL(>;0O?K34h!5>S%z6-us%JQ$7J)CK(>Vv&D51dpVFkZWD
znO@ryCbnaRX=ioqxkiQSPn3giFHs5ESTDuCEAG$H9Ep_43*A?-ow&4p!!kjwT;pvg
zua|s#<SbTiUUNP}(`nh9ZV$H=jhfu4PgFd%On#iA(zYO1_M`{Tx>kiHoU1q0@!UCj
zFyh96p4L+;A1_>K2%c=VuA759)iYwxcE^ZqOaJjDEj63Izjvd;jLq%qUhhs@^RFOy
z$&nW}S0}EW#~N&#-)>iNY-LAHSlq(p$zcT(#Me|tXobyRsa&7)Dpo0#Gwu0L&Z(X$
z7a#l)eR6f4%(SCVcij54x;R|Jb9c#!*vvV<|I}12%`apM-`DgebmHb6c0q||hYOC1
z<{mOlHT!sL+pJBz_s_if#rAO0R+;wv|6z00W^KCmjm<QPIavABiCVSw`HcdmPK&O+
zdg0T%VbLs|)xS*7J)5}OVn@B8^bBdw*)DQ(qza0Hj!zY|T%>byV)^kW5?xo<ZBc)5
zVD>Y!A|B0*`WMOj^Na52mYw2y>FvBLcY2?j={3d9v+q(mgUai4)h>R%d)~(Sh33Wy
z>opujs@7>fEGy!98<^UbW5j&wfLHu{S?7z2`<SfH6^5sqe?64*rMo2UO8tc1`nH^h
z=7AiG*&gXnvUX(Mv1FQ}QhjSk$r)v7Ud`>Ao}zi%!p^yQru<vP_DKJl+C=u_Y_nvp
zW~QEqSK<CAwOjhnRXO`<sz0{y6$#hwT=IC~?7!2*8{86`ChO0Xnz3?|)tRj5NYz(@
zC5pmEk&$<~w>;Tx^Udk}RrAcn3@jJlhd!<6WUo+Tx-(^--E=iCg<P*V4vA9j1!*?9
zuQLR~@A-x4y_T3Q+W5V@+{3xqG~spo()B&zaxa<G*uS~X4!-*$#^UF$&YAtr&;A`L
zsA_Fi+R&U{lN0o%?eXWYv**YB3D{JWc;=n+*`KjnEtow|9-U=tep*rS`OD?(;u#xq
z_pJEATfbRc-yxyzzC-lq_VpW#HgvHZ3qE+`jqIz{`)qj%+TGONJxI;B@{o42b)8;$
zewRyi*o&vLS6?}Bjyv^>pIp)BkI%9`xIO=P%C{i2x~kZ8$E8aZa^goH?%L28E3UQp
zi1Oqf;l)O4yJW;qT`K%|PVd#)U+j09(^9xn^HPdSic%9N8;FZB8<|^f_7qp0%3@+*
zU^=;Ijd!S_fq|)|f&mC9<SB50XahqtBO^m}F$+^mb2KqyOEVKAG%*un3lqc1LTgo6
z%nXeTCR?plsW&sQG(%HmU}j`&fFWjLY>X~uX<%WBA!cZR?qUN=6LSnZEKMvy>go*)
z4B%cfurxQv@S1^<5xQdxO$`ju4Ky@0Fu_!3iWyX<rY0r`M}zD)FfcT=FhUP2Lo;Ix
z-x->lV;X2~Zh{^Ph86~<7!I^BFbDY<*~5kw^~R={n$6A7ePV23Zfb#WH8>#{TbNs*
zM~Shefdz&-OG88SP&KwR1_!@EJyP%+TUuZ!G%>QUK-X+yWNCozXcJ>2GYoacMixjx
r4R*ANv8fqyNXvpmO-u~T(Oqp~Vq{=4`P+J5E+bQOE>%@me>W}wR?8LH

delta 2958
zcmaFzkm>9LrVTgw>hDH*_e-1e?0X%4Mn1yzJ$t~9fCba<G3i`zzSz85dU^XYhfDwY
zr$|i{ai8aT?WC1MSL?=QZcF42zgO1$xp<TJ@84hQDvQld|E>?^xuv>2Wq#?m)XrnC
zW$t{MFzM>CWlt~fe!A$Mp8Uecm#kTGeO|~0tzCOK|Fr$8s92xaB7<Gi>Nl{+moR>1
ze_o<Fvr00zw#-oPgX%7+oZpkYiXwepK6g)DyDri2!}a}FR}`BbyTQ6;tLMT)C;H{D
z%s$;*+u(QlvFqP|lMT-~&1aCkt$yhETsfUB(*C&`%O@MZt#9*xd0ywwcDKamW>GKZ
z=316YuaG|aJw35lDtP9duTMTNm)-fO{s&uowVU<Yzn)(^zp{34S{QaV%>BD-L;I~;
z|6CrQ-@?dcy-ieo;T`qN#|K%o`>tL&_jd6Smzde5*?01;<g|-b9L)1wx@zU+;QEBZ
zxNmn~_8*VGs^70)xKDg%=*e3@)7Wi9chyBKYui6PsKiTW`YLbcw#JDbK{rEr!{)zO
zd0MJ|kF03yrInr;;;t{G8Koymhj3c8o;am4F?C92Ldden(#Ks-mOowpdTOjh-?@w*
z;z@DaUmvWDHOjyJyphc(;q%^xYkxm-c$OMD@$GoM<cSB<#?{7WjSGdl)(JSb%~Q`X
zO!{Cgxr1YkQ0SJ_wf}StjvV-AeR=uPWs^-icz>^PVXwDuE{;0HHs|;3`!h6zHGf<@
ze`(dLRiBIYOe{Z`Jo|1^?Uj3H?|pq6Gk;d{ab@wG>iu~u69n!xRxW??TiL6`I_7-W
zCf<9#&)0S?_-mVaDkOID63v{1Sx%CjC#HOzD&RYFjqM(;XPUx^+1jhwZY0_3lotw!
zni&L6H0#WnBUMlkRDXP?VCX`fm0jV-L#B3JUU%cD>WpL!^TJTC2Mz6>2f0>R#=ZL_
z+_qjaHj7)IFHrbgp!}T_W;3Q)%5|3h!8f_5vaUS9@qg`+vPlyT&EP(I{i^<ZS-0S_
z3!1$Dm#}^EpR}8K8Bb-Rs^`*>Qkg`PgVx&(WU`jASgPE9D`c&H>dEZ-HC{@RZZnU$
zrp^-CrFQa=>G4Bt*=mbxw|1}hlg`gCKKr25f@kslv!<F=T`Mjf+PHU%+008v1>5^-
zv-|a@eu**U{uYzty<D(2HD<}jt6whUhVOg)drJEJ>$bu#^PWw)Vzrs~==8TAzBhZC
z1jKvJNMJt9lFH(=;+E7ov*3n3YkBHtw6J`fAi^x-G<CDD5WC-o#>OU4>`y8L#lE0l
zz%+}8Q+en7SoBz^=d$VZ+X0W(^gV5NJ2}g29&2iF-OivrU*72#*|7FVDkY^&*<Et{
z-Xn$1o0nIeOI!7e%|s-r`ST*<sToN%Z>r5_>|oMtJyEuzF|o;riBU^Eo!v*qqCQCS
zreBfc?}*5&+39~a+&Ri9l9RAt0xWut&lC&^m=^HxD({Mj6|B*z&uV9X)Q#xeddN&(
zEG@L+%*`H_@S+WtqB9q&JT&=xVB!9^N!xb1*u*Y;&oy<m=5DbNuD^n(_wgO?+|+)$
zG=a;a<4f#Uff4~DGtJ-Al_yy7IM(YYu-$VswJM(G-W(LWC)_*aq?{MawJQILnM<5G
znc{97_~0b@F*(XMTq2Hb&gL!y78dzU>7lFlmL4t=XWz4-@uBN2l}&|N2M&75rn`M`
ziagXEe*8n1sFuWSKD$4^{;SnI<uUs=|A*1<&?c**@YAZj4VOb!v1Exe79GtJvsSL3
zJ~K0VneqhD<jWV2bL_u8Syr1r>D!`@t$axai7iv_)a(;1UY-4xNk7YXY24oi<wF~m
zF11bl-r%gpR+9J4#H^(DqxeP_?Q7>}Tgp3d=1a9~Jv&>?>FrM2{7n^yzdzCOU@vXy
zO+2@V?UBwTYt5rfrPI>Sb+LMx8e3=|(rz&esy`dbeteFrQn8q+K>9{#u!k(4shB=d
z$0B=8UO`yPp=)}I7IPcr^B3vFFFa-YX|epQO}}KDPxu%f4|hLTB^L5^k7;ee)dd~3
zVMz;}v$Q=<aNn}A*%&zA^SOEI@)I(*Hm^?hSrwM@uI?Y#x2W}xPCY8Rax%{HiuML^
zl~eU<@|(h?r0ws2Uc;id?SWR*gu_}~;@7LS{-jl`t8f?psCA9WVCGM?^Lejb{lu16
z?_d6QjmXrQPXs5`?GN57vT(+E*DKyv4m{~F+7!<qUJ#>yRA9^6#c^HQPd6-!z1zxL
zURa=PW?;U^$TMe_R6)k2W0iuYi*!~_yl%GQ;<n42?Da2YY>do{l%LH0W^nA^jXOK4
zpD3KyjGJ{ScXx@-DntI0*|RTkKUXb%e)^@$cAfc_2Va-YpRk_8aZ2>{mJgzLZs?hx
zW?Hs|RlT+}i$^tcdR(K_^DV1`XHUAbZRxh#JI<^~*4r&#IdhYo0N<xWY-;*bCeHPV
ztM_tx!g@8%x+ncpQ@!NXl*p^=HLauHJxb8eN%*FeD|FMs^udEAea6baoFXrYukU-Q
zEwVZ`v)wjxYY}&CtH>66o=x|Qc<<Lb{?kb*PPd((&$Iv5ynKPL9J?m4&a}CI<Miey
zy}R~aczbPGj!1{Xues|=V;z~#yEJ^A_2b)Vm(C?;KWZwu-R)W-86ds5{==et_0<>h
z%!^m^DEvBVJ!PSyi0q?@{cH1k{&-(|tN+dN>fCd!lh@Cl^3x*u-ScmkUA3OZv#Y;-
z6ZFM;@$=XB<3B!ZpQJ8+>`k2Rnf(%-#uKK@S#y(n^BjSqxph?qjXk-WU61bnT=9{G
z<=KyNh3uanMB~I3JmW208R=f#E?>+N_rByyyPw*<gQwp~FXdl2Z_)J1^TnMLbZvyw
zS6*?r*!@Iq9@7$uw`&*{hkLjlw>hWkbSl>)h;_;JQ_qD|ioPsj>xx_Bt0aA#O-kl!
zW}3ua53!5cYu+uox9UHG)~SY?$@|3RnGKCBHa`$ooyuZtVQMm&bFFu%fu*H^g@OSH
zDC8+{foKCmGXrx2bTJDP6Eie1V@nfDLo_iHV>3&G$t%~Yu$Wq!Sx&yVR;Aw5(!>-^
zm4TUoxg~~}k%bYun1!XW38t7Sx{D1gjg2tuurxLSsjD|IFo1i_z|zbJ!)pcxX6TMF
zG_f#4H_*_;!U98`sWE0ynHpOfBODE~-@w4o)XW?`tPIVJFnnidZi;E3xv3?3C>WYs
z8ellk+|mf-V`L8-TGSgEU}&~5GeGx=v4xp|Il|T8gkWr8W{e&s#uk>wnCdLe&_mVO
z(g+;<2K7k6Z)|CXq0q$0+!$T6iIKS}x}!~u4Gl5W85<fS1vS{wCdMX)$RRBY5;ZZl
cG(vZ^iHU)!@#NkOzFdX|W?ZVOuKsRZ027wFfdBvi

-- 
GitLab