num_available_threads(0),
value(fv.value),
expiration(fv.expiration),
num_available_threads(0),
value(fv.value),
expiration(fv.expiration),
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() { return write; }
int get_num_available_threads() { return num_available_threads; }
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() { return write; }
int get_num_available_threads() { return num_available_threads; }