void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() const { return write; }
int get_num_available_threads() const { return num_available_threads; }
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() const { return write; }
int get_num_available_threads() const { return num_available_threads; }