xbt_dict_t host_id; /* char* -> int* */
xbt_dynar_t (*get_route)(int src, int dst);
- void (*finalize_route)(xbt_dynar_t route);
void (*finalize)(void);
int host_count;
};
*/
XBT_PUBLIC(xbt_dict_t) surf_resource_properties(const void *resource);
+XBT_PUBLIC(void) surfxml_bufferstack_push(int new);
+XBT_PUBLIC(void) surfxml_bufferstack_pop(int new);
+XBT_PUBLIC_DATA(int) surfxml_bufferstack_size;
+
+
#endif /* _SURF_SURF_PRIVATE_H */