Fixing typo in MinSlot that's getting s_min for slots for-loop counter
authorrtrimana <rtrimana@uci.edu>
Fri, 15 Jul 2016 00:38:16 +0000 (17:38 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 15 Jul 2016 00:38:16 +0000 (17:38 -0700)
doc/iotcloud.tex

index 67204d1..24afdf1 100644 (file)
@@ -364,7 +364,7 @@ $GetKeyVal(DT_s,k_s)= \tuple{k, v}$ \textit{such that} $\tuple{k, v}
 \State $\tuple{s_{c_{max}},sv_{c_{max}}} \gets MaxSlot(SL_c)$\r
 \State $s_{c_{max}} \gets SeqN(\tuple{s_{c_{max}},sv_{c_{max}}})$\r
 \State $\tuple{s_{c_{min}},sv_{c_{min}}} \gets MinSlot(SL_c)$\r
-\State $s_{c_{min}} \gets SeqN(\tuple{s_{c_{max}},sv_{c_{max}}})$\r
+\State $s_{c_{min}} \gets SeqN(\tuple{s_{c_{min}},sv_{c_{min}}})$\r
 %\For{$\{\tuple{s_c,sv_c} \mid \tuple{s_c,sv_c} \in SL_c\}$}\r
 \For{$s_c \gets s_{c_{min}}$ \textbf{to} $s_{c_{max}}$}\r
        \State $\tuple{s_c,sv_c} \gets Slot(SL_c,s_c)$\r