From 74e5f6fe9a4adbeeae41f2a20415ea193d8b8e71 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Thu, 14 Jul 2016 17:38:16 -0700 Subject: [PATCH] Fixing typo in MinSlot that's getting s_min for slots for-loop counter --- doc/iotcloud.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex index 67204d1..24afdf1 100644 --- a/doc/iotcloud.tex +++ b/doc/iotcloud.tex @@ -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)$ \State $s_{c_{max}} \gets SeqN(\tuple{s_{c_{max}},sv_{c_{max}}})$ \State $\tuple{s_{c_{min}},sv_{c_{min}}} \gets MinSlot(SL_c)$ -\State $s_{c_{min}} \gets SeqN(\tuple{s_{c_{max}},sv_{c_{max}}})$ +\State $s_{c_{min}} \gets SeqN(\tuple{s_{c_{min}},sv_{c_{min}}})$ %\For{$\{\tuple{s_c,sv_c} \mid \tuple{s_c,sv_c} \in SL_c\}$} \For{$s_c \gets s_{c_{min}}$ \textbf{to} $s_{c_{max}}$} \State $\tuple{s_c,sv_c} \gets Slot(SL_c,s_c)$ -- 2.34.1