*/
SD_workstation_t SD_workstation_get_by_name(const char *name)
{
- return xbt_lib_get_elm_or_null(host_lib, name);
+ return sg_host_by_name(name);
}
/**
*/
int SD_workstation_get_number(void)
{
- return xbt_lib_length(host_lib);
+ return sg_host_count();
}
/**