*/
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();
}
/**
*/
xbt_dict_t SD_workstation_get_properties(SD_workstation_t workstation)
{
- return surf_host_get_properties(surf_host_resource_priv(workstation));
+ return sg_host_get_properties(workstation);
}