+ void set_read_from(const ModelAction *act);
+ void set_read_from_promise(Promise *promise);
+
+ /** Store the most recent fence-release from the same thread
+ * @param fence The fence-release that occured prior to this */
+ void set_last_fence_release(const ModelAction *fence) { last_fence_release = fence; }
+ /** @return The most recent fence-release from the same thread */
+ const ModelAction * get_last_fence_release() const { return last_fence_release; }
+
+ void copy_from_new(ModelAction *newaction);
+ void set_seq_number(modelclock_t num);