bool has_failed() const;
uint64_t get_value() const { return value; }
void set_write(const ModelAction *act) { write = act; }
- const ModelAction * get_write() { return write; }
- int get_num_available_threads() { return num_available_threads; }
+ const ModelAction * get_write() const { return write; }
+ int get_num_available_threads() const { return num_available_threads; }
bool is_compatible(const ModelAction *write) const;
void print() const;