projects
/
iotcloud.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fd4dfb7
)
Typo in procedure call for checks on slots
author
rtrimana
<rtrimana@uci.edu>
Mon, 8 Aug 2016 23:04:54 +0000
(16:04 -0700)
committer
rtrimana
<rtrimana@uci.edu>
Mon, 8 Aug 2016 23:04:54 +0000
(16:04 -0700)
doc/iotcloud.tex
patch
|
blob
|
history
diff --git
a/doc/iotcloud.tex
b/doc/iotcloud.tex
index b85fc026001afb8b9d70b2254acc0547a33e5d6c..9e213b3d75bd09322cccdd0e25ecb0139edb8694 100644
(file)
--- a/
doc/iotcloud.tex
+++ b/
doc/iotcloud.tex
@@
-534,7
+534,7
@@
$MinCRSeqN(CR_s)= s$ \textit{such that} $\tuple{s, id} \in CR_s
\Else
\r
\State \Call{Error}{'Actual $SL$ size on server exceeds $max_g$'}
\r
\EndIf
\r
-\State $\Call{CheckSlotsRange}{
SL_g
,s_{g_{min}},s_{g_{max}}}$
\r
+\State $\Call{CheckSlotsRange}{
|SL_g|
,s_{g_{min}},s_{g_{max}}}$
\r
\State $\Call{CheckLastSeqN}{MS_g,MS}$
\r
\State $\Call{UpdateSSLivEnt}{SS_{live},MS}$
\r
\State $\Call{UpdateCRLivEnt}{CR_{live},MS}$
\r