(self, slot)
| 28 | self._capture = read_set |
| 29 | |
| 30 | def read(self, slot): |
| 31 | if self._capture is not None and slot not in self._capture: |
| 32 | self._capture.append(slot) |
| 33 | return self.version[slot] # value stand-in |
| 34 | |
| 35 | def changed_since(self, slots, since_clock): |
| 36 | return any(self.version[s] > since_clock for s in slots) |