-const char *TRACE_node_name (xbt_node_t node)
-{
- void *data = xbt_graph_node_get_data(node);
- char *str = (char*)data;
- return str;
-}
-
-xbt_graph_t TRACE_platform_graph (void)
-{
- if (!TRACE_is_enabled()) return NULL;
- return instr_routing_platform_graph ();
-}
-
-void TRACE_platform_graph_export_graphviz (xbt_graph_t g, const char *filename)