Adding empty set as another return value for a true condition in PutSlot
authorrtrimana <rtrimana@uci.edu>
Tue, 12 Jul 2016 21:36:32 +0000 (14:36 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 12 Jul 2016 21:36:32 +0000 (14:36 -0700)
doc/iotcloud.tex

index f7c7ea1..b55f16f 100644 (file)
@@ -162,7 +162,7 @@ $SlotVal(\tuple{s, sv})=sv$ \\
                \State $n \gets n + 1$\r
        \EndIf\r
     \State $SL \gets SL \cup \{\tuple{s_p,sv_p}\}$\r
-       \State \Return{$true$}\r
+       \State \Return{$(true,\emptyset)$}\r
 \Else\r
        \State \Return{$(false,\{\tuple{s,sv}\in SL \mid \r
     s \geq s_p\})$}\r