class Thread;
class Promise;
+namespace std {
+ class mutex;
+}
+
using std::memory_order;
using std::memory_order_relaxed;
using std::memory_order_acquire;
uint64_t get_return_value() const;
const ModelAction * get_reads_from() const { return reads_from; }
Promise * get_reads_from_promise() const { return reads_from_promise; }
+ std::mutex * get_mutex() const;
Node * get_node() const;
void set_node(Node *n) { node = n; }