From 0924f73122276126f224b26d6568372f0d51457e Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
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