+ bool add_future_value(uint64_t value, modelclock_t expiration);
+ uint64_t get_future_value();
+ modelclock_t get_future_value_expiration();
+ bool increment_future_value();
+ bool future_value_empty();
+
+ void add_read_from(const ModelAction *act);
+ const ModelAction * get_read_from();
+ bool increment_read_from();
+ bool read_from_empty();
+ int get_read_from_size();
+ const ModelAction * get_read_from_at(int i);
+
+ void set_promise(unsigned int i);
+ bool get_promise(unsigned int i);
+ bool increment_promise();
+ bool promise_empty();