+ xbt_dict_free(&workstation_set);
+ xbt_swag_free(surf_workstation_resource->common_public->states.ready_action_set);
+ xbt_swag_free(surf_workstation_resource->common_public->states.
+ running_action_set);
+ xbt_swag_free(surf_workstation_resource->common_public->states.
+ failed_action_set);
+ xbt_swag_free(surf_workstation_resource->common_public->states.done_action_set);
+
+ xbt_free(surf_workstation_resource->common_public);
+ xbt_free(surf_workstation_resource->common_private);
+ xbt_free(surf_workstation_resource->extension_public);
+
+ xbt_free(surf_workstation_resource);
+ surf_workstation_resource = NULL;