boost::intrusive::list_member_hook<> smx_synchro_hook; /* {mutex,cond,sem}->sleeping */
const xbt::string& get_name() const { return name_; }
const char* get_cname() const { return name_.c_str(); }
// Accessors to private fields
boost::intrusive::list_member_hook<> smx_synchro_hook; /* {mutex,cond,sem}->sleeping */
const xbt::string& get_name() const { return name_; }
const char* get_cname() const { return name_.c_str(); }
// Accessors to private fields