From 0924f73122276126f224b26d6568372f0d51457e Mon Sep 17 00:00:00 2001 From: rtrimana Date: Tue, 12 Jul 2016 15:18:48 -0700 Subject: [PATCH] Replacing primes with subscripts for MaxSlot and MinSlot --- doc/iotcloud.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex index b55f16f..5a362c9 100644 --- a/doc/iotcloud.tex +++ b/doc/iotcloud.tex @@ -125,7 +125,7 @@ Client can make a request to resize the queue. This is done as a write that comb (b) a request to the server \subsection{Server Algorithm} -$s \in SN$ is a sequence number\\ +$s \in SN$ is a sequence number set\\ $sv \in SV$ is a slot's value\\ $slot_s = \tuple{s, sv} \in SL \subseteq SN \times SV$ \\ @@ -134,10 +134,10 @@ $slot_s = \tuple{s, sv} \in SL \subseteq SN \times SV$ \\ \textit{max = maximum number of slots (input only for resize message)} \\ \textit{n = number of slots} \\ \\ \textbf{Helper Function} \\ -$MaxSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv} -\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \geq s'$ \\ -$MinSlot(SL')= \tuple{s, sv} \mid \tuple{s, sv} -\in SL' \wedge \forall \tuple{s', sv'} \in SL', s \leq s'$ \\ +$MaxSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv} +\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \geq s_s$ \\ +$MinSlot(SL_s)= \tuple{s, sv} \mid \tuple{s, sv} +\in SL_s \wedge \forall \tuple{s_s, sv_s} \in SL_s, s \leq s_s$ \\ $SeqN(\tuple{s, sv})=s$ \\ $SlotVal(\tuple{s, sv})=sv$ \\ -- 2.34.1